定义:
定义:
若整数\(a\)和整数\(b\)除以正整数\(m\)的余数相等,则称 \(a,b\) 模 \(m\) 同余,
记为\(a \equiv b(\mod m)\)。
即:\[m \mid a - b \Leftrightarrow a \equiv b(\mod m)\]
性质:若\(a_1 \equiv b_1(\mod m)\), \(a_2 \equiv b_2(\mod m)\),,那么我们有
\(a_1 \pm a_2 \equiv b_1 \pm b_2(\mod m)\)
\(a_1 a_2 \equiv b_1 b_2(\mod m)\)
\({a_1}^k \equiv {b_1}^k(\mod m)\)
原文:https://www.cnblogs.com/keik/p/12450250.html