Etape 1 :
On commence par montrer l’égalité suivante :
∀u,v > 0,fu+v=fufv+1 +fu−1fv(1)
On fixe vet on fait une récurrence sur u.
•Si u= 1, fufv+1 +fu−1fv= 1 ×fv+1 + 0 ×fv=f1+v
•On suppose l propriété vraie au rang u.
fu+1+v=fu+(v+1)
=fufv+2 +fu−1fv+1
=fu(fv+1 +fv) + fu−1fv+1
= (fu+fu−1)fv+1 +fufv
=fu+1fv+1 +fufv
CQFD.
Etape 2 :
On montre par récurrence que pour tout entier v > 0 et tout entier naturel q,fvdivise
fqv (la récurrence est faite sur q) :
•Si q= 0, le résultat est évident car fvdivise f0= 0.
•On suppose que fvdivise fqv . D’après l’égalité (1), on a :
f(q+1)v=fqv+v
=fqv fv+1 +fqv−1fv
et comme fvdivise fqv et fv, il divise fqvfv+1 +fqv−1fvdonc f(q+1)v.
Etape 3 :
On montre que deux nombres de Fibonacci consécutifs sont premiers entre eux,
c’est-à-dire que pour tout entier naturel n, PGCD(fn,fn+1) = 1.
•C’est vrai si n= 0 car PGCD(f0,f1) = PGCD(0,1) = 1.
•On suppose que PGCD(fn,fn+1) = 1.
Si dest un diviseur commun à fn+1 et fn+2 alors ddivise fn+2 −fn+1 =fn. Ainsi,
dest un diviseur commun à fn+1 et fndonc d= 1 (car par hypothèse de récur-
rence, le plus grand diviseur commun à fn+1 et fnest 1).
Etape 4 :
A présent, passons à la démonstration du théorème à proprement parler.
Soit m>n. On commence par effectuer la division euclidienne de mpar n:
m=nq +ravec r < n
En appliquant l’égalité (1) démontrée précédemment à u=nq et v=r, on obtient :
fm=fnq+r
=fnqfr+1 +fnq−1fr
Comme pour les nombres de Mersenne, on montre que les diviseurs commun à fm
et fnsont identiques aux diviseurs commun à fnet fr:
3