2.0同余定义和基本性质 定义1给定一正整数m,若用m去除两个整数a和b所得 余数相同,则称a与b为对模m同余,记作a= b(mod); 若余数不同,则称a与b为对模m不同余 oa≡b(modm)ifml(a-b) oa≡0(modm) iff m a o性质: ①自反性:a≡ a(mod n) ②对称性:若a= b(modn),则b≡ a(mod m) ③传递性:若a=b(modm),b≡c(modm),则: a≡ c(mod n) o可见,同余关系是等价关系2.0 同余定义和基本性质 定义1 给定一正整数m, 若用m去除两个整数a和b所得 余数相同, 则称a与b为对模m同余, 记作ab(mod m); 若余数不同, 则称 a与b为对模m不同余。 ab(mod m) iff m|(a-b). a0(mod m) iff m| a.  性质: ①自反性: aa (mod m). ②对称性: 若ab(mod m), 则 ba(mod m). ③传递性: 若ab(mod m), bc(mod m), 则: ac(mod m).  可见, 同余关系是等价关系