1637 年，费马在书页边留下一行命题和一句「空白太窄写不下」的戏言；此后 358 年，数学界为这行字造出两门学科、验证了数百万个指数，最终靠一座横跨两个世界的桥将它收割——这条征途逼出的数学，远比定理本身值钱。
页边的一句话
1637 年前后，图卢兹法官费马——与笛卡尔同代、解析几何的诞生的另一位主角——在读丢番图《算术》时，于页边写下： 当 时无正整数解，并附上那句名言：「我发现了一个真正绝妙的证明，可惜这里的空白太窄，写不下。」
费马有狂的资本——他几乎独立开创了近代数论，生前断言后来几乎全部被证实。但这次他几乎可以肯定错了：1995 年的最终证明依赖椭圆曲线、模形式、Galois 表示这些 20 世纪的 machinery，页边无论如何写不下。真正的悬念从 1637 年就已埋下：一个一行写完、证明却深不见底的命题，能把数学拖多远？
第一个世纪：递降与越界
费马并非空口。他用无穷递降法（infinite descent）证明了 ：假设存在最小解，便能构造出更小的解，与最小性矛盾。方法朴素有效，却暴露了根本困难——指数必须逐个攻克，证完 对 毫无帮助。一个世纪后，欧拉拿下 ，手段已经越界：分解 时，他闯进三次方程之争与虚数的诞生时代引入的虚数领地，在 里做因子分解——正是欧拉与十八世纪分析式大胆形式计算的作风，步骤有洞，但方向对。但每前进一步，技巧都更专门更笨重，逐指数硬啃显然不是出路。
证明停滞之处，学科诞生
第一个跳出逐指数思路的是热尔曼。她证明了对无穷多个素指数 （ 亦为素数，后称热尔曼素数），方程的第一情形（）成立——一次性覆盖一类指数，把问题从「算」转向结构性论证。这位只能以男性笔名「勒布朗先生」与高斯通信的女性，思路超前了半个世纪。
1847 年，库默尔给出决定性一击。此前所有攻击都默认分圆整数环 像普通整数一样有唯一分解，拉梅正栽在这上面；库默尔承认唯一分解确实失效，转而发明理想数（ideal numbers）恢复可除性秩序，并借此证明定理对全部正则素数（regular primes）成立。这个为救一个定理而生的补丁，经戴德金系统化后成为代数数论——与伽罗瓦与群论的诞生并列为抽象代数的另一半源头。主线问题在此得到第一个答案：追了两百年，追到的不是定理，是学科。
沉寂的世纪：验证不是证明
库默尔之后一百年，问题长眠。理论没有新武器，进展只剩机械推进：20 世纪 80 年代，计算机把验证推到 数百万的量级。但对数学而言这近乎无事发生——缺的恰是「无穷」二字，一亿个指数的验证与零个在逻辑上同样遥远。它和尺规作图三大难题一样，等的不是更快的机器，而是一个尚未被发明的概念。
转机不在数论内部
这个概念果然来自外部，来自一座桥。1950 年代，谷山丰与志村五郎提出猜想：有理域上每条椭圆曲线都是模的（modular）——丢番图方程解的世界与模形式（modular forms）这个高度对称的解析世界之间存在一一对应。两边表面毫无交集。1984 年，弗雷看出致命联系：若费马反例 存在，便可造出椭圆曲线 ，它怪异到不可能对应任何模形式——一个反例将击碎整座桥。1986 年夏，里贝特证明弗雷曲线确实非模，于是谷山-志村猜想 ⇒ 费马大定理：三百五十年的古董，一夜之间变成两个世界之间那座桥的推论。难题的价值在此显形——它把两块大陆焊在一起，谁建桥，谁顺手收割古董。
七年密室与一年补洞
怀尔斯接手。1986 年起，这位普林斯顿教授在阁楼秘密工作七年，只以开课讲授新方法为掩护。1993 年 6 月，他在剑桥连开三场演讲，标题低调地写着「模形式、椭圆曲线与 Galois 表示」，直到最后一块黑板才亮出推论，全球媒体瞬间沸腾。随后是煎熬的一年：审稿人卡茨在欧拉系统一节发现漏洞，怀尔斯修补屡试屡败，年底被迫公开承认证明有缺陷，舆论从狂喜转向讥讽。1994 年 9 月 19 日，在决定放弃原方案的同一刻，他意识到早先搁置的伊瓦萨瓦理论（Iwasawa theory）思路恰好能封住缺口。1995 年 5 月，证明连同与泰勒合作的环论补篇发表于《数学年刊》，358 年的征途终结。
比定理更值钱的战利品
定理本身几乎无应用——没有一个工程因「 无解」而改变设计。但征途的副产品构成了现代数论的地基：谷山-志村猜想升级为模性定理（modularity theorem），成为朗兰兹纲领（Langlands program）最早落地的样板；库默尔开创的代数数论撑起整个算术几何；连椭圆曲线也走进日常——椭圆曲线密码学（ECC）正运行在读者此刻的 HTTPS 连接里。一句页边戏言的价值不在答案，而在数学界为逼近它被迫发明的那些概念。费马或许从未有过那个「绝妙的证明」，但三个半世纪的追逐，替他写完了一个他无法想象的证明。