共计 3953 个字符，预计需要花费 10 分钟才能阅读完成。
随便拿一个正整数，按两条规则不停地变它：
- 如果它是偶数，除以 2；
- 如果它是奇数，乘以 3 再加 1。
比如从 7 出发：$7\to22\to11\to34\to17\to52\to26\to13\to40\to20\to10\to5\to16\to8\to4\to2\to1$。到了 1 之后，规则会让它原地打转：$1\to4\to2\to1\to4\to2\to1\to\cdots$。
这个 $1\to4\to2\to1$ 就是一个 循环。一个自然的问题立刻冒出来：
它是唯一的循环吗？会不会在某处藏着另一个圈，让某些数永远绕着它转、永远到不了 1？
这正是科拉茨猜想是否成立的关键之一，如果存在第二个循环，猜想就当场被推翻。完整地排除 ” 所有 ” 可能的循环至今没人做到。但 短的循环可以被我们亲手、严格地排除掉。这篇文章就只做一件事：把 ” 不存在短循环 ” 这个定理，从一张白纸开始，一步一步证明出来。
第一步：把 ” 循环 ” 翻译成一个方程
直接盯着 $\dots\to17\to52\to26\to13\to\dots$ 这样的序列很难下手，因为偶数和奇数交替出现，节奏杂乱。我们 只需要关注序列里的奇数。
为什么？因为偶数没有 ” 选择 ”，它只能被一除到底，直到撞上一个奇数。真正决定命运的是奇数。所以我们把一个循环里出现的奇数依次记作
$$ a_1,;a_2,;\dots,;a_k $$
（绕一圈后回到 $a_1$，所以约定 $a_{k+1}=a_1$）。从一个奇数 $a_i$ 走到下一个奇数 $a_{i+1}$，发生的事情完全固定：先乘 3 加 1 变成偶数 $3a_i+1$，然后连续除以 2，直到再次撞上奇数。设这一段除了 $e_i$ 次 2（$e_i\ge1$），就得到
$$ a_{i+1}=\frac{3a_i+1}{2^{,e_i}} \qquad\Longleftrightarrow\qquad 2^{,e_i},a_{i+1}=3a_i+1.\tag{1} $$
这一组 $k$ 个方程（$i=1,\dots,k$），就是 ” 存在一个循环 ” 的全部数学含义。一个循环 = 一组满足 (1) 的正奇数 $a_1,\dots,a_k$ 和正整数 $e_1,\dots,e_k$。 问题被翻译干净了。
举个例子核对一下平凡循环：它只有一个奇数 $a_1=1$，$3\cdot1+1=4=2^2$，所以 $e_1=2$，$a_2=4/4=1=a_1$。方程 (1) 成立。✓
第二步：把 $k$ 个方程拧成一个
我们想从方程组 (1) 中解出 $a_1$。手法是一个标准的递推消元。
记部分和 $E_j=e_1+e_2+\cdots+e_j$（约定 $E_0=0$），并把整段除法的总次数记为 $E=E_k=e_1+\cdots+e_k$。再设一个辅助量
$$ b_j=2^{,E_j},a_{j+1},\qquad b_0=2^{0}a_1=a_1 . $$
把第 $(j{+}1)$ 个方程 $2^{e_{j+1}}a_{j+2}=3a_{j+1}+1$ 整体乘以 $2^{E_j}$：
$$ \underbrace{2^{E_{j+1}}a_{j+2}}{=,b{j+1}} =3\cdot\underbrace{2^{E_j}a_{j+1}}{=,b_j}+2^{E_j} \qquad\Longrightarrow\qquad b{j+1}=3,b_j+2^{,E_j}.\tag{2} $$
(2) 是一个最简单的一阶线性递推，逐项展开就能解出：
$$ b_j=3^{,j},a_1+\sum_{i=0}^{j-1}3^{,j-1-i},2^{,E_i}. $$
现在用上 ” 循环 ” 这个关键条件：绕一圈回到原点，$a_{k+1}=a_1$，于是 $b_k=2^{E}a_{k+1}=2^{E}a_1$。把 $j=k$ 代入：
$$ 2^{E}a_1=3^{k}a_1+\sum_{i=0}^{k-1}3^{,k-1-i},2^{,E_i}. $$
移项，得到本文的主角——循环主方程：
$$ \boxed{;a_1,\bigl(2^{E}-3^{k}\bigr)=\sum_{i=0}^{k-1}3^{,k-1-i},2^{,E_i};}\tag{$\star$} $$
右边是一堆正数相加，必然大于 0。于是左边也必须大于 0，而 $a_1>0$，立刻逼出第一个硬结论：
$$ 2^{E}>3^{k}.\tag{3} $$
也就是说，任何循环里，除以 2 的总次数 $E$ 都必须超过 $k\log_2 3\approx1.585,k$。这很合理：如果除得太少，数只会越滚越大，圈是合不拢的。
第三步：彻底解决 ” 只有一个奇数 ” 的循环
先看最简单的 $k=1$。此时主方程 $(\star)$ 右边只有一项 $3^{0}\cdot2^{0}=1$，于是
$$ a_1,(2^{E}-3)=1 . $$
$a_1$ 和 $2^E-3$ 都是整数，两个整数相乘等于 1，只有一种可能：两者都等于 1。所以
$$ 2^{E}-3=1;\Longrightarrow;2^{E}=4;\Longrightarrow;E=2,\qquad a_1=1 . $$
这恰好就是平凡循环 $1\to4\to2\to1$，没有第二个。 $k=1$ 的情形被完全锁死。
第四步：彻底解决 ” 两个奇数 ” 的循环
这是本文最实在的一段，也是 ” 详细解题 ” 的核心。我们要证明：不存在恰好包含两个不同奇数的科拉茨循环。
取 $k=2$。主方程 $(\star)$ 的右边是
$$ \sum_{i=0}^{1}3^{,1-i}2^{,E_i} =3^{1}\cdot2^{E_0}+3^{0}\cdot2^{E_1} =3\cdot2^{0}+1\cdot2^{e_1} =3+2^{,e_1}. $$
于是
$$ a_1=\frac{3+2^{,e_1}}{,2^{E}-9,},\qquad E=e_1+e_2,\quad e_1,e_2\ge1.\tag{4} $$
我们要找的是让 $a_1$ 成为 正奇整数 的 $(e_1,e_2)$。看上去 $e_1,e_2$ 可以取无穷多组值，但下面这步把它们压进一个有限的小范围。
关键的有界性。 既然 $a_1\ge1$，由 (4) 必须有分子不小于分母：
$$ 3+2^{,e_1};\ge;2^{E}-9 ;\Longrightarrow; 2^{e_1}\bigl(2^{e_2}-1\bigr)=2^{E}-2^{e_1};\le;12 .\tag{5} $$
不等式 (5) 把所有候选 $(e_1,e_2)$ 关进了一个 有限 的笼子。逐一搜出来（记得还要满足 (3) 的 $2^E>9$，即 $E\ge4$）：
- $e_2=1$： (5) 变成 $2^{e_1}\le12$，即 $e_1\le3$；又 $E=e_1+1\ge4$ 要求 $e_1\ge3$。只剩 $e_1=3$。代入 (4)：$$a_1=\frac{3+2^{3}}{2^{4}-9}=\frac{11}{7}.$$ 不是整数，淘汰。
- $e_2=2$： (5) 变成 $3\cdot2^{e_1}\le12$，即 $e_1\le2$；又 $E=e_1+2\ge4$ 要求 $e_1\ge2$。只剩 $e_1=2$。代入 (4)：$$a_1=\frac{3+2^{2}}{2^{4}-9}=\frac{7}{7}=1.$$ $a_1=1$ 是整数！但回代算第二个奇数：$a_2=\dfrac{3\cdot1+1}{2^{2}}=1=a_1$。两个奇数其实是同一个 1——这只是把平凡循环写成了两段，并不是新的循环，淘汰。
- $e_2\ge3$： (5) 变成 $2^{e_1}(2^{e_2}-1)\ge2^{e_1}\cdot7\le12$，要求 $2^{e_1}\le12/7<2$，即 $e_1<1$，与 $e_1\ge1$ 矛盾。全部淘汰。
所有情形都被排除。结论：科拉茨规则不存在恰含两个不同奇数的循环。 $\blacksquare$
这段证明的味道值得回味：主方程把一个看似无穷的搜索（$e_1,e_2$ 任取）压成了一条不等式 (5)，再压成区区两三个待查的情形，最后靠 ” 是不是整数 ” 这一刀干净利落地砍掉。无穷被有限驯服了。
第五步：为什么 ” 全部情形 ” 还没被解决
同样的方法可以继续往上爬。对一般的 $k$，主方程依旧给出
$$ a_1=\frac{\displaystyle\sum_{i=0}^{k-1}3^{,k-1-i}2^{,E_i}}{,2^{E}-3^{k},}, $$
我们要的还是让它（以及回代出的每个 $a_i$）都是正奇整数。第四步那种 ” 有界性 → 有限枚举 ” 的套路在 $k$ 不大时仍然奏效，已经有人用它逐个排除了好几个 $k$。
那么卡点在哪？在于第二步留下的不等式 $2^E>3^k$ 还必须 非常接近相等 ——否则分母 $2^E-3^k$ 太大，$a_1$ 就被压成小于 1 的分数，圈合不拢。换句话说，循环要存在，$\dfrac{E}{k}$ 必须是无理数 $\log_2 3=1.58496\ldots$ 的一个 极好的有理逼近。而一个无理数的好逼近只能来自它连分数展开的渐近分数：
$$ \log_2 3=[1;1,1,2,2,3,1,5,\dots] ;\Rightarrow; \frac{E}{k}\approx\frac{8}{5},\ \frac{19}{12},\ \frac{65}{41},\ \dots $$
这意味着 $k$（循环里奇数的个数）只能落在 $5,12,41,\dots$ 这类越来越大的值附近。再配合计算机已经验证的 ” 任何循环里最小的数都得超过 $2^{68}$”，就能把任何非平凡循环的长度逼到天文数字——但要对 每一个 $k$ 都封死，需要的不再是初等代数，而是关于 $|2^E-3^k|$ 究竟能多接近 0 的深刻结果（贝克的对数线性型理论那一类工具）。
这就是 ” 短循环不存在 ”（我们刚刚亲手证明的）和 ” 任何循环都不存在 ”（仍然敞开的）之间，那道既清晰又深不见底的裂缝。