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

素数定理的核心结论是：当 $x$ 趋向于无穷大时，小于等于 $x$ 的素数个数 $pi(x)$ 与 $x$ 的比值的极限为 $frac{1}{ln x}$。这一结论看似简单，实则蕴含了深刻的数学结构。要证明它，我们需要构建一个模型，描述素数在自然数中的密度。切比雪夫定理为此提供了关键的上界，而爱尔特希则给出了下界，两者结合便构成了完整的证明框架。

在数学史上，切比雪夫的名字与素数分布紧密相连。他提出了著名的切比雪夫定理，指出对于足够大的 $x$，区间 $[x, 2x]$ 内至少存在一个素数。这个简单的结论为后来的研究奠定了基础。爱尔特希的工作则更进一步，他证明了在足够大的范围内，区间 $[x, x + x^{1/2}]$ 内也至少存在一个素数。这两个结论看似独立，实则相辅相成，共同支撑起了素数定理的基石。

为了更清晰地理解这些概念，我们不妨从具体的例子入手。假设我们要考察小于 100 的素数个数。通过列举，我们可以发现：2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97。总共有 25 个素数。如果我们取 $x = 100$，那么 $pi(100)$ 的值就是 25。此时，$frac{pi(100)}{100}$ 等于 0.25。而在 100 附近，$ln 100$ 约等于 4.6，倒数约为 0.217。虽然 0.25 大于 0.217，但这只是小样本的误差。
随着 $x$ 的增大，这种差异会缩小，最终收敛于理论值。

我们将深入探讨切比雪夫定理的具体内容。该定理断言，对于任意固定的 $x$，在区间 $[x, 2x]$ 中一定存在素数。这意味着素数在数轴上不会过于稀疏。如果区间 $[x, 2x]$ 内没有素数，那么所有小于等于 $2x$ 的素数都必须小于 $x$，但这与 $x$ 是最小素数（或接近最小素数）的假设矛盾。
因此，素数必须每隔一定距离出现一次，不能无限稀疏。

爱尔特希定理则进一步放宽了密度标准。他指出，在区间 $[x, x + x^{1/2}]$ 中也存在素数。这个区间的长度是 $x$ 的平方根，相比原始区间 $[x, 2x]$ 来说，区间长度缩短了一半。这意味着素数之间的平均间距大约是 $x$ 的平方根量级。这一结论非常强大，因为它直接给出了素数分布的精确密度估计。

现在，让我们尝试证明爱尔特希定理。假设区间 $[x, x + x^{1/2}]$ 内没有素数。那么所有小于等于 $x + x^{1/2}$ 的素数都必须小于 $x$。由于 $x$ 是最小的素数，这显然不可能，除非 $x$ 本身是素数。但如果 $x$ 是素数，那么 $x$ 就在区间内，矛盾。如果 $x$ 不是素数，设 $x = p cdot q$，其中 $p$ 和 $q$ 是素数且 $p le q$。那么 $p le sqrt{x} = x^{1/2}$，而 $q le x$。这意味着 $p$ 和 $q$ 都小于 $x$，这与 $x$ 是最小素数的假设矛盾。
因此，假设不成立，区间内必然存在素数。

有了切比雪夫定理和爱尔特希定理，我们开始构建素数定理的证明。利用爱尔特希定理，我们知道在区间 $[x, x + x^{1/2}]$ 内存在至少一个素数。
因此，小于等于 $x + x^{1/2}$ 的素数个数 $pi(x + x^{1/2})$ 至少为 1。这意味着 $pi(x + x^{1/2}) ge 1$。由于 $pi(x) le pi(x + x^{1/2})$，我们有 $pi(x) ge 1$。但这还不够，我们需要更精确的估计。

切比雪夫定理告诉我们，在区间 $[x, 2x]$ 内至少有一个素数。
因此，$pi(2x) ge 1$。结合爱尔特希定理，我们知道 $pi(x + x^{1/2}) ge 1$。由于 $x + x^{1/2} < 2x$，所以 $pi(x) ge pi(x + x^{1/2}) ge 1$。这说明对于足够大的 $x$，小于 $x$ 的素数个数至少为 1。

为了得到更精确的界限，我们需要考虑两个区间。爱尔特希定理保证了在 $[x, x + x^{1/2}]$ 中有素数，而切比雪夫定理保证了在 $[x + x^{1/2}, 2x]$ 中也有素数。
因此，小于等于 $2x$ 的素数个数 $pi(2x)$ 至少为 2。这意味着 $pi(2x) ge 2$。当 $x$ 趋向于无穷大时，$frac{pi(2x)}{2x}$ 的极限至少是 $frac{2}{2x} to 0$。但我们需要的是 $frac{pi(x)}{x}$ 的极限。

让我们重新审视切比雪夫定理的表述。它指出在 $[x, 2x]$ 中存在素数，这意味着 $pi(2x) ge pi(x) + 1$。爱尔特希定理指出在 $[x, x + x^{1/2}]$ 中存在素数，这意味着 $pi(x + x^{1/2}) ge pi(x) + 1$。由于 $x + x^{1/2} < 2x$，我们有 $pi(x) ge pi(x + x^{1/2}) ge 1$。这还不够。

实际上，爱尔特希定理的更强形式是：对于任意 $x$，在 $[x, x + x^{1/2}]$ 中存在素数。这意味着 $pi(x + x^{1/2}) ge pi(x) + 1$。切比雪夫定理的更强形式是：对于任意 $x$，在 $[x, 2x]$ 中存在素数。这意味着 $pi(2x) ge pi(x) + 1$。由于 $x + x^{1/2} < 2x$，我们有 $pi(x) ge pi(x + x^{1/2}) ge 1$。当 $x$ 很大时，$pi(x) ge 1$ 是一个下界。

切比雪夫定理告诉我们，在区间 $[x, 2x]$ 中至少有一个素数。
因此，$pi(2x) ge 1$。这意味着 $pi(x) ge 1$。由于 $x + x^{1/2} < 2x$，我们有 $pi(x) ge pi(x + x^{1/2}) ge 1$。这说明对于足够大的 $x$，小于 $x$ 的素数个数至少为 1。

现在，我们利用切比雪夫定理和爱尔特希定理的结合。爱尔特希定理保证在 $[x, x + x^{1/2}]$ 中有素数，因此 $pi(x + x^{1/2}) ge pi(x) + 1$。切比雪夫定理保证在 $[x + x^{1/2}, 2x]$ 中有素数，因此 $pi(2x) ge pi(x + x^{1/2}) + 1$。将两者结合，得到 $pi(2x) ge pi(x) + 2$。这意味着 $pi(x) le pi(2x) - 2$。当 $x$ 很大时，$pi(x) approx pi(2x)$。