线性不定方程，裴蜀定理

对于整数而言：

定义

关于$x$的方程，形如$\sum a_i\cdot x_i=k$，使得$a_i,x_i\in \mathbb{Z}$的一组方程，是我们目前探讨的不定方程的定义。

其中有一个更为特殊的形式，即二元一次不定方程（Diophantine Equation）：
$ax+by=c(a,b,c,x,y\in \mathbb{Z})$

裴蜀定理（Bézout）

这里指的是关于不定方程的裴蜀定理。

裴蜀定理指的是，一组线性不定方程有整数解的充分必要条件是：
对于：$\sum a_i\cdot x_i=k$

有：$\stackrel{n}{\underset{i=1}{\gcd }}(a_i)|k=\gcd (a_1,a_2,...,a_n)|k$

现在证明一下二元一次不定方程中的裴蜀定理，对于其他情况，可以仿照着给出类似的证明过程：

这个证明有许多种方法，这里选取了比较巧妙的一种。

设$g=\gcd (a,b)$：

先证明必要性：
若有$ax+by=c$，$g|a,g|b$：
整除也就是说，提出来里面仍然是整数：$g\left(\frac{ax}{g}+\frac{by}{g}\right)=c$
因此$g|c$。

再证明充分性：
设取整数$(x_0,y_0)$时，使得有最小的正整数$s$满足方程$ax+by=s$：
显然$g|s$。
此外，设$a=qs+r(0\le r<s)$，则有：
$r=a-qs=a-q(a{x}_0+b{y}_0)=a-aq{x}_0-bq{y}_0=a(1-q{x}_0)+b(-q{y}_0)$

这显然符合$ax+by$的形式：
$=ax+by$

前面已经说过，$s$是满足$ax+by$形式的最小正整数，而$0\le r<s$，因此$r=0$，即$s|a$。
同理：$s|b$。

因此这充分说明$s$是$a,b$的任意公约数，则$s$也有可能是最大公约数，那它必然整除最大公约数：$s|g$。

注意到又有$g|s$，因此$s=g$。

对于$ax+by=c$，只需要将$ax+by=g$整理成$a\frac{cx}{g}+b\frac{cy}{g}=c$的形式（由于$g|c$）。

以上均假设a、b为正。
若a为负数，则令x=-x即可。b同理。

QED.

模板题
注意gcd(x,y)可能为负数，根据题设，带入gcd时带入绝对值即可，令对应的x=-x，不影响答案。

后记

于是皆大欢喜。