伯恩哈德·黎曼，1826年9月17日－1866年7月20日
“有了这些方法的帮助，小于 x 的素数的个数就可以确定了。”伯恩哈德·黎曼如是说。黎曼所说的方法，便是我们接下来要先容的数学中最有名的函数之一：黎曼 Zeta 函数。在谈论素数的那部分中，我提到了伯恩哈德·黎曼 1859 年的论文《论小于某个给定值的素数的个数》，在论文中他创造了一个打算小于任意给定值的素数个数的方法。这是一个了不起的方法，让数学家从更深层次理解素数的分布和性子。但唯一的问题是黎曼无法证明这个方法是对的，不过他证明了如果 Zeta 函数展现的线性排布是精确的，那么打算素数个数的方法也一定是精确的，但他同样无法证明线性排布是精确的。
在论文揭橥后，当时的焦点就变成了“只要能证明 Zeta 函数的线性排布规律是精确的，数学家就能洞察素数的秘密”。这听起来非常合理。黎曼的论文只有 10 页。他将一些事情留给后人去完成也是可以理解的，或许，一想到这些结论有可能都是对的，他就激动得弗成，以至于末了自己没去证明它。结果，就像人=铁、饭=钢一样确定无疑，其他数学家接手了黎曼的事情，但是他们也无法证明。直到现在，黎曼假设仍悬而未决。
那么，什么是黎曼 Zeta 函数（自从黎曼的论文问世之后，不断有许多没那么有名的 Zeta 函数呈现，但是一样平常而言，提到“Zeta 函数”时一样平常指的是黎曼的原始版本）呢？我们其实在前面已经见过它了—它建立在欧拉办理的巴塞尔问题之上。Zeta 函数是对无穷负幂次序列求和，一样平常我们用希腊字母 Zeta(ζ) 来指代黎曼 Zeta 函数，如下式：
你该当对它比较熟习了，由于不仅欧拉打算了这个函数的一些结果，而且我们利用伯努利数也很随意马虎打算出 s 为偶数时的函数值。但是，为了看到 Zeta 函数的全貌，我们须要打算 s 取任意值时的环境。黎曼不仅将这种“巴塞尔函数”推广到 s 取非整数的环境，还将其推广成能同时输入两个数值的函数。
我们彷佛走得太远了。谈论黎曼假设和 Zeta 函数时，常日都怀有“先把人骗过来再说”的想法。说好要深入研究素数的个数和分布，你却谈负幂次求和。素数去哪儿了？别急，它们之间确实有奇异的关联。为了指明这一点，我们还得再谈到欧拉。
除了占领巴塞尔问题，欧拉还意识到所有正整数的某负幂次之和即是一个只用素数表示的无穷分式序列的乘积，以是 Zeta 函数可以写成两个不同的式子，个中一个表达式仅依赖素数。正整数形式的表达式与素数形式的表达式结果相同，只不过前者更随意马虎操作，由于我们知道所有正整数是什么，但不知道所有素数是什么样的。但两个表达式是等价的，我们可以用一个代替另一个。Zeta 函数和素数的联系便是黎曼这篇论文得到成功的关键。研究负幂次求和让我们对素数的乘积 （以分数的形式）有深刻理解。
Zeta 函数的神通广大令它非常有用，但是要用好它却十分困难。毫无疑问，它是一个狡猾而隐晦的函数。我们有数不尽的方程来描述 Zeta 函数，但每个都只能代表它的一小部分。我认为理解 Zeta 函数最好的办法是把它想象成人类正在一点一点发掘的神秘函数。我们偶尔会对它有新的理解，但每次只是提高一小步。我们已经看到，利用伯努利数，我们可以打算出 m 为偶数时的 Zeta 函数值。拉马努金则首次创造了幂次为正奇数的结果，也便是说，他完备独立地创造了 Zeta 函数，但是他也只是看清了 Zeta 函数的一小部分。
如果我们将 Zeta 函数画出来，大概就可以更直不雅观地不雅观察它。然而，即便是找到“大略”部分的精确函数值，也要花费欧拉、拉马努金以及其他仍旧在世的著名数学家的大量精力。要想得到更繁芜的函数值彷佛是不可能的，而素数在我们看到 Zeta 函数全貌之前是不会透露它们的秘密的。但看看素数在当今数据安全领域的至高地位，我们的探索一定是值得的。
不过，我们可以用些小把戏。我们虽然求不到精确值，但是可以打算“足够好”的近似值。假设我们不知道 ，但打算用赖皮的方法寻求得数。我们可以不打算无穷项之和，只打算有限项的和来逼近准确的结果。如果只取前 3 项，我们会得到 1.361111111，而 ，以是前 3 项的结果还不是很靠近。取前 10 项会好一些，偏差会降落到 5.8%。不过打算过程太无聊了，以是我写了一个程序将前 10 亿项加起来，终极得到 1.64493405783457，这个数字已经足够靠近精确答案了。
这是一个仍旧涉及大量打算的取巧方法。比较之下，拉马努金的天才之处在于，他创造了打算 Zeta 函数取负值时的方法。正如我们前面看到的，它们的和本来是飞速发散到无穷的，但是拉马努金却能把最核心和主要信息提炼出来。利用伯努利数，他打算出 Zeta 函数的输入取负值时的输出值。终极，我们可以画出 Zeta 函数的完全图像。
该图像显示，当输入值为正值时，输出值在无穷远处低落，然后缓慢靠近 1，右边的图像彷佛没有什么有趣的东西。在输入值为负值的左边，函数值来回颠簸。它有规律地穿过横轴，交点的函数值为 0，这些点毫无意外被称为零点。这些零点本身也并不令人意外，被称为平凡零点（trivial zero）。当输入值为负偶数时，它们会准期涌现。而且我们知道它们为什么会涌现，由于每两个连续的伯努利数就有一个 0。这也都在我们的猜想之中。
我们没有料到的是—在坐标轴之外还有一些零点。黎曼将 Zeta 函数拓展成可以输入两个数值的函数，画出了其三维图像。从图中可以看到，在原坐标轴的阁下，还有一系列零点。这些零点的涌现令人意外，不仅如此，所有我们已经窥见的零点竟然排成了一条直线。
Zeta函数的三维图像. 你可以看到平凡零点都在x轴负方向, 还可以看到一些意外涌现的零点, 它们排列成一条直线(x=1/2). 这实在是zeta函数的对数图像, 目的是突出零点
这些零点不是平凡零点，它们不能从函数表达式中明显地看出来。对付非平凡零点（non-trivial zero），直到现在，我们还没有完备理解。令人不寒而栗的是，图象上其他地方完备有可能也有零点，但所有的零点竟然全都立正对齐站成了一条直线，而我们还不知道为什么会这样。这条直线和原来的数轴在 1/2 处垂直。它们随意地分布在直线上，但奇怪的是，它们全在一条直线上。黎曼假设断言 Zeta 函数的所有非平凡零点都在这条直线上。如果我们能够证明黎曼假设是精确的，就能证明打算素数个数的方法是精确的。这种怪异的数学逻辑——零点的直线排布，表现了实质上来源于素数分布密度内含的逻辑性。这看起来彷佛没有道理，但总之，如果我们能够窥伺零点直线分布的秘密，就会知道素数到底藏在哪里。
虽然一贯有人考试测验证明黎曼假设，但它至今仍旧悬而未决。1914 年，哈代成功证明了这条直线上有无穷多个零点，但他无法证明直线之外没有零点。我们目前已经知道 40%的非平凡零点都在这条直线上，但是无法确切担保 100% 的非平凡零点都在上面。只要这条直线外有一个非平凡零点，黎曼假设就会被推翻，我们建立在其上的素数理解就会顷刻崩塌，但是我们至今一个反例也没有找到。所有事实都显示我们走在精确的轨道上，但是我们便是无法证明它。
1900 年，德国数学戴维·希尔伯特（David Hilbert）列出了一个下个世纪最主要的数学问题表，黎曼假设就位列个中。如果没有黎曼假设，我们就会失落去理解素数实质的唯一线索。然而，一个世纪后，克雷数学研究所（Clay Mathematics Institute）再次列出下个世纪的主要数学问题时，黎曼假设仍旧赫然在列。直到现在，克雷数学研究所为黎曼假设设置的 100 万美元悬赏仍旧没有找到主人。如果谁可以证明 Zeta 函数的所有非平凡零点都在一条直线上，谁就可以拿走这 100 万美元。
很多数学家做了和黎曼一样的事：在素数计数法的帮助下勇往直前，假设后面有人能够证明它是精确的。这么做看上去很保险：打算机已经检讨了前 10 万亿个非平凡零点，它们全在那条直线上。话虽这么说，但有的数学理论就曾被比这还大的数推翻。因此，完备有可能存在跑到直线之外的零点，只不过我们还没碰到而已。证明或推翻黎曼假设会让一群人高兴或伤悲。当然，能证明其精确的人可以得到那 100 万美元的奖金。我以为还该当单独为推翻它的人设立安慰奖，毕竟他扫了全人类的兴。
顺带提一下，希尔伯特自己对它也持疑惑态度，他认为即便再过 1000 年，这个假说依然不能被证明。他说道：“如果我可以在 1000 年后醒来，我的第一个问题一定是，黎曼假设被证明了吗？”
上文节选自后浪新出版《我们在四维空间可以做什么》, [遇见] 已获发布此部分授权.
