I. Définition du plus grand commun diviseur
Exemple :
Considérons la fraction . La simplification de cette fraction peut être effectuée pas à pas, mais si on veut obtenir en une seule fois une fraction irréductible, alors il faut diviser le numérateur et le dénominateur par leur plus grand diviseur commun.
Soient Div(a) et Div(b) les ensembles des diviseurs de a et b.
Div(150) = {1, 2, 3, 5, 6, 10, 15, 25, 30, 50, 75, 150}
et Div(42) = {1, 2, 3, 6, 7, 14, 21, 42}.
Alors PGCD(150, 42) = 6. et .
Définition :
Soient Div et Div les ensembles des diviseurs respectifs des deux entiers naturels non nuls et .
Le plus grand élément de l'intersection de Div et de Div est appelé plus grand commun diviseur de et de . On le note ou .
II. Propriétés du pgcd de deux entiers
Cette propriété se formule également ainsi :
Théorème
Soient , et trois entiers naturels non nuls.
et si et seulement si .
En raisonnant sur les ensembles de diviseurs, on obtient les résultats suivants :
Propriétés
Soient , et trois entiers naturels non nuls.
. Ce nombre est appelé PGCD de , et et se note .
III. Recherche du pgcd en décomposant chaque nombre en facteurs premiers
Décomposons 150 et 144 en facteurs premiers.
et .
Tout diviseur commun à 150 et à 144 peut avoir :
le facteur premier 2, mais le plus grand exposant possible est 1 ;
le facteur premier 3, mais le plus grand exposant possible est 1.
Donc le plus grand diviseur commun à 150 et à 144 est .
Plus généralement, pour obtenir le PGCD de deux entiers naturels on peut procéder ainsi :
on décompose ces nombres en facteurs premiers ;
on fait le produit de tous les facteurs premiers communs en prenant pour chacun d’eux le plus petit exposant figurant dans les deux décompositions.
IV. Un point méthode : un exercice rédigé
Énoncé :
Soit . On pose
a) Montrer que divise 6.
b) Déterminer l'ensemble des entiers relatifs tels que .
Solution :
a) On constate que pour et que 3(-4) + 15 = 3 0. On en conclut que et ne sont pas nuls simultanément. Par conséquent le PGCD a un sens.
divise et .
Donc divise
b) On dresse le tableau des différentes valeurs prises par et modulo 6.
si (modulo 6) et (modulo 6).
Ainsi si (modulo 6) soit