I. Nombres premiers entre-eux
Le seul diviseur commun à et est . En effet, aucun facteur premier intervenant dans la décomposition de n’intervient dans celle de .
Cela conduit à poser la définition suivante :
Définition
Deux entiers non nuls sont dits premiers entre eux si leur PGCD est .
Remarque
Tout nombre premier est premier avec tout nombre plus petit que lui, et il est également premier avec tout autre nombre qui n’est pas un de ses multiples.
Théorème
Soient et deux entiers naturels non nuls, leur PGCD. Alors les deux entiers et tels que
et sont premiers entre eux.
Démonstration
Soient deux entiers naturels non nuls et . Le PGCD de deux nombres divise ces deux nombres donc il existe deux entiers et tels que :
et
On peut donc écrire :
Or
Donc Par suite
Remarque
Ce théorème permet, moyennant une division par le PGCD, de se ramener au cas où les nombres sont premiers entre eux.
Si on simplifie une fraction en divisant le numérateur et le dénominateur par leur PGCD, alors la fraction obtenue est irréductible.
II. Caractérisation des nombres premiers entre-eux
Propriété : l'identité de Bezout
Soit et deux entiers naturels non nuls et leur PGCD, alors il existe deux entiers relatifs et tels que .
Démonstration (au programme)
Soient deux entiers naturels non nuls et . Considérons l’ensemble formé des éléments du type , et étant des entiers relatifs.
On peut remarquer que puisque pour et , on voit que .
De même, pour et , on obtient que .
Soit le plus petit élément strictement positif de , et soient et les nombres tels que .
Soit un élément quelconque de . Effectuons la division euclidienne de par .
d’où
Par suite est un élément de tel que .
Puisque est le plus petit élément strictement positif de , on a .
Par conséquent, tout élément de est un multiple de .
En particulier et sont des multiples de .
Le nombre étant un diviseur de et de , divise donc .
Réciproquement, divisant et , divise aussi ,
donc divise .
On en déduit que .
En particulier, et sont premiers entre eux si et seulement si il existe deux entiers relatifs tels que .
Réciproquement, s’il existe et tel que et si divise et , alors divise , donc divise .
Le théorème de BEZOUT
Soient et deux entiers non nuls.
Les nombres et sont premiers entre eux si et seulement si il existe deux entiers relatifs et tels que : .
Exemple : La relation montre que et sont premiers entre eux.
Remarque
La relation de Bézout n’est pas unique. On a aussi .
III. Inverse modulo
Propriété :
Un entier admet un inverse modulo , si et sont premiers entre eux.
IV. Un exemple de recherche d'inverse modulo n
Énoncé :
Soit et . Nous voulons vérifier si admet un inverse modulo .
Solution :
1. Vérification de la condition : et premiers entre eux
Un entier admet un inverse modulo si et seulement si et sont premiers entre eux, c'est-à-dire si leur PGCD est .
Calculons le PGCD de et avec l'algorithme d'Euclide :
Le dernier reste non nul est , donc . Ainsi, et sont premiers entre eux, donc admet un inverse modulo .
2. Trouver l’inverse de modulo
Nous devons trouver un entier tel que :
Utilisons l’identité de Bézout, qui nous donne une combinaison linéaire de et donnant .
Reprenons les étapes de l’algorithme d’Euclide en remontant :
Or , donc
Or , donc
Donc, on obtient :
En prenant modulo , on voit que , donc l’inverse de modulo est .
3. Vérification
Calculons :
reste
Donc :
Conclusion : L’inverse de modulo est bien .