一个看似简单的方程，却成了数学史上最著名、也最持久的难题之一。1637年，法国律师兼业余数学家皮埃尔·德·费马在《算术》拉丁文译本的页边写下断言：“我发现了一个真正奇妙的证明，但这个页边太窄写不下。”他所指的是方程xn + yn = zn（n > 2）。表面上它并不复杂，却在此后三百多年里被数学家视为难以企及的“圣杯”。 费马的断言提出后，许多数学家投入大量精力，仍未能给出完整证明。三个多世纪里，研究不断逼近结论，但更多是“缩小范围”：当n≤2时，解的情况已清楚；当n取某些固定且较小的值时，可以分别证明；当x、y、z满足特定条件时，也能排除或得到部分结论。然而在一般情形下，证明始终缺失。这个问题像一座没有出口的迷宫，把一代代学者推向更深的抽象理论。 问题的突破口出现在20世纪中叶。1950年代，日本数学家志村五郎与谷山丰在两个看似无关的领域——椭圆曲线与模形式——之间提出了关键联系。他们猜想，每条椭圆曲线都能与某个模形式建立对应关系。这个后来被称为谷山—志村猜想的理论，逐渐成为理解费马大定理的关键支点，为最终突破铺平了道路。 1994年，英国剑桥大学数学家安德鲁·怀尔斯提交了两份关键手稿，题为《模椭圆曲线与费马大定理》和《某些赫克代数的环理论性质》。次年，权威期刊《数学年刊》刊出完整证明。怀尔斯通过证明半稳定椭圆曲线情形下的谷山—志村猜想成立，从而推出费马大定理必然成立。整个证明动用了现代代数几何、数论与环论等多个分支的工具，说明了当代数学的系统性与复杂度。 怀尔斯的论文长达百余页，其抽象程度远超费马时代的数学框架，也由此引出一个长期争论的问题：费马当年所说的“真正奇妙的证明”究竟是什么？是他确有更简洁的思路，还是一时的判断失误？在17世纪的纸页上，显然无法容纳今天这套庞大的理论体系。费马留下的那句注记，至今仍是数学史上最引人遐想的谜团之一，也正是这种悬而未决的张力，持续吸引着后人投入探索。 费马大定理的证明意义不止在于解答一个具体方程，更在于它展示了现代数学的工作方式：把孤立问题放入更深的结构中，通过建立跨领域的联系来抓住核心。这种思路为其他数学难题提供了重要范式，也说明许多看似不可跨越的障碍，最终往往是在长期积累与理论融合中被突破。
从页边一句断言，到跨越四个世纪的集体攻关，费马大定理的故事显示出基础科学发展的逻辑：难题的价值不只在于得到答案，更在于它迫使人们不断提出新概念、建立新体系，并形成可检验的严密知识链条。当一个问题被证明的那一刻，留下的往往不是“终结”，而是通向更广阔未知的道路。