关于扩展欧几里得算法的一些拓展

关于扩展欧几里得的一些拓展

建议了解扩展欧几里得算法后食用……

裴蜀（贝祖）定理的证明

裴蜀定理

当且仅当$gc{d}_{a,b}|c$时，方程$ax+by=c$有解

证明：

• 必要性
  设$gc{d}_{a,b}=p$，则$a=a^{\prime }p,b=b^{\prime }p$，显然$gc{d}_{a^{\prime },b^{\prime }}=1$
  那么$c=ax+by=a^{\prime }px+b^{\prime }py=p(a^{\prime }x+b^{\prime }y)$
  显然$p|c$，得证！
• 充分性
  使用数学归纳法进行证明：
  ①观察递归出口，即$b=0$，那么方程为$ax(+0y)=c$，显然只有$a|c$时方程有整数解，此时$y$可以取任何数，且$a$即是最开始两个数的$gcd$
  ②考虑欧几里得算法的核心：将$(a,b)$辗转为$(b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$，假设系数$(b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$存在一组解$(x_1,y_1)$，那么$c=ax+by=b{x}_1+(a\mathrm{m}\mathrm{o}\mathrm{d}b)y_1=b{x}_1+(a-\lfloor a/b\rfloor \ast b)y1=ay1+b(x_1-\lfloor a/b\rfloor \ast y1)$
  所以可设$(a,b)$的解为：$x=y1,y=x_1-\lfloor a/b\rfloor \ast y1$
  ③即存在解$(x,y)$使得$ax+by=c$，得证！

由于必要性和充分性均满足，所以此定理得证（关于充分性和必要性不知道是什么意思的读者可以自行上网百度）

表示方程ax+by=c的一般解

我们知道方程$ax+by=c(gc{d}_{a,b}|c)$有无穷组解，我们通过扩展欧几里得算法计算出来的是一组特解，由于题目可能会要求我们求许多不同性质的解，所以我们考虑将此方程的一般解表示出来，那么对于题目要求的不同性质的解就可以迎刃而解了

结论

设求出方程$ax+by=c$的特解为$(x_0,y_0)$，那么方程的一般解为：
$x=x_0+\frac{kb}{gcd(a,b)},y=y_0-\frac{ka}{gcd(a,b)}$，其中$k\in \mathbb{Z}$

证明

假设我们将所有解$(x,y)$以$x$为关键字从小到大排序
设特解$(x_0,y_0)$的下一组解为$(x_0+d_1,y0+d_2)$，其中$d1$是符合条件的最小正整数，则满足：$a(x_0+d_1)+b(y_0+d_2)=c$，
又因为$a{x}_0+b{y}_0=c$，所以$a{d}_1+b{d}_2=0$，即$\frac{d_1}{d_2}=-\frac{b}{a}$
约分得：$\frac{d_1}{d_2}=-\frac{b}{gcd(a,b)}/\frac{a}{gcd(a,b)}$
又由于$d1$是符合条件的最小正整数，所以$d1=\frac{b}{gcd(a,b)},d2=\frac{a}{gcd(a,b)}$
又因为$a{d}_1+b{d}_2=0$，所以$k(a{d}_1+b{d}_2)=0$
所以$x=x_0+\frac{kb}{gcd(a,b)},y=y_0-\frac{ka}{gcd(a,b)}$

由ax+by=c拓展到更多项的方程

问题

对应整数数列$a_1,a_2,\dots ,a_n$，是否存在$x_1,x_2\dots ,x_n$，使得$a_1{x}_1+a_2{x}_2+\dots +a_n{x}_n=c$，其中$gcd(a_1,a_2,\dots ,a_n)|c$

结论

存在

证明

使用数学归纳法进行证明：
①当$n=2$时此结论成立
②设$n=k$时此结论成立，考虑证明$n=k+1$时也成立
考虑构造一个方程$gcd(a_1,a_2,\dots ,a_k)x+a_{k+1}y=c$
由于$gcd(a_1,a_2,\dots ,a_k,a_{k+1})=gcd(gcd(a_1,a_2,\dots ,a_k),a_{k+1})$，且$gcd(a_1,a_2,\dots ,a_{k+1})|c$，所以该方程有解
又因为$a_1{x}_1+a_2{x}_2+\dots +a_n{x}_n=gcd(a_1,a_2,\dots ,a_k)x$，所以可以用$a_1{x}_1+a_2{x}_2+\dots +a_n{x}_n$将$gcd(a_1,a_2,\dots ,a_k)$替换，即可得到当$n=k+1$时的方程
③故当$n=k+1$时此结论成立，得证！
（当然以上证明过程也可以作为求解过程，维护几个前缀$gcd$即可）