跳转到内容
← 返回深度阅读
数论约 17 分钟阅读

素数之谜

数论素数黎曼猜想解析数论

关键词

素数; 素数定理; 黎曼ζ函数; 黎曼猜想; 素数分布; 解析数论; 筛法; 哥德巴赫猜想

第1页 · 素数的定义与基本性质

标题：数学的原子——素数是乘法世界的基本构件

素数是大于1且只能被1和自身整除的正整数：2, 3, 5, 7, 11, 13, ...。算术基本定理断言：每个大于1的正整数都可以唯一地分解为素数的乘积（不计顺序）。这一性质使得素数在乘法世界中的地位类似于原子在化学中的地位——它们是不可再分的基本构件。

素数的分布看似随机，却暗含深刻的规律。前几个素数密集出现，但随着数的增大，素数越来越稀疏。然而，素数永远不会"消失"——欧几里得在约公元前300年证明了素数有无穷多个。他的证明是数学史上最优雅的反证法之一：假设素数只有有限多个 p1,…,pnp_1, \ldots, p_n，则 p1p2⋯pn+1p_1 p_2 \cdots p_n + 1 要么是新的素数，要么有不在列表中的素因子——无论哪种情况都矛盾。

无穷性回答的是“会不会在某一步用完”，不是“有多密”。欧几里得的反证法构造出一个新素因子，却不告诉你它有多大，更不给出 π(x)\pi(x) 的增长速度。把“有无穷多个素数”听成“大整数里仍然到处都是素数”，后文的素数定理就会显得像一句重复。稀疏与无穷可以同时成立：间隔可以慢慢变大，只要永远变不完。

第2页 · 素数分布的规律

标题：从欧拉到黎曼——素数的计数函数

设 π(x)\pi(x) 表示不超过 $x$ 的素数个数。π(10)=4\pi(10) = 4（2, 3, 5, 7），π(100)=25\pi(100) = 25，π(1000)=168\pi(1000) = 168。素数定理断言：

π(x)∼xln⁡x\pi(x) \sim \frac{x}{\ln x}

即不超过 $x$ 的素数大约有 xln⁡x\frac{x}{\ln x} 个。这一定理由阿达马（Jacques Hadamard）和德·拉·瓦莱·普桑（Charles Jean de la Vallée Poussin）在1896年独立证明——他们使用了黎曼ζ函数的复分析方法。更精确的近似由对数积分给出：π(x)≈Li(x)=∫2xdtln⁡t\pi(x) \approx \text{Li}(x) = \int_2^x \frac{dt}{\ln t}。对数积分的近似比 xln⁡x\frac{x}{\ln x} 更精确，它与 π(x)\pi(x) 的误差与黎曼猜想密切相关。

这里必须把已经证明的定理和仍未证明的猜想分开。素数定理只断言 π(x)\pi(x) 与 x/ln⁡xx/\ln x 的比趋于 1，阿达马与德·拉·瓦莱·普桑 1896 年的证明，用到的是 ζ(s)\zeta(s) 在直线 Re(s)=1\text{Re}(s)=1 上没有零点。这条无零点结论远弱于黎曼猜想：后者要求所有非平凡零点的实部都等于 $1/2$，至今没有证明，也没有反例。

塞尔伯格与爱尔迪什在 1949 年给出了不显式调用复变函数的初等证明，得到的仍是素数定理本身。初等证明没有绕开分析困难，更没有把零点推进到临界线。误差项 ∣π(x)−Li(x)∣|\pi(x)-\text{Li}(x)| 可以无条件写成较弱的上界；只有假定黎曼猜想，才能把上界收到 O(xln⁡x)O(\sqrt{x}\ln x) 这一量级。定理已经站住，猜想改进的是余项，不是主项。

黎曼ζ函数定义为 ζ(s)=∑n=1∞1ns\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s}（Re(s)>1\text{Re}(s) > 1），可以通过解析延拓扩展到整个复平面（除 $s=1$ 外）。黎曼在1859年的划时代论文中研究了 ζ(s)\zeta(s) 的零点分布，并提出了黎曼猜想：ζ(s)\zeta(s) 的所有非平凡零点的实部都等于 12\frac{1}{2}。

