Que ce soit pour simplifier une fraction ou pour résoudre un problème d’arithmétique, il est souvent utile de calculer le plus grand diviseur commun de deux nombres entiers et
. Le plus grand diviseur commun de
et
est noté
et on rappelle ci-dessous l’algorithme d’Euclide qui permet de le calculer.
Pour calculer par exemple on réalise des divisions euclidiennes successives, le premier quotient est la partie entière de
c’est à dire
et le premier reste est alors
, on obtient en continuant ainsi :
Il faut s’arrêter lorsque le quotient à calculer donne un nombre entier, dans l’exemple étudié c’est le quotient qui donne un nombre entier et qui signale alors la fin de l’algorithme. De plus le dénominateur du quotient
est le plus grand diviseur commun
qui était recherché. La suite des quotients
est indicée jusqu’au rang
et elle peut nous permettre de déterminer des entiers
et
tels que
. Pour cela, on considère la suite de nombres entiers
dont les premières valeurs sont
et
définie par récurrence à l’aide de la formule suivante :
Dans notre exemple, on obtient les calculs ci-dessous :
On ne peut pas continuer les calculs puisque la formule de récurrence ne peut plus fonctionner. Les valeurs absolues des entiers relatifs et
sont alors données respectivement par les deux derniers coefficients calculés et il faut juste retenir que les nombres
et
sont opposés pour pouvoir conclure que
. Nous avons ainsi obtenu une égalité
que l’on appelle l’identité de Bachet-Bézout. On peut à présent énoncer le théorème suivant :
Théorème de Bachet-Bézout : Si et
sont deux entiers relatifs alors il existe deux entiers relatifs
et
tels que
.
Le plus grand diviseur commun de et
nous permet aussi de calculer si on le souhaite le plus petit multiple commun de
et
. Ce dernier nombre noté
vérifie en effet la propriété suivante :
Propriété : Si et
sont deux entiers relatifs alors on a
.
En reprenant l’exemple de cet article on trouve ainsi . Deux nombres entiers
et
sont dits premiers entre eux lorsque
, à ce propos le théorème de Bachet-Bézout permet de démontrer un autre théorème important utile dans divers problèmes de divisibilité :
Théorème de Gauss : Si et
sont des entiers relatifs non nuls tels que
et
divise
alors
divise
.
Preuve : On peut noter et
des entiers relatifs tels que
d’après le théorème de Bachet-Bézout, de plus si
est un entier relatif tel que
alors on a
donc
puis
ce qui prouve que
divise
.
