Que $c$ ser un entero positivo. Se define la secuencia $a_1, a_2, \ldots$ $a_1=1, a_2=c$ y
$a_{n+1}=2an-a{n-1}+2$ % todos $n \geq 2$.
Probar que para cada $n \in \mathbb{N}$ allí existe $k \in \mathbb{N}$ tal que $ana{n+1} = a_k$.
Mi intento:
Tratar con números pequeños, ver que $a_n=(n-1)c+(n-2)^2$ y se prueban por inducción.
$a_1 = 1 , a_2 = c+0 = c$ es cierto.
Supongamos que $ak=(k-1)c+(k-2)^2$ y $a{k+1}=kc+(k-1)^2$ son ciertas.
$a{k+2} = 2a{k+1}+a_k+2 = 2[kc+(k-1)^2]-[(k-1)c+(k-2)^2]+2=(k+1)c+k^2$
así que es verdad $a_n=(n-1)c+(n-2)^2$.
$ana{n+1} = [(n-1)c+(n-2)^2][nc+(n-1)^2] $
$= n(n-1)c^2 + (n-1)^3c + n(n-2)^2c + (n^2-3n+2)^2 = (k-1)c+(k-2)^2$
Por favor sugerir cómo resolver esta ecuación.