英国数学家莫德尔是如何得到1986年的菲尔兹奖的？什么是哥尔巴赫猜想

英国数学家莫德尔是如何得到1986年的菲尔兹奖的

库默尔的“理想数”这一新概念的提出对数论的贡献意义非凡。1983年，德国乌珀塔尔大学的讲师法尔廷斯(1954～)证明了“莫德尔猜想”，当时认为是“本世纪解决的最重要问题”，因为费马大定理这类不定方程问题，仅仅是这个猜想的一个应用。他也因此荣获1986年的菲尔兹奖。这个猜想是英国数学家莫德尔在1922年提出来的。而维尔斯的证明，则强调了“几何思维”等。

什么是哥尔巴赫猜想

老兄，那是“哥德巴赫猜想”，随便搜搜就出来一大片了，还来这里问啊？再补充一点吧史上和质数有关的数学猜想中，最著名的当然就是“哥德巴赫猜想”了。 1742年6月7日，德国数学家哥德巴赫在写给著名数学家欧拉的一封信中，提出了两个大胆的猜想： 一、任何不小于6的偶数，都是两个奇质数之和； 二、任何不小于9的奇数，都是三个奇质数之和。 这就是数学史上著名的“哥德巴赫猜想”。显然，第二个猜想是第一个猜想的推论。因此，只需在两个猜想中证明一个就足够了。 同年6月30日，欧拉在给哥德巴赫的回信中， 明确表示他深信哥德巴赫的这两个猜想都是正确的定理，但是欧拉当时还无法给出证明。由于欧拉是当时欧洲最伟大的数学家，他对哥德巴赫猜想的信心，影响到了整个欧洲乃至世界数学界。从那以后，许多数学家都跃跃欲试，甚至一生都致力于证明哥德巴赫猜想。可是直到19世纪末，哥德巴赫猜想的证明也没有任何进展。证明哥德巴赫猜想的难度，远远超出了人们的想象。有的数学家把哥德巴赫猜想比喻为“数学王冠上的明珠”。 我们从6＝3＋3、8＝3＋5、10＝5＋5、……、100＝3＋97＝11＋89＝17＋83、……这些具体的例子中，可以看出哥德巴赫猜想都是成立的。有人甚至逐一验证了3300万以内的所有偶数，竟然没有一个不符合哥德巴赫猜想的。20世纪，随着计算机技术的发展，数学家们发现哥德巴赫猜想对于更大的数依然成立。可是自然数是无限的，谁知道会不会在某一个足够大的偶数上，突然出现哥德巴赫猜想的反例呢？于是人们逐步改变了探究问题的方式。 1900年，20世纪最伟大的数学家希尔伯特，在国际数学会议上把“哥德巴赫猜想”列为23个数学难题之一。此后，20世纪的数学家们在世界范围内“联手”进攻“哥德巴赫猜想”堡垒，终于取得了辉煌的成果。 20世纪的数学家们研究哥德巴赫猜想所采用的主要方法，是筛法、圆法、密率法和三角和法等等高深的数学方法。解决这个猜想的思路，就像“缩小包围圈”一样，逐步逼近最后的结果。 1920年，挪威数学家布朗证明了定理“9＋9”，由此划定了进攻“哥德巴赫猜想”的“大包围圈”。这个“9＋9”是怎么回事呢？所谓“9＋9”，翻译成数学语言就是：“任何一个足够大的偶数，都可以表示成其它两个数之和，而这两个数中的每个数，都是9个奇质数之和。” 从这个“9＋9”开始，全世界的数学家集中力量“缩小包围圈”，当然最后的目标就是“1＋1”了。 1924年，德国数学家雷德马赫证明了定理“7＋7”。很快，“6＋6”、“5＋5”、“4＋4”和“3＋3”逐一被攻陷。1957年，我国数学家王元证明了“2＋3”。1962年，中国数学家潘承洞证明了“1＋5”，同年又和王元合作证明了“1＋4”。1965年，苏联数学家证明了“1＋3”。 1966年，我国著名数学家陈景润攻克了“1＋2”，也就是：“任何一个足够大的偶数，都可以表示成两个数之和，而这两个数中的一个就是奇质数，另一个则是两个奇质数的和。”这个定理被世界数学界称为“陈氏定理”。 由于陈景润的贡献，人类距离哥德巴赫猜想的最后结果“1＋1”仅有一步之遥了。但为了实现这最后的一步，也许还要历经一个漫长的探索过程。有许多数学家认为，要想证明“1＋1”，必须通过创造新的数学方法，以往的路很可能都是走不通的。

