Resalut,
considere un couple (u,v) de Bezout tel que au+bv=1
Alors (uc,-vc)=(x0,y0) est une solution de ton equation.
Soit à présent (x,y) un couple d'entiers quelconque.
Il est solution de l'equation si et seulement si
ax-by = ax0 - by0, soit a(x-x0) = b(y-y0)
Comme pgcd(a,b) = 1, cela implique d'apres Gauss que a|(y-y0)
Symetriquement, on a aussi b|(x-x0)
Il existe donc k et k' entiers relatifs tels que y=ka+y0 et x=k'b+x0
Les solutions (x,y) sont donc à chercher parmi les réels définis par les égalités précédentes.
Soit (k,k') un couple d'entiers relatifs.
Alors le couple (k'b+x0,ka+y0) est solution de ton equation si et seulement si
a(k'b+x0)-b(ka+y0)=c
compte tenu du fait que ax0-by0=c, cela s'ecrit :
ak'b -bka =0, soit ab=0 ou k=k'.
Mais a et b sont supposés non nuls(sinon l'equation devient triviale)
d'où k=k' est une CNS pour avoir les couples (x,y) solutions.
en résumé, l'ensemble des couples solutions de l'equation diophantienne est constitué des (kb+x0,ka+y0) avec k dans Z; il y en a bien une infinité
Tigweg