Con este problema llegamos al final de la serie de problemas planteados en la XLVII Edición de la Olimpiada Matemática Española. El sexto (tercero de la segunda sesión) dice lo siguiente:
Sea
, con
, la sucesión definida por:
para
;
, para
Prueba que para todo entero no negativo a se cumple que
es múltiplo de 2011.
A ver qué tal sale este último.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.
Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.
Y si los símbolos < y > te dan problemas al escribir en LaTeX, te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.
Tienes un 20% de descuento y envío gratis en toda la web de La Tostadora con al menos dos artículos. Usa el código GAUSSIANOS entrando con el enlace de la imagen.
Y usando el código REBAJAS tienes un 30% de descuento hasta el 8 de agosto con al menos 3 artículos.
Si quieres recibir los artículos de Gaussianos en tu mail haz click en la imagen.
Únete a la iniciativa Yo construí el poliedro de Császár. Haz click en la imagen para conocer todo los detalles.
Y visita este set de Flickr para ver las construcciones de los lectores de Gaussianos.
Hmmm… hay que considerar que CADA n de 0<=n<=2011 es la semilla de una serie distinta.
Hay que demostrar que cada una de esas series, tiene la propiedad buscada.
Hago una demostración no muy detallada pero que puede completase con facilidad. Sea, para un número primo p, la sucesión S(n)tal que S(n)=1 si n están entre 0 y p y tal que S(n+1)=S(n)+S(n-p) si n>=p. Denotando por C(m,n) al número combinatorio m!/((n!•(m-n)!) se demuestra por inducción sobre k que S(n+k)=C(k,0)•S(n)+C(k,1)•S(n-k)+C(k,2)•S(n-2k)+…+C(k,k)•S(n-k•k) Por tanto, S(a•p)= C(p,0)•S(ap-p)+C(p,1)•S(ap-2p)+C(p,2)•S(ap-3p)+…+C(p,p)•S(ap-(p+1)•p)) Supongamos ahora, por hipótesis de inducción, que si b<a, S(bp)-S(b) es divisible por p. Entonces S(ap)-S(a)= 1•S(ap-p)+[ C(p,1)•S(ap-2p)+C(p,2)•S(ap-3p)+..C(p,p-1)S(ap-p•p)]+ 1•S(ap-(p+1)•p))-S(a)= =(S(ap-p)-S(a-1))+[…]+(S(ap-p•p-p)-S(a-p-1))+(S(a-1)+S(a-p-1)-S(a)) El primer y el tercer sumando son divisibles por p por hipótesis de inducción; el sumando entre corchetes es múltiplo de p porque si 0<k<p,… Lee más »
Creo que hay un problema con la solución de pcrdeg, ya que la relación que pretende demostrar por inducción, para , es , que no es cierta. Tal vez no haya entendido bien lo que quiere decir… En cualquier caso, mi solución es la siguiente: supongamos que un saltamontes puede dar «pasos» de longitud , y «saltos» de longitud , siendo un entero positivo cualquiera. Sea el número de formas en que puede llegar desde hasta , avanzando siempre hacia la derecha y combinando pasos y saltos. Claramente, si , tenemos , ya que no puede dar ningún salto, y… Lee más »