![](//s1.studylibfr.com/store/data-gzf/c8ee2884ce6c236e15b9e685444ce5dd/1/000750411.htmlex.zip/bg2.jpg)
II. Le plus grand diviseur commun
1. Définition
Définition : Soient a et b des entiers naturels non nuls.
Le PDCG de a et b, noté PGCD(a ; b), est le plus grand des diviseurs communs à a et b.
Exemple :
Les diviseurs de 18 sont : 1, 2, 3, 6 et 18.
Les diviseurs de 24 sont : 1, 2, 3, 4, 6, 8, 12 et 24.
Les diviseurs communs à 18 et 24 sont 1, 2, 3 et 6.
On a donc PGCD (18 ; 24) = 6.
2. Propriétés
Propriété : Soient a et b des entiers naturels non nuls.
- Si b divise a, alors PGCD(a ; b) = b.
- PGCD( a ; a) = a.
- PGCD( a ; 0) = a.
- Si a > b, alors PGCD(a ; b) = PGCD( a – b ; b).
Démonstration :
Soient a et b des entiers naturels non nuls.
- Si b divise a, alors b est un diviseur de a et b est le plus grand diviseur de b. Donc le plus grand diviseur commun
à a et b est b.
- On sait que si b divise a, alors PGCD(a ; b) = b. Prenons b = a, on a bien que a divise a, donc PGCD(a ; a) = a.
- On sait que tout entier naturel non nul divise 0, donc a divise 0. On a donc PGCD(a ; 0) = a
- Soit d le PGCD de a et b. Il existe deux entiers naturels q et p, non nuls, tels que a = q x d et b = p x d.
Si a > b, alors a – b = q x d – p x d = d x (q – p). Donc d divise a – b.
Soit d le PGCD de a - b et b. Il existe deux entiers naturels q et p, non nuls, tels que a - b = q x d et b = p x d.
Si a > b, alors a = a – b + b = q x d + p x d = d x (q + p). Donc d divise a.
Exemples :
PGCD( 18 ; 9) = 9.
PGCD( 16 ; 16) = 16.
PGCD( 15 ; 0) = 15.
PGCD( 95 ; 35) = PGCD( 95 - 35 ; 35) = PGCD(60 ; 35).
Propriété (admise): Soient a et b des entiers naturels non nuls.
Si a > b, alors PGCD(a ; b) = PGCD( b ; r) où r est le reste de la division euclidienne de a par b.
Exemple :
32 = 5 x 6 + 2 donc PGCD( 32 ; 5) = PGCD(5 ; 2).
a = b x q + r
3. Nombres premiers entre eux
Définition : Soient a et b deux entiers naturels non nuls.
Si le PGCD de a et b est égal à 1, on dit que a et b sont premiers entre eux.
Exemple :
- 36 et 24 ont pour diviseur commun 12, donc ils ne sont pas premiers entre eux.
- Les diviseurs de 8 sont 1, 2, 4, 8 et ceux de 9 sont 1, 3, 9. 1 est le seul diviseur commun de 8 et 9, ils
sont donc premiers entre eux.