费马大定理

关键词#

费马大定理; 丢番图方程; 椭圆曲线; 模形式; 谷山-志村猜想; 怀尔斯; 伽罗瓦表示

第1页 · 费马的页边笔记#

标题：一个改变数学史的页边笔记

1637年左右，法国数学家皮埃尔·德·费马在阅读丢番图的《算术》时，在页边写下了一个改变数学史的注释。在讨论方程 $x^2 + y^2 = z^2$ 的整数解（勾股数）时，费马写道：

"将一个立方数分解为两个立方数之和，或一个四次数分解为两个四次数之和，或一般地将高于二次的幂分解为两个同次幂之和，这是不可能的。我发现了这个定理的一个真正奇妙的证明，但页边太窄，写不下。"

用现代语言表述：当 $n \geq 3$ 时，方程 $x^n + y^n = z^n$ 没有正整数解。这就是费马大定理（Fermat's Last Theorem）。费马的"真正奇妙的证明"至今未被找到——很可能根本不存在。费马本人只证明了 $n=4$ 的情况（用无穷递降法）。此后358年间，无数数学家试图证明这一定理——它成为数学史上最著名的未解决问题。

页边注并不是临终遗言。它写在巴歇所译丢番图《算术》里讨论平方拆分的那一页；读者今天能核对的文本，来自费马之子萨缪尔在1670年刊行的增订版。传统把写作时间定在1637年左右，是因为费马当时正在密集批注该书，精确到某日则没有手稿日历可证。

费马本人用无穷递降证明了四次情形：若有一组正整数解，就能造出更小的一组，无限下降在正整数里不可能。一般指数的“奇妙证明”从未在他的通信里以可核验的形式出现。把三个半世纪写成注定的史诗，会把一段文献史上的空白，说成一则天才神话。

所谓358年，只是从传统写作年到1995年论文发表年的算术差。它提醒问题活了很久，并不证明费马已经拥有现代证明，也不证明中间每一代人都在做同一件事。丢番图原书讨论的是平方的拆分，费马把问题改写成高次幂；没有1670年那条可核批注，这个跨度就只是巡回演讲里的整数。

费马在通信里处理过许多丢番图问题，并给出可核验的特殊情形。页边那句“写不下”因此更像一次私人批注，而不是一篇准备投稿的证明提纲。以未刊手稿的自我评价当作已经完成的一般证明，文献标准撑不住。

第2页 · 早期进展#

标题：从欧拉到库默尔——358年的接力

费马大定理的证明之路漫长而曲折。欧拉在1770年左右证明了 $n=3$ 的情况。狄利克雷和勒让德在1825年独立证明了 $n=5$ 的情况。拉梅在1839年证明了 $n=7$ 的情况。然而，逐个证明 $n$ 的值显然不是可行的策略——需要一个对所有 $n$ 都有效的统一证明。库默尔（Ernst Kummer）在1840年代取得了重大突破。他引入了理想数的概念，证明了费马大定理对所有"正则素数"成立。不幸的是，并非所有素数都是正则的——库默尔的方法无法处理非正则素数。

20世纪，费马大定理的研究转向了完全不同的方向。数学家们开始研究反例是否存在——如果费马大定理是假的，那么最小的反例会是什么样的？这一研究引出了椭圆曲线和模形式之间的深刻联系。

早期进展的意义，是把一个初等命题逼进代数数论。欧拉、狄利克雷、勒让德、拉梅处理的是单个指数；库默尔引入理想数，是因为在分圆域里唯一分解会失败，普通整数的素因数分解不能直接搬过去。

正则素数上他成功了，非正则素数挡住了同一条路。这说明“对每个指数各证一次”不仅无穷无尽，而且在某些素数处方法会断裂。二十世纪转向椭圆曲线，不是因为初等技巧突然过时，而是因为反例如果存在，会强迫一条曲线带上不该有的性质。

逐个指数的证明还留下一个容易被忽略的逻辑：若对某个指数成立，则对其倍数也往往可以化归。费马自己的四次情形因此能覆盖一部分偶数指数；真正顽固的是奇素数指数。库默尔的分圆方法正是对着这些素数去的，而不是对着口号中的“所有正整数 n”一口气空想。

第3页 · 谷山-志村猜想#

标题：椭圆曲线与模形式的惊人联系

1955年，日本数学家谷山丰（Yutaka Taniyama）和志村五郎（Goro Shimura）提出了一个惊人的猜想：每条有理数域上的椭圆曲线都是模的——即对应于某个模形式。这一猜想在当时看起来完全不可信——椭圆曲线是代数几何的对象，模形式是复分析的对象，两者之间的联系令人难以置信。

