关于裴蜀定理的一些证明

裴蜀定理：
对任何$a,b \in Z$和它们的最大公约数$d$，关于未知数$x$和$y$的线性不定方程（称为裴蜀等式）：$ax+by=c$有整数解$(x,y)$当且仅当$d \mid c$，可知有无穷多解。特别地，一定存在整数$x,y$，使$ax+by=d$成立。
推论：
$a,b$互质的充要条件是存在整数$x,y$使$ax+by=1$

对于$(a,b \in Z)$，$ax+by=gcd(a,b)$一定有整数解$x,y$的证明：
设$d = gcd(a,b)$，可得$d \mid a$，$d \mid b$，且$d \mid (ax+by)$。
设$s$是$a$与$b$的线性组合集中最小的正元素，并且对于某个$x,y \in Z$，有$s=ax+by$，可知$s \in Z$。
设$q = \lfloor a/s \rfloor$，则有$r = a\;mod\;s = a - qs = a - q(ax+by) = a(1-qx)+b(-qy)$，因此$r$也是$a$与$b$的一个线性组合，已知$s$是这个线性集合中的最小正整数，又$0 \le r \lt s$，可得$r=0$，因此有$s \mid a$，同理有$s \mid b$，因此$s$是$a$与$b$的公约数，所以有$d \ge s$。因为对于任意$x,y \in Z$，有$d \mid (ax+by)$，而对于某个$x,y \in Z$，有$s = ax+by$，所以有$d \mid s$。但$d \mid s$且$s \gt 0$，可得$d \le s$。综合$d \le s$和$d \ge s$，得$d=s$，故$s$=$gcd(a,b)$。我们已知$s$是$a$与$b$的线性组合集中的最小正元素，故$ax+by=gcd(a,b)$一定有整数解$x,y$，亦可知对于$a,b \in Z$，$gcd(a,b)$是$ax+by(x,y \in Z)$的最小正元素

对于$(a,b \in Z)$，$ax+by=c$有整数解的条件是$gcd(a,b) \mid c$的证明：
充分性：设$d = gcd(a,b)$，已知$ax+by=d$一定有整数解，设其解为$(x_0,y_0)$。$d \mid c$，则存在$k \in Z$，使得$c = kd = k(ax+by) = a(kx) + b(ky)$，即解为$(kx_0,ky_0)$。
必要性：因$ax_1+by_1=c，x_1,y1 \in Z$，设$d = gcd(a,b)$，有$d \mid a$，$d \mid b$，$d \mid (ax_1,by_1)$，即$d \mid c$

以上是本人学习过程中的一些总结，参考了算法导论，若有错误欢迎指正