定义

两个整数a，b，如果它们除以自然数m所得的余数相等，则称a，b对于模m同余

记作a≡b(mod m)

(通常用≡代替=，但是≡在某些浏览器中不能正常显示) 比如

26≡14(mod 12)

读作a同余于b模m，或读作a与b关于模m同余。

[编辑]性质

性质1：如果 a≡b(mod m), 那么 m|a-b, 这里 m|a-b 表示 (a-b) 能被 m 整除

性质2：如果 a≡b(mod m), b≡c(mod m),那么 a≡c(mod m)

性质3：如果 a≡b(mod m), c≡d(mod m),那么 a+c≡b+d(mod m), a-c≡b-d(mod m), ac≡bd(mod m), a÷c≡b÷d(mod m)

性质4：如果 a≡b(mod m)，那么 an≡bn(mod m)

另：求自然数a的个位数字，就是求a与哪一个数对于模10同余