黎曼猜想,你可能在 “世界七大数学难题” 的榜单里扫过这个名字,也可能在各种科普段子里听过它的大名。 但你大概率不知道,这短短四个字背后,拴着整个数学界上千条命题的 “身家性命”。 说白了,如今有上千条数学结论,都先默认了 “黎曼猜想成立” 这个大前提,在这个地基上一步步推导出来。 如果哪天有人拍着桌子拿出完整证明,说 “黎曼猜想是对的”,那这上千条命题全员升级,全部正式成为定理;反过来,如果有人找出哪怕一个反例,证明黎曼猜想错了,那这上千条结论里至少一大半都得直接作废,成了数学史上的 “陪葬品”。 一座建立在猜想之上的数学大厦,外表看着宏伟坚固,实则地基悬在半空,只要底下抽走一块砖,整栋楼都得轰然倒塌。 一个猜想能和这么多数学结论深度绑定,牵一发而动全身,这在整个数学史上都极其罕见。 也正因为这种独一无二的地位,黎曼猜想的光环才越来越神秘,越来越让一代代数学家着迷。 号称 “数学界无冕之王” 的希尔伯特,曾经被人问过一个问题:如果死后 500 年能重返人间,你最想知道什么事? 希尔伯特想都没想就说:我想知道,黎曼猜想被解决了吗? 那问题来了:黎曼猜想到底是个啥?为什么能有这么大的能量? 这事还得从素数说起。 黎曼当年提出这个猜想,初衷特别朴素:就是想解开素数分布的谜团。 素数是什么? 说白了就是质数,小学课本里就学过:大于 1 的自然数,除了 1 和它自己,不能被其他数整除的,就是素数。 2、3、5、7、11、13…… 这些都是。 早在公元前 300 年,欧几里得就在《几何原本》里证明了:素数有无穷多个。 但证明了 “无穷多” 没用,人们更想知道的是:素数到底是怎么分布的?有没有什么规律,能让我们精准算出某个范围内有多少个素数? 别小看这个问题,它难倒了数学家两千多年。 你可能觉得:这有啥难的?数呗。小于 20 的素数有 8 个,小于 100 的有 25 个,这不是很清楚吗? 那我问你:小于 1000 的有多少个?小于 100 万的呢?小于 10 亿的呢? 是不是瞬间就懵了? 你要是真去数就会发现,素数这东西,越往后越稀疏。 1 到 100 里有 25 个素数,401 到 500 里就只剩 17 个,901 到 1000 里只有 14 个。 再往大了走,100 万的最后一百个数里,只有 8 个素数;到了 100 亿的最后一百个数里,就只剩 4 个了:999999999937、999999999959、999999999961、999999999989。 它们就像撒在数轴上的沙子,看着乱哄哄的,越往后越稀,但你就是找不到一个准确的公式,能精准算出哪个区间有多少颗沙子。 为了找这个规律,数学家们前仆后继。 大数学家欧拉曾经整出一个多项式:n² - n + 41。你把 n 从 1 代到 40,算出来的结果全都是素数。 当时大家都惊了,以为找到了素数的密码。结果 n=41 的时候,算出来是 41²,直接就不是素数了,当场破功。 后来哥德巴赫还给欧拉写信,提出了另一个猜想:任何一个大于 2 的偶数,都能拆成两个素数之和。 这就是后来大名鼎鼎的哥德巴赫猜想。 但说白了,哥德巴赫猜想也只是在描述素数的某种性质,还是没摸到素数分布的根。 那素数分布的根到底在哪? 这个答案,最终被一个叫黎曼的人,用一个函数给串起来了。 1859 年,33 岁的黎曼被选为柏林科学院的通讯院士。作为提交的入选论文,他写了一篇短短 8 页的文章,题目叫《论小于某给定值的素数个数》。 就是这篇薄薄 8 页纸的论文,抛出了一个困扰人类一百六十多年的猜想:黎曼猜想。 黎曼在论文里说,素数的分布看起来杂乱无章,但其实所有的秘密,都藏在一个特殊的函数里。这个函数,就是后来大名鼎鼎的黎曼 ζ 函数。 这个函数长什么样?给你写复杂公式你肯定头大,咱们用大白话讲。 你可以把它理解成一个 “数学转换器”:你给它输入一个数 s,它就会按照特定的规则,输出一个对应的数值。 黎曼把这个函数的定义域拓展到了复数领域,说白了就是不止能输普通的实数,还能输 “带虚部的数”。 那什么是复数? 你也不用深究,就想象成一个二维平面上的点,横坐标是 “实部”,纵坐标是 “虚部”。 每个复数都对应平面上的一个点,这个平面就叫复平面。 那黎曼猜想说的是什么呢? 特别简单,一句话就能说清: 黎曼 ζ 函数所有的非平凡零点,实部都是 1/2。 翻译成大白话就是:这个函数等于 0 的时候,会有很多个解,这些解叫 “零点”。其中有一些零点是 “平凡零点”,分布很规律,不用管;剩下那些有意义的 “非平凡零点”,在复平面上全部都落在同一条直线上,这条直线的横坐标正好是 1/2。 这条线,后来就被叫做 “临界线”。 就这么一句话? 就这么一句话。 但就是这么一句话,难倒了从 1859 年到今天所有的数学家。 你可能会说