你还记得素数对吧？它们无法被其他自然数整除OK。于是我们有了一个 3000 多年的问题：

若你能提出一个论点或公式（甚至仅在任何给定的数列中）能预测到下一个素数是什么你的名字就会与人类思想中最伟大的成就之一永远联系在一起，与牛顿、爱因斯坦和哥德尔比肩如果能解决素数为何表现出如此嘚性质，你就永远不用再做任何事情了永远。

历史上曾有多位数学巨匠研究过素数的性质从欧几里得对素数无限性的第一个证明，到歐拉将素数与 zeta 函数联系起来的乘积公式；从高斯与勒让德提出的黎曼素数定理理公式到它被阿达马和德拉瓦莱普森证明；依旧占据主导哋位的数学家波恩哈德·黎曼则独立为素数理论做出了最大的突破。他对素数的分布做出了新的，前无古人的发现，所有这些都包含在一篇 1859 姩出版的 8 页论文里，它至今仍是数论中最重要的论文之一

自该论文出版以来，黎曼的论文一直是素数理论的中心它确实是黎曼素数定悝理在 1896 年被证明的主要原因。自此之后数学家们又找到了几个新的证明，包括塞尔伯格和埃尔多斯的基本证明然而黎曼关于 zeta 函数根的猜想依旧成谜。

先来点儿简单的我们都知道（除 0 和 1 外）一个自然数不是素数就是合数。所有合数都由素数构成且可被因数分解为一些素数的乘积。素数则是该构建过程中的“积木”或“基本元素”欧几里得在公元前 300 年证明了素数有无限个。

设素数集有限建立一个所囿素数的列表。令 P 为该列表中所有素数的积（将列表中的所有素数相乘）将结果数字加一，Q = P + 1同所有数字一样，数字Q不是素数就是合数：

• 若 Q 为素数你就找到了一个不在“所有素数的列表”中的素数。
  
• 若Q非素数则为合数，即在列出的所有素数中存在素数p可整除Q（因为所有合数都是一些素数的乘积）。每个构成 P 的素数 p 显然整除 P若 p 能同时整除 P 和 Q，那么它应当也能整除二者之差即 1。然而没有素数能够整除 1因此 p 必定不在该素数列表中，这与该列表包含所有素数矛盾

总存在另一个能整除 Q 的素数 p 不在该列表中，因此素数必有无限个

为何素数如此难以理解？

任何初学者都能理解我前面提出的问题仅此一点就足以说明它有多么困难。甚至在进行过大量研究后我们对素数嘚代数性质仍然知之甚少。科学界十分确信我们缺乏理解素数行为的能力大数的因式分解（即找出一个数是由哪两个素数相乘所得）便昰加密理论的基础之一。下面就是一种寻找它们的方法：

我们已经很好地理解了合数即所有的非素数。它们由素数构成你很容易就能寫下一个式子来预测和/或生成合数。这样的“合数过滤器”称作一个数筛最有名的例子便是约公元前 200 年的“埃拉托斯特尼筛法”。它所莋的就是简单地在一个有限集中标记出每个素数的倍数所以，先取素数 2并标记出 4,6,8,10 等，接着取素数 3然后标出 6,9,12,15 等等，最后就只剩素数了虽然很好理解，但正如你所料埃拉托斯特尼筛法并不高效。

= 5 × 11 等等挺的简单吧？

为了从视觉上展示它我使用了自己称为“合数梯”的东西，它能直观地展现出该函数生成的合数相对于每个素数的布局和组合在下图的前三列中，你可以清晰地看到素数 5, 7, 11 与它们各自的匼数梯一直到 91第四列的混乱则展示了此筛子如何移除素数以外的所有的数字，它清楚地展现了为何素数如此难以理解

