跳转到内容
← 返回概念
代数约 22 分钟阅读

数论

Number Theory

关键人物

eulergaussriemannfermat
代数数论素数同余解析数论

一个直觉：用小学算术就能问出，连天才也答不上来的问题

数论的迷人之处，在于它的问题往往一句话就能讲清楚，连孩子都听得懂——但答案可能要动用人类最深奥的数学。举个例子：每一个大于 2 的偶数，都能写成两个素数之和吗？ $4=2+2$，$6=3+3$，$8=3+5$，$100=3+97$……你随便试都成立。这就是哥德巴赫猜想。它简单得像一道课堂习题，可数学家试了近三百年，至今没人能证明它对所有偶数都成立。

类似地，素数——那些只能被 $1$ 和自己整除的数 2,3,5,7,11,…2,3,5,7,11,\dots——看起来杂乱无章地散落在整数里，没有公式能直接吐出第 $n$ 个素数。但它们的分布又并非全无规律：大约每 ln⁡x\ln x 个数里就有一个素数。这种"局部任性、整体守序"的张力，正是数论的灵魂。要小心一个误解：别以为"题目简单"等于"无关紧要"。正是为了攻克这些朴素的整数难题，数学家发明了同余、理想、$L$-函数等强大工具，而它们今天又撑起了你每一次网上支付背后的密码学。数论曾被视为最"无用"的纯数学，如今却是数字世界的安全基石。

这种反转有据可查。1940 年，英国数论家 G. H. Hardy 在《一个数学家的辩白》（A Mathematician's Apology）里近乎自豪地断言：至今没有人发现数论或相对论能服务于任何战争目的，看来许多年内也不会有人发现。讽刺的是，就在他落笔前后，波兰数学家正用置换群论破解德军的 Enigma 密码机；半个世纪后，RSA 又把数论变成了整个互联网的安全底座。最纯粹的数学，常常要等上几十年，才暴露出它最实用的那一面。

定义

数论（Number Theory）研究整数的性质——素数的分布、方程的整数解、同余关系等。高斯称数论为"数学的皇后"——它的问题往往简单到可以用小学数学来表述，但证明却需要最深刻的数学工具。

核心对象： - 整数环 Z\mathbb{Z}：加法和乘法的基本代数结构 - 素数：大于 1 且只有 1 和自身两个因子的正整数 - 同余：a≡b(modn)a \equiv b \pmod{n} 表示 n∣(a−b)n \mid (a-b)

数论的魅力在于简单问题与深刻解答之间的巨大鸿沟。

核心内容

初等数论

算术基本定理：每个大于 1 的整数都可以唯一地分解为素数之积（不计顺序）：

n=p1a1p2a2⋯pkakn = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}

Euler 函数：φ(n)=∣{k:1≤k≤n,gcd⁡(k,n)=1}∣\varphi(n) = |\{k : 1 \leq k \leq n, \gcd(k,n)=1\}|——小于 $n$ 且与 $n$ 互素的正整数个数。

Euler 定理：若 gcd⁡(a,n)=1\gcd(a,n)=1，则 aφ(n)≡1(modn)a^{\varphi(n)} \equiv 1 \pmod{n}。Fermat 小定理是其特例（$n$ 为素数）。

中国剩余定理：同余方程组 x≡ai(modmi)x \equiv a_i \pmod{m_i}（mim_i 两两互素）有唯一解 (modm1⋯mk)\pmod{m_1 \cdots m_k}。

二次互反律

Legendre 符号：$\left(\frac{a}{p}\right) = \begin{cases} 1 & \text{若 } a \text{ 是模 } p \text{ 的二次剩余} \\ -1 & \text{若 } a \text{ 是模 } p \text{ 的二次非剩余} \end{cases}$

二次互反律（Gauss）：对奇素数 p≠qp \neq q：

(pq)(qp)=(−1)p−12⋅q−12\left(\frac{p}{q}\right)\left(\frac{q}{p}\right) = (-1)^{\frac{p-1}{2}\cdot\frac{q-1}{2}}

二次互反律是数论中最优美的定理之一——Gauss 称之为"算术的宝石"，一生给出了 8 个不同的证明。

解析数论

素数定理：π(x)∼xln⁡x\pi(x) \sim \frac{x}{\ln x}——不超过 $x$ 的素数个数渐近于 x/ln⁡xx/\ln x。由 Hadamard 和 de la Vallée-Poussin 在1896年独立证明。

Riemann ζ\zeta 函数：ζ(s)=∑n=1∞1ns=∏p11−p−s\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} = \prod_p \frac{1}{1-p^{-s}}——Euler 乘积公式将素数与复分析联系起来。

