整除
贡献者： int256
定义 1 整除
假设对于整数 $a$ 与非 $0$ 整数 $b$，存在第 $3$ 个整数 $c$ 使得
\begin{equation}
a = bc ~,
\end{equation}
就称 $a$ 能被 $b$
整除（divisible）。记作 $b | a$，称 $b$ 是 $a$ 的一个
因子（divisor）。
有时也用记号 $\nmid$、$\not{\mid}$ 表示不整除，也就是做除法会有余数，例如 $2 \not{\mid}~ 5 $。
推论 1 整除的性质
对于整数 $a$ 与非零整数 $b$，显然有：
- $1 | a$；
- $b | 0$，$b | b$。
另外整除还有传递性等性质。
定理 1 整除的传递性
若 $b|a$，$c|b$，则 $c|a$。
定理 2
若 $b|a$，则对于非零整数 $c \neq 0$ 有 $(bc) | (ac)$。
定理 3
若 $c|a$ 并且 $c|b$，则对于任意整数 $m$ 与 $n$ 都有 $c | (ma + nb)$。
定义 2
符号 $a \operatorname {mod} b$ 表示 $a$ 除以 $b$ 的余数。这是指若 $r = a \operatorname {mod} b$，则 $a = kb + r$，且 $k$ 为整数并且 $0 \le r < b$。
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。