跳转到内容
← 返回定理
数论高级约 20 分钟阅读

费马大定理

Fermat's Last Theorem

fermat·1637
数论费马椭圆曲线模形式

一个直觉：写在书页空白处的一句话，让数学界忙了 358 年

1637 年前后，费马在克劳德·巴歇（Claude-Gaspard Bachet de Méziriac）1621 年译出的丢番图《算术》拉丁文本页边，读到把一个平方分成两个平方的题目。他随手写下：「Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.」——「我发现了一个真正绝妙的证明，可惜这里的空白太窄，写不下。」

这句话不是临终留言。费马死于 1665 年 1 月 12 日，距这条批注将近三十年；批注本身要等到 1670 年，才由他的儿子萨缪尔印进巴歇本的增订版。他本人用无穷递降法证明了 $n=4$ 的情形，这有手稿可核；一般 $n$ 的「绝妙证明」则从未在他的纸页里出现，数学界普遍认为它要么写错了，要么根本没写完。

这行批注要等到 358 年后才被了结。1993 年 6 月 23 日，安德鲁·怀尔斯（Andrew Wiles）在剑桥艾萨克·牛顿数学科学研究所（Isaac Newton Institute）做完第三场报告，写下结论便宣布证明了费马大定理。

几个月后，审稿人尼克·卡茨（Nick Katz）在科利瓦金–弗莱切（Kolyvagin–Flach）欧拉系统论证里发现一处漏洞。怀尔斯又花了将近一年，于 1994 年 9 月与理查德·泰勒（Richard Taylor）一起绕开那一步并补上证明；两篇论文 1995 年发表于《数学年刊》（Annals of Mathematics）第 141 卷。一句写在空白处的话，就这样横跨了三个半世纪。

定理陈述

费马大定理（Fermat's Last Theorem）是数论中最著名的定理之一。它看起来像中学竞赛题，却把从欧拉到库默尔的代数数论一路逼进了椭圆曲线与模形式。

定理只禁止指数大于 2 的正整数解，并不否认实数解，也不否认指数为 2 的勾股数。当整数 $n > 2$ 时，待检验的是下面这条丢番图方程：

xn+yn=znx^n + y^n = z^n

这条方程没有正整数解 $(x, y, z)$。换言之，勾股定理 a2+b2=c2a^2 + b^2 = c^2 有无穷多组正整数解（勾股数），但将指数换成任何大于 2 的整数后，方程就不再有正整数解。费马本人已经把 $n=4$ 钉死；一般指数上那句「绝妙证明」，则要再等三个半世纪。

直觉理解

费马大定理说的是：勾股定理在指数 2 上的整数解，到了高次幂就全部消失。指数一离开 2，三边的平方关系不再给正整数留下缝。

$n = 2$ 时：32+42=523^2 + 4^2 = 5^2，52+122=1325^2 + 12^2 = 13^2——无穷多组解。这些勾股数来自一套明确的参数公式，所以整数解不是碰巧撞上的，而是可以系统造出来的。

$n = 3$ 时：x3+y3=z3x^3 + y^3 = z^3 没有正整数解。无论怎么找，都找不到三个正整数的立方满足这个等式；立方增长得比平方更快，整数格点再也对不齐。

这不是因为计算能力不够——费马大定理断言，对所有 $n > 2$，这样的解永远不存在。直觉上，随着指数增大，xnx^n 增长越来越快，使得三个 $n$ 次幂之间的平衡变得不可能。但这只是直觉：严格的证明并不去穷举格点，而是证明「若有解，就会长出一条不该存在的曲线」。

证明思路

费马大定理的最终证明由安德鲁·怀尔斯（Andrew Wiles）在 1995 年完成，连接了两个看似无关的数学领域。他证明的并不是逐个指数的初等不等式，而是半稳定椭圆曲线的模性；费马方程只是这条模性定理的一个推论。

