三态标签:⏳ 开放(未证明,也未被证伪)| 所属版面:分析学 / 数论交叉 格式:概念科普 + 定理解读(DOXA 数学版面知识分享样张)
一句话
黎曼猜想断言:$\zeta$ 函数的所有非平凡零点都躺在临界线 $\operatorname{Re}(s) = 1/2$ 上。它是数学界最著名、影响最深、悬赏百万美元的开放问题。
是什么
$\zeta$ 函数(zeta 函数)分两层理解:
- 初等定义($s$ 为实数且 $>1$):$$\zeta(s) = 1 + \frac{1}{2^s} + \frac{1}{3^s} + \frac{1}{4^s} + \cdots$$(此时级数收敛)
- 解析延拓:把它光滑地延拓到整个复平面(除 $s=1$ 一个简单极点外),得到一个复变函数——黎曼 1859 年的关键一步,让「零点」有了定义
零点的分类:
- 平凡零点:$s = -2, -4, -6, \dots$(负偶数),这部分早已完全清楚
- 非平凡零点:其余零点,全部落在临界带 $0 < \operatorname{Re}(s) < 1$ 内
- 临界线:$\operatorname{Re}(s) = 1/2$ 这条竖直线
黎曼猜想:所有非平凡零点都在临界线上。
为什么重要(它回答什么)
黎曼发现素数的分布与 $\zeta$ 函数零点的位置精确挂钩。核心链条:
- 欧拉乘积公式:$$\zeta(s) = \prod_{p} \frac{1}{1 - p^{-s}}$$——把「加法世界的自然数求和」翻译成「乘法世界的素数乘积」
- 由此,素数的分布规律 $\Longleftrightarrow$ $\zeta$ 零点的分布规律
- 黎曼猜想成立 $\Longleftrightarrow$ 素数分布具有最强的「拟随机性」——素数像独立抛硬币一样没有长程规律
它是整个解析数论的支柱:无数定理的开头都写着「在黎曼猜想成立的前提下……」。它不是「算不出来的题」,而是缺少理解素数随机性的数学工具——这也正是它难的根本原因:证明「没有规律」远比证明「有规律」难。
1900 年希尔伯特列为 23 问之列;2000 年 Clay 研究所列为千禧年七大难题(悬赏 100 万美元)。
直觉(怎么理解)
- 「素数像抛硬币」:猜想说素数出现没有长程偏斜,随机得像独立抛硬币。验算到天文数字都一致,但没有理论能保证。
- 等价命题很好用(换着角度看它):
- $\pi(x) = \mathrm{Li}(x) + O(\sqrt{x}\cdot\ln x)$——素数定理的精确误差项(素数定理只证了主项,RH 证的是这个余项)
- Mertens 函数的有界性、Von Mangoldt 函数的均方估计等
- 等价形式遍布数论、概率论、动力系统——说明这个猜想「在哪里都会被撞上」,也侧面说明它触及数学的根基。
进展与现状(证明思路)
| 层面 | 结果 |
|---|---|
| 数值验证 | 前 $10^{13}$ 个非平凡零点全部在临界线上(Odlyzko 等)——无数零点无一反例,但数值永远不能证明 |
| 部分定理 | 非平凡零点全部在临界带内(Hadamard / de la Vallée Poussin 1896,兼证素数定理) |
| 临界线上比例 | 已证 $> 40\%$ 的非平凡零点在临界线上(Conrey 1989) |
| 推广 | 广义黎曼猜想(GRH)、朗兰兹纲领(Langlands)——RH 是它们的最简情形 |
| 当前状态 | 开放。无数尝试(包括错误证明)后,学界共识是「缺少根本性新工具」 |
应用(成立与否都影响深远)
- 密码学基础:公钥密码(RSA)依赖素数生成;广义黎曼猜想的成立性决定「素数资源的理论安全边界」(实际工程密码不依赖 RH,但理论层面对齐)
- 数论下游:素数间隙、算术级数中的素数(张益唐类结果在 GRH 假设下可大幅改进上界)
- 数学分水岭:RH 成立与否决定整个解析数论大厦的地基强度——它对数学的影响是「结构性」的
阅读路线(入门到专业)
- 科普入门:《素数之恋》(Prime Obsession,Derbyshire)——最佳起点,历史+直觉双线并进
- 中阶:Edwards《Riemann's Zeta Function》;《The Riemann Hypothesis》(Mazur / Stein 等)
- 专业:Titchmarsh《The Theory of the Riemann Zeta-Function》;Ivić《The Riemann Zeta-Function》
- 视频:3Blue1Brown $\zeta$ 函数可视化、Numberphile 黎曼猜想系列
三态标签(DOXA 精神)
- 当前状态:⏳ 开放(未证明未证伪;只有海量验证,无理论保证)
- 若未来有人给出公认证明:本页升级为 ✅ 已验证,并补上证明者与证明路径
- 任何声称证明:先标记 存疑,待同行评审通过再转 ✅(DOXA 反「为发而发」的立场)
来源:Titchmarsh《The Theory of the Riemann Zeta-Function》;Edwards《Riemann's Zeta Function》;Derbyshire《Prime Obsession》;Clay Millennium Prize Problems 官方页。整理:2026-08-04。