费马大定理的历史研究

费马在阅读丢番图（Diophatus）《算术》拉丁文译本时，曾在第11卷第8命题旁写道：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于此，我确信已发现了一种美妙的证法 ，可惜这里空白的地方太小，写不下。”（拉丁文原文: Cuius rei dem***trationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.）毕竟费马没有写下证明，而他的其它猜想对数学贡献良多，由此激发了许多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容，推动了数论的发展。对很多不同的n，费马定理早被证明了。其中欧拉证明了n=3的情形，用的是唯一因子分解定理；费马自己证明了n=4的情形。1825年，狄利克雷和勒让德证明了n=5的情形，用的是欧拉所用方法的延伸，但避开了唯一因子分解定理。1839年，法国数学家拉梅证明了n=7的情形，他的证明使用了跟7本身结合得很紧密的巧妙工具，只是难以推广到n=11的情形；于是，他又在1847年提出了“分圆整数”法来证明，但没有成功。1844年，库默尔提出了“理想数”概念，他证明了：对于所有小于100的素指数n，费马大定理成立，此一研究告一阶段。但对一般情况，在猜想提出的头二百年内数学家们仍对费马大定理一筹莫展。 1922年，英国数学家莫德尔提出一个著名猜想，人们叫做莫德尔猜想．按其最初形式，这个猜想是说，任一不可约、有理系数的二元多项式，当它的“亏格”大于或等于2时，最多只有有限个解．记这个多项式为f(x，y)，猜想便表示：最多存在有限对数偶xi，yi∈Q，使得f(xi，yi)=0。后来，人们把猜想扩充到定义在任意数域上的多项式，并且随着抽象代数几何的出现，又重新用代数曲线来叙述这个猜想了。而费马多项式 没有奇点，其亏格为 。当 时，费马多项式满足猜想的条件。因此，如果莫德尔猜想成立，那么费马大定理中的方程 本质上最多有有限多个整数解。1983年，德国数学家法尔廷斯证明了莫德尔猜想，从而翻开了费马大定理研究的新篇章．法尔廷斯也因此获得1986年菲尔兹奖。 1955年，日本数学家谷山丰首先猜测椭圆曲线与另一类数学家们了解更多的曲线——模曲线之间存在着某种联系；谷山的猜测后经韦依和志村五郎进一步精确化而形成了所谓“谷山—志村猜想”，这个猜想说明了：有理数域上的椭圆曲线都是模曲线。这个很抽象的猜想使一些学者搞不明白，但它又使“费马大定理”的证明向前迈进了一步。1985年，德国数学家弗雷指出了谷山——志村猜想”和费马大定理之间的关系。他提出了一个命题：假定“费马大定理”不成立，即存在一组非零整数 使得 ，那么用这组数构造出的形如 乘以 的椭圆曲线，不可能是模曲线。尽管他努力了，但他的命题和“谷山——志村猜想”矛盾，如果能同时证明这两个命题，根据反证法就可以知道“费马大定理”不成立，这一假定是错误的，从而就证明了“费马大定理”。但当时他没有严格证明他的命题。1986年，美国数学家里贝特证明了弗雷命题，于是希望便集中于“谷山——志村猜想”。 1993年6月，英国数学家安德鲁·怀尔斯宣称证明：对有理数域上的一大类椭圆曲线，“谷山—志村猜想”成立。由于他在报告中表明了弗雷曲线恰好属于他所说的这一大类椭圆曲线，也就表明了他最终证明了“费马大定理”；但专家对他的证明审察发现有漏洞。怀尔斯不得不努力修复着一个看似简单的漏洞。怀尔斯和他以前的博士研究生理查德·泰勒用了近一年的时间，用之前一个怀尔斯曾经抛弃过的方法修补了这个漏洞，这部份的证明与岩泽理论有关。这就证明了谷山-志村猜想，从而最终证明了费马大定理。他们的证明刊在1995年的《数学年刊》（Annals of Mathematics）之上。怀尔斯因此获得1998年国际数学家大会的特别荣誉，一个特殊制作的菲尔兹奖银质奖章。