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 .