1985年，德国数学家格哈德·弗雷（Gerhard Frey）提出了一个关键洞察：如果费马大定理是假的（即存在 $a^n + b^n = c^n$ 的正整数解），那么可以从这个反例构造一条"太奇怪"的椭圆曲线——它不可能是模的。这将否定谷山-志村猜想。

里贝特（Kenneth Ribet）在1986年证明了弗雷的直觉：费马大定理确实是谷山-志村猜想的推论。这一结果将费马大定理的证明转化为证明谷山-志村猜想——一个关于椭圆曲线和模形式之间联系的深刻命题。

谷山在国际会议上提出的，是椭圆曲线与模形式可能成对出现的设想；志村把它写成更明确的算术命题。当时两个对象分属代数几何与复分析，对应关系没有直观图像，所以显得不可信。

弗雷的观察是条件句：若费马方程有正整数解，就能造出一条半稳定椭圆曲线，其性质与“所有这样的曲线都是模的”相冲突。里贝特证明了这个条件句里关键的那一截，于是费马大定理变成模性命题的推论。问题改了形状，而不是被绕开。

谷山–志村这条线后来常被放进朗兰兹纲领的大表里理解：它是一行特殊的对应，不是整份纲领的缩写。把模性猜想说成“为了费马而发明的工具”，会倒果为因；费马反例只是后来被接进这条已经独立提出的对应。

半稳定这个限制很具体：弗雷曲线如果来自费马反例，会落在模性命题里已经较能下手的那一类。怀尔斯没有假装一次证完所有椭圆曲线；他选的是足以关闭费马命题的那一块。后来模性被推到更广的椭圆曲线，属于另一项工作，不应当倒填进1995年的两篇论文。

第4页 · 怀尔斯的证明#

标题：七年的孤独工作——20世纪最伟大的数学成就

安德鲁·怀尔斯（Andrew Wiles）在1986年得知里贝特的结果后，决定独自证明谷山-志村猜想（的半稳定情况，足以推出费马大定理）。他在普林斯顿的书房中秘密工作了七年——没有发表论文，没有参加会议，几乎没有与同事讨论。

1993年6月，怀尔斯在剑桥大学的三次演讲中宣布证明了费马大定理。数学界为之震动。然而，在随后的审查中，发现证明中有一个关键的漏洞。怀尔斯在绝望中几乎放弃——但在他的学生理查德·泰勒（Richard Taylor）的帮助下，他在1994年9月找到了修补漏洞的方法。

1995年，怀尔斯和泰勒的两篇论文发表在《数学年刊》上，费马大定理终于被证明。怀尔斯使用了现代代数几何和数论的最深刻工具——伽罗瓦表示、模形式、椭圆曲线、岩泽理论——这些工具在费马时代完全不存在。

怀尔斯要证的并不是逐个检查指数，而是半稳定椭圆曲线的模性；对费马反例而言这一块已经足够。1993年在剑桥牛顿研究所的报告是宣布，不是发表。审查中露出的缺口，出现在原论证所依赖的一套欧拉系统工具上。

1994年他与泰勒改用另一套环论构造补上缺口，两篇论文于1995年刊登在《数学年刊》。可引用的证明是这两篇，不是报告会上的黑板。把故事说成七年孤独一朝顿悟，会把公开核验这个真正使定理成立的步骤挤出画面。

这些工具——伽罗瓦表示、模形式、椭圆曲线——在费马的页边时代并不存在。因此即令页边曾经有过某种正确的特殊情形论证，它也不可能是1995年这篇证明的缩微版。文献上能钉住的，是1670年的批注、1993年的宣布、1994年的修补和1995年的发表。

牛顿研究所的报告把审稿提前变成了公共事件：缺口出现在已经宣布“完成”之后，修复就必须另写结构，而不是把原稿加长。1994年的修补与1995年的发表，中间隔的是可复核的文本，不是神秘的顿悟时刻。

里贝特的论文后来刊登在1990年的《数学发明》上；1986年指的是结果进入流通的时间。年表应当同时标出“证明被同行知道”和“文本可引用”，否则这两个年份会像互相否定。

第5页 · 费马大定理的遗产#

标题：358年的旅程——比目的地更重要的是沿途的风景

费马大定理的证明不仅是数学史上的里程碑，更是数论和代数几何发展的催化剂。在证明费马大定理的过程中，数学家们发展了理想论、代数数论、模形式理论和伽罗瓦表示论——这些理论的价值远远超出了费马大定理本身。怀尔斯的证明还开启了现代数论的新时代。朗兰兹纲领（Langlands Program）试图将数论、代数几何和表示论统一在一个宏大的框架下——谷山-志村猜想只是朗兰兹纲领的一个特殊情况。怀尔斯的工作为朗兰兹纲领的进展提供了关键工具和深刻启发。

