Collatz 猜想

Collatz 猜想又称 3n+1 问题,是数学中最著名的未解之谜之一。它的规则简单到孩子都能懂,但普遍的证明却难倒了全世界最优秀的数学家。

由冰雹序列生长出的几何 Collatz 树
由冰雹序列生长出的几何 Collatz 树

规则

任选一个正整数 n,反复应用两条规则:如果是偶数,就除以 2;如果是奇数,就乘以 3 再加 1。该猜想认为,任何起始值最终都会到达 1。到了 1,你就进入无限循环:1 → 4 → 2 → 1。

示例:从 6 开始

6 是偶数,所以 6/2 = 3。3 是奇数,所以 3×3+1 = 10。接着 10 → 5 → 16 → 8 → 4 → 2 → 1。数值在坠落前忽高忽低,这就是这些序列也被称为冰雹数的原因。

为什么这么难

计算机已验证远超 2×10²¹ 的所有整数,每一个都终止于 1,但严密的证明仍然缺失。保罗·埃尔德什曾说,数学还没有准备好应对这类问题。2019 年,陶哲轩证明了该猜想对几乎所有数成立——这是一项重大突破,但绝对情形依然悬而未决。一家日本公司为最终解答悬赏 1.2 亿日元(约 75 万欧元)。

方法一:几何树

不要把 n 对步数作图,而是把序列当作平面上的导航。每个点有位置 (x, y) 和朝向 θ。长度为 L 的一步得到 x' = x + L cos θ 和 y' = y + L sin θ;数字越大,L 越短,与 n / (1 + n^1.3) 成正比,因此冲得很高的部分会卷成叶状分支。下一个朝向取决于奇偶:偶数转一个小角度 α,奇数朝另一侧转 β。设计者常选 α ≠ β——例如 α = 0.15、β = 0.28——因为典型序列中偶数步多于奇数步,这种不平衡赋予珊瑚自然的卷曲。从 1 生长出许多序列,或从位于 1 的树干向树叶反向行走。

方法二:复 Collatz 分形

通常的 Collatz 映射是离散的。要绘制曼德博式的分形,需要一个在整个复平面上光滑的函数。三角开关可以做到: f(z) = (z/2) cos²(πz/2) + (3z+1) sin²(πz/2) 在偶数上,cos² = 1、sin² = 0,于是 f 化为 z/2;在奇数上权重互换,f 化为 3z+1。正弦和余弦在整数之间同样有定义,因此每个像素 z0 = x + yi 都可以迭代。颜色记录 |z| 逃出半径 R 所需的步数。逃逸与被捕获之间无限精细的边界,就是分形。

在 PictorX 中探索

打开 Collatz 猜想,在浏览器中生长冰雹珊瑚、追踪单个序列或缩放连续分形。调整转角、选择起始数、更换调色板并保存 PNG。搭配分形生成器或 Lorenz 吸引子,体验更多数学乐趣。

常见问题

谁提出了 Collatz 猜想?

洛塔尔·科拉茨在 20 世纪 30 年代传播了 3n+1 问题。它也被称为乌拉姆猜想、角谷问题和冰雹问题。

已知每个数都会到达 1 吗?

所有经过验证的整数都会到达 1,包括远大于 2×10²¹ 的值。这是有力的证据,但并不能证明每个整数都如此。

陶哲轩证明了什么?

2019 年,他证明了几乎所有起始值最终都会小于任何给定的趋于无穷的函数,无论该函数增长多慢。这已接近猜想本身,但仍允许存在例外数。

Collatz 分形是如何构建的?

一个三角公式在整数上与 n/2 和 3n+1 一致,在其他地方保持光滑。在复数起点上迭代它,并按逃逸时间着色,就得到分形。

准备好尝试了吗?

在浏览器中打开 PictorX — 无需安装,无需信用卡即可启动。

试用 Collatz 猜想