数论不定方程&&中国剩余定理

Posted 2022-12-20 dudujerry

要求逆元，首先要知道什么是不定方程。

已知a,b,c,求解x,y，形如ax + by = c 的方程就是不定方程。

不定方程有两种解的情况：

1.无解

2.存在且有无限的解

那么，如何判断解的情况呢？

这时候，只需要拿出gcd就可以了，

若gcd(a,b) | c，则方程存在解，为什么呢

因为我们要使用扩展欧几里得来求不定方程，我们都知道欧几里得是求

ax + by = gcd(a,b)

中的 x,y的，因此如果我们要把c代换成gcd(a,b)的话，c一定是gcd(a,b)的整数倍，因此gcd(a,b) | c，因此如果c不是gcd(a,b)的整数倍的话，该不定方程无解。

 

接下来，就要解这个方程了

因为之前我们得到c一定是gcd(a,b)的整数倍，所以设c = k * gcd(a,b)，则 k * x 和 k * y就是方程的一组解，很好理解，因为我们要求

ax + by = c

代入扩展欧几里得

ax + by = gcd(a,b)

因为二者是等价的，且 c = k * gcd(a,b)，所以两边同乘k

k * (ax + by) = k * gcd(a,b)

化简得

k * x * a + k * y * b = k * gcd(a,b)

将k * gcd(a,b) 等量代换为 c，得到

k*x * a + k*y * b = c

所以对于扩展欧几里得，k*x和k*y就是该不定方程的一个解。

现在有特解，需要求通解：

因为有了解，所以它存在无限的解，所以设t为任意常数代入扩展欧几里得方程，设p1a + q1b = gcd(a,b)

设p = p1 * t

q = q1 * t

显然，因为 p1a + q1b = gcd(a,b)

所以pa + qb = gcd(a,b) * t

两边同除以gcd(a,b)

得到pa / gcd(a,b) + qb / gcd(a,b) = t

两边同除t

得到p1a / gcd(a,b) + q1b / gcd(a,b) = 1

p1a / gcd(a,b) + q1b / gcd(a,b) = 1

p1*(a / gcd(a,b) ) + q1*(b / gcd(a,b)) = 1

根据之前扩展欧几里得的公式，在ax + by = c中，

c必须是gcd(a,b)的整数倍，现在c = 1,gcd(a,b) = gcd( a / gcd(a,b) , b / gcd(a,b) )

所以c必须是gcd( a / gcd(a,b) , b / gcd(a,b) )的整数倍，且 c = 1，所以gcd( a / gcd(a,b) , b / gcd(a,b) ) 只能等于1，

所以a / gcd(a,b) 和 b / gcd(a,b)必须是互质的，这样方程才有解。

知道了判断条件后，我们就可以用扩展欧几里得求不定方程的通解。

 

接下来需要了解一个概念，叫做同余：

如果 a mod m = b mod m，则称 a,b 在模 m 的意义下同余
可以写成 a ≡ b(mod m)

同余有以下的性质：

a ≡ a(mod m)
若 a ≡ b(mod m)，则 b ≡ a(mod m)
若 a ≡ b(mod m); b ≡ c(mod m)，则 a ≡ c(mod m)
若 a ≡ b(mod m)， c ≡ d(mod m)，则
a + c ≡ b + d(mod m)
a - c ≡ b - d(mod m)
ac ≡ bd(mod m)
通过上述定义，可以得出ax ≡ 1(mod m) 这个同余方程

等同于求解不定方程 ax - my = 1  

所以求解ax ≡ 1(mod m)就变成了求解ax - my = 1，所以求解同余方程相当于求解不定方程。

 

这时候，我们可以引入逆元的定义：

逆元素是指一个可以取消另一给定元素运算的元素，

所以设a的逆元为x，则

ax = 1

在模m的情况下则为

ax ≡ 1(mod m)

这恰恰是一个同余方程，所以可以转化为ax - my = 1，用exgcd求解这个不定方程。

 

那么如何求解同余方程组呢？

同余方程组：

x ≡ a1(mod m1)

x ≡ a2(mod m2)

...

x ≡ an(mod mn)

解同余方程组，求解x的最小非负整数解。