整除与同余的性质

整除与同余的性质

整除的性质

1，$a|b\iff a|(-b)\iff (-a)|b\iff (-a)|(-b)\iff |a|\mid |b|$
2，$b|0(b\ne 0),1|a(a\ne 0)$
3，$若a|b,b|c,则a|c$
4，$若a|b,c|d,则ac|bd$
5，若$a|b,k$为自然数，则$a^k|b^k$
6，若$a|b,a|c,m,n\in Z,则a|(mb+nc)$
7，若$a|b,b\ne 0，则1\le |a|\le |b|$
8，若$a|b,b|a,则a=\pm b$

同余的性质

定义：$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)\iff m|(a-b)\iff a=km+b(k\in Z)$
1，自反性: $a\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}m)$
2，对称性: 若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$,则$b\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}m)$
3，传递性: 若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m),b\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}m)$,则$a\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}m)$
4，同余式间的运算:若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m),c\equiv d(\mathrm{m}\mathrm{o}\mathrm{d}m)$
则$a+c\equiv b+d(\mathrm{m}\mathrm{o}\mathrm{d}m)$，$ac\equiv bd(\mathrm{m}\mathrm{o}\mathrm{d}m)$
5，若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$,则$a^k\equiv b^k(\mathrm{m}\mathrm{o}\mathrm{d}m),k$为正整数
7，模数的乘法:若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m),则有ak\equiv bk(\mathrm{m}\mathrm{o}\mathrm{d}mk),k$为正整数
8，模数的除法:若$ac\equiv bc(\mathrm{m}\mathrm{o}\mathrm{d}m),gcd(m,c)=d,则a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m/d)$
9，传递性2:若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m),且d|m,则a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}d)$