欧拉乘积把 ζ\zeta 函数写成对素数的无穷乘积，于是素数的计数问题被翻译成复分析里的零点问题。素数定理对应的是 Re(s)=1\text{Re}(s)=1 这条边界上没有零点；黎曼猜想则把全部非平凡零点钉在更里面的临界线上。两条命题共享同一套语言，强度却差了一整条半平面。把它们说成“同一个猜想的两个名字”，会把已证定理重新涂成未解之谜。

第3页 · 黎曼猜想

标题：数学中最重要的未解决问题——价值百万美元的猜想

黎曼猜想是数学中最著名的未解决问题之一——克雷数学研究所的七个千禧年难题之一，悬赏100万美元。它断言黎曼ζ函数的所有非平凡零点都位于复平面上的"临界线" Re(s)=12\text{Re}(s) = \frac{1}{2} 上。截至2026年，数学家已经验证了超过 101310^{13} 个零点——它们确实都在临界线上。但这并不能证明黎曼猜想——归纳法对无穷不适用。

黎曼猜想的重要性在于它与素数分布的深刻联系。如果黎曼猜想成立，则素数定理的误差项可以大幅改进：∣π(x)−Li(x)∣=O(xln⁡x)|\pi(x) - \text{Li}(x)| = O(\sqrt{x} \ln x)。这将给出素数分布的最精确描述。

黎曼猜想还与许多其他数学问题有关。已经证明：黎曼猜想等价于数论、分析和代数中的数百个命题。如果黎曼猜想被证明（或否证），将引发数学的连锁反应。

有限次核对改变不了逻辑地位。黎曼要的是全部非平凡零点，而任何计算只覆盖有限一段高度。把“前 $N$ 个都在临界线上”写成“猜想已被证实”，是把数值证据误当成证明；$N$ 再大，归纳法也跨不过无穷。

冯·科赫在 1901 年证明：黎曼猜想等价于 ∣π(x)−Li(x)∣=O(xln⁡x)|\pi(x)-\text{Li}(x)|=O(\sqrt{x}\ln x)。这是条件性的误差改进，不是一条已经成立的定理。即便将来猜想被证明，它约束的是素数计数的均匀程度，并不给出第 $n$ 个素数的封闭公式，也不把大整数分解变成已知的多项式时间算法。密码学依赖的是分解的计算代价，不是这条猜想的真伪。

第4页 · 未解决的素数问题

标题：素数中的未解之谜——从孪生素数到哥德巴赫猜想

素数领域充满了令人着迷的未解决问题。有的已经变成定理，有的仍停在猜想，把二者列在同一页上，正是为了对照。

孪生素数猜想：存在无穷多对相差2的素数（如3和5、5和7、11和13）。张益唐在2013年取得了突破性进展——证明了存在无穷多对相差不超过7000万的素数。此后，陶哲轩领导的Polymath项目将这一上界缩小到246。

狄利克雷在 1837 年证明：若 $a$ 与 $q$ 互素，则算术级数 $qn+a$ 中有无穷多素数。这是比欧几里得更强的无穷性，仍然远弱于格林–陶定理里的任意长等差素数。无穷多个素数落在一条等差数列里，并不等于这条数列里可以取出任意长的素数片段。强度要逐级加码，不能从“无穷”直接跳到“任意长”。

哥德巴赫猜想（1742）：每个大于2的偶数都可以表示为两个素数之和。陈景润在1973年证明了"1+2"——每个充分大的偶数都可以表示为一个素数和一个至多是两个素数乘积的数之和。这是迄今为止最接近哥德巴赫猜想的结果。

偶数哥德巴赫猜想本身仍然开放。陈景润的“1+2”说的是充分大的偶数可以写成一个素数加上一个至多两个素因子的数，第二项不必是素数。计算上，偶数猜想已对直到 4×10184\times 10^{18} 的偶数逐一核对，核对再远也只是证据，不能代替对所有偶数的证明。

