第2卷 第1章 将无限宇宙尽收掌心

学习目标

• 能为“找不同”选择统一的判别性质，并用余数、因数或平方结构给出可复核证据
• 能把时钟巡回写成模运算，计算轨道长度、最小巡回数，并解释互补步长的反向对称
• 能证明最小巡回数等于 gcd(n,k)，推出完全巡回当且仅当 gcd(n,k)=1
• 能实现欧几里得算法验证任意规模的巡回结论，并说明公式如何替代不可行的穷举

从银河与数字的观察开始

第 2 卷第 1 章先把夜空放在眼前：有人倾向于数星星，有人倾向于画星座。同一片发光点既可看作待计数的对象，也可看作需要连接的图形。这种“数星星与画星座的观察视角”不是装饰，它预告本章会不断更换观察方式：看数字的末位、因数、平方结构与余数，再把时钟图形翻译成整除关系。

先预测：找出一个“不同的数”为什么还不算完成答案？从 12 点出发每次走 5 格，为何能访问全部位置？步长 7 为什么与步长 5 画出同一组点却方向相反？若表盘有一亿个位置，怎样不逐个画点就判断能否走遍？

本章的路线是“观察、实验、命名、证明、推广”。有限表盘让规律可见，最大公约数把规律压缩成一个判据；数学的力量不在替人更快地画完一亿个点，而在证明根本不必画。

一、找不同与定义判别性质

判别性质 是“找不同”的真正答案。第一组数 101,321,681,991,450,811 中，若选择“末位是否为 1”，450 不满足，而其余五个都满足。只说“450 不同”仍缺少证据；完整答案必须把规则写出来。

第二组 11,31,41,51,61,71 中，51 是唯一合数，因为 51=3\cdot17，其余都是质数。第三组 100,225,121,256,288,361 中，288 是唯一不能写成整数平方的数；其余分别是 10^2,15^2,11^2,16^2,19^2。这就是“质数合数平方数分类”：外观只负责提出候选，定义和计算才负责判定。

不同题目可以使用不同性质，但同一道题不能看见哪个数显眼就临时改规则。数学问题的“真实样子”往往不在十进制外观，而在可验证的结构中。

模 4 余数分类与 257

模 4 余数 最后一组质数为 239,251,257,263,271,283。它们全是奇数，所以除以 2 都余 1；这个镜头无法区分对象。把模数换成 4：

$$\begin{aligned} 239&=4\cdot59+3, & 251&=4\cdot62+3,\\ 257&=4\cdot64+1, & 263&=4\cdot65+3,\\ 271&=4\cdot67+3, & 283&=4\cdot70+3. \end{aligned}$$

只有 257 除以 4 余 1，其余都余 3，这就是“模4余数分类与257”。不是牵强的换一种写法；选择合适的分类尺度，可以显露十进制写法隐藏的差异。

二、时钟巡回模型：把图形写成模运算

画一个有 12 个位置的表盘，从 12 开始，每次顺时针跨过固定格数并连线。原书把每次跨过的格数称为“级数”；为避免与无穷级数混淆，这里称作步长 k。这就是“时钟巡回模型”。

模运算 这一节的“步长级数与模运算”把图形动作变成可计算的余数递推：用余数 0,1,\ldots,11 表示时钟位置，其中余数 0 显示为 12。第 j 步到达

$$a_j\equiv jk\pmod {12}.$$

反复在圆周上走 k 格，等价于反复加 k 并只保留除以 12 的余数。因为余数只有 12 种，轨道最终必然重复；第一次回到 0 时，一轮巡回结束。

步长 2 给出 2,4,6,8,10,12，形成六边形；步长 3 给出 3,6,9,12；步长 4 只访问 4,8,12。步长 5 则给出

$$5,10,3,8,1,6,11,4,9,2,7,12,$$

恰好访问全部 12 个位置。要求“所有位置都出现一次”，不能只看线条已经闭合。

完全巡回 是一个覆盖性条件，不是“画出了一个闭合图形”的同义词。实验时必须记录访问序列，确认没有提前返回，也没有遗漏表盘位置。

交互实验：步长如何改变轨道

步长 1步长 4步长 5步长 6步长 7重置

三、互补步长与从具体例子归纳规律

互补步长的逆向对称

步长 5 和步长 7 都完全巡回，而且经过的位置顺序互为反向。原因是 7=12-5：

$$j(12-k)\equiv-jk\pmod {12}.$$

因此步长 k 与步长 12-k 每一步都位于相反方向的对应位置。这就是“互补步长的逆向对称”。类似地，2 与 10、3 与 9、4 与 8 成对，6 则与自己成对。