核心策略

  1. 弗雷曲线（1985/1986）：格哈德·弗雷（Gerhard Frey）指出，如果费马大定理不成立（即存在 an+bn=cna^n + b^n = c^n 的正整数解），则可以构造一条「奇怪的」椭圆曲线 y2=x(x−an)(x+bn)y^2 = x(x - a^n)(x + b^n)。相近的曲线 1970 年代已被伊夫·埃勒瓜尔什（Yves Hellegouarch）写过；弗雷的新观察是：这条曲线半稳定，却具有极端的判别式与导子，几乎不可能是模的。他 1986 年把这条想法写成论文；若模性成立，这条曲线就不该存在。
  1. 里贝特定理（1986/1990）：肯·里贝特（Ken Ribet）在 1986 年夏证明了塞尔的 ε 猜想，论文 1990 年发表于 Inventiones Mathematicae。他证明：若弗雷曲线是模的，降水平会逼出一条水平为 2 的权 2 尖点形式，而这样的模形式并不存在。于是弗雷曲线不可能是模的——只要谷山–志村猜想对半稳定椭圆曲线成立，费马大定理就成立。
  1. 谷山–志村猜想：每条有理数域上的椭圆曲线都是模的。里贝特已经把费马大定理收成这句话的半稳定特例：只要半稳定椭圆曲线都模，弗雷曲线就不存在，费马方程就没有正整数解。怀尔斯要攻的，正是这半扇门，而不是猜想的全称命题。
  1. 怀尔斯的证明：怀尔斯秘密工作七年，证明了半稳定椭圆曲线的谷山–志村猜想。1993 年 6 月 21 日至 23 日他在剑桥牛顿研究所连讲三场，第三场结束时宣布完成；随后卡茨在欧拉系统那一步抓住漏洞。1994 年 9 月他与泰勒放弃未完成的科利瓦金–弗莱切构造，改用变形环与赫克代数的 $R=T$ 比较补上证明。

证明的深度

怀尔斯的证明把几何对象翻译成伽罗瓦表示，再拿模形式来核对。下面这些工具不是点缀，而是证明里真正受力的骨架。

  • 伽罗瓦表示：将椭圆曲线的几何信息编码为代数对象，让「是不是模的」变成表示能否来自模形式。
  • 模形式：一类具有高度对称性的解析函数；弗雷曲线若模，就该对应其中某一个。
  • 科利瓦金–弗莱切方法：本想用欧拉系统控制 Selmer 群、从而控制模提升；1993 年稿的漏洞就出在这一步，卡茨审稿时把它揪了出来。
  • 环论和交换代数：处理变形环与赫克代数；泰勒与怀尔斯 1995 年那篇短文，补的正是这一环。

历史背景

皮埃尔·德·费马（Pierre de Fermat，1607—1665）是法国数学家，被誉为「业余数学家之王」。开篇那条页边批注写在巴歇译《算术》上，约 1637 年；费马此后又工作了近三十年，直到 1665 年 1 月 12 日才去世。费马真正留下、并且经得起核验的，是 $n=4$ 的无穷递降证明；一般 $n$ 的「美妙证明」没有手稿，也没有在他其余书信里复现，今日几乎可以肯定它是缺失或错误的。

此后 358 年间，无数数学家为证明费马大定理而努力，路线却长期停在「一个指数一种技巧」。欧拉 1770 年证明了 $n=3$，但在 Z[−3]\mathbb{Z}[\sqrt{-3}] 的唯一分解上留过缺口，后被补上。狄利克雷和勒让德 1825 年独立完成 $n=5$；拉梅 1839 年处理了 $n=7$。

库默尔在 1850 年代引入理想数，一举覆盖所有正则素数指数，把问题从个案推进到一整类素数。法尔廷斯 1983 年证明莫德尔猜想：对每个 $n>2$，费马曲线至多有有限多组本原解——有限还不是零，但已经说明「无穷多解」这条路走不通。怀尔斯 1995 年才把「零解」真正钉死。

应用

费马大定理本身几乎没有工程公式可套，但它的证明过程把椭圆曲线、模形式和伽罗瓦表示推到了数论的中心。这些工具后来各自找到了自己的用途，不必再经过费马方程。

  1. 椭圆曲线密码学：曲线上的有理点在弦切法则下成群；同一结构换到有限域上，就是公钥运算的舞台。米勒（Victor Miller，1985）和科布利茨（Neal Koblitz，1987）提出椭圆曲线密码时，怀尔斯的证明还没写完——密码学用的是群运算，不是模性定理。证明真正留下的，是处理这些曲线算术的那套语言。
  2. 模形式理论：在数论和数学物理中有广泛应用；权 2 模形式与椭圆曲线的对应，正是怀尔斯证明的入口。没有这张对照表，弗雷曲线的「不该存在」就无法写成一句表示论命题。
  3. 朗兰兹纲领：费马大定理的证明被视为朗兰兹纲领的一个重大胜利，因为它给出「自守形式 ↔ 伽罗瓦表示」的一个完整实例。半稳定这一角被攻下之后，其余椭圆曲线的模性才有了可推广的模板。
  4. 伽罗瓦表示：证明技术在现代数论研究中被广泛使用，模提升定理已成为算术几何的标准工具。卡茨抓住的漏洞提醒我们：表示论里最容易出事的，往往是欧拉系统这种几乎没有观众的一步。

