数论-同余

若整数a,b满足a-b能被每个自然数m所整除，则称a和b关于模m同余，记作：a≡b(mod m);则a-b=m*k(k∈Z);

例如32≡2(mod 5),此时k=6;

61≡11(mod 10),此时k=5;

同余的一些性质：

1 自反性：a≡a(mod m);

2 对称性：若a≡b(mod m)则b≡a(mod m);

3 传递性：若a≡b(mod m)，b≡c(mod m)则a≡c(mod m);

还有同加、同乘、同幂性

推论：

1 a*b mod k = (a mod k) * (b mod k) mod k;

2 若a mod p = x, a mod q = x, p、q互质

则a mod p*q = x.