费马大定理是如何被证明的(科普)

《费马大定理是如何被证明的(科普)》由会员分享，可在线阅读，更多相关《费马大定理是如何被证明的(科普)（6页珍藏版）》请在金锄头文库上搜索。

1、上世纪后半页，理论数学家们陷入了十分尴尬的境地，一方面他们已经很久没做出突破性 工作，一方面借助计算机的机器证明开始兴起，著名的四色猜想就是机器证明的。数学家 们不喜欢使用蛮力的穷举法机器证明，也诟病机器证明的程序没法完全保证没有 bug，以 及没法验证，但心里也是颇为酸楚的。这个时候救星出现了，他叫安德鲁怀尔斯，是普林 斯顿大学的教授，美籍英裔，剑桥大学出身，椭圆曲线顶级专家。他躲在阁楼成一统，7 年孤独磨一剑，又经过一年的审稿炼狱，最终证明了费马大定理！那么何为费马大定理呢？总所周知，x+y=z 有无穷多组整数解，称为一个三元组；x2+y2=z2 也有无穷多组整数 解，这个结论在毕达哥拉斯

2、时代就被他的学生证明，称为毕达哥拉斯三元组，我们中国人 称他们为勾股数。但 x3+y3=z3 却始终没找到整数解，最接近的是：63+83=9-1，还 是差了 1。于是迄今为止最伟大的业余数学家费马提出了猜想：总的来说，不可能将一个 高于 2 次的幂写成两个同样次幂的和。也就是：xn+yn=zn，当 n 大于 2 时没有整数解。这是一个描述起来非常简单的猜想，但 358 年来困扰了包括欧拉和柯西在内的一代代大数 学家，他们得到了一些进展，比如当 n 等于 3 和 4 时猜想成立，但 x、y、z 和 n 的取值范 围是无限的，要证明整个猜想谈何容易！更气人的是费马在一本书的页边处写下这个猜想 后还

3、加了一个评注：我有一个对这个命题的十分美妙的证明，这里空白太小，写不下。这 不是一种赤裸裸的挑战嘛。1984 年事情有了转机，一个叫弗莱的德国数学家提出，如果费马猜想不成立，那个就可 以找到三个整数使方程成立，表示为：AN+BN=CN，接着他通过复杂的变换，这个等式转换成了一个椭圆方程：y2=x3+(AN-BN)*x2-AN*BN而这个椭圆曲线太过古怪，他断定由于这个由假设费马猜想不成立引出的椭圆方程是如此 古怪，所以它不可能模形式化。后来一个叫里贝特的数学家严格证明了这个椭圆方程确实 不能模形式化。现在必须要说明啥叫椭圆方程的模形式化了，而说明这个问题以前还得介绍啥叫椭圆方程 和模形式。椭圆

4、方程是形如 y2=x3+a*x2+b*x+c 方程（a，b，c 是任何整数） ，对这种方程的一个 重要研究领域就是研究每一类椭圆方程的整数解个数，但当 x 和 y 的取值是无限时研究起 来就很困难。于是科学家就发明了在时钟算术中研究每类椭圆方程的整数解。何为时钟算 术呢，就是把正常数轴延伸到正负无穷的两端接起来，这个圈有几格就算几格时钟算术， 比如我们的手表就是在实践 12 格时钟算术。它有如下性质：31123405611等等。这样求椭圆方程的整数解就方便了。如果一个椭圆方程在 1 格时钟算术中有 1 个解， 2 格时钟算术中有 4 个解，3 格时钟算术中有 4 个解，4 格时钟算术中有 8

5、个解，5 格时钟 算术中有 4 个解，6 格时钟算术中有 16 个解等等，我们就可以记录为：E11E24E34E48E54E616.这成为这个椭圆方程的 E序列。每个椭圆方程的 E序列就像它的 DNA 一样浓缩这它 的特征信息。模形式是在由两根实轴和两根虚周组成的四维复空间里的超对称结构，而每一个模形式都 可以拆成各种基本要素的组合组成的，比如一个模形式是由 1 个 1 号要素，3 个 2 号要素， 2 个 3 号要素组成，那么这个模形式的 M序列就可以写成：M序列：M11M23M32.正如 E序列包含了椭圆方程的特征信息一样，模形式的 M序列也包含了各个模形式的 特征信息，是模形式的 DNA

