The sesquicentennial of the prime number $2^{127} - 1$

伟大的数字猎寻：关于质数、谜题与棋盘的故事

想象你是一名正在寻找一种非常特殊的数字——“质数”（Prime）的侦探。这些数字是所有数学的基石，它们只能被 1 和它们自身整除。几个世纪以来，数学家们一直痴迷于寻找那些最大且最难以捉摸的质数，不仅是因为它们难以发现，更因为它们蕴含着关于数字运作规律的秘密。为了找到它们，你通常必须玩一场“试错”的游戏，一个接一个地检查一个数字是否能被较小的数字整除。但对于真正的巨型数字来说，这就像试图通过一个一个捡起沙粒来计算海滩上的每一粒沙子一样——这所花费的时间将比宇宙的寿命还要长！

这篇论文讲述了一位才华横溢的法国数学家爱德华·卢卡斯（Édouard Lucas）的故事。早在 1876 年，他就找到了一种跳过这种枯燥计数游戏的方法。他不仅发现了一个巨大的质数，还发明了一种聪明的捷径，一种数学上的“魔术技巧”，可以在不检查每一个因数的情况下证明一个数字是质数。这篇论文旨在庆祝这一发现 150 周年，并解释了卢卡斯如何利用一个棋盘和一种特定的数字模式来解决一个看似不可能完成的谜题。今天，计算机使用的正是卢卡斯发现的这种逻辑来寻找世界上已知最大的质数，这证明了一个 19 世纪的思想仍然是驱动现代数学的引擎。

---

39 位数的巨兽与棋盘巫师

2026 年将是为一个非常特殊的数字——M127——迎来一个大寿：它写作为 2¹²⁷ − 1。如果你把这个数字写出来，它看起来像是一串长长的数字：170,141,183,460,469,231,731,687,303,715,884,105,727。这是一个 39 位的数字，在 1876 年，爱德华·卢卡斯证明了它是一个质数。这在当时是一件了不起的大事。在随后的 75 年里，它一直是全世界已知最大的质数。更令人惊叹的是，卢卡斯在没有任何计算机、计算器或任何机械辅助的情况下完成了这一切。他是完全靠手工完成的，而且他的做法听起来就像一场魔术表演。

卢卡斯是一个多才多艺的人。他发明了著名的“汉诺塔”（Tower of Hanoi）谜题，甚至还创造了“圈点画线”（Dots and Boxes）游戏。但他最著名的绝技是证明 M127 是质数的方法。通常，要证明一个数字是质数，你必须检查它是否能被较小的数字整除。但 M127 太大了，这样做会耗费无穷无尽的时间。相反，卢卡斯使用了他发现的一个特殊的数字序列，他将其称为“卢卡斯序列”（当然是以他的名字命名的）。你可以把这个序列想象成一个数字家族，它们按照特定的模式增长，类似于著名的斐波那契数列，但又带有一丝独特的转折。

卢卡斯意识到，如果你取这个序列中的一个特定数字并将其除以 M127，如果 M127 是质数，结果应该为零。问题在于？他需要检查的那个数字实在太大了，竟然有超过 100 位！这远远超出了用纸笔记录或计算的能力范围。于是，卢卡斯把他的客厅变成了一个游戏盘。他使用了一个 127 × 127 的棋盘来进行数学运算。

他的“游戏”规则如下：他使用国际象棋棋子代表数字 1，空方格代表 0。他通过在棋盘上摆放棋子来展示他正在处理的数字，即用二进制对数字进行编码。然后，他遵循一套规则来移动棋子，有效地对数字进行“平方”并缩小规模，就像计算机执行的操作一样。他没有写下任何东西；他只是在移动棋子。在进行了大约 120 轮移动棋子和平方运算后，他检查了最后一行。如果棋子的排列方式恰好符合要求（意味着结果为零），那么 M127 就一定是质数。事实也确实如此！他从未在纸上写下一个数字，就证明了这一点。

现代引擎：从棋盘到超级计算机

论文解释说，卢卡斯的这种方法不仅仅是一个一次性的技巧；它已成为今天我们寻找最大质数的基础。这种方法现在被称为卢卡斯-莱默测试（Lucas–Lehmer test）。虽然卢卡斯是用棋子来完成的，但现代计算机使用同样的测试来寻找拥有数千万位数字的质数。目前的纪录保持者是 2024 年 10 月发现的一个数字，它拥有 41,024,320 个十进制位。这个数字长到人类仅靠朗读就需要数年时间！

这个测试背后的“秘密配方”是一个被称为**切比雪夫多项式（Chebyshev polynomial）**的特殊数学工具。你可以把这个多项式想象成一台机器，它接收一个数字，对其进行平方，然后减去 2。如果你向这台机器输入数字 4，并不断重复这个过程，你会得到一个数字序列：4, 14, 194, 37,634，等等。卢卡斯-莱默测试指出，如果你取一个质数 p，计算该序列中的第 (p-2) 项，并且它能被 2ᵖ − 1 整除，那么 2ᵖ − 1 就是一个质数。

论文通过数学推导展示了为什么这行得通。这涉及到一个“虚数”领域（称为有限域），在这里，数字像时钟一样循环往复。作者展示了这个过程就像是在一个特殊的圆圈中旋转轮盘。如果轮盘旋转了正确的次数并恰好落在特定的位置，就能证明该数字是质数。这些数学过程是严谨的，并经过了反复验证，因此我们可以绝对确定这个测试是正确的。

为什么这很重要

论文在结尾处提醒我们，虽然工具已经改变，但数学原理并未改变。在 1876 年，爱德华·卢卡斯通过在棋盘上移动棋子证明了一个 39 位数字是质数。今天，运行在“互联网梅森质数搜索”（GIMPS）中的超级计算机正在运行完全相同的算法，来寻找拥有数百万位数字的质数。平方运算、特殊的多项式 x² − 2 以及数字在这些有限域中的行为方式之间的关系，正是驱动卢卡斯的棋盘以及我们现代数字发现的引擎。

这是一个美丽的提醒：一个来自 19 世纪的聪明想法，至今仍能为 21 世纪最先进的技术提供动力。卢卡斯不仅发现了一个数字，他还发现了一种观察数字隐藏结构的方法，这种方法至今仍被用于推动我们对数学认知边界的探索。而这一切，都始于一位法国数学家、一个棋盘和一颗好奇的心。