I- PGCD de deux entiers
1- Définition
Propriété et définition 1 :
Si a et b sont deux entiers relatifs non tous les deux nuls, l’ensemble des diviseurs communs à a et b
admet un plus grand élément. On l’appelle plus grand diviseur commun et on le note PGCD(a, b).
Remarques :
Si a et b sont deux entiers non tous les deux nuls :
- PGCD(a, b) est un entier strictement positif
- Si 0 < b ≤ a, PGCD(a, b) est un entier inférieur ou égal à b.
- Deux entiers a et b sont premiers entre eux si et seulement si PGCD(a, b) = 1
- PGCD(1, b) = 1 et pour b ≠ 0 , PGCD(0, b) = |b|
Propriété 2 : réduction du PGCD
Soit a et b deux entiers relatifs non tous les deux nuls.
PGCD(a, b) = PGCD(a-b, b) = PGCD(a-kb, b) pout tout k Є Z.
En particulier :
- Si 0 < b ≤ a, PGCD(a, b) = PGCD(r, b) où r est le reste de la division euclidienne de a par b.
- Si b divise a, PGCD(a, b) = b
2- Algorithme d’Euclide
Propriété 3 : Algorithme d’Euclide
Soient a et b deux entiers tels que 0 < b ≤ a
L’algorithme d’Euclide permet en un nombre fini d’étapes de calculer PGCD(a, b) :
(1) Calculer le reste r de la division euclidienne de a par b
(2) Si r = 0, PGCD(a, b) = b
(3) Si r ≠ 0, remplacer a par b et b par r et recommencer à partir de (1).
PGCD(a, b) est le dernier reste non nul obtenu.
3- Autres propriétés
Propriété 4 : homogénéité
Soient a et b deux entiers relatifs non tous les deux nuls.
Pour tout k Є N*, PGCD(ka, kb) = k PGCD(a, b)
Corollaire : propriété caractéristique
Si a et b sont premiers entre eux, alors PGCD(ka, kb) = k
Conséquence :
Toute fraction a/b peut s’écrire sous forme irréductible en divisant son numérateur et son dénominateur
par PGCD(a, b)