谷山——志村猜想和费马大定理之间的关系.ppt

世界近代三大数学难题 高鹏举 一、费尔马大定理 费马(Pierre de Fermat，1601～1665）法国著名数学家，被誉为“业余数学家之王”。 费尔马大定理的发现 费马在阅读丢番图《算术》拉丁文译本时，曾在第11卷第8命题旁写道：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于此，我确信已发现了一种美妙的证法 ，可惜这里空白的地方太小，写不下。”（拉丁文原文: Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.）毕竟费马没有写下证明，而他的其它猜想对数学贡献良多，由此激发了许多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容，推动了数论的发展。 2. 费尔马大定理的证明路程 德国佛尔夫斯克宣布以10万马克作为奖金奖给在他逝世后一百年内，第一个证明该定理的人，吸引了不少人尝试并递交他们的“证明”。在一战之后，马克大幅贬值，该定理的魅力也大大地下降。 谷山——志村猜想：1955年，日本数学家谷山丰首先猜测椭圆曲线与另一类数学家们了解更多的曲线——模曲线之间存在着某种联系；谷山的猜测后经韦依和志村五郎进一步精确化而形成了所谓“谷山——志村猜想”，这个猜想说明了：有理数域上的椭圆曲线都是模曲线。这个很抽象的猜想使一些学者搞不明白，但它又使“费马大定理”的证明向前迈进了一步。 谷山——志村猜想和费马大定理之间的关系 1985年，德国数学家弗雷指出了谷山——志村猜想”和费马大定理之间的关系；他提出了一个命题 ：假定“费马大定理”不成立，即存在一组非零整数A,B,C,使得A的n次方+B的n次方=C的n次方（n2),那么用这组数构造出的形如y的平方=x(x+A的n次方）乘以（x-B的n次方）的椭圆曲线，不可能是模曲线。尽管他努力了，但他的命题和“谷山——志村猜想”矛盾，如果能同时证明这两个命题，根据反证法就可以知道“费马大定理”不成立，这一假定是错误的，从而就证明了“费马大定理”。但当时他没有严格证明他的命题。 3. 费尔马大定理成功被证明 1995年，怀尔斯和泰勒在一特例范围内证明了谷山-志村猜想，Frey的椭圆曲线刚好在这一特例范围内，从而证明了费马大定理 怀尔斯证明费马大定理的过程亦甚具戏剧性。他用了七年时间，在不为人知的情况下，得出了证明的大部分；然后于1993年6月在一个学术会议上宣布了他的证明，并瞬即成为世界头条。但在审批证明的过程中，专家发现了一个极严重的错误。怀尔斯和泰勒然后用了近一年时间尝试补救，终在1994年9月以一个之前怀尔斯抛弃过的方法得到成功，这部份的证明与岩泽理论有关。他们的证明刊在1995年的数学年刊（en:Annals of Mathematics）之上。 二、四色问题 四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示，即“将平面任意地细分为不相重叠的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。” 1. 四色猜想的提出 四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯·格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家都被着上不同的颜色。”这个现象能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。 2. 四色问题的困扰 1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。11年后，在牛津大学就读的年仅29岁的赫伍德以自己的精确计算指出了肯普在证明上的漏洞。不久，泰勒的证明也被人们否定了。人们发现他们实际上证明了一个较弱的命题——五色定理。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题。 3. 四色问题的解决 到了六十年代后期，海克引进一个类似于在电网络中移动电荷的方法来求构形的不可避免组。在海克的研究中第一次以颇不成熟的形式出现的“放电法”，这对以后关于不可避免组的研究是个关键，也是证明四色定理的中心要素。电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对