与其他定理的关系

  • 勾股定理：费马大定理是勾股定理在高次幂情形的推广（否定形式）。指数停在 2，整数解无穷多；一离开 2，正整数解一个不剩。
  • 谷山–志村猜想：费马大定理是该猜想半稳定情形的推论。弗雷曲线若存在就必须既模又不模，于是它不能存在。
  • 莫德尔猜想：法尔廷斯证明的莫德尔猜想是费马大定理的弱化形式——有限多个本原解，而不是零个。
  • ABC 猜想：如果 ABC 猜想成立，可以给出费马大定理的一个「简单」证明；这条路依赖另一条更强、至今未完全落地的断言。
  • 欧拉定理：aϕ(n)≡1(modn)a^{\phi(n)} \equiv 1 \pmod{n}——数论中的基本结果，和费马大定理共享「费马–欧拉」这条初等数论谱系，证明路径并不相交。

具体情形

费马大定理对小指数的验证，是一部「每往前一步都要换工具」的历史。一般 $n$ 不能从这些个案拼接出来，正因为递降、分圆域和模性是三种不同的机器。

  • $n = 4$：费马本人用无穷递降法证明，而且写下来的其实是更强的命题 x4+y4=z2x^4+y^4=z^2 无正整数解。假设有解，就可由勾股数的参数公式造出另一组更小的正整数解，无限进行下去——矛盾。这是费马真正完成、并且有文献可核的部分；一般 $n$ 的页边承诺，并不能从这一步推出来。
  • $n = 3$：欧拉（1770）证明，但证明有小缺陷，后被修正。缺口出在他默认了某些二次整数环里也能唯一分解。
  • $n = 5$：狄利克雷和勒让德（1825）独立证明。
  • $n = 7$：拉梅（1839）证明。
  • 正则素数：库默尔（1850s）证明了所有正则素数的情形——覆盖了绝大多数素数，却把非正则素数留给了二十世纪。

对小指数的验证无法推广到一般情形——每个新指数都需要新的技巧。这正是为什么费马大定理如此困难：个案再多，也填不满「所有 $n>2$」这张清单。

证明的影响

费马大定理的证明不仅解决了一个古老问题，更重要的是发展了深刻的数学工具。半稳定模性后来被布鲁伊尔、康拉德、戴蒙德与泰勒推广到所有有理数域上的椭圆曲线（2001），费马方程只是这条定理最早被看见的那一角。

  1. 模形式：怀尔斯的证明将模形式与椭圆曲线联系起来——这是朗兰兹纲领的一个实例。
  2. 伽罗瓦表示：证明技术在现代数论研究中被广泛使用，表示的变形与提升成为常规语言。
  3. 变形理论：怀尔斯发展的变形环理论成为算术几何的标准工具；$R=T$ 比较是后来许多模性定理的模板。
  4. 朗兰兹纲领：费马大定理的证明被视为朗兰兹纲领的重大胜利——它展示了自守形式与代数几何之间的深刻联系。

谷山-志村猜想的精确表述

费马大定理证明的核心是谷山-志村猜想（现为定理）。精确表述如下：设 $E$ 是有理数域 Q\mathbb{Q} 上的椭圆曲线，其魏尔斯特拉斯方程为 y2=x3+ax+by^2 = x^3 + ax + b。对每个素数 $p$，考虑 $E$ 在 Fp\mathbb{F}_p 上的点数 NpN_p。定义 $L$ 函数：

L(E,s)=∏p∤Δ11−app−s+p1−2s⋅∏p∣Δ(修正因子)L(E, s) = \prod_{p \nmid \Delta} \frac{1}{1 - a_p p^{-s} + p^{1-2s}} \cdot \prod_{p \mid \Delta}(\text{修正因子})

其中 ap=p−Npa_p = p - N_p。谷山-志村猜想断言：存在一个权为 2、水平为 $N$（导子）的模形式 $f$，使得其傅里叶系数恰好等于 apa_p。弗雷曲线的导子无平方因子，因此落在半稳定这一类里；怀尔斯证明的正是导子无平方因子的椭圆曲线都模，于是这条曲线不能存在。

怀尔斯证明中使用的深层工具

