
3
On connaît ainsi le PGCD de 26 et 49, c’est 1 : ils sont premiers entre eux.
Les égalités précédentes permettent de trouver un couple (ݑ ; ݒ) tels que ݑܽ + ݒܾ = 1 :
La 4
ème
égalité nous donne 1 = 3 − 2 et la 3
ème
2 = 23 − 7 × 3, on en déduit :
1 = 3 − 23 + 7 × 3 = 8 × 3 − 23
On poursuit avec 3 = 26 − 23 et on obtient : 1 = 8 × 26 − 8 × 23 − 23 = 8 × 26 − 9 × 23
Enfin 23 = 49 − 26 et donc : 1 = 8 × 26 − 9 × 49 + 9 × 26 = 17 × 26 − 9 × 49
On a ainsi obtenu un couple (ݑ ; ݒ)=(−9; 17) tel que ݑ × 49 + ݒ × 26 = 1
Exemple : 2݊ + 3 et 3݊ + 4 sont premiers entre eux pour tout ݊ ∈ ℕ :
En effet, 3 × (2݊ + 3)− 2 × (3݊ + 4)= 1
V – Le théorème de Gauss
Théorème 3 : Théorème de Gauss
Soient ܽ,ܾ et ܿ trois entiers naturels non nuls.
Si ࢇ divise ࢈ࢉ et si ࢇ et ࢈ sont premiers entre eux, alors ࢇ divise ࢉ.
Remarque : théorème très utile pour la résolution d’équations
Propriété 5 : Conséquence du théorème de Gauss
Soient ܽ,ܾ et ܿ trois entiers naturels non nuls.
Si ࢇ et ࢈ divisent ࢉ et si ࢇ et ࢈ sont premiers entre eux, alors ࢇ࢈ divise ࢉ.
Exemples :
1) 4 et 5 divisent 100 et 4 et 5 sont premiers entre eux donc 4 × 5 = 20 divise 100.
2) Si les entiers ne sont pas premiers entre eux, ce résultat est faux en général :
4 et 6 divisent 36 (4 et 6 ne sont pas premiers entre eux) mais 4 × 6 = 24 ne divise pas 36 …