三素数问题强度更弱。维诺格拉多夫在 1937 年证明：每个充分大的奇数都能写成三个素数之和。把剩下的有限范围补成对所有奇数都成立，是后来的工作，与偶数哥德巴赫不是同一条命题。新闻里把“哥德巴赫被证明了”做成标题，多半是把已证的充分大奇数情形和未证的偶数命题混在一起。

素数等差数列：是否存在任意长的素数等差数列？格林（Ben Green）和陶哲轩在2004年证明了格林-陶定理：素数中包含任意长的等差数列。

格林–陶定理已经证明素数中含有任意长的等差数列，这是结构问题里少数被完全关闭的一条。它推不出孪生素数，也推不出偶数哥德巴赫。长等差列约束的是线性模式可以任意延长，短间隔与偶数拆分是另一类加性问题。论文于 2008 年正式发表，2004 年是证明完成并公布的年份。

素数间隙：相邻素数之间的间隔有多大？张益唐的孪生素数突破也推动了素数间隙问题的进展。

有界间隙是真结果，却不是差恰好为 2 的那条猜想。张益唐证明的是：存在某个固定上界，使得无穷多对素数的差不超过它；上界后来被缩小到 246，仍远大于 2。把 246 读成孪生素数猜想“只差最后一步”，会低估从固定偶数到偶数 2 的距离。

第5页 · 素数的应用

标题：从纯数学到密码学——素数的现代应用

素数不仅是数论的核心研究对象，还是现代密码学的基础。RSA公钥密码系统（1977）的安全性基于一个简单的事实：将两个大素数相乘很容易，但将一个大整数分解为素因子非常困难。一个2048位的RSA密钥包含两个约300位的素数——目前的计算机无法在合理时间内分解这样的大整数。椭圆曲线密码学（ECC）基于椭圆曲线上的离散对数问题的困难性。ECC在相同安全级别下需要的密钥长度比RSA短得多——这使得它在移动设备和物联网中特别有用。

素数还在伪随机数生成、哈希函数和纠错码中有应用。梅森旋转算法（Mersenne Twister）是最常用的伪随机数生成器之一，它基于梅森素数 219937−12^{19937} - 1。

公钥体系用得上素数，主要是因为大素数足够常见、乘积难分解。素数定理保证了采样大素数是可行的；黎曼猜想未决，并不让现有的分解困难性“失去根据”，也没有给分解提供已知的快速算法。把未证猜想写成密码学的基石，或把已证的素数定理写成“仍是谜”，都会把层次弄乱。

事实卡

  1. 卡1

    欧几里得证明了素数有无穷多个（约前300年）——这是最早的数学证明之一。

  2. 卡2

    素数定理（1896）断言 π(x)∼xln⁡x\pi(x) \sim \frac{x}{\ln x}——素数分布的基本规律。

  3. 卡3

    黎曼猜想（1859）是数学中最重要的未解决问题——悬赏100万美元。

  4. 卡4

    张益唐（2013）证明了存在无穷多对相差不超过7000万的素数——孪生素数猜想的重大突破。

引用

"素数是数学中最基本、最神秘的对象——它们的分布规律至今仍是一个谜。"
大卫·希尔伯特
"如果我沉睡千年后醒来，第一个要问的问题就是：黎曼猜想被证明了吗？"
大卫·希尔伯特

跨域连接

  • RSA：相乘容易、分解困难的不对称性，把"保密"换算成了"计算代价"。推论：安全性是条件性的，分解算法一旦提速，同一把密钥的强度立刻下降——目前没有任何已证的下界担保它长期安全，密钥长度的历史演进本身就是这条推论的记录。
  • 量子算法：分解可以化归为求一个周期，而周期在量子叠加下能被一次性提取出来。推论：足够大的容错量子机会让依赖分解与离散对数的体系整体失效——这是算法层面的失效，靠加长密钥拖不了多久，因此迁移到不依赖分解难度的方案必须提前动手。
  • 国家能力：同一套加密既是公民防护，也是执法障碍，于是国家长期在"要不要留后门"上摇摆。推论：任何后门都等于人为降低数学难度，而数学不区分使用者身份——后门一旦泄露，防护与攻击同时失效，这条不对称性是政策争论无法回避的硬约束。
  • 信息时代：陌生人之间的远程交易需要建立信任，公钥体系把这份信任外包给了一个数论难题。推论：整个数字结算层建立在"目前没人会分解"这一经验事实之上，它是可能被改写的历史条件而不是定理，这也是密码学被当作基础设施而非技术细节的原因。
  • 数论：唯一分解定理保证"分解"这个问题良定义、答案唯一，于是验证极快而搜索极慢。推论：正是验证与搜索之间的这道落差让密码可用——难度不来自运算本身，而来自方向的不对称，任何把搜索加速到接近验证的算法都会颠覆它。

