两个整数a,b,若它们除以整数m所得的余数相等,则称a,b对于模m同余 记作 a ≡ b (mod m)
读作a同余于b模m,或读作a与b关于模m同余。
同余关系满足以下规律:
(1)(反身性);(2)(对称性)若,则;(3)(传递性)若,,则;(4)(同余式相加)若,,则;(5)(同余式相乘)若,,则;运算规则:模运算与基本四则运算有些相似,但是除法例外。其规则如下: (a + b) % p = (a % p + b % p) % p (1) (a - b) % p = (a % p - b % p) % p (2) (a * b) % p = (a % p * b % p) % p (3)