同余的定义:
当两个整数a和b除以同一个正整数n得到相同的余数时,称a和b模n同余,即a ≡ b(mod n).
同余的性质:
如果a mod n与b mod n 的结果相同,那么a ≡ b(mod n).
如果a ≡ 0(mod n),则n整除a(n时a的因子)。
注意:同余并不意味着两个数相等,只是它们模n相等。
基本性质:
如果n整除a-b(n|(a-b)),则a和b模n同余,记作a ≡ b(mod n).
如果a ≡ b(mod n),则同样有b ≡ a(mod n);同余关系是对称的。
如果a ≡ b(mod n)且b ≡ a(mod n),则有a ≡ c(mod n);同余关系时传递的。