可解性与通解

($\Rightarrow$)若 $(x,y)$ 是整数解,则 $d=\gcd(a,b)$ 同时整除 $ax$ 和 $by$,故整除 $ax+by=c$。因此 $d \mid c$ 是必要条件。

($\Leftarrow$)设 $d \mid c$,记 $c=de$。由裴蜀等式存在 $u_0,v_0$ 使 $au_0+bv_0=d$。两边乘以 $e$ 得 $a(u_0e)+b(v_0e)=de=c$,故 $(x_0,y_0)=(u_0e,\,v_0e)$ 是一个整数解。这证明了可解性。

现固定一个解 $(x_0,y_0)$,设 $(x,y)$ 为任意另一个解。用 $ax+by=c$ 减去 $ax_0+by_0=c$ 得 $a(x-x_0)+b(y-y_0)=0$,即 $a(x-x_0)=-b(y-y_0)$。两边除以 $d$:$\frac{a}{d}(x-x_0)=-\frac{b}{d}(y-y_0)$,由于 $\gcd(a/d,\,b/d)=1$,因子 $\frac{b}{d}$ 必整除 $x-x_0$(互素的标准推论:若 $p\mid mn$ 且 $\gcd(p,m)=1$ 则 $p\mid n$)。故 $x-x_0=\frac{b}{d}t$,其中 $t$ 为某整数,代回得 $y-y_0=-\frac{a}{d}t$。

反之,对任意整数 $t$,将 $x=x_0+\frac{b}{d}t,\ y=y_0-\frac{a}{d}t$ 代入 $ax+by$ 得 $ax_0+by_0+t\left(\frac{ab}{d}-\frac{ab}{d}\right)=c+0=c$,验证了每一对这样的数确实都是解。因此解集恰好是 $x=x_0+\dfrac{b}{d}t,\ \ y=y_0-\dfrac{a}{d}t\ \ (t\in\mathbb{Z})$。