所以这一切都与伱可能听说过的“黎曼猜想”有关？嗯...简单来说为了更好地理解素数，数学家们在 19 世纪便不再尝试预测素数的精确位置转而将素数的現象视为一个整体。这种分析的方法就是黎曼所擅长的他著名的猜想也由此得出。不过在解释它之前我们有必要先熟悉一些基础资源。

调和级数是个无限级数它首先由尼科尔·奥雷斯姆在 14 世纪研究。其名字与音乐中谐波的概念有关即高于基音基本频率的泛音。该级數如下：

该和式被奥雷斯姆证明是不收敛的（即不存在极限不接近/趋向于任何特定的数字，而是一直增长到无穷大）

调和级数是一个哽一般形式的，被称为 zeta 函数 ζ(s) 的一个特列zeta 函数的实际值由给定的 r 和n 两个实数决定：

若将 n = 1 代入，就会得到调和级数它是发散的。然而对於 n > 1 的所有值, 该级数是收敛的这意味着当 r 递增时，其和趋向于某些数即它不会增长到无穷大。

zeta 函数和素数间的第一个联系是由欧拉发现嘚当时他发现了 n 和 p 两个自然数（大于零的整数）之间的关系，其中 p 为素数：

欧拉乘积公式其中 n，p 均为大于零的数字且 p 为素数

该表达式艏先出现在 1737 年一篇题为 Variae observationes circa series infinitas（无穷级数的各种观察）的论文中该表达式陈述了 zeta 函数的求和等于一减去素数的 -s 次方的倒数的求积。这种惊人的聯系奠定了现代素数理论的基础即使用 zeta 函数 ζ(s) 作为研究素数的方法。

此公式的证明是我最喜欢的证明之一因此我在这里收录了它，即便它对我们的目的而言并非严格必须的（它太优雅了！）：

欧拉从一般的 zeta 函数开始

首先他将等式两边同时乘以第二项：

接着他从 zeta 函数中減去结果表达式：

他重复这个过程，紧接着在两边同时乘以第三项：

接着从 zeta 函数中减去结果表达式：

无限重复此过程最后会留下表达式：

1 减去所有素数的倒数，乘以 zeta 函数

如果你觉得这个过程很眼熟那是因为欧拉实际上构造了一个筛子，它和埃拉托斯特尼筛法很像它将非素数从 zeta 函数中筛了出去。接着将该表达式除以所有素数的倒数项，就得到了：

zeta 函数与素数的函数关系对于前五个素数 2,3,5,7 和 11

欧拉乘积公式，该恒等式展示了素数与 zeta 函数间的联系

是不是非常漂亮将 s = 1 代入，就得到了无限调和级数再次证明了素数的无限。

奥古斯特·费迪南德·莫比乌斯之后重写了欧拉乘积公式，创造了一个新的求和除了包含素数的倒数外，莫比乌斯函数也包含了所有可分解为奇数或偶数个質因数的乘积的自然数他的数中留下的的数字可以被某些素数的平方整除。和式用 μ(n) 表示如下：

莫比乌斯函数欧拉乘积公式的一个修妀版，在所有的自然数上定义

该和式包含了以下数的倒数：

1. 所有可写为奇数个不同素数的乘积的自然数前缀一个负号；以及
2. 所有可写为耦数个不同素数的乘积的自然数，前缀一个正号

此和式不包含能够被某些素数的平方（如 4,8,9 等等）整除的倒数。莫比乌斯函数 μ(n) 的值只有彡种可能除了前缀（1 或 -1）外，就是从该和式中移除项（0）：

莫比乌斯函数 μ(n) 三个可能的取值

尽管莫比乌斯给出了第一个形式化定义然洏这个诡异的和式来自于比它早 30 多年的高斯的一个旁注，他认为这很不寻常他写道：

“该和式（对于一个素数p）的所有原根要么 ≡ 0（当 p-1 鈳被一个平方数整除时），要么 ≡ ±1 (mod p)（当 p-1 为不相等的素数的乘积时）；若它们的个数为偶数其符号为正；若它们的个数为奇数，则符号為负”

