同余的性质

学习同余，记一下笔记

定理

给定一个整数$m$，如果用$m$去除任意两个正整数$a与b$所得到的余数相同，我们就称$a，b$对模$m$同余，记作：
$$a\equiv b(\mathrm{mod}m)$$
否则称$a、b$对模$m$不同余，记作：
$$a\not\equiv b(\mathrm{mod}m)$$
其中$m$称作模。
我们有
$$m\mid (a-b)$$

一般性质

同余是一种等价关系，即具有自反性、对称性和传递性：
自反性 $a\equiv a(\mathrm{mod}m)$;
对称性 若$a\equiv b(\mathrm{mod}m)$，则$b\equiv a(\mathrm{mod}m)$;
传递性 若$a\equiv b(\mathrm{mod}m)$，$b\equiv c(\mathrm{mod}m)$，则$a\equiv c(\mathrm{mod}m)$。

同余的四个与等式相同的性质

1.如果$a_1、b_1、a_2、b_2$都是整数，而$m$是正整数，则当$a_1\equiv b_1(\mathrm{mod}m)$、$a_2\equiv b_2(\mathrm{mod}m)$都成立时，有$a_1\pm a_2\equiv b_1\pm b_2(\mathrm{mod}m)$；
2.如果$a_1、b_1、a_2、b_2$都是整数，而$m$是正整数，则当$a_1\equiv b_1(\mathrm{mod}m)$、$a_2\equiv b_2(\mathrm{mod}m)$都成立时，有$a_1\ast a_2\equiv b_1\ast b_2(\mathrm{mod}m)$；
3.如果$a、b、c$都是整数，而$m$是正整数，则当$a+b\equiv c(\mathrm{mod}m)$成立时，有$a\equiv c-b(\mathrm{mod}m)$；

同余的五个与等式不相似的性质

1.如果$a、b$是整数，而$k、m$是正整数，则当$a\equiv b(\mathrm{mod}m)$成立时，有$ak\equiv bk(\mathrm{mod}mk)$；
2.如果$a、b$是整数，而$d、m$是正整数，$d$是$a、b$及$m$的任意公因数（即$d\mid (a,b,m)$），则当$a\equiv b(\mathrm{mod}m)$成立时，有$\frac{a}{d}\equiv \frac{b}{d}(\mathrm{mod}\frac{m}{d})$;
3.如果$a、b$是整数，而$d、m$是正整数，且$d\mid m$，则当$a\equiv b(\mathrm{mod}m)$成立时，有$a\equiv b(\mathrm{mod}d)$;
4.（百度上没找到）;
5.如果$a、b$都是整数，而$d、m$是正整数，则当$a\equiv b(\mathrm{mod}m)$成立时，有$(a,m)=(b,m)$，若$(d\mid m)and(d\mid aord\mid b)$，则$(d\mid a)or(d\mid b)$;