整除 && 模运算 && 同余

整除

设$a,b(a\ne 0)$为整数，如果存在一个数$q$，使得$a\times q=b$，则$b$能被$a$整除，记为$a|b$，称$b$是$a$的倍数，$a$是$b$的因子。如果不存在$q$使得$a\times q=b$，则$a\nmid b$。

性质

1.传递性：如果$a\mid b$且$b\mid c$，则$a\mid c$

我们设$q$，使$a\times q=b$
我们设$p$，使$b\times p=c$
将$b=a\times q$带入$b\times p=c$中
则$a\times q\times p=c$
所以$a$是$c$的倍数。
所以$a\mid c$

---

2.$a|b$且$a|c$等价于对于任意的整数$x,y$，有$a|(bx+cy)$

我们设$q$，使$a\times q=b$
我们设$p$，使$a\times p=c$
因为$a|b$且$a|c$等价于对于任意的整数$x,y$。
所以$bx=aqx,cy=apy$
所以$bx+cy=aqx+apy$
所以$bx+cy=a(qx+py)$
所以$a\mid (bx+cy)$，得证。

---

3.设$m$不为$0$，则$a|b$等价于$ma|mb$

我们设$q$，使$a\times q=b$
因为$m$不为$0$
所以$aqm=bm\Rightarrow ma(q)=mb$
得证。

---

4.设整数$x,y$满足下式：$ax+by=1$，且$a|n,b|n$，那么$(ab)|n$

我们设$q$，使$a\times q=n$
我们设$p$，使$b\times p=n$
因为$ax+by=1\Rightarrow \frac{x}{b}+\frac{y}{a}$