I. Diviseurs communs `a deux entiers
D´efinition 2. Les diviseurs communs `a deux entiers aet bsont les entiers relatifs qui
divisent `a la fois aet b. On note D(a, b)l’ensemble de ces diviseurs communs.
Exemple 3. Ainsi, D(12,18) = {1,2,3,6,−1,−2,−3,−6}.
Remarque 4. Ainsi, il est clair qu’on a : D(a, b) = D(a)∩ D(b),D(a, b) = D(b, a),
D(a, a) = D(a),D(a, 0) = D(a)et D(1, a) = {−1,1}.
On a alors la propri´et´e fondamentale suivante, dont la d´emonstration est bas´ee sur
le fait que si un entier divise deux entiers uet walors il divise aussi leur somme et leur
diff´erence :
Propri´et´e 5. D(a, b) = D(a−kb, b)pour tout entier k.
On en d´eduit les cons´equences suivantes :
Corollaire 6. Si best non nul, D(a, b) = D(r, b)o`u rest le reste de la division eucli-
dienne de apar b.
Corollaire 7. Soit bnon nul, bdivise a, si, et seulement si, D(a, b) = D(b). .
Exemple 8. En appliquant ce qui pr´ec`ede, on a : D(60,18) = D(60 −3×18,18) =
D(6,18) = D(6).
II. PGCD de deux entiers
D´efinition et Th´eor`eme 9. Si aet bsont deux entiers relatifs non tous les deux nuls,
l’ensemble des diviseurs communs `a aet badmet un plus grand ´el´ement. On l’appelle
”plus grand commun diviseur de aet b” et on le note P GCD(a, b)(ou parfois a∧b).
Exemple 10. Le PGCD de 12 et 18 est 6.
Remarque 11. •Si aet bsont tous deux nuls, comme D(0,0) = Z, alors on a pas
l’existence de ce plus grand ´el´ement et on ne peut pas parler du PGCD de aet b.
•Si aou bsont non nuls, on peut pr´eciser que forc´ement 0< P GCD(a, b)≤
min(|a|,|b|).
•Sous la mˆeme hypoth`ese, on a : P GCD(a, b) = P GCD(b, a)(commutativit´e) et
P GCD(a, b) = P GCD(|a|,|b|)donc on se ram`ene en g´en´eral `a aet bpositifs.
•P GCD(1, b) = 1 et, pour bnon nul, P GCD(0, b) = |b|.
•(d´efinition) Deux entiers sont premiers entre eux si leur PGCD vaut 1. Par
exemple, 15 et 22.
On a alors l’analogue pour le PGCD de la propri´et´e 5 et de ses corollaires :
Proposition 12. Soient aet bdeux entiers relatifs non tous les deux nuls,
alors pour tout entier relatif k:
P GCD(a, b) = P GCD(a−kb, b).
En particulier, si best non nul : P GCD(a, b) = P GCD(r, b), o`u rest le
reste de la division euclidienne de apar b, et best un diviseur (non nul)
de asi, et seulement si, P GCD(a, b) = |b|.
2