黎曼 ζ 函数与素数

层级：① 教科书共识（ζ 的基本性质）+ ① 黎曼假设为开放问题 · 来源：Euler (1737) / Riemann (1859) / Apéry (1978)

一句话版本

ζ 函数是素数分布的"频谱仪"——把素数的信息全部编码在一个复变函数的零点里。

从调和级数到 Euler 乘积

Euler 在 1737 年发现了一个惊人恒等式——对所有实部 \(s>1\) 的复数：

\[\zeta(s) = \sum_{n=1}^{\infty}\frac{1}{n^s} = \prod_{p}\frac{1}{1-p^{-s}}\]

左边是"所有整数"，右边是"所有素数"。一个公式把乘法结构和加法结构焊在了一起——这是解析数论的起点。

几个著名的值

量	值	状态
\(\zeta(2)\)	\(\pi^2/6 \approx 1.6449\)	Euler 1734，已证
\(\zeta(3)\)	\(\approx 1.2020569\)	Apéry 1978 证明是无理数
\(\zeta(-1)\)	\(-1/12\)	解析延拓后（"1+2+3+…=−1/12" 的严格含义）

零点与素数

ζ 函数在 \(s=-2,-4,-6,\dots\) 有平凡零点；其余非平凡零点全部藏在 \(0<\Re(s)<1\) 的临界带里。第一个非平凡零点：

\[\rho_1 = \frac{1}{2} + 14.1347251417\ldots\, i\]

黎曼假设：所有非平凡零点的实部都恰好等于 \(1/2\)。它若成立，素数计数误差就是最优量级 \(O(\sqrt{x}\ln x)\)——零点的"排队整齐度"直接决定素数分布的"守规矩程度"。

自己验证

# 验证 ζ(2) = pi^2/6（部分和逼近，尾项约 1/N）
import math

N = 100_000
zeta2 = sum(1 / k**2 for k in range(1, N + 1))
assert abs(zeta2 - math.pi**2 / 6) < 1e-4
zeta3 = sum(1 / k**3 for k in range(1, N + 1))
print(f"zeta(2) ≈ {zeta2:.6f}  (pi^2/6 = {math.pi**2/6:.6f})")
print(f"zeta(3) ≈ {zeta3:.6f}  (Apery 值 1.202057)")

延伸

• ζ 零点如何"显式地"控制素数计数——素数定理词条的误差项

---

发布：2026-10-23 07:39:14 · 数论库