费马大定理的故事也展示了数学的人性面——一个天才在孤独中工作七年，经历了绝望和突破。怀尔斯在证明完成后的采访中说："这是我一生中最重要的时刻。那种感觉无法用语言描述。"

遗产首先是工具链：模形式、伽罗瓦表示、形变理论后来进入许多与费马方程无关的问题。朗兰兹纲领把谷山–志村看成更大对应表上的一行；这一行被部分证实，并不等于纲领结束。

至于是否存在费马可能写得下的初等证明，至今没有被接受的文本。那是另一个问题：真假已经判定，解释的经济性仍开放。一个定理可以在真假意义上封闭，却在“为什么恰好是这些工具”意义上继续生长。

事实卡#

1. 卡1

   费马在1637年左右写下了那个著名的页边笔记——开启了358年的数学征程。

2. 卡2

   谷山-志村猜想（1955）将椭圆曲线与模形式联系起来——这是怀尔斯证明的关键。

3. 卡3

   里贝特在1986年证明了费马大定理是谷山-志村猜想的推论——将问题转化为代数几何问题。

4. 卡4

   怀尔斯在1995年发表了完整的证明——使用了20世纪数论和代数几何的最深刻工具。

引用#

跨域连接#

• 预注册：重大结论先宣布、后核验时，作者已经有强烈动机去维护结论，把检验标准前置能压掉事后合理化的空间。推论：能读懂的人越少，可靠性就越依赖作者自己的诚实——漏洞常出在最技术、读者最少的那一步，而不是最难的那一步。
• 循证医学：两边都发展出分层的证据等级：宣布、预印本、通过评审、被独立重做，是四个不同的可信度。推论：把"有人宣布证明了"当成"已被证明"，与把单个阳性试验当成疗效确证，是同一类错误，也同样会让外界高估结论的稳固程度。
• 机制设计：悬赏只对成功者付费，把研究的风险整体转移给挑战者，也把注意力吸向"看起来快能解"的方向。推论：悬赏擅长激励攻坚，不擅长资助长期的工具建设——而真正带来突破的往往是后者，悬赏还会诱导许多人重复投入同一条路径。
• 知识：一个断言什么时候算"已知"？在数学里标准是存在可被独立复核的推理链，而不是有多少人相信它。推论：三百年间无数"证明"被提出又被驳回，说明核验程序才是知识的生产环节，宣布只是起点；核验能力的分布因此划定了知识的边界。
• 证明：证明不只确立结论，还把它接进已有理论的接线图，用到的工具越多，一处出错波及面越大。推论：价值主要不在"那句话是真的"，而在为它建起的工具——工具能在别处复用，结论不能，评价一项证明时该问它建了什么。

为什么证明成立仍不等于故事结束#

费马大定理的证明把一个初等可述的问题接到椭圆曲线、模形式与伽罗瓦表示上。验证工作因此不仅要逐行查推理，还要核对各层定义是否兼容、引用定理的前提是否全部满足。1993 年版本暴露缺口后，修补并不是把原论证写得更长，而是引入新的论证结构控制关键环节；这说明数学可靠性来自允许失败公开进入核验过程。

证明完成后仍留下两类问题：现有工具为什么恰好足够，以及是否存在更直接、能解释费马原始直觉的证明。前者推动一般理论，后者追问理解的经济性。一个定理可以在真假意义上封闭，却在解释意义上继续开放；这正是证明既是终点也是研究基础设施的原因。

1993年与1995年的差别，提醒我们把数学知识的时间戳打在可引用的论文上。宣布可以错，修补必须公开。三个半世纪的跨度结束于期刊页码，而不是结束于掌声。

参考文献#

1. Wiles, Andrew. "Modular Elliptic Curves and Fermat's Last Theorem." Annals of Mathematics, 1995.
2. Singh, Simon. Fermat's Enigma. Walker & Company, 1997.
3. Ribet, Kenneth. "On Modular Representations of Gal(Q/Q) Arising from Modular Forms." Inventiones Mathematicae, 1990.
4. Shimura, Goro. Introduction to the Arithmetic Theory of Automorphic Functions. Princeton, 1971.
5. 弗·辛格. 《费马大定理》. 上海译文出版社, 1998.
6. 丘成桐, 纳迪斯. 《大宇之形》. 湖南科学技术出版社, 2012.
7. Taylor, Richard, and Andrew Wiles. "Ring-theoretic properties of certain Hecke algebras." Annals of Mathematics, 1995.
8. Diophantus. Arithmeticorum libri sex (Samuel de Fermat edition). Toulouse, 1670.
9. Edwards, Harold M. Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory. Springer, 1977.
10. Cornell, Gary, Joseph H. Silverman, and Glenn Stevens, eds. Modular Forms and Fermat's Last Theorem. Springer, 1997.