从切比雪夫到爱尔特希——素数定理的初等证明（上）(素数定理初等证明)

从切比雪夫到爱尔特希——素数定理的初等证明（上）

在数学的浩瀚星空中，素数（质数）无疑是最神秘也最迷人的天体之一。它们像孤独的原子，构成了所有整数的基石。然而，关于素数分布的规律，人类探索了数百年。1896年，雅克·阿达马（Jacques Hadamard）和查尔斯·德·拉·瓦莱·普桑（Charles de la Vallée Poussin）分别独立证明了素数定理（Prime Number Theorem, PNT），但这一定理的证明依赖于复分析这一“重型武器”。 直到1949年，保罗·爱尔特希（Paul Erdős）和阿特勒·塞尔伯格（Atle Selberg）才各自独立给出了素数定理的初等证明——即仅使用实分析和数论基本技巧，无需复变函数。这不仅是技术上的突破，更是一场数学思维的革命。 本文将作为系列文章的上篇，带领读者回顾从切比雪夫（Chebyshev）的奠基性工作，到塞尔伯格关键不等式的诞生过程，为理解爱尔特希的初等证明铺平道路。

一、 什么是素数定理？

在深入证明之前，我们需要明确目标。设 为不超过 的素数个数。素数定理断言： 这意味着，当 趋于无穷大时， 与 的比值趋于1。换句话说，一个随机选取的大整数 是素数的概率约为 。 虽然高斯和勒让德在18世纪末就基于数值实验提出了这一猜想，但证明它需要极其精密的工具。

二、 切比雪夫的里程碑：从“存在”到“估计”

在阿达马和德·拉·瓦莱·普桑之前，帕夫努季·切比雪夫（Pafnuty Chebyshev）在1850年代做出了开创性的贡献。他虽然未能证明素数定理，但他证明了素数定理的一个“弱化版本”： 切比雪夫定理：存在常数 和 ，使得对于足够大的 ，有：

切比雪夫的核心思想： 函数

切比雪夫巧妙地引入了两个辅助函数来简化问题： 1. 切比雪夫 函数： 2. 切比雪夫 函数： 他证明了 等价于 。 为了估计 ，切比雪夫利用了一个巧妙的组合恒等式：中心二项式系数 的素因子分解。

关键引理：中心二项式系数的性质

考虑整数 。 1. 是一个整数。 2. 的所有素因子 都满足 。 3. 更重要的是，对于 的素数 ，它们在 中的指数恰好为1。 通过估计 的大小（利用斯特林公式或简单的不等式 ），切比雪夫能够建立 的上界和下界。他最终证明了： 虽然常数不够精确（未达到极限1），但这首次严格证明了 与 是同阶的。

三、 复分析的辉煌与局限

1896年，阿达马和德·拉·瓦莱·普桑利用黎曼 函数的解析性质，证明了 对于 成立，从而严格证明了 。 然而，这一证明依赖于复分析，包括柯西积分定理、围道积分等高深工具。对于许多数论爱好者和初学者来说，这如同“用大炮打蚊子”，显得过于复杂且不够“纯粹”。 于是，20世纪上半叶，数学家们开始寻找一条初等路径。这条路的目标是：仅使用实数域上的不等式、级数求和和基本分析技巧，避开复变函数。

四、 塞尔伯格的突破：那个著名的不等式

1948年，匈牙利天才数学家阿特勒·塞尔伯格（Atle Selberg）取得了决定性进展。他推导出了一个至今被称为“塞尔伯格素数定理公式”的核心不等式。

塞尔伯格不等式的形式

塞尔伯格证明了： 其中 ， 是冯·曼戈尔特函数（Von Mangoldt function）。 这个等式看似复杂，但其深刻之处在于它将 的自我引用关系显式地表达了出来。它不是直接给出 的值，而是给出了一个递归关系。

如何从不等式走向证明？

塞尔伯格的原始工作并没有直接完成初等证明，但他提供的这个恒等式为后续工作奠定了基础。他的学生和合作者保罗·爱尔特希在此基础上，引入了一种新的分析方法——“爱尔特希-塞尔伯格论证法”。 爱尔特希的关键洞察在于：他不再试图直接求解 ，而是通过分析上述恒等式中的余项，证明如果 不渐近于 ，就会导致矛盾。 具体来说，爱尔特希定义了一个函数： 他证明了 不能太大。通过精细地估计 这一项，他证明了 必须趋于0。

五、 初等证明的核心策略

为了理解爱尔特希最终在1949年完成的证明，我们需要概括其逻辑链条： 1. 转化问题：将 的等价命题转化为 或 。 2. 利用塞尔伯格恒等式： 3. 引入积分变换：由于直接处理 的跳跃性困难，爱尔特希引入了斯蒂尔切斯积分（Stieltjes integral）和拉普拉斯变换的思想（尽管是在实数域内操作）。 4. 关键引理：证明若 ，则会导出矛盾。 5. 得出结论：通过上下界的夹逼，证明 。

六、 为什么“初等”如此重要？

爱尔特希和塞尔伯格的初等证明之所以被数学界视为重大成就，原因有三： 1. 普适性：它表明素数定理的本质并不依赖于复分析的深刻结构，而是源于数论内部的算术性质。 2. 简洁性：尽管证明过程依然复杂，但它避免了黎曼 函数零点分布等高深概念，使得更多数论工作者能够理解和参与研究。 3. 启发性：它催生了新的分析技术，如“筛法”的进一步发展，以及对算术函数渐近行为的更深入理解。 从切比雪夫用组合恒等式撬动素数分布的冰山一角，到阿达马和德·拉·瓦莱·普桑用复分析完成宏伟大厦的封顶，再到爱尔特希和塞尔伯格返璞归真，用初等工具重新构建这一真理，这是一段充满智慧与美感的数学旅程。 在上篇中，我们梳理了从切比雪夫到塞尔伯格的历史脉络和核心工具。在下篇中，我们将深入爱尔特希证明的具体细节，逐步拆解那个著名的不等式如何最终导致 的结论，并探讨这一证明中的精妙技巧。 敬请期待《从切比雪夫到爱尔特希——素数定理的初等证明（下）》。 参考文献与延伸阅读： 1. Hardy, G. H., & Wright, E. M. An Introduction to the Theory of Numbers. Oxford University Press. 2. Apostol, T. M. Introduction to Analytic Number Theory. Springer. 3. Erdős, P., & Selberg, A. (1949). "On Selberg's Proof of the Prime Number Theorem". Annals of Mathematics. 4. Diamond, H. G. (1979). "A Brief History of the Elementary Proof of the Prime Number Theorem". American Mathematical Monthly.