1.概念及基本性质 定义1:若 则称a与b模m同余,记作: 定理1:上式成立的充要条件是: 证明: a=q1m+r1 b=q2m+r2 因为r1=r2 所以a-b=(q1-q2)m 所以m|(a-b) 基本性质: ,则与