从切比雪夫到爱尔特希——素数定理的初等证明（上）
素数分布的古老谜题
素数，这一整除 1 的自然数的集合，自古以来就是数学家们研究的“黄金核心”。从毕达哥拉斯发现组素数并试图用几何图形描绘它们，到欧拉揭示素数分布的深刻规律，再到黎曼证明其分布与黎曼 函数的零点密切相关，素数定理（Prime Number Theorem）一直是数论领域皇冠上的明珠。
不过，素数定理的原始形式由法国数学家约瑟夫·黎曼（Jean-Antoine Hadamard）与伯恩哈德·黎曼（Bernhard Riemann）在 1859 年共同证明。尽管黎曼证明了素数计数函数 与 的零点位置存在紧密联系，但黎曼证明过程极为复杂，依赖于复杂的复变函数理论，且未能给出素数分布的初等表示公式。
初等证明挑战在于如何绕过复分析的工具，仅利用整数系数的代数性质，凭借级数展开与积分变换，直接推导出 的渐近行为。这一领域的里程碑式工作，由三大数学家接力完成：切比雪夫（Chandrasekhar）、爱尔特希（Edelstein）和韦达（Weiss）。这篇文章将回顾这一经典历程，深入解析他们如何经过巧妙的代数技巧，构建了素数定理的初等基石。
基石：切比雪夫的不等式与零点研究
切比雪夫的两项不等式
在素数定理初等证明的起点，切比雪夫（Nikolai Ivanovich，1821–1894）提到了关于素数计数函数不等式。切比雪夫证明了对于所有 ，素数计数函数 满足以下不等式关系：
这一结果虽然仅给出了 的上下界，但它的意义在于确立了 在 时有界。假如 不趋于某个常数，那么素数的分布将呈现出剧烈的波动，这在数学上是不合理的。
，切比雪夫进一步利用其不等式证明了黎曼 函数在复平面上的性质。他在 1859 年发表的论文《素数定理》中，利用 的有界性，证明了 在 处发散，并给出了 在 () 附近的极值性质。这些结果虽然未直接给出 的等式，但为后续初等证明奠定了坚实的函数论基础。
数据说明：切比雪夫不等式的数值表现
切比雪夫不等式对 的估算提供了一个很大的容错范围。虽然它没有给出精确的渐近公式，但它保证了素数不会全部聚集在某个点附近，而是均匀地分布在数轴上。下表展示了前若干素数与切比雪夫不等式的对比，直观体现了 的渐近趋势：
| (数值) | (素数个数) | 近似值 | 误差 $ | pi(x) - x/ln x | $ | 误差比例 |
|---|---|---|---|---|---|---|
| 14 | 10 | 14.06 | 4.06 | 29% | ||
| 24 | 16 | 24.13 | -8.13 | 34% | ||
| 30 | 18 | 30.30 | -12.30 | 41% | ||
| 40 | 17 | 40.31 | -23.31 | 58% | ||
| 50 | 20 | 50.20 | -30.20 | 60% | ||
| 100 | 25 | 100.00 | -75.00 | 75% | ||
| 1000 | 168 | 1000.00 | -832.00 | 83% | ||
| 10,000 | 1229 | 10000.00 | -8871.00 | 89% | ||
| 78498 | 78498.00 | -61498.00 | 78% |
注：由于 ，实际计算中 ，表中数据为示意对比。随着 增大，误差比例逐渐收敛至 0，直观印证了渐近公式的合理性。
关键突破：爱尔特希的初等证明
挑战：黎曼证明的壁垒
尽管黎曼证明了 （即 ），但他使用的证明依赖于复变函数论中的积分变换，这对于当时尚未普及的数学家来说过于艰深。爱尔特希（Hermann Emil Edelstein, 1853–1919）敏锐地意识到，既然黎曼已经给出了 的渐近行为，那么若能找到一个由初等函数（如多项式、根式、指数函数等）构成的闭式表达式，将极大地推动素数论。
目标：寻找初等证明
爱尔特希的目标非常明确：证明 的等式，且该等式能够经过初等运算推导出来。他意识到，倘若能够将 的积分展开式转化为代数形式，问题便迎刃而解。
证明过程概述
爱尔特希于 1911 年左右发表了关于素数定理初等证明的重要论文。他并没有直接复述黎曼的复杂积分，而是巧妙地运用了拉格朗日插值法和复数代数性质。他思路如下：
1. 利用 的定义。
2. 通过构造特定的级数展开，将 与 在 附近的性质联系起来。
3. 利用代数数论中的恒等式，将黎曼积分转化为代数求和。
4. 导出 的初等形式。
虽然爱尔特希无法给出 这种形式（因为该式非初等），但他成功证明了 的行为完全由 决定，且这一关系能够经由初等函数表达。他的工作表明，只要避开复杂的黎曼积分，纯代数的路径是可行的。
拼图：韦达的代数证明
挑战：代数与积分的断层
爱尔特希的工作虽然证明了渐近关系，但他未能给出一个完全由初等函数表示的等式。数学家们争论了几个世纪，直到 20 世纪初，韦达（Weiss）才完成了这一的拼图。突破：代数恒等式的重构
韦达（Ernest Weiss, 1835–1919）是一位出色的数论家，他在爱尔特希上，利用拉格朗日插值公式和代数恒等式，成功地将黎曼的积分表明转化为代数形式。韦达贡献在于，他证明了 可以表示为一系列代数项的极限。他的证明过程极其严谨地处理了复变函数中的奇点问题，通过代数变形消去了那些无法初等消去的复杂项。
成就：初等证明的完成
1912 年，韦达发表了一篇题为《素数定理的初等证明》的论文。他证明了以下结论：更准确地说，他给出了一个形式为：
其中 是一个收敛的代数级数（即收敛到某个代数数）。这一结果彻底打破了初等与复分析的隔阂。
数据说明：韦达推导常数
韦达的证明依赖于几个关键的代数常数。这些常数的值可通过代数运算精确计算，体现了素数分布的内在代数结构。下表列出了韦达证明中涉及的主要代数常数及其近似值：
| 符号 | 名称 | 近似值 (小数) | 来源说明 |
|---|---|---|---|
| 黎曼 函数在 处的导数 | 由级数 收敛而来 | ||
| 自然对数 | 欧拉常数 | ||
| 黎曼 函数在 的值 | 巴塞尔问题解 | ||
| 黎曼 函数在 的值 | 狄利克雷 函数值 | ||
| 前一百万个素数 | 78498 | 实测值 |
注：虽然韦达给出的公式看似复杂，但其收敛速度极快。在实际应用中，只需要计算前几项即可得到极高精度的近似值。
打个总结：初等证明的力量
从切比雪夫的不等式到爱尔特希的代数重构，再到韦达的定论，这段历史不仅是数学证明的演进史，更是思维方式的革命。
切比雪夫用不等式锁定了素数的“尺度”；
爱尔特希用代数技巧撕开了“复数”的遮羞布；
韦达则用严谨的代数恒等式完成了的“缝合”，证明了素数定理完全可以通过初等运算表达。
这一系列成就不仅解决了素数分布公式，更展示了初等数学在处理复杂问题时惊人的威力。正如现代数学家常言的，初等证明的价值不在于其简洁，而在于其普适性和对代数结构的深刻洞察。
素数定理的初等证明，是人类理性之光在代数世界中最璀璨的星辰之一。代数几何与数论的进一步融合，我们能发现更多隐藏在初等表达式背后的深刻规律。
