素数定理是数论领域的基石性成果，它精确描述了小于给定实数 x 的素数个数 π(x) 的渐近分布规律。简言之，该定理指出：当 x 趋于无穷大时，π(x) 与 x/ln(x) 的比值趋于 1。这一简洁而深刻的结论，揭示了看似随机分布的素数背后隐藏的秩序。
素数定理的数学表述
设 π(x) 表示不超过实数 x 的素数个数，则素数定理可表述为：
limx→∞ π(x) / (x / ln x) = 1
等价地，π(x) ~ x/ln(x)，其中 "~" 表示渐近等价关系。这意味着对于足够大的 x，x/ln(x) 可作为 π(x) 的极佳近似。
为什么需要这个定理？
在19世纪之前，数学家们虽已知道素数有无穷多个（欧几里得证明），但对于素数如何分布却知之甚少。高斯和勒让德曾独立提出 π(x) ≈ x/(ln x - 1.08366) 的经验公式，但缺乏严格证明。素数定理的证明不仅确认了这一经验公式的正确性，更开启了现代解析数论的新纪元。
素数密度的直观理解
素数定理意味着：在自然数中随机选取一个数，其为素数的概率约为 1/ln(n)。例如：
- 在100以内，素数密度约为 1/ln(50) ≈ 1/3.9 ≈ 25.6%，实际为25/100 = 25%
- 在10000以内，密度约为 1/ln(5000) ≈ 1/8.5 ≈ 11.8%，实际为1229/10000 = 12.29%
- 在1000000以内，密度约为 1/ln(500000) ≈ 1/13.1 ≈ 7.6%，实际为78498/1000000 = 7.85%
可以看到，随着数值增大，密度逐渐下降，但下降速度非常缓慢，符合 ln(n) 的增长规律。
素数定理的等价形式
素数定理有多种等价表述，便于不同数学分支的应用：
- 素数计数函数形式：π(x) ~ x/ln(x)
- 第n个素数形式：pn ~ n ln(n)，其中 pn 表示第n个素数
- 切比雪夫函数形式：ψ(x) ~ x，其中 ψ(x) = ∑pk≤x ln p
这些等价形式在理论推导和数值计算中各有优势，构成了素数分布理论的完整框架。