
2/4
§ 2 Recherche des diviseurs communs à deux nombres
a) Premier cas : b est un diviseur de a
Propriété :
PGCD (a ; b) = b si et seulement si b divise a
dém :
Si b divise a, alors b est un diviseur commun à a et b ; or b est le plus grand diviseur de b, donc
PGCD (a ; b) = b
Réciproquement, si PGCD (a ; b) = b, alors b divise a
b) Deuxième cas : b n’est pas un diviseur de a
Lemme d’Euclide :
Soit a un nombre entier naturel et b un nombre entier naturel non nul
Si r est le reste de la division euclidienne de a par b, alors PGCD (a ; b) = PGCD (b ; r)
dém :
Soit a ∈ ℕ, b ∈ ℕ*, r reste de la division euclidienne de a par b
Il existe un entier naturel q tel que :
a = bq + r avec 0 ≤ r < b
Soit d un diviseur commun à a et b
d divise toute combinaison linéaire de a et b donc en particulier il divise a – bq, c’est-à-dire r
d est donc un diviseur commun à b et r
D (a , b) ⊂ D (b , r)
Soit p un diviseur commun à b et r
p divise toute combinaison linéaire de b et r donc en particulier il divise bq + r, c’est-à-dire a
p est donc un diviseur commun à a et b
D (b , r) ⊂ D (a , b)
D’où : D (a , b) = D (b , r)
Algorithme d’Euclide :
Soit deux nombres entiers naturels, non nuls, a et b, avec a > b
Pour déterminer PGCD (a ; b) on utilise l’algorithme d’Euclide : il consiste à remplacer (a ; b) par des
couples de nombres de plus en plus petits qui ont le même ensemble de diviseurs communs.
Après un nombre fini de divisions, on trouve un reste nul, car les restes sont des nombres entiers positifs
(0 < rn < rn-1 < … < r1 < r0 < b) qui vont en décroissant strictement. On note rn le dernier reste non nul. Donc
d’après le lemme d’Euclide, PGCD (a , b) = PGCD (b , r0) = … = PGCD (rn-1 ; rn) = rn
Propriété :
Le PGCD de deux nombres est le dernier reste non nul de la succession de divisions que l’on effectue dans
l’algorithme d’Euclide