Fermat's Last Theorem: Significance and Proof | 费马大定理的意义与证明

📚 Fermat’s Last Theorem: Significance and Proof | 费马大定理的意义与证明

In 1637, Pierre de Fermat scribbled a note in the margin of his copy of “Arithmetica”: he had discovered a truly marvellous proof that no three positive integers a, b, c satisfy aⁿ + bⁿ = cⁿ for any integer n greater than 2, but the margin was too small to contain it. This note triggered one of the most famous quests in mathematics, a puzzle that remained unsolved for over 350 years.

1637年，皮埃尔·德·费马在他的《算术》一书页边写下了一段话：他发现了一个绝妙的证明，证明对于任何大于2的整数 n，不存在三个正整数 a、b、c 满足 aⁿ + bⁿ = cⁿ，但页边空白太小写不下。这段话开启了数学史上最著名的探索之一，一个三百五十多年来悬而未决的谜题。

1. The Problem Statement | 问题陈述

Fermat’s Last Theorem states that the equation xⁿ + yⁿ = zⁿ has no positive integer solutions for x, y, and z when n is an integer greater than 2. For n = 1, the equation is trivial; for n = 2, it has infinitely many solutions, the Pythagorean triples such as 3² + 4² = 5².

费马大定理宣称：方程 xⁿ + yⁿ = zⁿ 在 n 为大于2的整数时，不存在正整数解 x、y、z。当 n = 1 时方程平凡；当 n = 2 时，它有无穷多组解，即勾股数，例如 3² + 4² = 5²。

The theorem is deceptively simple to state, yet its proof requires the full machinery of modern algebraic number theory, arithmetic geometry, and modular forms.

这个定理的表述极其简单，但证明它却需要现代代数数论、算术几何与模形式理论的全部工具。

2. Historical Background | 历史背景

Fermat was not a professional mathematician; he was a lawyer and a magistrate in Toulouse, France. His work on number theory was largely communicated through letters and marginal notes. Unlike his other results, Fermat’s claim about the equation xⁿ + yⁿ = zⁿ was never accompanied by a written proof among his surviving papers.

费马并非职业数学家，他是法国图卢兹的律师和法官。他在数论方面的工作主要通过书信和页边笔记流传。与他的其他成果不同，关于方程 xⁿ + yⁿ = zⁿ 的断言在他存世手稿中从未附有可查阅的证明。

Over the centuries, mathematicians proved the theorem for specific values of n. In the 18th century, Euler proved the case n = 3. In the 19th century, Sophie Germain contributed a general approach, and Dirichlet and Legendre covered n = 5. Kummer developed ideal theory and proved many cases, but a full solution remained out of reach.

在几个世纪里，数学家们证明了该定理对某些特定 n 值成立。18世纪，欧拉证明了 n = 3 的情形。19世纪，索菲·热尔曼提出了一种一般方法，狄利克雷和勒让德解决了 n = 5 的情况。库默尔发展出理想理论，并证明了许多情形，但完整的解答仍然遥不可及。

3. Fermat’s Claim | 费马的断言

Did Fermat really have a proof? Historians and mathematicians largely believe that Fermat’s “marvellous proof” was either flawed, or based on ideas that later became invalid. The theorem is so deeply connected to modern mathematics that it is unlikely to be provable by 17th-century techniques.

费马真的拥有证明吗？历史学家和数学家大多认为，费马的“绝妙证明”要么有缺陷，要么建立在后来被证明不成立的思路上。这个定理与现代数学的联系如此深刻，以至于不太可能用17世纪的技巧证明。

Nevertheless, Fermat’s inability to include a proof turned the statement into a challenge. His reputation was such that subsequent generations treated the problem as a real test of mathematical power.

然而，费马未能写出证明，这个断言变成了一项挑战。他的声誉如此之高，以至于后代数学家将这个问题视为对数学能力的真正考验。

4. Mathematical Significance | 数学意义