对称只能说明两种步长访问同一轨道但方向相反，不能解释为什么某一组位置是全部 12 个。要找到完全巡回的条件，还需记录每个步长到底访问了哪些数。

从具体例子归纳规律

在 12 点表盘上逐一实验，能完全巡回的步长是 1,5,7,11，不能完全巡回的是 2,3,4,6,8,9,10。从样本中寻找一般性质，就是“从具体例子归纳规律”。“从特殊到一般”是发现猜想的路线，不是数学归纳法本身。

计算 11 个步长可以完整回答 12 点表盘的问题，却还没有证明任意规模 n 的结论。若直接说“能完全巡回的步长都是奇数”，步长 3 和 9 立刻构成反例；若只说“不与 12 共享明显因子”，就需要把“明显”改成精确定义。

四、巡回集合、最小巡回数与最大公约数

巡回集合与最小巡回数

把每个步长访问的时钟数字从小到大排列：步长 2 访问 2,4,6,8,10,12，步长 3 访问 3,6,9,12，步长 8 访问 4,8,12。每一行都是某个最小正数的倍数；把这个数称为最小巡回数。

12 点表盘的对应关系是：

$$\begin{array}{c|ccccccccccc} k&1&2&3&4&5&6&7&8&9&10&11\\ \hline \text{最小巡回数}&1&2&3&4&1&6&1&4&3&2&1 \end{array}$$

下排正是 12 与 k 的最大公约数。于是实验给出三个相互连接的猜想：最小巡回数是 \gcd(12,k)；轨道访问的全是它的倍数；最小巡回数等于 1 时才完全巡回。

最大公约数 “最大公约数刻画最小巡回数”把图形绕了几圈压缩成一个整数。现在把 12 推广为任意正整数 n，令

$$d=\gcd(n,k),\qquad n=dn',\qquad k=dk',\qquad \gcd(n',k')=1.$$

第 r 步回到起点当且仅当

$$rk\equiv0\pmod n \quad\Longleftrightarrow\quad dn'\mid rdk' \quad\Longleftrightarrow\quad n'\mid rk'.$$

由于 n' 与 k' 互质，欧几里得引理说明 n'\mid r。最小正返回步数因此是 r=n'=n/d。这同时得到“轨道长度n除以gcd”：

$$|\operatorname{Orb}(0)|=\frac{n}{\gcd(n,k)}.$$

所有访问位置都是 jk 的余数，因 k 含因子 d，它们都是 d 的倍数；反过来，轨道长度已经等于模 n 下 d,2d,\ldots,n 的数量，所以这些倍数全部被访问。最小正标签就是 d，因而最小巡回数等于 \gcd(n,k)。

互质与完全巡回充要条件

互质 两个自然数的最大公约数为 1 时，称它们互质。轨道完全巡回当且仅当访问数等于 n：

$$\frac{n}{\gcd(n,k)}=n \quad\Longleftrightarrow\quad \gcd(n,k)=1.$$

因此

$$\boxed{\text{步长 }k\text{ 完全巡回模 }n \quad\Longleftrightarrow\quad\gcd(n,k)=1}.$$

“若互质则完全巡回”是充分性，“若完全巡回则互质”是必要性。只证明其中一个方向，仍不能写“当且仅当”。12 与 1,5,7,11 互质，所以这些步长完全巡回；12 与 8 的最大公约数为 4，所以只访问 12/4=3 个位置，最小巡回数为 4。

五、超越穷举的人类极限

对于 12 点表盘，画完所有步长只需一页纸；对于一亿个位置，逐点画图已经超越人类的耐力。但最大公约数算法不需要访问全部位置。只要计算 \gcd(n,k)，便能立刻知道最小巡回数、轨道长度和是否完全巡回。这就是“超越穷举的人类极限”。

“有限表示与无限对象”在本章中的具体含义不是用三个词概括无穷，而是找出对任意规模都成立的有限规律。变量 n 代表无限多种表盘规模，公式 n/\gcd(n,k) 一次覆盖所有实例。数学并没有真的把每个宇宙逐一走遍，而是用证明把无数实例共同拥有的结构握在手中。

这条路线也说明研究与证明的分工：画图、列表和找不同帮助我们发现候选性质；定义消除语言含混；反例淘汰过弱猜想；整除推导把剩余猜想升级为定理；欧几里得算法再把定理变成可执行判断。

六、追问真实的样子

章节最后回到那组六个质数。257 在模 4 视角下与其他数不同，这个分类会在后面的“可以粉碎的质数”中得到更深解释。眼前的数字写法只是一个表面，余数、因子和代数结构会展示“追问真实的样子”的不同层次。

