désolé de répondre aussi tard je n'ai pas pu le faire plutôt.
Voici ce que j'ai fais:
Soient a,b,c trois entiers relatifs tels que a et b sont premiers entre eux.
Supposons que c est un multiple de pgcd(a,b) afin de justifier l'existence de solutions.
Supposons qu'il existe un couple (x0;y0) solution particulière de l'équation.
On obtient donc le système: ax+by=c
ax0+by0=c
En faisant la soustraction, on a a(x-x0)=b(y-y0)
a divise donc b(y-y0) et pgcd(a,b)=1 donc d'après le théorème de Gauss, a divise y-y0 donc il existe un entier relatif k tel que ak= y-y0 soit y=ak+y0
J'en déduis donc que x=x0+kb.
Maintenant je souhaite vérifier que les solutions trouvées vérifient l'équation ax+by=c mais je ne n'arrive pas à aboutir à c. J'aboutis à:
a(x0+kb)+b(y0+ka)= 2abk+ax0+by0