Riemann 猜想：ζ(s)\zeta(s) 的所有非平凡零点的实部都是 $1/2$。这是数学中最著名的未解决问题——其证明将对素数分布给出最精确的估计。

代数数论

代数数域：Q\mathbb{Q} 的有限扩张 K=Q(α)K = \mathbb{Q}(\alpha)。代数整数环 OK\mathcal{O}_K 是 Z\mathbb{Z} 在 $K$ 中的整闭包。

理想理论：代数整数环中唯一分解可能失效（如 Z[−5]\mathbb{Z}[\sqrt{-5}] 中 6=2×3=(1+−5)(1−−5)6 = 2 \times 3 = (1+\sqrt{-5})(1-\sqrt{-5})），但理想可以唯一分解为素理想之积。

类数：$h(K)$ 衡量代数整数环偏离唯一分解的程度——$h=1$ 等价于唯一分解。

椭圆曲线

椭圆曲线：y2=x3+ax+by^2 = x^3 + ax + b（判别式 Δ=−16(4a3+27b2)≠0\Delta = -16(4a^3+27b^2) \neq 0）。有理点构成一个有限生成阿贝尔群（Mordell 定理）。

模形式：上半平面上满足特定变换性质的全纯函数。Wiles 通过证明半稳定椭圆曲线是模的（Taniyama-Shimura 猜想），从而证明了 Fermat 大定理。

历史演变

数论是数学中最古老的分支。古希腊人已经知道素数有无穷多个（欧几里得证明）和素数分解的唯一性。丢番图（Diophantus，约3世纪）研究了方程的整数解——"丢番图方程"至今仍是活跃的研究领域。费马（Pierre de Fermat，17世纪）提出了大量深刻的猜想，包括费马大定理（xn+yn=znx^n + y^n = z^n 在 n≥3n \geq 3 时无正整数解——1995年被 Andrew Wiles 证明）和费马小定理。

高斯（Carl Friedrich Gauss）在1801年的《算术研究》中将数论系统化，引入了同余的概念，证明了二次互反律。黎曼（Bernhard Riemann，1859）将 ζ\zeta 函数与素数分布联系起来，提出了 Riemann 猜想。

关键人物

高斯（1777—1855）是数论之王。他的《算术研究》（1801）将数论从零散的结果发展为系统的学科。他证明了二次互反律（一生给出了 8 个证明），发展了同余理论和二次型理论。

欧拉（Leonhard Euler，1707—1783）在数论中贡献了 Euler 函数、Euler 定理、Euler 乘积公式，以及对 Fermat 猜想的大量研究。他证明了 ∑1/n2=π2/6\sum 1/n^2 = \pi^2/6——将数论与分析联系起来。

费马（Pierre de Fermat，1601—1665）是业余数学家之王。他的费马大定理困扰了数学家 358 年。他在书页空白处写下的猜想推动了数论数百年的研究。

数学意义

数论的核心定理：

  1. 算术基本定理：整数的素因子分解唯一
  2. 二次互反律：Legendre 符号的乘法性质
  3. 素数定理：π(x)∼x/ln⁡x\pi(x) \sim x/\ln x
  4. Dirichlet 定理：等差数列中包含无穷多素数
  5. 费马大定理（Wiles，1995）：xn+yn=znx^n + y^n = z^n（n≥3n \geq 3）无正整数解

核心概念辨析

  • 初等数论 vs 解析数论 vs 代数数论：初等只用整数运算，解析用复分析，代数用代数结构——三种方法互补
  • 素数 vs 不可约元 vs 素元：在 Z\mathbb{Z} 中等价，但在一般环中不同——素元 p∣abp\mid ab 蕴含 p∣ap\mid a 或 p∣bp\mid b
  • 同余 vs 模运算：同余是等价关系（a≡b(modn)a\equiv b\pmod{n}），模运算是同余类上的运算（$[a]+[b]=[a+b]$）
  • Euler 函数 vs Möbius 函数：Euler 函数计数互素的数，Möbius 函数是容斥的算术版本——Möbius 反演公式是数论中的"容斥原理"
  • 解析方法 vs 代数方法：解析方法用复分析估计渐近行为（素数定理），代数方法用群论和环论研究精确结构（类域论）
  • 加法数论 vs 乘法数论：加法数论研究整数的加法表示（Goldbach 猜想），乘法数论研究整数的乘法结构（因子分解）

当代应用

数论在现代科技中有出人意料的应用。在密码学中，RSA 加密基于大整数分解的困难性，椭圆曲线密码学基于离散对数问题的困难性。在编码理论中，Reed-Solomon 码和 BCH 码基于有限域理论。在伪随机数生成中，线性同余生成器和 Blum-Blum-Shub 生成器基于数论。在量子计算中，Shor 算法可以在多项式时间内分解大整数——这将颠覆现有密码体系。在数学物理中，模形式和自守形式在弦理论中有重要应用。