三种不同的“理解素数”

谈论素数分布时，必须区分三个层次。第一层是精确判定：给定一个整数，它是否为素数？这是有限输入上的算法问题。第二层是计数规律：不超过 $x$ 的素数有多少？素数定理给出整体密度，却不告诉我们下一个素数准确在哪里。第三层是局部结构：孪生素数是否无穷、短区间里是否一定有素数、算术级数中的素数如何波动。这些问题共享对象，却需要不同工具。

判定算法再快，也不自动给出 π(x)\pi(x) 的误差界。素数定理给出平均密度，却允许局部出现长段合数。哥德巴赫问的是每一个偶数能不能拆，孪生素数问的是差为 2 的对子是否无穷——都比“平均有多少”苛刻。把三层问题用同一句“素数还是谜”盖住，读者就分不清哪一句已经是定理。

这种区分能防止两个常见误会。其一，“素数看似随机”不等于没有规律；整体密度、同余限制和零点结构提供了极强约束，只是约束不足以逐个预测。其二，能快速判断一个数为素数，不等于能快速分解两个大素数的乘积。判定与寻找因子是不同计算任务，密码学利用的正是这道复杂度差异。

阅读任何“素数取得突破”的新闻时，可以据此追问：它改善的是判定算法、平均分布、误差界，还是某种局部间距？常数从多少降到多少，是无条件结果还是依赖猜想？把结论放回正确层次，才不会把重要但有限的进展误写成黎曼猜想或孪生素数猜想已经解决。

把这三层再对照一次：素数定理属于第二层，而且已经证明；黎曼猜想也谈论计数误差，却仍停在未证。哥德巴赫与孪生素数属于第三层的局部结构，其中只有少数变体被关闭。层次分清之后，才不会把有界间隙的上界改进，误写成百万美元问题已经落地。

参考文献

  1. Euclid. Elements, Book IX, Proposition 20. 约前300年.
  2. Riemann, Bernhard. "Über die Anzahl der Primzahlen unter einer gegebenen Größe." 1859.
  3. Hardy, G.H. & E.M. Wright. An Introduction to the Theory of Numbers. Oxford, 6th ed., 2008.
  4. 张益唐. "Bounded Gaps Between Primes." Annals of Mathematics, 2014.
  5. 陈景润. "大偶数表为一个素数及一个不超过二个素数的乘积之和." 中国科学, 1973.
  6. du Sautoy, Marcus. The Music of the Primes. HarperCollins, 2003.
  7. Hadamard, Jacques. "Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques." Bulletin de la Société Mathématique de France, 24, 1896, pp. 199–220.
  8. von Koch, Helge. "Sur la distribution des nombres premiers." Acta Mathematica, 24, 1901, pp. 159–182.
  9. Green, Ben & Terence Tao. "The primes contain arbitrarily long arithmetic progressions." Annals of Mathematics, 167, 2008, pp. 481–547.
  10. Oliveira e Silva, Tomás, Siegfried Herzog & Silvio Pardi. "Empirical verification of the even Goldbach conjecture and computation of prime gaps up to 4⋅10184\cdot 10^{18}." Mathematics of Computation, 83, 2014, pp. 2033–2060.
  11. Selberg, Atle. "An elementary proof of the prime-number theorem." Annals of Mathematics, 50, 1949, pp. 305–313.