同余式和裴蜀定理

同余式

定义

如果m整除a-b，我们就说a与b模m同余并记之为
$a\equiv b$ (mod m)

裴蜀定理

定义

对任意两个整数 a、 b，设 d是它们的最大公约数。那么关于未知数 x和 y的线性丢番图方程（称为裴蜀等式）：
ax+by=m

有整数解(x,y) 当且仅当m 是d 的整数倍。

裴蜀等式有解时必然有无穷多个解。

证明

证明：
如果a 和 b 中有一个是0，比如 a=0，那么它们两个的最大公约数是 b。这时裴蜀等式变成 by=m，它有整数解(x,y) 当且仅当m 是d 的倍数，而且有解时必然有无穷多个解，因为x 可以是任何整数。定理成立。
以下设 a和 b 都不为0。
设 $A=\{xa+yb;(x;y)\in \mathbb{Z } ^{2}\}$，下面证明 A中的最小正元素是a 与 b 的最大公约数。
首先， $A\cap \mathbb{N} ^{*}$ 不是空集（至少包含 |a| 和 |b|），因此由于自然数集合是良序的，A 中存在最小正元素 $d_{0}=x_{0}a+y_{0}b$。考虑A中任意一个正元素p（ $=x_{1}a+y_{1}b$）对 $d_{0}$的带余除法：设 $p=qd_{0}+r$，其中q 为正整数， $0\leq r<d_{0}$。但是
$r=p-qd_{0}=x_{1}a+y_{1}b-q(x_{0}a+y_{0}b)\in A$
因此 r=0， $d_{0}\ |\ p$。也就是说，A中任意一个正元素p都是 $d_{0}$的倍数，特别地： $d_{0}\ |\ a、 d_{0}\ |\ b$。因此$d_{0}$ 是 a 和 b 的公约数。
另一方面，对a 和 b 的任意正公约数 d，设 a=kd、 b=ld，那么
$d_{0}=x_{0}a+y_{0}b=(x_{0}k+y_{0}l)d$
因此$d\ |\ d_{0}$。所以 $d_{0}$ 是 a 和 b 的最大公约数。
在方程 ax+by=m中，如果 $m=m_{0}d_{0}$，那么方程显然有无穷多个解：
${\displaystyle \left\{\left(m_{0}x_{0}+{\frac {kb}{d}},\ m_{0}y_{0}-{\frac {ka}{d}}\right)\mid k\in \mathbb {Z} \right\}}$。
相反的，如果 ax+by=m有整数解，那么 $|m|\in A$，于是由前可知 $d_{0}\ |\ |m|$（即 $d_{0}\ |\ m$）。

m=1时，方程有解当且仅当a、b互质。方程有解时，解的集合是
${\displaystyle \left\{\left({\frac {m}{d}}x_{0}+{\frac {kb}{d}},\ {\frac {m}{d}}y_{0}-{\frac {ka}{d}}\right)\mid k\in \mathbb {Z} \right\}}$。其中 ${\displaystyle (x_{0},y_{0})} (x_{0},y_{0})$是方程 ax+by=d的一个解，可由辗转相除法得到。
所有解中，恰有二解(x,y) 满足 ${\displaystyle |x|\leq |b/d|}$及${\displaystyle |y|\leq |a/d|}$，等号只会在a及b其中一个是另一个的倍数时成立。辗转相除法给出的解会是这两解中的一个。

性质

（1）裴蜀定理是拓展欧几里德的一般形式
（2）裴蜀定理可以用来求同余式