基础算法（四）同余定理

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)，则 a ± c ≡ b ± d(mod m)，a * c ≡ b * d(mod m)