素数分布与素数定理

素数定理精确地阐明了素数以对数方式稀疏分布的直觉：小于某个上限的素数数量渐近地等于该上限除以其自然对数。

Definition

素数定理指出，不超过 x 的素数数量（表示为 pi(x)）渐近地等于 x 除以 x 的自然对数，或等价地等于 x 的对数积分。

Scope

本主题涵盖了素数计数函数及其渐近性、切比雪夫的初等界限以及 psi 和 theta 求和函数、默滕斯定理、素数定理的陈述和通过 zeta 函数在实部为一的直线上无零点的解析证明、对数积分近似、误差项及其与黎曼猜想的联系，以及素数间隙和孪生素数启发式。

Core questions

• 在完整定理出现之前，切比雪夫的界限和默滕斯估计如何限制素数密度？
• 为什么素数定理等价于 zeta 函数在实部等于一的直线上没有零点？
• 对数积分近似的精度如何？误差项如何依赖于黎曼猜想？
• 关于连续素数之间的间隙，包括孪生素数，已知和猜想了什么？

Key theories

素数定理

由哈达玛和德拉瓦莱普桑于 1896 年独立证明，它给出了素数计数的主要渐近线；切比雪夫 psi 函数的等价表述是解析上自然的形​​式。

无零点区域和误差项

zeta 函数在实部为一的直线左侧的无零点区域的大小控制着素数定理中的误差；黎曼猜想将给出最优的平方根型误差。

素数间隙和克拉默启发式

x 附近的平均间隙大约是 x 的对数；概率启发式预测了大间隙和小间隙的分布，筛法进展已证明存在无限多个有界间隙。

Clinical relevance

该定理给出的素数密度告诉密码学家，为了找到给定大小的素数，必须测试多少个随机候选数，这直接决定了 RSA 和 Diffie-Hellman 密钥生成的效率。

History

高斯和勒让德在大约 1800 年猜想了素数的渐近计数。切比雪夫在 19 世纪 50 年代建立了严格的上下界，黎曼在 1859 年概述了分析策略，哈达玛和德拉瓦莱普桑在 1896 年完成了证明。塞尔伯格和埃尔德什后来在 1949 年给出了一个初等证明。

Key figures

• Bernhard Riemann
• Pafnuty Chebyshev
• Jacques Hadamard
• Charles-Jean de la Vallee Poussin

Seminal works

• davenport2000

Frequently asked questions

素数定理能让你预测下一个素数吗？

不能。它描述了素数在长范围内的平均密度；它不确定任何单个素数的位置，并且素数在小尺度上仍然是不规则的。

该定理与黎曼猜想有何关系？

该定理本身是无条件的，但黎曼猜想将确定近似中可能存在的最小误差，从而控制实际素数计数与对数积分的偏离程度。