费马大定理

定义

费马大定理陈述的是:对于大于 2 的整数 $n$,方程 $x^n+y^n=z^n$ 没有正整数解。该命题的另一常见译名为「费马最后定理」,早期文献多称「费马猜想」^[1][2]。

它与丢番图方程关系密切。当 $n=2$ 时,方程即勾股方程 $x^2+y^2=z^2$,存在无穷多组整数解;当 $n$ 大于或等于 3 时,除平凡解以外不存在整数解^[1]。因此该定理可以理解为勾股数现象在更高次幂上不再成立。

命题的证明只需考虑 $n=4$ 与奇素数两种情形。若某个指数 $n$ 下存在解,则 $n$ 的任何倍数下也会导出解,故只要证明 $n=4$ 和所有奇素数 $p$ 的情形即可^[3]。这一化简思路构成了后世研究的基本框架。

原理

费马本人的出发点是一本书页边的批注。1637 年前后,他在古希腊数学家丢番图《算术》拉丁文译本的页边写下断言:不可能把一个立方数拆成两个立方数之和,也不可能把一个四次幂拆成两个四次幂之和,一般地不能把高于二次的幂拆成两个同次幂之和;并称自己发现了一个真正奇妙的证明,只是页边太窄写不下^[1][4]。

对 $n=4$,费马用无穷递降法给出了完整证明,其思路来自他关于整数边直角三角形面积不是完全平方数的结果^[5]。对一般奇素数 $p$,可在分圆整数环中把 $z^p$ 分解为若干因子的乘积,再讨论该环中的唯一分解性质^[3]。

现代证明走的是另一条路径。怀尔斯通过椭圆曲线与模形式的对应关系,证明了半稳定椭圆曲线的谷山－志村猜想,而此前已有人证明该猜想蕴含费马大定理^[6][4]。换言之,一个关于整数幂和的初等命题,最终由表示论与代数几何的工具完成。

发展历程

1770 年前后,莱昂哈德·欧拉给出了 $n=3$ 的证明。他的论证存在一些缺陷,但由于补足了所需引理,学界通常仍视其为该情形的首个证明^[1][5]。

1825 年前后,法国数学家勒让德与德国数学家狄利克雷分别独立证明了 $n=5$ 的情形;此后数学家又陆续处理了 $n=7$ 等个别指数^[1]。19 世纪 40 年代,库默尔引入理想数概念,借以处理分圆整数环中唯一分解失效的问题,并由此证明了一大批素指数下的情形,其工作还催生了代数数论这一分支^[3][4]。

20 世纪后期,借助计算机,数学家把已验证的指数范围逐步扩大到 25000 乃至 400 万以内,但有限验证无法覆盖全部整数^[6]。1983 年,法尔廷斯证明了 $n$ 大于 2 时该方程只有有限多个有理解,这是向一般结论迈出的一步^[5]。

1986 年,怀尔斯得知肯·里贝特已证明谷山－志村猜想蕴含费马大定理,遂转向证明该猜想。1993 年 6 月,他在剑桥大学牛顿研究所的系列报告结束时宣布完成证明^[6]。随后审稿中发现一处难以修补的缺陷,他与 former 学生理查德·泰勒合作,于 1994 年 9 月补全论证,论文于 1995 年发表^[6][7]。

德国人保罗·沃尔夫斯凯尔曾立遗嘱设立奖金,授予首个证明该定理的人。1997 年,怀尔斯获得这项悬置多年的奖金^[5][8]。他还因这一工作获得菲尔茨奖特别奖等奖项^[6]。

应用

费马大定理本身是一个纯数学命题,并不直接用于工程技术。它的价值主要体现在对数论与代数几何的推动上:对它的研究促使数学家扩充整数概念、提出理想数,并发展出代数数论等分支^[4]。

怀尔斯的证明还确立了椭圆曲线与模形式之间的深刻联系,这套工具后来在数论与算术几何的多个问题中被继续使用^[4]。该定理也有若干著名推广,如比尔猜想和费马－卡塔兰猜想,成为后续研究的对象^[9]。

局限

怀尔斯的证明篇幅长达一百多页,使用了大量现代数学工具,能够完全读懂的人极少^[8][2]。因此学界对费马所称的「奇妙证明」是否存在仍有不同看法:一部分人认为存在更简单的证法尚未被发现,另一部分人认为费马当年并无正确证明^[8]。

该证明也没有给出解的结构性信息,因为定理的内容恰恰是不存在解;它不能用于求解或构造其他丢番图方程的解。此外,有限范围内的计算验证无论扩展到多大,都不能替代对全部整数的一般证明^[6]。

定理中的条件不可随意放宽:指数必须大于 2,$n=2$ 时解有无穷多组;若允许有理数或实数解,结论同样不成立。它陈述的是正整数解的不存在性,这一限定是理解该命题的前提^[1]。

参见

• 丢番图方程 —— 只讨论整数解的多项式方程,费马方程即其中一类。

• 椭圆曲线 —— 怀尔斯证明所依赖的核心对象。

• 模形式 —— 与椭圆曲线相对应、构成证明关键的数学对象。

• 代数数论 —— 在攻克该猜想过程中发展起来的数学分支。

• 哥德巴赫猜想 —— 同样长期未决、广为人知的数论问题。

• 比尔猜想 —— 费马大定理的一个著名推广。