一. 同余定义:给定一个正整数m,如果两个整数a和b满足a-b能够被m整除,即(a-b)/m得到一个整数,那么就称整数a与b对模m同余,记作a≡b(mod m)。对模m同余是整数的一个等价关系。
显然,有如下事实
(1) 若a≡0(mod m) 则 m | a;
(2) a≡b(mod m)等价于a与b分别用m去除,余数相同.
性质:
(1) 反身性 a ≡ a(modm) 显然成立;
(2) 对称性 a ≡ b(modm) <=> b ≡ a(modm)
(3) 传递性 若 a ≡ b(modm) , b ≡ c(modm) 则 a ≡ c (modm)
(4) 幂运算 若 a ≡ b ( m o d m ) a≡b(modm) a≡b(modm) 则 a n ≡ b n ( m o d m ) a^ n ≡ b^ n (modm) an≡bn(modm)
证明(3) 由前提知 m | (a - b) , m | (b - c ) 由线性同余可得 m | (a - b + b - c) -> m | (a - c)
证明(4) 对前提使用n次乘法即可得结论
7.除法:若 a c ≡ b c ( m o d m ) ac ≡ bc(modm) ac≡bc(modm),则 a ≡ b ( m o d g c d ( c , m ) ) a≡b(modgcd(c,m)) a≡b(modgcd(c,m)) ,其中gcd(c,m)表示c和m的最大公约数,
特殊地若 g c d ( c , m ) = 1 gcd(c,m)=1 gcd(c,m)=1 则 a ≡ b ( m o d m ) a ≡ b(modm) a≡b(modm)
二.同余方程(线性同余方程)
1.对于阶数为一次的同余方程称之为线性同余方程
也即是 x x x满足 a x ≡ b ( m o d m ) ax≡b(modm) ax≡b(modm) 的解,应当注意到不只有一个x满足题意,应该是一组解均满足题意
将等式转化 原式 = a x + m y = b ax+my=b ax+my=b (这里取 − m ∣ ( a x − b ) -m|(ax-b) −m∣(ax−b) 形式上对应统一)
由贝祖定理可得 若 a x + b y = c ax+by=c ax+by=c有解,则 g c d ( a , b ) ∣ c gcd(a , b) | c gcd(a,b)∣c
所以若 g c d ( a , m ) ∣ b gcd(a , m) | b gcd(a,m)∣b 则方程有解,反之无解
解系由特解+通解组成 设特解为 x 0 x_0 x0 , y 0 y_0 y0 则 x = x 0 + k ∗ b / d x = x_0 + k * b / d x=x0+k∗b/d , y = y 0 − k ∗ a / d y = y_0 - k * a / d y=y0−k∗a/d 具体实现由扩展欧几里得实现;
2.线性同余方程组(中国剩余定理)
解(1):设M = ∏ i = 1 n m i \prod_{i=1}^n m_i ∏i=1nmi M i = M / m i M_i = M / m_i