a与b对模m同余，当且仅当m|(a-b)时，记为a≡b(mod m)设m>0
a≡b(mod m)的性质：
①
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)，ac≡bd (mod m) ……同加、乘性
⑤若n|m，a≡b (mod m)，则a≡b (mod n) ★★★
⑥若(m，n)=1，a≡b (mod m)，a≡b (mod n)，则a≡b (mod mn)
⑦若a≡b (mod m)，n∈N*，则an≡bn (mod m) ……同幂性
⑧若ac≡bc (mod m)，(c，m)=d，则a≡b (mod m/d )
