A mon avis, ce qui était attendu, c'est
- Soit de dire que, si

alors
\alpha\!+\!(b_n\!+\!d_n)})
ce qui signifie que l'on peut par exemple prendre

avec

donc par exemple

.
Donc

;

et, pour tout

on a

: la suite
_{n\geq 0})
est la classique suite de Fibonnacci : (0,1,1,2,3,5,8,13,21,34,55,89,...)
Ensuite,

;

et, pour tout

on a

donc en fait

pour tout

et on a donc

pour tout

.
- Soit plus simplement de calculer les 5 ou 6 premiers termes pour voir très clairement apparaitre la fameuse suite en question puis démontrer le résultat çi dessus par récurrence.
Ensuite, concernant l'éventuelle écriture de

en fonction de

, je pense que ça a forcément déjà été fait.
Sinon, si on connait un tant soit peu le calcul matriciel, face aux 4 formules de récurrence çi dessus, il doit venir à l'esprit de poser
)
de façon à écrire les fameuses relations sous la forme

avec
)
et

.
On a adonc

et la route est toute tracée : il faut diagonaliser

pour l'écrire

avec

diagonale pour obtenir

.
On eut remarquer que le

dont parle Pythalés correspondant en fait au changement de base induit par

, son

est le polynôme caractéristique de

et son

est le rapport entre les deux valeurs propres de

.