1. Un 17 de octubre de 2020. Inducción.

a
Problema 1. Demuestra que 32n+1 + 2n+2 es divisible entre 7 para todo número
natural n.

Como 9 ≡ 2 mód 7, se tiene

32n+1 + 2n+2 = 3 · 9n + 4 · 2n ≡ 3 · 2n + 4 · 2n ≡ 7 · 2n ≡ 0 mód 7

Alternativamente, uno puede recurrir a una demostración por inducción. El caso base n = 1 es trivial,
pues 32+1 +21+2 = 27+8 = 35 = 7·5. Supongamos ahora que existe algún k ∈ N, tal que 7 | 32k+1 +2k+2 .
Entonces, el caso k + 1 sugiere que

32·(k+1)+1 + 2(k+1)+2 = 9 · 32k+1 + 2 · 2k+2 = 7 · 32k+1 + 2 · 32k+1 + 2k+2

Puesto que tanto 7 · 32k+1 como 32k+1 + 2k+2 son divisible entre 7 —el uno por razones obsvias, el otro
por la asunción—, resulta que 32·(k+1)+1 + 2(k+1)+2 también es divisible entre 7.

a
Problema 2. Sea la sucesión generada por an+1 = an + a2n si n > 2, siendo a3 = 3.
Determina razonadamente las dos últimas cifras de a2020 .

Las dos últimas cifras de cada elemento ai son las que determinan las dós últimas de ai+1

ai+1 = ai + a2i ≡ (ai mód 100) + (ai mód 100)2 mód 100

Es por ello que definimos la sucesión {bn }∞n=1 en la que bi es el residuo de ai al divirlo entre 100.
Probando los primeros elementos, resulta que b1 = 3, b2 = 12, b3 = 56, b4 = 92, b5 = 56 . . . Observamos
que la sucesión bi incurre en un bucle. En efecto, si bi = 56 se tiene

bi+1 ≡ 56 + 562 = 3192 mód 100 =⇒ bi+1 = 92

=⇒ bi+2 ≡ 92 + 922 ≡ 92 + 82 = 156 mód 100 =⇒ bi+2 = 56

Se sigue que b4 = 92 =⇒ b2k = 92 con k ∈ N>1 . En especial, se tiene b2020 = 92.

a
Problema 3. Sea n un número impar. Consideramos los números 1, 2, 3, ..., 2n
escritos en la pizarra. En cada momento, podemos coger dos números a y b, borrarlos,
y escribir en la pizarra |a − b|. Repetimos este proceso iterativamente hasta que solo
queda un número en la pizarra. Demuestra que, independientemente del proceso, el
último número que queda en la pizarra es siempre impar.

Sea Si la suma de todos los números de la pizarra tras i movimientos. Demostraremos que la paridad
de Si es invariable. En efecto, es bien sabido que x ≡ |x| mód 2, además de

b ≡ −b mód 2 =⇒ a + b ≡ a − b ≡ |a − b| mód 2

Por lo tanto, la paridad no cambia tras los movimientos. Por último, la fórmula de Gauss implica que
S0 = n · (2n + 1) ≡ n ≡ 1 mód 2 =⇒ Si ≡ 1 mód 2.

1
 a
Problema 6. Coloreamos los números naturales con un número finito C de colores.
Demuestra que podemos encontrar un color de forma que para cualquier natural n
haya infinitos múltiplos de n coloreados de dicho color.

Sean C1 , C2 , . . . Ck todos los colores empleados. Asumamos que para cada Ci podemos encontrar un
número ai , tal que tan solo hay un número finito de múltiplos de ai coloreados de Ci . Asimismo,
sea bi un número tal, que para todo x > bi múltiplo de ai , se tiene x 6∈ Ci . Mas esto supone una
contradicción, ya que entonces los múltiplos de mcm(a1 , a2 , . . . , ak ) mayores que máx{b1 , b2 , . . . , bk }
no estarı́an pintados de ningún color.