在数学史上，有些人的童年故事听起来像神话，而高斯的童年故事则是神话中被反复传颂的那一类。据说在他三岁那年，父亲在账房里计算工人们的工资，小高斯静静地看着，然后指出了父亲的计算错误。据说在他十岁那年，老师为了让学生们安静一会儿，要求他们把从一加到一百的所有数字求和。高斯几乎立刻给出了答案：五千零五十。他没有逐个相加，而是发现了一种配对的方法：一头一尾相加，二与倒数第二相加，每一对的和都是一百零一，总共有五十对。

    这个故事之所以被反复讲述，不仅因为它展示了高斯的早慧，更因为它揭示了一种思维方式：面对一个看似需要漫长计算的问题，去寻找隐藏在结构中的对称性，然后用这种对称性一次性解决问题。高斯一生都在践行这一原则。当他面对质数分布的问题时，他做的第一件事，就是绘制一张巨大的质数表。

    高斯花了大量的时间，手工计算和整理质数。他不像欧几里得那样关心质数是否有无穷多个——他已经知道答案是肯定的。他关心的是另一个问题：给定一个数，比如一百万，小于或等于它的质数究竟有多少个？换句话说，质数在自然数中的密度是如何衰减的？

    他注意到一件奇妙的事。如果你画一条曲线，横轴是数字的大小，纵轴是小于该数字的质数个数，那么这条曲线的形状与一种叫做对数积分的函数惊人地吻合。对数积分来源于对数函数，而对数函数描述的是增长的减速：当你沿着对数曲线行走，每前进一步，高度的增加变得越来越缓慢。高斯发现，质数的累积速度，恰好与这种减速的增长同步。

    这意味着，虽然质数本身是离散的、不可预测的个体，但它们的集体行为却遵循着一个光滑的、确定性的规律。在极大的尺度上，随机性被平均掉了，显现出某种统计的必然。高斯没有能够严格证明这个观察，但他确信它是正确的。这个猜想后来被称为质数定理，它断言：当数字趋向无穷时，质数计数函数与对数积分函数的比值趋向于一。

    换句话说，如果你想估计一百万以内有多少个质数，你不需要一个个去数。你只需要计算一百万的对数积分，得到的数字就会非常接近真实值。误差是存在的，但随着数字增大，相对误差越来越小，最终消失不见。

    但高斯也注意到了另一件事：他的近似并不完美。真实质数个数与对数积分之间，始终存在着一种振荡式的偏差。有时候实际值高于估计值，有时候低于估计值。这种偏差不是随机的噪声，它似乎有自己的模式，一种尚未被理解的节奏。

    黎曼后来证明，这种节奏正是由ζ函数的非平凡零点所控制的。每一个零点，都在质数计数的公式中贡献了一个波动项。这些波动项像潮汐力，有时推高，有时拉低，它们的叠加构成了质数分布的精细结构。如果你知道所有零点的精确位置，你就能精确地计算出质数个数，消除所有误差。而如果你只知道零点大致的分布，你也能对误差项做出估计。

    因此，质数定理只是故事的一半。它告诉我们在极大的尺度上，质数如何表现；而黎曼的显式公式则告诉我们，在任意尺度上，质数如何偏离那个大尺度的预期，以及这种偏离背后的原因。零点就是原因。每一个零点，都是质数交响乐中的一个和声，它们共同塑造了主旋律的起伏。

    高斯的对数积分给出了主旋律，而黎曼的零点给出了和声。没有和声，音乐依然可以进行，但会显得单调、粗糙；有了和声，音乐才获得了深度、色彩与情感。数学家们后来意识到，黎曼猜想之所以如此重要，正是因为它断言了这些和声的性质：如果所有非平凡零点都落在临界线上，那么这些和声就是“最优美”的——它们的频率是实数，它们的振幅受到精确的控制，整个质数分布将呈现出一种前所未有的和谐。

    在十九世纪末和二十世纪初，数学家们开始尝试证明质数定理。他们成功了。1896年，雅克·阿达马和查尔斯·德·拉·瓦莱·普桑独立地证明了高斯的猜想。他们的证明使用了复分析的工具，本质上依赖于ζ函数在实部等于一的直线上没有零点这一事实。这是一个比黎曼猜想弱得多的陈述，但它足以推出质数定理。

    然而，数学家们很快发现，要更进一步，要控制那些误差项，要理解质数分布的精细结构，就必须直面黎曼猜想。质数定理只是确认了主旋律的存在，而黎曼猜想则承诺了和声的完美秩序。

    高斯在晚年曾对一位朋友说，他有时觉得自己在数学上的所有工作，都只是为后人搭建脚手架。他或许没有想到，他少年时代绘制的质数表，他青年时代发现的对数规律，会成为通往二十世纪和二十一世纪数学最深处的入口。从欧几里得的无限，到欧拉的乘积，再到高斯的曲线，数学的火炬一代代传递，最终交到了黎曼手中。而黎曼用八页纸，点燃了至今未曾熄灭的火焰。

    在下一章，我们将走进那八页纸，看看黎曼究竟做了什么，让后世的数学家们如此痴迷，又如此困扰。

支持单位：