∑

数学知识体系

Observatory Archive of Mathematics
⌕2026/8/31
概念

欧拉乘积

ζ(s) = Π(1-p^-s)^-1 遍历所有素数,把素数分布编码进一个解析函数,是解析数论的出发点。

所属主题:解析数论 ↗
阅读路径

参考可汗学院 Get ready 机制:先修概念 → 当前概念 → 进阶概念,✓ 表示已读。

先修概念

已是本主题的起点

当前概念

欧拉乘积解析数论

01定义

ζ(s)=∑n−s=∏p(1−p−s)−1\zeta(s)=\sum n^{-s}=\prod_p(1-p^{-s})^{-1}(Re s>1\mathrm{Re}\,s>1):一个加法侧的级数等于一个乘法侧的无穷乘积——算术基本定理的解析化身,也是解析数论的出发点。
ζ(s) = Σ n⁻ˢ 加法侧:全体正整数 Π(1−p⁻ˢ)⁻¹ 乘法侧:全体素数 = 展开 (1−2⁻ˢ)⁻¹ = 1+2⁻ˢ+4⁻ˢ+… 再逐项相乘: 每项 n⁻ˢ 由唯一素因子分解贡献一次——恰一次。 乘积收敛 ⇔ 素数无穷:ζ(1) 发散的另一重证明
等号两边:整数加法世界 = 素数乘法世界

02核心要点

01

推导骨架

对每个素因子做几何级数展开 (1−p−s)−1=∑k≥0p−ks(1-p^{-s})^{-1}=\sum_{k\geq 0}p^{-ks},无穷乘积的每一项对应唯一的素因子分解——绝对收敛保证重排合法。

02

素数无穷的解析证明

s→1+s\to 1^+ 时 ζ(s)→∞\zeta(s)\to\infty,而有限个素数的乘积有限——矛盾。欧拉 1737 年给出的证明比欧几里得版更定量。

03

对数展开与素数计数

log⁡ζ(s)=∑p∑m1mp−ms\log\zeta(s)=\sum_p\sum_m\frac{1}{m}p^{-ms}:主项 ∑p−s\sum p^{-s} 显示 ∑p≤x1p∼log⁡log⁡x\sum_{p\leq x}\frac{1}{p}\sim\log\log x——素数「稀疏却不稀疏」。

03关键公式

ζ(s)=∑n=1∞1ns=∏p11−p−s,Re s>1\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^{s}}=\prod_{p}\frac{1}{1-p^{-s}},\quad \mathrm{Re}\,s>1

04历史沿革

欧拉 1737 年发现乘积公式,首开「用分析研究素数」的先河;黎曼 1859 年进一步把 ζ 延拓到全平面,乘积成为连接零点与素数的桥梁。

05应用与延伸

素数定理证明的出发点、概率数论的「随机整数模型」、统计物理的配分函数(玻色气体的 ζ 值)、密码学中素数密度的理论依据。

06交互演示

欧拉乘积:∏(1−p^(−2))⁻¹ → ζ(2) = π²/6加入更多素数,部分乘积逼近 π²/6 ≈ 1.6449

07相关概念