
Devoir Maison n°4 bis 
 
Complexité de l’algorithme d’Euclide et théorème de Lamé 
 
Partie I  Suite de Fibonacci 
 
Dans cette partie, on définit la suite
par
0 1
F F
et pour tout entier
n
,
2 1
+ +
. 
La suite
ainsi définie est la suite de Fibonacci. 
On pose
ϕ
+
=
. 
(c’est le nombre d’or, voir http://fr.wikipedia.org/wiki/Nombre_d%27or pour plus de précisions) 
 
1/ Calculer
. 
 
2/ Montrer que
2
ϕ ϕ
 puis que pour tout entier
n
, 
2 1
+ +
. 
 
3/ Montrer que pour tout entier
2
1,
n
n F
+
.  
 
4/ Montrer que
est strictement croissante dès que
n
et que pour tout entier
n
, 
   
 est le reste de la division euclidienne de
n
par
. 
 
5/ Montrer que pour tout entier
n
, 
1
n n
PGCD F F
+
et que l’algorithme d’Euclide pour                    
    déterminer
;
n n
PGCD F F
+ +
nécessite exactement n divisions euclidiennes.  
 
Partie II  Le théorème de Lamé 
 
On considère deux entiers naturels a et b non nuls tels que
  
On supposera dans la suite que l’algorithme d’Euclide pour déterminer leur PGCD                            
comporte n étapes avec
n
  
En posant
et
=
, on a alors on peut schématiser ceci comme suit : 
 
1 1 2 2 1
1 2 2 3 3 2
2 1 1 0 0 1
1 0 1 0
0
0
0
(reste nul dans la division de par , arrêt de l'al
n n n n n
n n n n n
n
n
r r q r r r
r r q r r r
n étapes
r r q r r r
r r q r r
− − − −
− − − − −
−
= × + < <
= × + < <
= × + < <
= ×
⋮
 
 
1/ Montrer que
n
q
et en déduire que
. 
 
2/ a/ Montrer que pour tout entier naturel k avec
1
, 
k
q
. 
    b/ En déduire que pour tout entier naturel k avec
2
, 
k k k
≥ +
. 
 
3/ Montrer que pour tout entier naturel k avec
0
, on a
2
≥
.  
 
4/ Montrer que
≥
 et en déduire que
b
>
.