6、。1955 年在东京举行的一个学术会议上日本青年数学家谷山丰和志村五郎提出了一个猜想： 一个椭圆方程的 E序列一定和一个模形式的 M序列完全对应。这就叫椭圆方程的模形 式化。这是一个惊天的猜想，在它被证明以前就得到了广泛应用，几百篇论文是这样开头 的：如果谷山志村猜想成立。现在的问题清楚了，如果谷山志村猜想成立，那个每一个椭圆方程都可以模形式化，而 由假设费马猜想不成立引出的椭圆方程却被证明不可以模形式化，这样就引出了矛盾。于 是谷山志村猜想成立和费马猜想不成立这两个假设不可能同时成立。所以只要证明了谷 山志村猜想，那费马猜想不成立的假设就被推翻，于是费马猜想也被证明了。于是真正的英雄出场了。

7、安德鲁怀尔斯在知道假设费马猜想不成立引出的椭圆方程被证明 不能模形式化后受到震撼，也备受鼓舞，于是重拾童年时的梦想于 1986 年开始了 7 年的秘 密研究，目标就是证明谷山志村猜想，也即等价证明费马猜想。他先用一年时间思考用 什么方法来证明，最后选定数学归纳法。他用群论的方法顺利证明每个椭圆方程的 E序 列第一项都和某个模形式 M序列的第一项相等，第二步是个假设每个椭圆方程的 E序 列第 n 项都和某个模形式 M序列的第 n 项相等，第三步是艰辛的，要证明如果第二步假 设成立就每个椭圆方程的 E序列第 n1 项都和某个模形式 M序列的第 n1 项相等。 开始他采用了经过自己加强的伊娃沙娃理论

8、来证明第三步，但到了第 5 年他感到伊娃沙娃 理论没法得到他想要的结论。怀尔斯暂时结束半隐居状态，回到学术圈，想看看别的数学 家有没有新的可利用的理论，他确实在老师的无意谈论中找到了科利瓦金弗莱切方法， 这个方法正对怀尔斯的需要，他在强化这个方法后取得了突破进展，到 1993 年 1 月他第一 次向一个他认为可靠的同事透露他的研究，并请他审阅自己的手稿。他们采用了一种狡黠 的方式开展这项工作，由怀尔斯开了一门研究生课程“椭圆曲线的计算”，专门讲他的手稿。 这个叫凯兹的同事也坐在研究生们中间，很快枯燥艰深的演算把不明就里的研究生们都吓 跑了，凯兹成了唯一的听众，正好开展审阅手稿工作。1993 年

9、 5 月末，怀尔斯借助一个 19 世纪的数学构造完成了最后一簇椭圆方程的证明。93 年 6 月 23 日怀尔斯在剑桥举行的学 术会议上公布了证明。会后 200 多页的证明手稿被分成 6 部分由 6 名审稿人审稿。审稿采 用审稿人在世界各地审稿，针对存在的问题用电子邮件向怀尔斯提问，开始进展顺利，审 稿人的问题被怀尔斯半天到 3 天就给以解答。但 9 月份还是那个凯兹同事提的一个问题彻底难住了怀尔斯，这个问题是“在半稳定情况下，塞尔默群的精确上界的计算还不完全”。 在将近一年的弥补这个漏洞的挣扎中，数学界很焦急，也很骚动，大家要求怀尔斯公开手 稿，大家来帮他，可怀尔斯拒绝了，最后有些数学家开始恶

10、搞怀尔斯了，编他的愚人节笑 话。第二年 9 月 19 日的清晨，怀尔斯又坐在书桌前检查科利瓦金弗莱切方法，这次他不 是相信这个方法还能完成证明，而只是想看看它为啥行不通。突然灵光闪现，他突然发现 科利瓦金弗莱切方法本身行不通但却可以使他抛弃的伊娃沙娃方法生效！有些事情就是 这样的，长期的努力本来就接近突破，但过份的执着和焦虑阻碍你的心智，所以没法实现 飞跃，但当你认为没办法了准备放弃，放松心态冷静下来时反而灵感突发取得突破。当年 阿难尊者被邀请在第一次佛经结集时口颂佛经，可他当时还没有证阿罗汉果，没有资格参 加结集，所以他抓紧时间努力修行，争取马上证果，可越是紧越没法达成心愿。到了结集 这一天

11、，尊者一看天都亮了，自己还没证阿罗汉果，就想没指望了，于是连日修行的疲惫 身心放松下来，准备睡一下觉，当他往下躺，头还没碰到枕头的空中夙世的因缘成熟，尊 者一下子证得阿罗汉果！他得以参加结集，说了他的万古名言“如是我闻”。接下来事情就顺利了，200 页的手稿被双剑合璧地缩减成了 130 页，最后发表在数学年 刊1995 年 5 月刊上。因为这个成果怀尔斯获得了沃尔夫奖和菲尔兹特别奖（超龄，破格） 。正义战胜了邪恶，王子公主从此过上了幸福的生活。 注：本帖子取材于费马大定理 上海译文出版社 上世纪后半页，理论数学家们陷入了十分尴尬的境地，一方面他们已经很久没做出突破性 工作，一方面借助计算机的机

