Sobre secuencias de números enteros positivos

Question

Demostrar que no hay ninguna secuencia de números enteros positivos $(x_n)_{n \ge 1}$ para que: $$ x_{n+2} = x_{n+1} + x_{x_n} \quad \forall n\ge1 $$

Creo que la idea es encontrar dos valores diferentes para el mismo índice.

Answer 1

Si existiera tal secuencia, aparte posiblemente del primer término, sería estrictamente creciente. Tendríamos

\begin{align} x_3 &= x_2 + x_{x_1} \geqslant 1 + 1 = 2\\ x_4 &= x_3 + x_{x_2} \geqslant 2 + 1 = 3\\ x_5 &= x_4 + x_{x_3} \geqslant 3 + 1 = 4\\ x_6 &= x_5 + x_{x_4} \geqslant 4 + x_3 \geqslant 6\\ x_7 &= x_6 + x_{x_5} \geqslant 6 + x_4 \geqslant 9, \end{align}

y así $x_k \geqslant k + 2$ para todos $k \geqslant 7$ . Pero entonces tendríamos

$$x_{n+2} = x_{n+1} + x_{x_n} > x_{x_n} \geqslant x_{n+2}$$

para $n \geqslant 7$ . Lo cual, por supuesto, es imposible.