整除是数论中最基础的概念之一。如果两个整数 $a$ 和 $b$（其中 $b \neq 0$），存在一个整数 $k$，使得 $a = b \cdot k$，我们就说 $b$ 整除 $a$，记作 $b \mid a$。例如，$3 \mid 12$，因为 $12 = 3 \times 4$。

同余是整除概念的延伸。若两个整数 $a$ 和 $b$ 被同一个正整数 $m$ 除后余数相同，就称 $a$ 与 $b$ 对模 $m$ 同余，记作 $a \equiv b \pmod{m}$。这等价于 $m \mid (a - b)$。例如，$17 \equiv 5 \pmod{6}$，因为 $17 - 5 = 12$，而 $6 \mid 12$。

同余具有很多类似等式的性质：

• 自反性：$a \equiv a \pmod{m}$
• 对称性：若 $a \equiv b \pmod{m}$，则 $b \equiv a \pmod{m}$
• 传递性：若 $a \equiv b \pmod{m}$ 且 $b \equiv c \pmod{m}$，则 $a \equiv c \pmod{m}$

此外，同余在加法、减法和乘法下保持封闭：若 $a \equiv b \pmod{m}$，$c \equiv d \pmod{m}$，则

这些性质让我们可以像处理等式一样处理同余式，简化计算。

• 整除定义：若存在整数 $k$ 使得 $a = bk$，则 $b \mid a$。
  示例：$5 \mid 20$，因为 $20 = 5 \times 4$。

• 同余定义：$a \equiv b \pmod{m} \iff m \mid (a - b)$。
  示例：$14 \equiv 2 \pmod{6}$，因为 $6 \mid (14 - 2) = 12$。

• 同余的运算性质：若 $a \equiv b \pmod{m}$，$c \equiv d \pmod{m}$，则
  $a + c \equiv b + d \pmod{m}$，
  $a - c \equiv b - d \pmod{m}$，
  $ac \equiv bd \pmod{m}$。
  示例：$7 \equiv 2 \pmod{5}$，$8 \equiv 3 \pmod{5}$，则 $7 \times 8 = 56 \equiv 2 \times 3 = 6 \equiv 1 \pmod{5}$。

例题1：判断 $37$ 是否被 $5$ 整除，并求 $37$ 除以 $5$ 的余数。

解：

1. 用除法计算：$37 \div 5 = 7$ 余 $2$，即 $37 = 5 \times 7 + 2$。
2. 因为余数不是 $0$，所以 $5 \nmid 37$。
3. 余数为 $2$，因此 $37 \equiv 2 \pmod{5}$。

例题2：已知 $a \equiv 3 \pmod{7}$，$b \equiv 5 \pmod{7}$，求 $(2a + 3b) \mod 7$ 的值。

解：

1. 利用同余的线性性质：$2a \equiv 2 \times 3 = 6 \pmod{7}$， $3b \equiv 3 \times 5 = 15 \equiv 1 \pmod{7}$（因为 $15 - 14 = 1$）。
2. 相加得：$2a + 3b \equiv 6 + 1 = 7 \equiv 0 \pmod{7}$。
3. 所以 $(2a + 3b) \mod 7 = 0$。

• 混淆“整除”和“除尽”：整除要求结果是整数且无余数；小数除法不算整除。避免方法：始终检查商是否为整数且余数为0。

• 错误使用同余符号：写成 $a = b \pmod{m}$ 是错的，正确应为 $a \equiv b \pmod{m}$。避免方法：牢记同余是关系，不是等式。

• 忽略模数必须为正整数：模 $m$ 必须是正整数（如 $m=5$），不能为0或负数。避免方法：做题前确认模数条件。

• 在除法中误用同余：同余对加减乘封闭，但不一定对除法封闭。例如，$6 \equiv 2 \pmod{4}$，但两边除以2得 $3 \not\equiv 1 \pmod{4}$。避免方法：除非除数与模互质，否则不要随意约去。

• 余数范围错误：余数应在 $0$ 到 $m-1$ 之间。如 $-3 \mod 5$ 应为 $2$（因为 $-3 + 5 = 2$），不是 $-3$。避免方法：负数取模时加上模数调整到非负范围。