une suite fibonnacienne (u_n) est définie par la donnée de u_0 , u_1 et la relation u_(n+2)=u_(n+1)+u_n , qqs n .
==> u_n=aµ^n+b(1-µ)^n où µ²=µ+1
Donc elle est définie par la donnée d'un couple (a,b) de réels et la relation u_n=aµ^n+b(1-µ)^n , qqs n.
Il s'agit alors de montrer que :
Pour tout n€IN* il existe un couple unique (a,b) et m € IN tels que n=aµ^m+b(1-µ)^m.