裴蜀定理

裴蜀定理：

对于$a,b\in Z$和$d=gcd(a,b)$,关于$x$和$y$满足丢番图方程:
$a\ast x+b\ast y=c$
其中$d|c$.($x与y是未知数$)
推论：
$a,b$互质的充要条件之存在整数x,y使$a\ast x+b\ast y=1.$

裴蜀定理证明：

对于$a,b\in Z,a\ast x+b\ast y=gcd(a,b)$的证明：
设$d=gcd(a,b),则d|a,d|b,d|(a\ast x,+b\ast y).$
设$s$是$a\ast x+b\ast y$线性组合集中最小的正元素，且对于
$a\ast x+b\ast y=s,x,y\in Z，可知s\in Z$
设$q=\lfloor a/s\rfloor$(下取整)
$r=amods=a-s\ast q=a-q(a\ast x+b\ast y)=a\ast (1-q)\ast x+b\ast (-q)\ast y$
因为$amods=r$所以$0\le r<s$.
已知$s$是$a\ast x+b\ast y$的线性集合集的最小正整数
所以$r=0$,所以$s|a$,同理$s|b$
所以s是a,b的公倍数 s≤d
因为d|(ax+by)
又$s=a\ast x+b\ast y$,所以$d\le s$,
综上$d=s$即$gcd(a,b)$是$a\ast x+b\ast y$组合集中最小正整数.
对于$a,b\in Z,ax+by=c$, 有整数解的条件是$gcd(a,b)|c$的证明设,是$a\ast x+b\ast y=gcd(a,b)$的整数解,则:$x=c/gcd(a,b),y=c/gcd(a,b)$.
转自https://blog.csdn.net/discreeter/article/details/69833579.