Considere la sucesión a0,a1,a2,… de enteros construida como sigue:
-
a0>5 es impar,
-
an es par,
-
y anes impar.
Demostrar que la sucesión es no acotada.
Experimentando con a0=7 es 7, 44, 22, 11, 116, 58, 29, 836, 418, 209, etc)
Y también es posible sospechar de ese experimento que la sucesión que es realmente creciente es a3n (digo, si va a ser no acotada debe tener una subsucesión creciente, y saber este hecho matemático es lo que permite buscar la subsucesión creciente).
Demostremos primero la primera conjetura. Es decir, si a3k+1 es divisible entre 4 pero no entre 8.
Probemos por inducción que a3k+3 también lo es.
Claramente a3k+1es divisible entre 4 pero no entre 8” da la respuesta. Porque sugiere utilizar residuos módulo 8.
a3k+1=a23k−5≡1−5≡−4(mod 8)
( dado que el cuadrado de un impar es congruente con 1 módulo 8, y por hipótesis de inducción a3k es impar).
Y esto significa precisamente que a3k+3 es impar.
Observemos que:
a3k+3=a3k+22=a3k+14=a23k−54.
Queremos demostrar que a3k+3=(a23k−5)/4. Por lo que deseamos demostrar que:
a23k−54>a3k
Pero esto es cierto si y sólo si
a23k−4a3k−5>0
Que es lo mismo que
(a3k+1)(a3k−5)>0
Pero esta desigualdad es cierta siempre y cuando a3k+3>a3k.
Ahora bien, probemos que a3k+3>5. Y esto termina la prueba.