二元一次不定方程求解

不定方程：变量个数>方程个数
二元一次不定方程： a * x + b * y = c（又称为丢番图方程）

• 定理：如果方程 ax+by=c （其中 a,b,c 都是整数）有整数解，那么必须满足 a,b 的最大公约数能够整除 c

求出 a,b 的最大公约数：

辗转相除法(也称欧几里得算法)
1.用较大的数除以较小的数，得到余数
2.然后用较小的数除以余数，再得到新的余数，依此类推，直到余数为零为止
3.最后一个非零的余数就是 a,b 的最大公约数

求出方程的通解

如果方程有整数解，那么一定存在一组整数 x0,y0 满足 a * x0 + b * y0 = c
由于a * x0 + b * y0=gcd( a , b )，所以:

• x 一定是 x0 的（c / gcd( a , b )）倍，x = x0*（c / gcd( a , b )
• y 一定是 y0 的（c / gcd( a , b )）倍，y = y0*（c / gcd( a , b )

该方程的通解为：（t为任意整数）
$$f(x)=\{\begin{array}{rl}x& =x0-\frac{b}{gcd(a,b)}\ast t\\ y& =y0+\frac{b}{gcd(a,b)}\ast t\end{array}$$

证明一个二元一次方程有整数解：

1. 用辗转相除法求出 a,b 的最大公约数 g，并判断是否能够整除 c。

2. 如果 g 能够整除 c，则方程有整数解；否则没有。

3. 如果方程有整数解，则用辗转相除法的逆过程求出一个特解 x0,y0。

4. 根据通解公式求出所有的通解 x,y。