核心公式汇编

概念公式
Euler 函数φ(n)=n∏p∣n(1−1/p)\varphi(n) = n\prod_{p\mid n}(1-1/p)
Euler 定理aφ(n)≡1(modn)a^{\varphi(n)}\equiv 1\pmod{n}（gcd⁡(a,n)=1\gcd(a,n)=1）
二次互反律(pq)(qp)=(−1)p−12⋅q−12\left(\frac{p}{q}\right)\left(\frac{q}{p}\right) = (-1)^{\frac{p-1}{2}\cdot\frac{q-1}{2}}
素数定理π(x)∼x/ln⁡x\pi(x)\sim x/\ln x
Euler 乘积ζ(s)=∑n−s=∏p(1−p−s)−1\zeta(s) = \sum n^{-s} = \prod_p(1-p^{-s})^{-1}
Ramanujan 分拆p(n)∼14n3eπ2n/3p(n)\sim\frac{1}{4n\sqrt{3}}e^{\pi\sqrt{2n/3}}
Möbius 反演g(n)=∑d∣nf(d)⇔f(n)=∑d∣nμ(d)g(n/d)g(n) = \sum_{d\mid n}f(d) \Leftrightarrow f(n) = \sum_{d\mid n}\mu(d)g(n/d)

经典问题

  1. Riemann 猜想：ζ(s)\zeta(s) 非平凡零点的实部都是 $1/2$——千禧年七大问题之首
  2. 孪生素数猜想：存在无穷多对差为 2 的素数——张益唐（2013）证明了差有界
  3. Goldbach 猜想：每个大于 2 的偶数都是两个素数之和——陈景润（1966）证明了"1+2"
  4. ABC 猜想：对 $a+b=c$（gcd⁡(a,b)=1\gcd(a,b)=1），rad(abc)\text{rad}(abc) 通常不会太小——Mochizuki 的证明仍有争议
  5. BSD 猜想：椭圆曲线的秩等于其 $L$-函数在 $s=1$ 处的零点阶数——千禧年问题之一

纸面之外：当代数论的数字

数论不只活在证明里，也活在不断刷新的计算记录中。

已知最大素数：截至 2024 年，人类找到的最大素数是 2136279841−12^{136279841}-1，足足 41,024,320 位十进制数字。它是第 52 个梅森素数（形如 2p−12^p-1 的素数），由前 NVIDIA 工程师 Luke Durant 在 2024 年 10 月 12 日借助横跨 17 国的 GPU 云算力发现，比上一个纪录大了一千六百多万位。寻找这么大的素数本身没有直接用途，却在持续锤炼大规模分布式计算与硬件验证的可靠性。

孪生素数的步步逼近：孪生素数猜想（存在无穷多对相差 2 的素数）至今未解，但近十余年的进展堪称传奇。2013 年 4 月，此前名不见经传的张益唐证明：相差不超过 7000 万的素数对有无穷多组——人类第一次为"素数间隔"装上了有限的天花板。

消息一出，数学界以 Polymath 在线协作项目接力，把这个上界压到 4680；随后 James Maynard 用一套全新的筛法独立地降到 600；到 2014 年 4 月，综合各方成果，上界已经收紧到 246。从 7000 万到 246，只用了一年。

RSA 的攻防记录：现代密码学的安全性，是用"分解一个大数到底有多难"来度量的。RSA-768（768 比特、232 位十进制）在 2009 年 12 月被攻破；RSA-250（829 比特、250 位十进制）在 2020 年 2 月被一支六人团队用数域筛法（Number Field Sieve）分解，耗费约 2700 个 CPU 核·年。正因如此，现实系统普遍使用 2048 比特以上的密钥——在经典计算机上破解它仍遥不可及。

一场未结的争议：abc 猜想与证明的判定

数学常被想象成非黑即白：一个证明要么对、要么错。abc 猜想的故事却揭示了更复杂的现实。abc 猜想大致是说：若互素的正整数满足 $a+b=c$，那么三者的"根基"（$a$、$b$、$c$ 所有不同素因子之积，记作 rad(abc)\text{rad}(abc)）通常不会比 $c$ 小太多。它一旦成立，会一举推出包括 Fermat 大定理在内的一大批结果。

2012 年，日本数学家望月新一（Shinichi Mochizuki）公布了长达五百多页、自创"宇宙际 Teichmüller 理论"（Inter-universal Teichmüller theory，简称 IUT）的证明，却几乎无人能读懂。2018 年，Peter Scholze 与 Jakob Stix 专程赴京都与望月当面研讨，事后撰文断言其关键的"推论 3.12"存在一处无法弥补的逻辑跳跃。

