第五件工具，是数论题的命根子：同余。第 1 章我们已经认过它的脸——\(17\equiv 5\pmod{12}\)，意思是"在 12 小时的钟面上，17 点和 5 点指向同一个位置"，也就是两数除以 12 余数相同。这一章把这把钥匙真正用起来。
同余的全部好处，浓缩成一句：它让你只盯着余数，把那个庞大的数本身一脚踢开。 你要算 \(7^{2024}\) 的末位数字，难道真去算这个天文数字？不必。你只关心它除以 10 的余数，而余数的世界又小又乖。
它有一条让人安心的好性质：同余可以像普通等式那样加、减、乘。 若 \(a\equiv b\)、\(c\equiv d \pmod m\)，则
$$a+c\equiv b+d,\qquad a-c\equiv b-d,\qquad ac\equiv bd \pmod m.$$意思是：算之前先把每个数换成它的余数，算完再取余数，结果一样。这就是为什么大数能瞬间缩小。（唯独除法不能随便约，这是初学者最容易栽的坑，后面单说。）
一、末位数字：只在模 10 的钟面上转
例 8.1（☼☼） 求 \(7^{2024}\) 的个位数字。
个位数字就是除以 10 的余数。我们在"模 10 的钟面"上看 7 的乘方：
$$7^1\equiv 7,\quad 7^2\equiv 49\equiv 9,\quad 7^3\equiv 7\cdot 9\equiv 63\equiv 3,\quad 7^4\equiv 7\cdot 3\equiv 21\equiv 1 \pmod{10}.$$到 \(7^4\) 余数变回 1，于是往后每 4 个一循环：余数序列是 \(7,9,3,1,\ 7,9,3,1,\dots\)，周期为 4。
\(2024\) 除以 4 正好整除（余 0），落在每个周期的"第 4 个"位置上，对应余数 1。所以 \(7^{2024}\) 的个位是 1。就这样。
整个天文数字，被我们关进一个只有 10 格的钟面，转几圈找规律就完事。乘方求末位、求余数，一律先找余数的循环周期。
二、为什么"各位数字之和能被 9 整除"
小学就背过：一个数能被 9 整除，当且仅当它各位数字之和能被 9 整除。为什么？同余一句话说穿。
关键是 \(10\equiv 1\pmod 9\)。于是 \(10\) 的任何次方都 \(\equiv 1\)。一个数比如 \(\overline{abc}=100a+10b+c\)，在模 9 的世界里：
$$100a+10b+c\equiv 1\cdot a+1\cdot b+1\cdot c=a+b+c\pmod 9.$$也就是说，任何数模 9，都等于它各位数字之和模 9。所以原数能被 9 整除（模 9 余 0），当且仅当数字和能被 9 整除。就这样。
这条还能当验算工具用，老账房先生叫它"弃九法"：算完一道大加法或大乘法，把两边各位数字加起来比一比模 9 的余数，对不上，必然算错了（对得上也未必全对，但能抓出大多数笔误）。\(3\) 的整除判断同理，因为 \(10\equiv1\pmod3\)。
三、同余的杀手锏：证明"绝不可能"
同余最锋利的用处，是和第 6 章的不变量、第 7 章的反证合体，证明某件事永远办不到。诀窍是：在某个合适的模下，把所有可能的余数列出来，发现目标那个余数根本不在表里。
平方数（完全平方）的余数特别"挑食"，是这类题的常客。看平方数模 4 能有哪些余数：任何整数除以 4 余 \(0,1,2,3\)，平方后
$$0^2\equiv0,\quad1^2\equiv1,\quad2^2\equiv0,\quad3^2\equiv1\pmod4.$$平方数模 4 只可能余 0 或 1，绝不会余 2 或 3。 记住这条，能秒杀一类题。
例 8.2（☼☼） 证明：\(11,\ 111,\ 1111,\ \dots\)（两个及以上的 1 连写）这些数，没有一个是完全平方数。
看它们的末两位，也就是模 4。任何末两位是 “11” 的数，等于"前面一大坨 \(\times100\)" 加 11，而 \(100\equiv 0\pmod 4\)，所以
$$\overline{\cdots11}\equiv 11\equiv 3\pmod 4.$$它模 4 余 3。可平方数模 4 只能余 0 或 1，余 3 的绝不是平方数。所以这一串数无一是完全平方。就这样。
这就是同余的杀手锏：要证"某数不是平方/某方程无解"，就找一个模，让目标在那个模下"现原形"——它要的余数压根不存在。 常用的模有 4、8（管平方）、9（管立方和数字）、3、7、11 等。哪个模好使，靠试，先试小的。
四、唯一的大坑：别乱约分
同余能加减乘，但不能像普通等式那样随便两边除以同一个数。例如
$$6\equiv 0\pmod 6,\quad\text{但两边同除以 }2\text{ 得 }3\equiv 0\pmod 6,\ \text{这是错的（3 模 6 余 3）。}$$原因是 2 和模 6 有公因数。只有当你要约掉的那个数与模互质时，才能放心两边同除。 初学阶段，记住"乘可以、除要小心"，先躲开这个坑，就少错一半。
上手清单（数论题）
- 题目只关心余数/末位/整除？→ 立刻搬到同余世界，数会瞬间变小。
- 求乘方的末位或余数 → 找余数的循环周期。
- 要证"无解 / 不是平方 / 办不到" → 挑一个模，列出所有可能余数，证明目标余数不在表里（平方数记牢：模 4 只余 0、1）。
- 全程：加减乘随便用，除法先查与模是否互质。
这一章要带走的东西：
- 同余 = 钟面算术，只看余数，把大数一脚踢开。
- 加、减、乘都能在余数世界里照做；除法要等约掉的数与模互质才行。
- 求末位/余数找循环周期；\(10\equiv1\pmod9\) 解释了"数字和判整除"。
- 杀手锏：证"办不到"，就找一个模让目标余数现原形（平方数模 4 只余 0、1）。
就这样。