数 学 通 识 讲 义
同余：把无穷折进钟面
学段 初中 · 关联知识点「带余除法与同余」
❖
读 · 引子·钩子现在 3 点，过 $25$ 小时是几点？你不会说"$28$ 点"，你会说"$4$ 点"——因为钟只认"模 $12$"：$28=2\times12+4$，所以 $28\equiv4\ (\mathrm{mod}\ 12)$。你每天都在算同余，只是没给它起名字。整数有无穷多，可"模 $12$"之后只剩 $12$ 个数——同余，把无限的整数世界，折进了一个有限的钟面。
讨论 · 猜想·预测先押一注：这个"只看余数"的小把戏，是记时钟的雕虫小技，还是能证明"某方程没有整数解"、甚至撑起现代密码学的大招？读完再回来看你猜对没有。
读 · 历史- 1801 高斯 在《算术研究》($Disquisitiones\ Arithmeticae$)里立下记号 $\equiv$。同余从此不只是技巧，而是一门语言。
- 古代 · 《孙子算经》 "今有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二"——韩信点兵，正是中国剩余定理的雏形。
读 · 概念给两个整数 $a,b$，若它们除以 $n$ 的余数相同（等价地，$n\mid a-b$），就记 $a\equiv b\ (\mathrm{mod}\ n)$，读作"$a$ 与 $b$ 模 $n$ 同余"。它把无穷多整数，按余数分成 $n$ 个"抽屉"（同余类）：模 $2$ 分成奇、偶两类；模 $12$ 分成钟面上的 $12$ 个点。
读 · 直觉·图像把整数数轴每 $n$ 个一段，一圈圈缠到一个 $n$ 刻度的圆盘上——所有"模 $n$ 相等"的数，都落在同一刻度。这就是同余的几何：一条无限的直线，缠成一个有限的圈。
做 · 例题精析求 $7^{2024}$ 的个位数字。
读个位数字，就是这个数模 $10$ 的余数。
思$7^1\equiv7,\ 7^2\equiv9,\ 7^3\equiv3,\ 7^4\equiv1\ (\mathrm{mod}\ 10)$，然后循环，周期 $4$。
写$2024=4\times506$，所以 $7^{2024}=(7^4)^{506}\equiv1^{506}=1\ (\mathrm{mod}\ 10)$。
个位是 1。同余把"算一个天文数字"变成"数余数的周期"——这就是它省力的地方。
读 · 公式推导·分步核心 · 同余能加减乘
若 $a\equiv b,\ c\equiv d\ (\mathrm{mod}\ n)$，则 $a\pm c\equiv b\pm d$、$ac\equiv bd\ (\mathrm{mod}\ n)$。余数在加减乘下守恒——这就是把它当"不变量"来用的底气。
应用 · 弃九验算
因为 $10\equiv1\ (\mathrm{mod}\ 9)$，所以任何数 $\equiv$ 它各位数字之和 $(\mathrm{mod}\ 9)$。$1234\equiv1+2+3+4=10\equiv1\ (\mathrm{mod}\ 9)$——算错一位，余数就对不上，这就是老账房的"弃九法"。
警惕 · 除法不一样
加减乘随便用，但不能随便约分：$6\equiv0\ (\mathrm{mod}\ 6)$ 两边除以 $2$ 得 $3\equiv0$ 是假的。除法要看除数是否与模数互质。
讨论 · 误区·辨析同余两个提醒：① 它对加减乘"友好"，对除法挑剔——$ka\equiv kb\ (\mathrm{mod}\ n)$ 不能直接约掉 $k$，除非 $k$ 与 $n$ 互质；② "余数相同"是一种相等，但不是数值相等——$15$ 和 $3$ 在钟面上是同一个点，在数轴上却隔着 $12$。别把同余号 $\equiv$ 当等号 $=$ 用。
做 · 引用题库$1997^{2000}$ 被 $7$ 除的余数是
一个正整数除以 $5,7,9$ 及 $11$ 的余数依次为 $1,2,3,4$，则满足上述条件的最小正整数是。
$7$ 位数 $\overline{1287xy6}$ 是 $72$ 的倍数，求出所有符合条件的 $7$ 位数。
做 · 巩固练习- 证明：$3\mid n$ 当且仅当 $3$ 整除 $n$ 的各位数字之和。
设 $n=\sum a_i10^i$。因 $10\equiv1\ (\mathrm{mod}\ 3)$，故 $10^i\equiv1$，于是 $n\equiv\sum a_i\ (\mathrm{mod}\ 3)$。所以 $3\mid n\iff 3\mid\sum a_i$。
做 · 挑战·BOSS★ 证明：形如 $4k+3$ 的数，一定不是两个完全平方数之和。
任何整数的平方模 $4$ 只能是 $0$ 或 $1$（偶数平方 $\equiv0$，奇数平方 $\equiv1$）。故两个平方之和模 $4$ 只能是 $0,1,2$，永远取不到 $3$。而 $4k+3\equiv3\ (\mathrm{mod}\ 4)$，矛盾。