余数也是一种"不变量"——弃九验算的魔术

跟我玩个读心术：随手写个数 $5274$，把数字打乱成 $2745$，大减小得 $5274-2745=2529$；你从结果里圈掉任一非零数字，把剩下的念给我——"$2,5,9$"。我立刻断定：你圈掉了 $2$。每次都灵。秘密只有一句：一个除不尽的余数，怎么折腾都不变。

为什么偏偏是 $9$？秘密在十进制自己身上：$10\equiv1\pmod 9$，于是 $10,100,1000,\dots$ 除以 $9$ 全余 $1$——每个数字不管站哪一位，对余数的贡献都”缩水”回它本身。所以任何数 $\overline{a_k\cdots a_1a_0}\equiv\sum a_i\pmod 9.$ 一个数与它的数字之和，除以 $9$ 余数相同。（换成 $8$ 就失灵：$10$ 除以 $8$ 余 $2$、不是 $1$。$9$ 的特权，全靠它正好比 $10$ 小 $1$。）

打乱数字，数字之和不变，所以打乱前后两数模 $9$ 同余，大减小必是 $9$ 的倍数。于是 $2529$ 的数字和被 $9$ 整除：你报来 $2+5+9=16$，我补到下一个 $9$ 的倍数 $18$，缺的 $2$ 正是被圈的数字。

今晚就去骗你同桌：让他写下生日、打乱、相减、圈一位念给你——你为什么永远赢？（钩子：他若圈到 $0$ 或 $9$，你会分不清——这正是我规定”圈非零数字”的原因。）这套把戏老会计玩了几百年，叫弃九验算：算完大乘法，扫一眼两边数字根对不对，抄错当场露馅。

再深一层：加减乘怎么翻江倒海，“模 $9$ 的余数”始终岿然不动——它是计算洪流冲不走的指纹。这就是”不变量”的威力：一个在所有操作下都不变的量，就能裁决”什么可能、什么不可能”。昨天”模 $4$ 的墙”挡住平方差，今天”模 $9$ 的指纹”抓住算错——同一种思想，两次现身。

☝️ 今日开放思考（可讨论）

弃九验算会”漏判”。哪些算错它抓不到？（想想：误差恰好是 $9$ 的倍数时；或把答案里两个数字对调时。）为什么偏偏 $9$ 和 $3$ 这么好用，$7$ 却不行？如果改用模 $11$（看奇偶位数字的”交替和”），它又能逮住哪一类前者放过的错误？

🧩 今日难题

⭐ 挑战　把 $1,2,3,\dots,2026$ 全部相加，所得的和除以 $9$ 余几？

🌟 星标（初联）　一个六位数，前三位与后三位组成的三位数完全相同（即形如 $\overline{abcabc}$，$a\ne0$）。 （1）证明它必能同时被 $7,11,13$ 整除； （2）在所有这样的六位数里，能被 $49$ 整除的有多少个？

参考答案与解析（点击展开） ⭐ 挑战｜余 $1$。 $1+2+\cdots+2026=\dfrac{2026\times2027}{2}=1013\times2027$。看数字根：$r(1013)=5,\ r(2027)=2$，故和 $\equiv5\times2=10\equiv1\pmod 9$。（也可：$1\sim2025$ 恰好 $225$ 组连续九数、每组模 $9$ 余 $0$，再加 $2026\equiv1$。）

🌟 星标｜（2）共 $128$ 个。 （1）$\overline{abcabc}=\overline{abc}\times1001$，而 $1001=7\times11\times13$，故必被三者整除。 （2）被 $49=7^2$ 整除 $\iff 7\mid\overline{abc}$（因 $1001$ 只贡献一个因子 $7$）。三位数 $100\sim999$ 中 $7$ 的倍数从 $105=7\times15$ 到 $994=7\times142$，共 $142-15+1=128$ 个。

---

下篇引线：模 $9$ 是个”高级”不变量。明天我们请出最朴素的那一个——只有 $0$ 和 $1$ 两种脸色的奇偶性，看它如何一句话证明”这事根本不可能”。