跳转到内容
← 返回深度阅读
数论约 9 分钟阅读

费马大定理

数论费马大定理怀尔斯椭圆曲线模形式

关键词

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

第1页 · 费马的页边笔记

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

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

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

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

第2页 · 早期进展

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

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

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

第3页 · 谷山-志村猜想

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

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

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

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

第4页 · 怀尔斯的证明

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

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

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

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

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

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

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

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

事实卡

  • 卡1：费马在1637年左右写下了那个著名的页边笔记——开启了358年的数学征程。
  • 卡2：谷山-志村猜想（1955）将椭圆曲线与模形式联系起来——这是怀尔斯证明的关键。
  • 卡3：里贝特在1986年证明了费马大定理是谷山-志村猜想的推论——将问题转化为代数几何问题。
  • 卡4：怀尔斯在1995年发表了完整的证明——使用了20世纪数论和代数几何的最深刻工具。

引用

"我发现了这个定理的一个真正奇妙的证明，但页边太窄，写不下。" — 皮埃尔·德·费马

"这是我一生中最重要的时刻。那种感觉无法用语言描述。" — 安德鲁·怀尔斯

跨域连接

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

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

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

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

参考文献

  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.