1.定理描述
给定一个正整数m(m > 1),如果两个整数 a 和 b 满足 a-b能够被 m 整除,即 (a-b)/m 得到一个整数,那么就称 a 与 b 对模m同余,记作:a ≡ b(mod m),读作 :a 与 b 对模 m同余。
显然有如下事实:
1)若 a ≡ 0(mod m),则 a | m;
2) a ≡ b(mod m)等价于分别用 m 去除 a 和 b ,余数相同。
2.基本性质
① 反身性: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 ≡ b(mod m),c ≡ d(mod m),则 ac ≡ bd(mod m)
⑥线性运算:a ≡ b(mod m),c ≡ d(mod m),