银河看起来像白色长河，进一步观察却是无数星体的集合；时钟巡回看起来像线条游戏，进一步追问却是最大公约数控制的有限循环。数学的“将无限宇宙尽收掌心”，正是从可见图形走向可证明结构。

分步实验：从观察到推广

⚡分步1 / 4

1. 1
2. 2
3. 3
4. 4

重置

1. 分类：选择观察镜头

对给出的质数先按模 2 分类，再按模 4 分类；说明为什么只有第二个镜头能把 257 分离出来，并写出统一的判别性质。

上一步播放下一步

本章回顾：从特殊到一般

1. 找不同必须给出统一判别性质；末位、质合性、平方性和模 4 余数是不同的观察镜头。
2. 时钟巡回等价于模 n 反复加步长 k，完全巡回要求第一次返回前访问所有位置。
3. 互补步长 k 与 n-k 访问同一轨道但方向相反，解释了 12 点表盘上的成对图形。
4. 具体实验负责归纳猜想；有限样本不能替代任意 n 上的整除证明。
5. 若 d=gcd(n,k)，最小巡回数为 d，轨道长度为 n/d，访问位置是 d 的倍数。
6. 完全巡回当且仅当 gcd(n,k)=1，也就是表盘规模与步长互质。
7. 一条有限公式覆盖任意规模，使我们无需穷举也能判断无法亲手走完的循环。

练习与答案

练习

1. 问题 1：写出一个可靠的判别性质

对 101,321,681,991,450,811 选择一个统一判别性质，说明为什么 450 是不同项；再说明如果只说“它看起来不同”缺少哪一步证据。

查看答案

可以选择“十进制末位是否为 1”。101、321、681、991、811 满足，450 不满足；证据包括规则本身和对每个成员的逐项检查。只说外观不同没有给出可复核的性质，也没有证明其余五项确实属于同一类。

2. 问题 2：判断 12 点时钟是否完全巡回

分别计算步长 5、6、8 的最大公约数、最小巡回数和轨道长度，判断哪些步长完全巡回。

查看答案

gcd(12,5)=1，最小巡回数为 1，轨道长度为 12，完全巡回；gcd(12,6)=6，最小巡回数为 6，轨道长度为 2，不完全巡回；gcd(12,8)=4，最小巡回数为 4，轨道长度为 3，也不完全巡回。

3. 问题 3：完成最大公约数证明的两个方向

令 d=gcd(n,k)，解释为什么轨道长度是 n/d，并分别说出“互质推出完全巡回”和“完全巡回推出互质”使用了哪一个等式。

查看答案

写 n=dn'、k=dk' 且 gcd(n',k')=1。返回条件等价于 n' 整除步数 r，最小正返回步数为 n'=n/d，即轨道长度为 n/d。若互质，d=1，长度为 n，得到充分性；若完全巡回，n/d=n，只能推出 d=1，得到必要性。

4. 问题 4：用代码替代大表盘穷举

实现 gcd(n,k) 和 orbitLength(n,k)，要求处理正整数输入，并用 n=100000000、k=25000001 验证结果。不要创建长度为 n 的数组。

查看答案

用欧几里得算法反复替换 (a,b) 为 (b,a mod b)，直到 b 为 0；返回 a。orbitLength 计算 n/gcd(n,k)，因此空间复杂度为常数，不会创建一亿个位置。测试还应检查 gcd 为 1 时长度等于 n，存在公共因子时长度严格变短。

名词解释

本章出现的专业名词，用大白话再讲一遍。

判别性质

对整组对象使用同一个可计算规则进行分类并给出可复核证据。

模 4 余数

整数除以 4 后的余数，用来把对象分到有限的余数类中。

模运算

在模 n 的余数结构中进行加法并观察轨道的运算方式。

完全巡回

在回到起点前恰好访问模 n 的全部位置一次。

最大公约数

两个整数共同因数中最大的正整数，决定最小巡回数。

互质

最大公约数为 1；表盘规模与步长互质时轨道完全巡回。

正式目录节点：逐项释义

下面补齐本章正文已经涉及、但容易被公式或叙事压缩掉的节点。每一项都给出对象、验证动作与边界；它们是第2卷 第1章 将无限宇宙尽收掌心的知识证据，不是把目录标题重复一遍。

• 找不同与定义判别性质：“找不同与定义判别性质”是第2卷 第1章 将无限宇宙尽收掌心中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。
• 完全巡回充要条件：“完全巡回充要条件”是第2卷 第1章 将无限宇宙尽收掌心中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。