二元一次不定方程的整数解

---

先来看看一个典型的二元一次不定方程:
$$\begin{gathered} ax+by-c=0 \\ a,b,c\in z \\ x,y\in z \end{gathered}$$
为了方便不妨限定$c⩾0$.
下面给出一个是否有解的定理:
$$\begin{gathered} theorem: \\ gcd(a,b)|c⟺不定方程ax+by=c有无数个整数解. \end{gathered}$$
下面用之前提到的裴蜀等式(或者裴蜀定理,叫什么都好)证明
$$\begin{gathered} proof: \\ \because \exists s,t\in z, \\ sa+tb=gcd(a,b), \\ \therefore whengcd(a,b)|c, \\ Thesolutionis[s\ast (c/gcd(a,b)),t\ast (c/gcd(a,b))] \\ Q.E.D \end{gathered}$$
既然有解,那解是什么就成了下一个问题.
下面是结论:
$$\begin{gathered} 对于特解x_0,y_0 \\ 其他的解为 \\ \{\begin{array}{r}x=x_0\pm \frac{t\ast b}{gcd(a,b)}\\ y=y_0\mp \frac{t\ast a}{gcd(a,b)}\end{array} \end{gathered}$$
下面是不太数学化的证明XD
已经通过各种黑科技得到特解$x_0$,$y_0$,那么就形成了一种"平衡状态",要得到其他的整数解必须要基于这个状态进行"无害化"修改.那么就只能像这样:
$$\begin{gathered} a{x}_0+b{y}_0=c\to a{x}_0\pm m+b{y}_0\mp m=c \\ \to a(x_0\pm m/a)+b(y_0\mp m/b)=c \end{gathered}$$
当且仅当$a|m\wedge b|m$,有新的整数解.此时m为a,b的公倍数.
根据定理,$[a,b]|m$,$m=[a,b]\ast t$
又因为$[a,b]=\frac{a\ast b}{gcd(a,b)}$
带入得证.

这只是不定方程中最简单的一种情况,至于更复杂的多元高次不定方程,那就是另一回事了.