你一定听过困扰人类 358 年的费马大定理,也一定听过那个躲在阁楼里闭关 7 年、最终完成世纪证明的安德鲁·怀尔斯。
但你大概率不知道,怀尔斯能冲过这场数学史上最传奇的终点线,有一个男人,起到了决定性的奠基作用。
没有他,怀尔斯连入场证明的资格都没有。
他就是格尔德·法尔廷斯(Gerd Faltings),20 世纪算术几何界的“沉默灭霸”,菲尔兹奖得主,费马大定理真正的隐形奠基人。
300 年的死局:连大海里有多少根针都不知道
先把时间拉回 1983 年之前,费马大定理的研究,正陷在一个持续了 300 年的死局里。
1637 年,费马在《算术》的空白处写下那句数学史上最著名的批注:“当 时, 没有正整数解。我有一个绝妙的证明,可惜这里空白太小,写不下。”
此后三个多世纪,无数顶尖数学家前赴后继:欧拉证明了 的情况,费马自己证了 ,狄利克雷拿下 ,库默尔用理想数理论一口气解决了 100 以内的所有素数情况。
但直到 20 世纪 80 年代,人类也只证明了 时费马大定理成立。
核心死局从未被打破:素数是无限的,逐个击破永远没有尽头。更绝望的是,没人能回答一个最根本的问题:费马方程的反例,到底是无限个,还是有限个?
如果是无限个,费马大定理直接就是错的;如果是有限个,人类才有机会去证明“0 个解”。
这个问题,300 年里无人能解。
29 岁的封神:一锤锁死无限可能
1983 年,一篇只有几十页的论文横空出世,直接炸穿了整个数学界。
年仅 29 岁的德国数学家法尔廷斯,用当时绝大多数数学家都看不懂的代数几何重型武器,硬生生证明了悬置 61 年的莫德尔猜想。
先给这个猜想做个小学生都能懂的翻译:
数域上,亏格 的代数曲线,只有有限个有理点。
你可以把“亏格”理解成曲线的“复杂程度”,本质是曲线的“洞的数量”:圆的亏格是 0,椭圆曲线的亏格是 1,而费马方程 ,当 时,对应的曲线亏格至少是 3,完美符合“亏格 ”的条件。
“有理点”,就是方程的有理解,整数解本质是有理解的子集。
这意味着什么?
如果莫德尔猜想成立,那么对任意 ,费马方程的正整数解,最多只有有限个。
这是费马大定理提出 358 年来,人类第一次把“无限反例”的可能性彻底锁死。
之前的数学家,是在无边无际的大海里捞针,连针有多少根都不知道;而法尔廷斯,直接把整片大海抽干了,明明白白告诉全世界:针最多只有有限根,就在这片干涸的海床上,你不用再担心有无穷无尽的反例了。
这个结果,直接让法尔廷斯在 1986 年,32 岁就毫无悬念地拿下了菲尔兹奖,成为二战后德国数学界重回世界之巅的标志性人物。
但很少有人意识到,这只是他为费马大定理铺下的第一块,也是最核心的一块路基。
没有他,就没有怀尔斯的 7 年闭关
很多人对费马大定理的证明,只停留在“怀尔斯证明了谷山-志村猜想”,却不知道,从谷山-志村猜想到费马大定理的闭环,从证明工具到理论框架,从头到尾都离不开法尔廷斯的工作。
我们先理清楚怀尔斯的证明逻辑,你就会明白法尔廷斯的分量有多重:
- 1985 年,数学家弗雷提出:如果费马大定理有反例,就能构造出一条“怪异的椭圆曲线”(弗雷曲线),这条曲线绝对不可能是模曲线;
- 而谷山-志村猜想的核心是:所有椭圆曲线都是模曲线;
- 由此可得:只要证明谷山-志村猜想成立,弗雷曲线就不存在,费马大定理的反例也就不存在,费马大定理自然成立。
这个逻辑链里,有一个致命的缺口:弗雷的说法只是一个猜想,没人能证明它的严谨性。如果这个缺口补不上,谷山-志村猜想和费马大定理,永远是两条不相交的平行线。
1986 年,数学家里贝特完成了这个证明,也就是著名的“里贝特定理”,彻底把两个猜想绑定在了一起。
而里贝特后来在采访中直言:“如果没有法尔廷斯之前的工作,我根本不可能完成这个证明,甚至连证明的思路都不会有。”
里贝特的证明,核心依赖的正是法尔廷斯此前证明的沙法列维奇猜想,以及他搭建的阿贝尔簇算术理论框架。
而里贝特定理的诞生,正是怀尔斯下定决心,辞掉所有非必要工作,躲进阁楼闭关 7 年,专攻谷山-志村猜想的起点。
换句话说:没有法尔廷斯,就没有里贝特定理;没有里贝特定理,怀尔斯根本不会踏上这场 7 年的征途。
这还不是全部。
怀尔斯证明谷山-志村猜想,用到的核心工具:伽罗瓦表示变形理论、模形式上同调、椭圆曲线的算术几何体系,在法尔廷斯之前,全是零散、不成体系的数学“禁区”。
法尔廷斯在 80 年代,不仅一口气证明了莫德尔、沙法列维奇、泰特三大世纪猜想,更把代数几何和数论彻底融合,搭建了算术几何这门全新学科的完整框架,给整个数论界提供了一套统一、强大的“核武器”。
打个最直白的比方:
之前的数学家证数论难题,用的是锤子、螺丝刀,最多是个电钻;
法尔廷斯直接造了一台高精度数控机床,还写好了全套操作手册;
而怀尔斯,就是用这台机床,加工出了费马大定理的最终证明。
更鲜为人知的是,1993 年怀尔斯第一次宣布证明后,遭遇了那场几乎让他功亏一篑的致命漏洞:他用来构造欧拉系统的方法,存在一个无法弥补的逻辑缺陷。
整整 8 个月,怀尔斯陷入了彻底的绝望,甚至已经准备好发布声明,承认证明失败。
最终帮他走出绝境的,依然是法尔廷斯的工作。怀尔斯和学生泰勒放弃了有漏洞的欧拉系统,改用基于岩泽理论的新方法,而岩泽理论的现代通用框架,正是法尔廷斯此前完善和推广的。甚至在这个过程中,法尔廷斯本人也给怀尔斯提出了关键的逻辑修正意见。
1994 年 9 月,怀尔斯终于补全了所有漏洞,完成了这场世纪证明。他在论文的致谢中,专门写下了这句话:“感谢法尔廷斯教授的工作,为整个证明提供了不可或缺的基础。”
沉默的巨人:他改写了数学,却从不争抢光芒
为什么全世界都记住了怀尔斯,却很少有人知道法尔廷斯?
因为他是数学界最典型的“沉默刺客”。
他性格极度低调,几乎不接受媒体采访,不参加商业活动,连大型学术会议都很少出席,一辈子只做一件事:闷头在普林斯顿高等研究院,啃最硬的数学难题。
他的论文以“极简暴力流”著称,没有多余的铺垫,没有半句废话,直接上最重型的理论武器,硬刚核心矛盾。很多数学家调侃:“读法尔廷斯的论文,就像看一个人用核弹拆墙,你看不懂核弹的构造,但你眼睁睁看着墙塌了。”
怀尔斯是那个用 7 年时间,专注于一个世纪难题,最终冲过终点线的传奇冠军;而法尔廷斯,是那个修好了整条赛道、造好了赛车、甚至给冠军准备好了全套护具的拓荒者。
没有冠军,赛道的价值不会被全世界看见;但没有赛道,冠军连起跑的机会都没有。
费马大定理,只是法尔廷斯的工作结出的最耀眼的一颗果实而已。他真正的贡献,是彻底重塑了现代数论的研究范式:在他之前,数论研究很多还是零散的、初等的“单兵作战”;在他之后,算术几何成为了数论的绝对主流,所有深刻的数论问题,都必须在他搭建的框架里寻找答案。
358 年的费马大定理传奇,怀尔斯是写下终章的人,而法尔廷斯,是那个翻开了全新篇章的人。
当我们惊叹于怀尔斯的孤勇与传奇时,也不该忘记,在 20 世纪的数学史上,有一个 29 岁的德国天才,用一篇论文,终结了一个百年猜想,开启了一个全新的时代。