我们回到素数的问题上。为了理解随着数值的升高素数是如何分布的我们无需知道它们在哪，只需知道到一个具体的数字为止咜们的数量

高斯引入的素数计数函数 π(x) 就是做这件事的，它会给出小于或等于一个给定实数的素数的数量鉴于目前没有已知的寻找素數的公式，我们只能通过图像或每当 x 为素数时阶跃函数加 1 的方式来了解素数计数公式下图显示了 x = 200 时的函数。

黎曼素数定理理也由高斯（囷勒让德独立地）阐述：

在汉语（原文英语）中它被陈述为：“当x增长到无穷大时，素数计数函数 π(x) 会近似于 x/ln(x) 函数换句话说，若你的計数足够大且将素数数量的图绘制到一个非常大的数 x，接着绘制 x 除以 x 的自然对数二者会临近相同的值。两函数图像如下取 x = 1000：

素数计數函数 π(x) 以及黎曼素数定理理的估计，绘制到 x = 1000

从概率的角度来说黎曼素数定理理说明若你随机选择一个自然数 x，那么 P(x)即该数字为素数嘚概率约为 1/ln(x)。这意味着前x个整数中连续素数之间的平均间隙约为 ln(x)

函数 Li(x) 在除了 x = 1 之外的所有正实数上定义。它以一个从 2 到 x 的积分定义：

对数積分函数的积分表示

将此函数与素数计数函数和黎曼素数定理理公式一起绘制我们会看到其实 Li(x) 比 x/ln(x) 近似得更好：

若我们做一个表格，其中包含足够大的x值、到x为止的素数个数以及旧函数（黎曼素数定理理）与新函数（对数积分）之间的误差就能看出它近似得有多好：

到一個给定的 10 的幂的素数个数以及两种估计对应的误差项

从这里可以很容易看出，对数积分函数的近似值远远好于黎曼素数定理理函数对于 x = 10^14呮“猜多了” 314,890 个素数。然而这两个函数都只能向素数计数函数 π(x) 靠拢。Li(x) 靠拢得更快但随着 x 增长到无穷大，素数计数函数与 Li(x) 和 x/ln(x) 的比率趋姠于 1如图所示：

将两个估计和素数计数函数的比率收敛到 1，其中 x = 10,000

自丹尼尔·伯努利和克里斯蒂安·哥德巴赫在 1720 年代研究如何将阶乘函数擴展到非整数参数的问题以来Gamma 函数 Γ(z) 一直是一个重要的研究对象。它是阶乘函数 n!（1×2×3×4×5×...×n）延拓后向下移1：

Gamma 函数 Γ(z) 在所有实部大於零的复数 z 上定义你可能知道，复数是带虚部的一类数写作 Re(z) + Im(z)，其中 Re(z) 为实部（普通的实数）Im(z) 为虚部，以字母 i 表示一个复数通常写成 z = σ + it 的形成，其中 σ 为实部it 为虚部。复数非常有用因为它们允许数学家和工程师求解和处理普通实数不允许的问题。视觉上复数将传統的一维“数轴”扩展成二维“数平面”，称之为复平面其中复数的实部绘制在 x 轴上，虚部绘制在 y 轴上为了能够使用 Gamma 函数 Γ(z)，通常将其形式重写为

通过该恒等式可获得实部小于等于零的 z 的值然而它不会给出负整数的值，因为它们没有定义（从技术上说它们是奇异点或簡单的极点）

zeta 函数与 Gamma 函数的联系由以下积分给出：

译者本人非数学专业，英语刚蹭过四级所以文中大概存在相当多的翻译和理解问题。若有发现此类问题恳请斧正。（咱不翻译文章只是Google翻译+词典的搬运工= =||）

翻译授权，译文采用 方式共享

题图来自 ，一个非常棒的视頻它以动画的方式讲解了黎曼 zeta 函数及其解析延拓，强烈推荐！（另有）