裴蜀定理学习笔记

一、裴蜀定理

若 $a,b$ 是整数，且 $gcd(a,b)=d$ ，那么对于任意整数 $x,y$ 有 $ax+by$ 为 $d$ 的倍数，特别地，一定存在整数 $x,y$ 使 $ax+by=d$ 成立。
前半句话很好理解，也极易证明，因此，定理的主要内容集中在后半句话，即：设 $gcd(a,b)=d$，方程 $ax+by=d$ 必有整数解。

二、证明

考虑求最大公约数的过程，根据 $gcd(a,b)=gcd(b,a\%b)$ 转换位带余除法得到：
$$\{\begin{array}{rl}a& =q_{1}b+r_1\\ b& =q_2{r}_1+r_2\\ r_1& =q_3{r}_2+r_3\\ ...& \\ r_{k-3}& =q_{k-1}{r}_{k-2}+r_{k-1}\\ r_{k-2}& =q_k{r}_{k-1}+r_k\\ r_{k-1}& =q_{k+1}{r}_k+r_{k+1}\end{array}$$

不妨认为在最后一个等式时恰好除尽，即：
$$r_k=gcd(a,b)=d,r_{k+1}=0$$

由 $r_{k-2}=q_k{r}_{k-1}+r_k$ 得：
$$d=q_k{r}_{k-1}-r_{k-2}$$

将 $r_{k-3}=q_{k-1}{r}_{k-2}+r_{k-1}$ 带入消去 $r_{k-1}$ 得：
$$d=-q_k{r}_{k-3}+(1+q_k{q}_{k-1})r_{k-2}$$

同理，将上面等式倒序带入，依次消去 $r_{k-2},r_{k-3}...r_1$ 可得：
$$d=mb+na$$

其中 $m,n$ 均为由 $q_{k+1},q_k,q_{k-1}...q_1$ 表示的式子，因此都为整数。

三、裴蜀定理的推论及证明

1. $ax+by=1$ 有整数解当且仅当 $gcd(a,b)=1$。
   证明：
   $\to :$ 即证$ax+by=1$有整数解则 $gcd(a,b)=1$。
   采用反证法，假设结论不成立，即$gcd(a,b)=d(d\ne 1)$。
   则 $d\mid a,d\mid b$，进而 $d\mid ax,d\mid by,d\mid (ax+by)$，因此 $ax+by=dk(k\ne 0,d\ne 1)\ne 1$ 与条件矛盾，故假设不成立，$gcd(a,b)=1$，得证。
   $\leftarrow :$ 即证$gcd(a,b)=1$则$ax+by=1$。
   为裴蜀定理 $d=1$ 的特殊情况。
2. 对于方程 $ax+by=z$，只有满足 $gcd(a,b)\mid z$，方程才有整数解。
   证明：
   首先证明满足条件时方程有整数解。
   设 $ax+by=gcd(a,b)$ 的解为 $x_1,y_1$，则可以构造方程 $ax+by=z$ 的解，$x_1\ast \frac{z}{gcd(a,b)},y_1\ast \frac{z}{gcd(a,b)}$，代入验证等式成立。
   再证明不满足条件时方程无整数解。
   同上一个推论，采用反证法易证。

四、多个整数的裴蜀定理

对于方程 $a_1{x}_1+a_2{x}_2+a_3{x}_3+...+a_n{x}_n=z$，满足 $gcd(a,b)\mid z$ 时，方程有整数解。
方程 $a_1{x}_1+a_2{x}_2+a_3{x}_3+...+a_n{x}_n=z$ 有整数解当且仅当 $gcd(a_1,a_2,...,a_n)=1$。