裴蜀定理学习

$\forall a,b\in z,d=gcd\left(a,b\right)$
关于$x,y$的线性不定方程：（裴蜀等式）$ax+by=c$有整数解$\left(x,y\right)\iff d\mid c$,有解时,则有无穷解
通解为$$\left(m_0{x}_0+\frac{kb}{d},m_0{y}_0-\frac{ka}{d}\right)\left(k\in z\right)$$
或者$$\left(\frac{c}{d}{x}_0+\frac{kb}{d},\frac{c}{d}{y}_0-\frac{ka}{d}\right)\left(k\in z\right)$$
其中$ax+by=c,\left(x0,y0\right)$为$a{x}_0+b{y}_0=d=gcd\left(a,b\right)$的特解，$m_0=\frac{c}{d}$
证明:
先证明$ax+by=gcd\left(a,b\right)$有解
证明：
$\because d=gcd\left(a,b\right)$
$\therefore d\mid a,d\mid b$
$d\mid \left(ax+by\right)$
设$s$是$a,b$的线性组合中最小的正元素,则 $\exists x,y\in z$,使$s=ax+by\in z$
设$q=\lfloor \frac{a}{s}\rfloor$
$r=a\%s=a-qs=a-q\left(ax+by\right)=\left(1-qx\right)a-bqy$
$\therefore r$也是$a,b$的线性组合
又$\because r=a\%s$
$\therefore 0\le r<s$ (因为取余的结果必然小于模的数)
又$\because s$是$a,b$的线性组合中最小的正元素
$\therefore r$比线性组合中最小正元素的还小，$r=0$
$\therefore s\mid a$
同理可证$s\mid b$
$\therefore s$是$a,b$的公约数
又$\because d$是$a,b$的最大公约数
$\therefore d\ge s$
$\because d\mid \left(ax+by\right),s=ax+by$
$\therefore d\mid s$
$\therefore s\ge d$
又$\because d\ge s$
$\therefore s=d=gcd\left(a,b\right)$
$ax+by=s$
$ax+by=gcd\left(a,b\right)$有解

接着证明 $gcd\left(a,b\right)\mid c\iff ax+by=c$有整数解
证明:
充分性$d=gcd\left(a,b\right)$
设$ax+by=gcd\left(a,b\right)$解为$\left(x_0,y_0\right)$
$\because d\mid c$
$\therefore \exists k\in z$, 使得$c=kd$
$\because a{x}_0+b{y}_0=d$
$ka{x}_0+kb{y}_0=kd=c$
$\therefore ax+by=c$的解为$\left(k{x}_0,k{y}_0\right)$
必要性:$a{x}_1+b{y}_1=c$
设$d=gcd\left(a,b\right)$
$\therefore d\mid a,d\mid b$
$\therefore d\mid \left(a{x}_1+b{y}_1\right)$
$\therefore d\mid c$
$\therefore gcd(a,b)\mid c$

$\therefore gcd\left(a,b\right)\mid c\iff ax+by=c$ 有整数解

最后证明有无穷解以及通解形式
证明:设$a{x}_0+b{y}_0=d,c=m_{0}d$
$a{m}_0{x}_0+b{m}_0{y}_0=m_{0}d=c$
$$\begin{array}{rl}& a\left(m_0{x}_0+\frac{kd}{b}\right)+b\left(m_0{y}_0-\frac{ka}{b}\right)\left(k\in z\right)\\ & =a{m}_0{x}_0+a\frac{kb}{d}+b{m}_0{y}_0-b\frac{ka}{d}\\ & =a{m}_0{x}_0+b{m}_0{y}_0\\ & =c\end{array}$$
即$ax+by=c$的通解为
$\left(m_0{x}_0+\frac{kb}{d},m_0{y}_0-\frac{ka}{d}\right)\left(k\in z\right)$
或者$\left(\frac{c}{d}{x}_0+\frac{kb}{d},\frac{c}{d}{y}_0-\frac{ka}{d}\right)\left(k\in z\right)$
也就是证明了无穷解
其中 $ax+by=c,\left(x_0,y_0\right)$为$a{x}_0+b{y}_0=d=gcd\left(a,b\right)$的特解，$m_0=\frac{c}{d}$