Fermat’s Last Theorem is more than a curiosity about integers. It embodies a deep link between two seemingly separate worlds: elliptic curves and modular forms. The statement itself is elementary, but its proof opened a research program that transformed number theory.

费马大定理不仅仅是一个关于整数的有趣问题。它体现了两个看似无关的领域——椭圆曲线与模形式——之间的深层联系。其陈述本身是初等的，但它的证明开启了一个彻底改变数论的研究纲领。

It motivated the development of algebraic number theory, especially the theory of ideals.

它推动了代数数论的发展，特别是理想理论。
It inspired new results in arithmetic geometry, linking rational points on curves to modular forms.

它在算术几何中引发新成果，将曲线上的有理点与模形式联系起来。
It demonstrated the power of cross-disciplinary mathematics, where methods from one area solve problems in another.

它展示了跨学科数学的力量，用一个领域的方法解决另一个领域的问题。

5. The Long Road: From Kummer to Wiles | 漫漫长路：从库默尔到怀尔斯

In 1847, Gabriel Lamé announced a proof of Fermat’s Last Theorem based on factorizing xⁿ + yⁿ into factors involving n-th roots of unity. Ernst Kummer pointed out a fundamental flaw: unique factorization fails in many cyclotomic fields. To repair this, Kummer invented the theory of ideals and proved the theorem for all “regular primes”.

1847年，加布里埃尔·拉梅宣布基于 n 次单位根将 xⁿ + yⁿ 分解因式的证明。恩斯特·库默尔指出了其中的根本缺陷：在许多分圆域中，唯一分解不成立。为了修补这一缺陷，库默尔发明了理想理论，并证明了所有“正则素数”的情形。

During the 20th century, computers verified the theorem for all n up to very large bounds. But a proof for all n remained elusive until 1993, when Andrew Wiles announced a proof at a conference in Cambridge. His first proof had a gap; he and Richard Taylor closed it within a year, and the final version appeared in 1995.

在20世纪，计算机验证了该定理对于 n 直到极大数值都成立。但完整证明一直 elusive，直到1993年安德鲁·怀尔斯在剑桥的一次会议上宣布证明。他的最初证明有漏洞；他和理查德·泰勒在一年内补上了这个漏洞，最终版本于1995年发表。

6. The Taniyama-Shimura Conjecture | 谷山-志村猜想

The key insight linking Fermat’s Last Theorem to modern mathematics was discovered by Yutaka Taniyama and Goro Shimura in the 1950s. They conjectured that every elliptic curve over the rational numbers is modular, meaning it can be parametrised by a modular form.

将费马大定理与现代数学联系起来的关键洞见，是谷山丰和志村五郎在20世纪50年代发现的。他们猜想：有理数域上的每一条椭圆曲线都是模的，即它能被一个模形式参数化。

In the 1980s, Gerhard Frey suggested that a hypothetical solution to Fermat’s equation could be used to construct an elliptic curve that would not be modular. This curve is now called the Frey curve:

在20世纪80年代，格哈德·弗雷提出：如果费马方程存在解，就可以用它构造一条非模的椭圆曲线。这条曲线现在称为弗雷曲线：

y² = x(x − aⁿ)(x + bⁿ)

If aⁿ + bⁿ = cⁿ, then this curve has very unusual properties. Jean-Pierre Serre and Kenneth Ribet proved that the Frey curve, if it existed, would indeed violate the Taniyama-Shimura conjecture.

如果 aⁿ + bⁿ = cⁿ，那么这条曲线具有非常不寻常的性质。让-皮埃尔·塞尔和肯尼斯·里贝特证明了：如果弗雷曲线存在，那么它确实会违反谷山-志村猜想。

7. Wiles’s Proof Strategy | 怀尔斯的证明策略

Andrew Wiles’s strategy was to prove the Taniyama-Shimura conjecture for a large class of elliptic curves, including the hypothetical Frey curve. If the Frey curve does not exist, then no solution to Fermat’s equation can exist.

