Könnte vielleicht so gehen mit Lemma von Bezout:
g=ggT(a,b)
==> ggT ( a/g ; b/g) = 1
==> Es gibt u,v aus Z mit
(a/g)*u + (b/g)*v = 1 | *g
a*u + b*v = g
und wenn g ein Teiler von c ist, dann ist c/g = n aus Z
und damit wird aus a*u + b*v = g | n
a*u*n + b*v*n = g*n = c
und un und vn sind die ganzzahligen Lösungen von
ax +by = c