Si d = pgcd(a, b), alors on peut trouver un couple d'entiers relatifs u, v tels que :
d = au +bv
Il y a en fait une infinité de couples (u, v) répondant au problème.
On détermine un couple (u, v) à l'aide de l'algorithme d'Euclide.
On calcule le Pgcd de deux nombres à l'aide de l'algorithme de Bezout.
Entrez deux nombres
A tout couple d'entiers (a, b) on associe l'ensemble :
S = {au + bv | u
On montre que cet ensemble est formé de l'ensemble des multiples du pgcd(a, b).
, v
}.