同余方程总结

摘要

总结线性同余方程的相关性质,中国剩余定理,线性同余方程组.

线性同余方程

求解形如

$$ax\equiv b(mod\ n)$$
我们证明这样的解有 $d = gcd(a,n)$ 个(在模 $n$ 的意义下). 形如 $x = x_0 + (n/d)*t,t = 0,1,2,...,d-1(取遍d的剩余系)$

• 引理1

  若$ac\equiv bc(MOD\ m),且，gcd(c,m) =d,则,a\equiv b(MOD\ m/d)$

  证：

  $由m \big | c(a-b)，即m/d\ \big |\ c/d(a-b),而gcd(m/d,c/d) =1,所以 m/d\big |(a-b),$

  即$a\equiv b(MOD m/d)$

• 引理2 丢番图方程

  形如$ax+by=c,其中a,b,c,为整数，有整数解，当且仅当d = gcd(a,b) \big | c$，且，若$x_0,y_0为一组特解，则其所有解满足x = x_0+b/d*n,y = y_0-a/d*n$

  证明:

  不存在解的情况是很显然的, 由于d∣a,d∣b,所以d∣ax+by,这