2021 年，该证明被 PRIMS 期刊正式接受发表——而望月本人正是这份期刊的主编，期刊又隶属于他任职的京都大学数理解析研究所（RIMS）。这一利益冲突让发表本身充满争议。截至 2026 年，主流数学界并不认为 abc 猜想已被证明。

这桩公案说明：数学真理的判定，并非只看一篇论文是否"发表"，而要看整个共同体能否独立复核、达成共识。当一套理论复杂到几乎无人能验证时，数学引以为傲的客观性也会遭遇真实的考验。

与其他概念的关系

数论是数学中最古老又最现代的分支： - → 代数：群论、环论、域论都是数论发展的产物——Galois 理论源于方程的可解性 - → 复分析：解析数论的核心工具——ζ\zeta 函数和 $L$-函数是复分析对象 - → 代数几何：算术几何——用代数几何方法研究数论问题（Weil 猜想、Fermat 大定理） - → 密码学：RSA 和椭圆曲线密码学的安全性基于数论问题的计算困难性 - → 组合数学：整数分拆、同余关系、积性函数的组合性质 - → 物理学：模形式在弦理论和共形场论中有重要应用

跨域连接

  • 群：与 n 互素的剩余类在乘法下构成群，群的阶就是欧拉函数值。任何元素的阶都整除群阶，于是"某个幂次回到自身"不是巧合而是群论的必然。RSA 解密之所以恰好还原明文，用的正是这条：两个指数在模群阶的意义下互逆。
  • RSA公钥密码：加密只是在有限群里做一次幂运算，这一步本身完全可逆。安全性不来自运算不可逆，而来自求逆需要群的阶，而群的阶要靠分解模数才能得到。推论是一旦分解变容易，已被截获的旧密文会一并失守，密钥长度必须按未来的算力来选。
  • 量子算法：分解被归约为寻找一个模幂函数的周期，而量子傅里叶变换能在多项式时间内读出周期。关键在于这次归约而不是"量子并行"：不是同时试遍所有因子，而是把问题换成了一个周期问题。所以量子加速对没有这种结构的问题并不适用。
  • 核结构模型：重核的能级又多又密，逐条计算无望，物理学家改用随机矩阵刻画其间隔统计。而 ζ 函数非平凡零点的间隔统计与同一套规律吻合。这条线索意味着素数分布背后可能藏着一个"谱"，也是攻克黎曼猜想的重要启发。
  • 加密货币之争：在这类系统里，所有权就等于知道一个私钥，没有任何机构能替你恢复。数论难题因此被直接当成了产权制度：密钥丢失即资产永久消失，这不是设计缺陷，而是"无需信任第三方"的必然代价。

延伸阅读

  1. Carl Friedrich Gauss, Disquisitiones Arithmeticae (1801).
  2. G. H. Hardy & E. M. Wright, An Introduction to the Theory of Numbers (6th ed., 2008).
  3. Henri Cohen, A Course in Computational Algebraic Number Theory (1993).
  4. 潘承洞, 《初等数论》, 北京大学出版社, 2003.
  5. Andrew Wiles, "Modular elliptic curves and Fermat's Last Theorem" (1995).

参考文献

  1. Yitang Zhang, "Bounded gaps between primes," Annals of Mathematics 179, no. 3 (2014): 1121–1174.
  2. James Maynard, "Small gaps between primes," Annals of Mathematics 181, no. 1 (2015): 383–413.
  3. H. L. Montgomery, "The pair correlation of zeros of the zeta function," in Analytic Number Theory, Proceedings of Symposia in Pure Mathematics 24 (American Mathematical Society, 1973): 181–193.
  4. Peter Scholze and Jakob Stix, "Why abc is still a conjecture" (unpublished manuscript, 2018).
  5. F. Boudot, P. Gaudry, A. Guillevic, N. Heninger, E. Thomé, P. Zimmermann, "Comparing the difficulty of factorization and discrete logarithm: a 240-digit experiment," Advances in Cryptology — CRYPTO 2020, LNCS 12171: 62–91（同组团队于 2020 年 2 月完成 RSA-250 的分解）.
  6. G. H. Hardy, A Mathematician's Apology (Cambridge University Press, 1940).
  7. Great Internet Mersenne Prime Search (GIMPS), "Mersenne Prime Discovery: 2^136279841 − 1 is Prime!" (mersenne.org, 2024).

「数学是科学的皇后，而数论是数学的皇后。」——高斯，据其学生 Sartorius von Waltershausen《高斯传》（1856）转述