怀尔斯的证明融合了多个深刻的数学领域。1993 年那一稿把最脆弱的一步放在欧拉系统上；卡茨抓住的漏洞，后来并没有被「修好」成完整的科利瓦金–弗莱切构造，而是被 $R=T$ 这条路绕开。

  • 伽罗瓦表示：对素数 ℓ\ell，椭圆曲线 $E$ 的 ℓ\ell-进伽罗瓦表示 ρE,ℓ:Gal(Qˉ/Q)→GL2(Zℓ)\rho_{E,\ell}: \text{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}) \to \text{GL}_2(\mathbb{Z}_\ell) 编码了 $E$ 的算术信息
  • 变形理论：马祖尔研究了伽罗瓦表示的变形环——参数化所有具有给定性质的伽罗瓦表示
  • 科利瓦金-弗莱切方法：通过计算 Selmer 群的大小来控制提升的存在性；1993 年论证的缺口就在构造这组欧拉系统的一步
  • $R = T$ 定理：怀尔斯证明变形环 $R$ 与赫克代数 $T$ 同构——这是整个证明的核心；泰勒 1995 年合作的短文给出了某些赫克代数的环论性质，把缺口补上

这套技术后来被推广为「模提升定理」，成为算术几何的标准工具。1995 年《数学年刊》第 141 卷同时刊出怀尔斯的长文与泰勒–怀尔斯的短文，前者给出半稳定模性与费马大定理，后者托住 $R=T$ 所需的交换代数。

跨域连接

  • 密码学基础：证明反复使用的椭圆曲线，其上的有理点在一条几何作图规则下构成群；把同一结构换到有限域上，就是椭圆曲线密码的运算舞台。推论：曲线上的点数直接决定密钥强度，点计数算法因此既是数论工具，也是安全参数。
  • 弦理论：模形式是在一族坐标变换下按固定权变换的函数，弦的世界面在同样的变换下彼此等价，配分函数因此被迫具有同样的对称性。推论：这条对称性会筛掉大部分候选谱——它是一致性约束，不是可以拿来拟合的自由度。
  • 证伪：反例若存在，就能由它造出一条性质自相矛盾的曲线，于是「存在解」这个无法穷举的断言，被换成对单个对象的结构限制。推论：把普遍否定命题改写成「若有反例它必须长成什么样」，是让不可检验的断言变得可攻的通用手法。
  • 形式化验证：当证明的长度与所用理论层数超过任何个人的复核能力，可靠性就只能靠机器可检查的形式表述来兜底。推论：漏洞往往出现在最技术、读者最少的一步，而不是最难的一步——这正是形式化收益最高的位置。卡茨抓住的，正是欧拉系统里几乎没有观众的那一页。
  • 代数几何：把丢番图方程看成曲线，整数解就成了曲线上的有理点，问题从「解方程」变成「问这个几何对象有多少有理点」。推论：亏格一旦大于一，有理点必然只有有限个——换个范畴之后，原本无从下手的问题获得了结构性答案。

参考文献

  1. Andrew Wiles, "Modular elliptic curves and Fermat's Last Theorem", Annals of Mathematics 141 (1995), 443–551.
  2. Richard Taylor and Andrew Wiles, "Ring-theoretic properties of certain Hecke algebras", Annals of Mathematics 141 (1995), 553–572.
  3. Kenneth A. Ribet, "On modular representations of Gal(Q‾/Q)\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) arising from modular forms", Inventiones Mathematicae 100 (1990), 431–476.
  4. Gerhard Frey, "Links between stable elliptic curves and certain Diophantine equations", Annales Universitatis Saraviensis 1 (1986), 1–40.
  5. Fernando Q. Gouvêa, "A Marvelous Proof", American Mathematical Monthly 101 (1994), 203–222.
  6. Harold M. Edwards, Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory, Springer, 1977.

延伸阅读

  1. 王元, 《费马大定理——数学的无穷魅力》, 科学出版社.
  2. Simon Singh, Fermat's Enigma, Walker, 1997.

费马大定理断言：当整数 $n>2$ 时，xn+yn=znx^n+y^n=z^n 没有正整数解。费马约 1637 年写在巴歇本丢番图页边，本人只用无穷递降证明了 $n=4$；他死于 1665 年 1 月 12 日，一般 $n$ 的「绝妙证明」没有留下。历经 358 年，怀尔斯证明半稳定椭圆曲线的模性——1993 年 6 月 23 日在剑桥牛顿研究所宣布，卡茨指出科利瓦金–弗莱切欧拉系统的漏洞，1994 年 9 月与泰勒补好，1995 年两篇论文刊于《数学年刊》第 141 卷。这把一个初等数论命题与现代代数几何的深刻工具联系在了一起。