Corollaire du théorème de Bézout :Soient a et b deux entiers non nuls. On a l'équivalence :pgcd(a,b) = 1 |
Si a et b sont premiers entre eux alors il existe u et v tels que ua + vb = 1 et réciproquement si un tel couple existe, on sait que pgcd(a,b) égale 1, puisque tous les entiers ax + by sont des multiples du pgcd de a et b. Dans ce cas, le pgcd de a et b divise 1. Il est donc égal à 1.