12、器证明开始兴起，著名的四色猜想就是机器证明的。数学家 们不喜欢使用蛮力的穷举法机器证明，也诟病机器证明的程序没法完全保证没有 bug，以 及没法验证，但心里也是颇为酸楚的。这个时候救星出现了，他叫安德鲁怀尔斯，是普林 斯顿大学的教授，美籍英裔，剑桥大学出身，椭圆曲线顶级专家。他躲在阁楼成一统，7 年孤独磨一剑，又经过一年的审稿炼狱，最终证明了费马大定理！那么何为费马大定理呢？总所周知，x+y=z 有无穷多组整数解，称为一个三元组；x2+y2=z2 也有无穷多组整数 解，这个结论在毕达哥拉斯时代就被他的学生证明，称为毕达哥拉斯三元组，我们中国人 称他们为勾股数。但 x3+y3=z3 却始终没找到

13、整数解，最接近的是：63+83=93-1，还 是差了 1。于是迄今为止最伟大的业余数学家费马提出了猜想：总的来说，不可能将一个 高于 2 次的幂写成两个同样次幂的和。也就是：xn+yn=zn，当 n 大于 2 时没有整数解。这是一个描述起来非常简单的猜想，但 358 年来困扰了包括欧拉和柯西在内的一代代大数 学家，他们得到了一些进展，比如当 n 等于 3 和 4 时猜想成立，但 x、y、z 和 n 的取值范 围是无限的，要证明整个猜想谈何容易！更气人的是费马在一本书的页边处写下这个猜想 后还加了一个评注：我有一个对这个命题的十分美妙的证明，这里空白太小，写不下。这 不是一种赤裸裸的挑战嘛。19

14、84 年事情有了转机，一个叫弗莱的德国数学家提出，如果费马猜想不成立，那个就可 以找到三个整数使方程成立，表示为：AN+BN=CN，接着他通过复杂的变换，这个等式转换成了一个椭圆方程：y2=x3+(AN-BN)*x2-AN*BN而这个椭圆曲线太过古怪，他断定由于这个由假设费马猜想不成立引出的椭圆方程是如此 古怪，所以它不可能模形式化。后来一个叫里贝特的数学家严格证明了这个椭圆方程确实 不能模形式化。现在必须要说明啥叫椭圆方程的模形式化了，而说明这个问题以前还得介绍啥叫椭圆方程和模形式。椭圆方程是形如 y2=x3+a*x2+b*x+c 方程（a，b，c 是任何整数） ，对这种方程的一个 重要研究

15、领域就是研究每一类椭圆方程的整数解个数，但当 x 和 y 的取值是无限时研究起 来就很困难。于是科学家就发明了在时钟算术中研究每类椭圆方程的整数解。何为时钟算 术呢，就是把正常数轴延伸到正负无穷的两端接起来，这个圈有几格就算几格时钟算术， 比如我们的手表就是在实践 12 格时钟算术。它有如下性质：31123405611等等。这样求椭圆方程的整数解就方便了。如果一个椭圆方程在 1 格时钟算术中有 1 个解， 2 格时钟算术中有 4 个解，3 格时钟算术中有 4 个解，4 格时钟算术中有 8 个解，5 格时钟 算术中有 4 个解，6 格时钟算术中有 16 个解等等，我们就可以记录为：E11E24E

16、34E48E54E616.这成为这个椭圆方程的 E序列。每个椭圆方程的 E序列就像它的 DNA 一样浓缩这它 的特征信息。模形式是在由两根实轴和两根虚轴组成的四维复空间里的超对称结构，而每一个模形式都 可以拆成各种基本要素的组合组成的，比如一个模形式是由 1 个 1 号要素，3 个 2 号要素， 2 个 3 号要素组成，那么这个模形式的 M序列就可以写成：M序列：M11M23M32.正如 E序列包含了椭圆方程的特征信息一样，模形式的 M序列也包含了各个模形式的 特征信息，是模形式的 DNA。1955 年在东京举行的一个学术会议上日本青年数学家谷山丰和志村五郎提出了一个猜想： 一个椭圆方程的 E序列一定和一个模形式的 M序列完全对应。这就叫椭圆方程的模形 式化。这是一个惊天的猜想，在它被证明以前就得到了广泛应用，几百篇论文是这样开头 的：如果谷