质数看起来毫无规律，直到有人发现了黎曼函数

每次你在手机上付款，或者登录银行账户，背后其实有一群质数在替你守门。今天大部分加密技术的地基，都建在质数身上。奇怪的是，这群守门人自己，几百年来一直被认为是数学里最没规律的一伙。

这篇想聊的就是这种矛盾。一样看上去乱七八糟的东西，怎么会被拿去当最可靠的锁？又是谁，第一次在这片混乱里，看出了藏得很深的秩序？故事的主角，是一个叫黎曼 ζ 的函数。

先从质数说起

质数是这样一种数：它大于 1，只能被 1 和它自己整除。2、3、5、7、11、13 都是质数；4 不是，因为它等于 2 乘 2；9 也不是，因为它是 3 乘 3。

你可以把质数当成整数世界的积木。任何一个整数，都能由质数相乘搭出来，而且搭法唯一。比如 12 就是 2 乘 2 乘 3，再没有别的拆法。

麻烦在于，这些积木出现的位置看不出任何规律。质数有时候挤在一起，像 11 和 13 只差 2；有时候又隔得很远，中间连着一大段，一个质数都没有。你没办法用一个公式，直接算出下一个质数在哪。两千多年来，它们在数轴上就像被人随手撒下的一把沙子。

可它们又不是真的稀少。古希腊的欧几里得早就证明过，质数有无穷多个，永远数不完。所以质数一直是个别扭的存在：数量无穷，却看不出章法。

欧拉先搭了一座桥

第一个在这片混乱里看出点名堂的，是欧拉。

他研究一个看上去平平无奇的算式：把 1、二分之一、三分之一、四分之一这样一直加下去，只不过每一项都先取某个次方。后来数学家把这个式子记作 ζ(s)，里面的 s 就是那个次方。

欧拉发现了一件很漂亮的事。这个用上了所有整数的和，可以改写成另一副样子，一个只跟质数有关的连乘。原因不复杂，就藏在前面那句话里：每个整数都能唯一地拆成质数相乘。于是把所有整数过一遍，本质上就等于把所有质数安排一遍。

这意味着，这个函数表面上装的是全体整数，骨子里记着的却全是质数的信息。这是人类第一次隐约感到，质数也许没那么乱，它们的秘密可能就压在这个函数里。

黎曼让这个函数活了过来

把这件事推到极致的，是十九世纪的黎曼。

欧拉那个式子有个毛病，只有当次方 s 足够大的时候才算得出来，稍微小一点就会失控。黎曼想办法把这个函数的定义，稳稳地接到了原本算不了的地方，让它在几乎所有情况下都能取到值。这一步在数学上有个名字叫解析延拓，你不用记它，只要知道经过这么一处理，函数能活动的范围一下子大了很多。

函数一旦铺开，黎曼就盯上了一个问题：在哪些位置，这个函数的值正好等于零？

这些取零的位置，数学家叫它零点。其中一部分零点很规矩，老老实实站在负偶数上，没什么故事。真正要紧的是另一批，它们全都落在一条狭窄的带子里。攥着质数命脉的，正是这批零点。

零点为什么和质数有关

黎曼算出了一个让人意外的联系。

质数落在数轴的哪些位置，本来看着毫无头绪。但黎曼发现，只要把这些零点一个一个叠加起来，就能一点点还原出质数真实的分布。

打个比方。质数的排布就像一段乐曲，每一个零点对应着乐曲里的一个音。单听一个音，什么也听不出来；可当你把所有的音合到一起，一首完整的曲子就浮现出来，音落在哪里，质数就落在哪里。

也就是说，质数并不是被人随手撒下的沙。它更像一份写好的乐谱，只不过这份谱子不写在数轴上，而是藏在黎曼函数的零点里。表面的混乱底下，压着深得吓人的秩序。

那道悬了一百多年的题

接下来是这个故事最有名的部分。

黎曼盯着那批要紧的零点，发现它们好像都排在同一条竖直的线上。1859 年，他把这个观察写了下来，这就是后来的黎曼猜想：那些零点，全都落在同一条特定的直线上，一个都不例外。

要是这句话成立，质数这首曲子就是所有可能里最规整、最不跑调的一种。

问题是，黎曼自己没能证明它。之后一百多年，全世界最厉害的数学家一茬接一茬地上，没有一个人证出来。人们动用计算机，检验了数以万亿计的零点，到今天为止，它们确实全都待在那条线上。可数学不认“看起来都对”这回事，它只认严格的证明。2000 年，这道题被列进七个千禧年难题，谁能解开，奖一百万美元。这笔钱到现在还没发出去。

这条线，到底有什么用

你可能会想，一群数学家为一条线较劲一百多年，跟普通人有什么关系。其实比你以为的近。

先说最实在的。今天保护你网上支付、聊天记录、账户密码的加密技术，很多都建在质数身上，靠的是这样一个事实：把两个大质数乘起来很容易，反过来想把乘积拆开却极难。想用好质数，就得先摸清它们的脾气，比如在多大的范围里大概藏着多少个质数，它们疏密到什么程度。黎曼函数，正是目前人类手里那张画得最准的质数地图。这里要说句老实话，证明黎曼猜想并不会直接破解你的银行卡，网上那种耸人听闻的说法夸大了。它真正改变的，是许多关于质数的判断，能从“我们猜是这样”变成“我们确定是这样”。

再说一个更出人意料的。上个世纪，有物理学家在研究原子核内部能量的时候，得到了一串数字。后来有人发现，这串来自物理实验的数字，它们彼此之间的间隔规律，竟然和黎曼函数那批零点的间隔规律几乎一样。一边是研究原子内部的物理，一边是研究质数的纯数学，两拨人本来毫不相干，却在同一种节奏上撞到了一起。为什么质数的秩序会和微观世界的秩序长得这么像，到今天也没人能彻底说清。

顺便提一句，前两篇里那个把 1、2、3 一路加下去、最后赋值成负十二分之一、还被用来算真空中两块金属板受力的操作，用的也是这同一个函数。你越了解它，越会发现它像一条暗线，把一堆看起来八竿子打不着的东西串在了一起。

回到最开始那个矛盾

质数看上去是混乱的，黎曼函数却告诉我们，混乱底下压着秩序；黎曼猜想更进一步说，这份秩序整齐到近乎完美。我们已经检验了亿万个零点，没有一个出格，却始终差一个证明，不敢把“猜想”两个字拿掉。

数学在这件事上有点固执。它宁可承认自己还不知道，也不肯把看起来都对，当成就是对。

质数到底是随手撒下的沙，还是一份我们还没读懂的乐谱，黎曼赌的是后者。一百多年过去了，还没有人替他把这一把兑现。而在被兑现之前，你每一次在手机上安心按下付款，其实都在悄悄借用着这群至今没被完全看透的数字。

你觉得，这道题在我们这辈子里，有机会被解开吗。

文中把零点比作乐曲里的音，只是帮助理解的通俗类比，真正的数学细节做了简化，欢迎更懂行的读者在评论区指正。