安德鲁·怀尔斯的策略是证明谷山-志村猜想对一大类椭圆曲线成立，包括假设中存在的弗雷曲线。如果弗雷曲线不存在，那么费马方程的解也就不存在。

Wiles’s proof uses deep results from the theory of deformations of Galois representations. He showed that any semistable elliptic curve over the rationals is modular by comparing two number-theoretic objects:

怀尔斯的证明使用了伽罗瓦表示形变理论的深层结果。他通过比较两个数论对象，证明了有理数域上的任何半稳定椭圆曲线都是模的：

The ring of “Hecke operators” acting on modular forms.

作用在模形式上的“赫克算子”环。
The deformation ring of the attached Galois representation.

相关的伽罗瓦表示的形变环。

Wiles proved that these two rings are isomorphic in a certain universal sense. This result, called the “modular lifting theorem”, is the heart of the proof.

怀尔斯证明了这两个环在某种普遍意义下是同构的。这一结果称为“模提升定理”，是证明的核心。

8. Key Steps of the Proof | 证明的关键步骤

The proof of Fermat’s Last Theorem can be summarised in several major steps, each of which is itself a monumental piece of mathematics:

费马大定理的证明可以概括为几个主要步骤，每一步本身都是巨大的数学成就：

Step 1	Assume a counterexample aⁿ + bⁿ = cⁿ exists.	假设存在反例 aⁿ + bⁿ = cⁿ。
Step 2	Construct the Frey curve E: y² = x(x − aⁿ)(x + bⁿ).	构造弗雷曲线 E: y² = x(x − aⁿ)(x + bⁿ)。
Step 3	Show that E is semistable and its Galois representation has rare properties.	证明 E 是半稳定的，且其伽罗瓦表示具有罕见属性。
Step 4	Use Ribet’s theorem to show that E would not be modular.	利用里贝特定理证明 E 不是模的。
Step 5	Prove that every semistable elliptic curve is modular (Wiles-Taylor).	证明每条半稳定椭圆曲线都是模的（怀尔斯-泰勒）。

This contradiction shows that the assumed solution cannot exist, so Fermat’s Last Theorem is true.

这个矛盾表明假设的解不可能存在，因此费马大定理为真。

9. Impact on Mathematics | 对数学的影响

Wiles’s proof was not an isolated achievement. It solved a centuries-old problem, but more importantly, it established the modularity theorem as a central pillar of modern arithmetic geometry. The full Taniyama-Shimura conjecture was later proved by Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor in 2001.

怀尔斯的证明并非孤立的成就。它解决了一个古老问题，但更重要的是，它将模性定理确立为现代算术几何的核心支柱。完整的谷山-志村猜想后来由克里斯托夫·布勒伊尔、布赖恩·康拉德、弗雷德·戴蒙德和理查德·泰勒在2001年证明。

The techniques introduced by Wiles have influenced many areas, including the proof of Fermat’s Last Theorem itself and the Langlands program, a grand web of conjectures relating number theory and representation theory.

怀尔斯引入的技术影响了许多领域，包括费马大定理本身的证明，以及朗兰兹纲领——一个联系数论与表示理论的宏大猜想网络。

10. Conclusion | 结论

Fermat’s Last Theorem is a testament to the unity of mathematics. A problem that began as a marginal note evolved into a superhighway connecting elliptic curves, modular forms, and Galois representations. Its proof by Andrew Wiles, completed in 1995, is one of the crowning intellectual achievements of the 20th century.

费马大定理见证了数学的统一性。一个始于页边笔记的问题，演变成连接椭圆曲线、模形式和伽罗瓦表示的康庄大道。安德鲁·怀尔斯于1995年完成的证明，是20世纪最伟大的智力成就之一。

For students and mathematicians alike, the theorem demonstrates that even the simplest questions can lead to the deepest and most elegant mathematics.

对学生和数学家来说，这个定理展示了即使是看似最简单的问题，也能通向最深刻、最优雅的数学。

Published by TutorHao | Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）

Fermat’s Last Theorem: Significance and Proof | 费马大定理的意义与证明