第四十七篇 天降奇葩五(4/5)

的倍数，就一定是某一奇素数或它的倍数。因此。只要能证明n＝4以及n是任一奇素数时，方程都没有正整数解，费尔马大定理就完全证明了。n＝4的情形已经证明过，所以。问题就集中在证明n等于奇素数的情形了。

在欧拉证明了n＝3，n＝4以后，1823年和1826年勒让德和狄利克雷各自独立证明了n＝5的情形，1839年拉梅证明了n＝7的情形。就这样，一个一个奇素数证下去的长征便开始了。

其中，德国数学家库默尔作出了重要贡献。他用近世代数的方法，引入了自己发明的“理想数”和“分圆数”的概念，指出费尔马大定理只可能在n等于某些叫非正则素数的值时，才有可能不正确，所以只需对这些数进行研究。这样的数。在100以内，只有37、59、67三个。他还具体证明了当n＝37、59、67时，方程xn＋yn＝zn是不可能有正整数解的。这就把费尔马大定理一下推进到n在100以内都是成立的。库默尔“成批地”证明了定理的成立，人们视之为一次重大突破。1857年，他获得巴黎科学院的金质奖章。

这一“长征”式的证法。虽然不断地刷新着记录，如1992年更进到n＝1000000，但这不等于定理被证明。看来，需要另辟蹊径。10万马克奖给谁。

从费尔马时代起，巴黎科学院曾先后两次提供奖章和奖金，奖励证明费尔马大定理的人，布鲁塞尔科学院也悬赏重金。但都无结果。1908年，德国数学家佛尔夫斯克尔逝世的时候，将他的10万马克赠给了德国哥庭根科学会，作为费尔马大定理的解答奖金。哥庭根科学会宣布，奖金在100年内有效。哥庭根科学会不负责审查稿件。10万马克在当时是一笔很大的财富，而费尔马大定理又是小学生都能听懂题意的问题。于是。不仅专搞数学这一行的人，就连很多工程师、牧师、教师、学生、银行职员、政府官吏和一般市民，都在钻研这个问题。在很短时间内，各种刊物公布的证明就有上千个之多。

当时，德国有个名叫《数学和物理文献实录》的杂志。自愿对这方面的论文进行鉴定，到1911年初为止，共审查了111个“证明”，全都是错的。后来实在受不了沉重的审稿负担，于是它宣布停止这一审查鉴定工作。但是，证明的浪潮仍汹涌澎湃，虽然两次世界大战后德国的货币多次大幅度贬值，当初的10万马克折算成后来的马克已无多大价值。但是，热爱科学的可贵精神，还在鼓励着很多人继续从事这一工作。

经过前人的努力，证明费尔马大定理取得了许多成果，但离定理的证明，无疑还有遥远的距离。怎么办？来必须要用一种新的方法，有的数学家用起了传统的办法——转化问题。

人们把丢番图方程的解与代数曲线上的某种点联系起来，成为一种代数几何学的转化，而费尔马问题不过是丢番图方程的一个特例。在黎曼的工作基础上，1922年，英国数学家莫德尔提出一个重要的猜想。：“设f（x，y）是两个变数x、y的有理系数多项式，那么当曲线f（x，y）=0的亏格（一种与曲线有关的量）大于1时，方程f（x，y）＝0至多只有有限组有理数”。1983年，德国29岁的数学家法尔廷斯运用苏联沙法拉维奇在代数几何上的一系列结果证明了莫德尔猜想。这是费尔马大定理证明中的又一次重大突破。法尔廷斯获得了1986年的菲尔兹奖。

维尔斯仍采用代数几何的方法去攀登，他把别人的成果奇妙地联系起来，并且吸取了走过这条道路的攻克者的经验教训，注意到一条崭新迂回的路径：如果谷山——志村猜想成立，那么费尔马大定理一定成立。这是1988年德国数学家费雷在研究日本数学家谷山——志村于1955年关于椭圆函数的一个猜想时发现的。

维尔斯出生于英国牛津一个神学家庭，从小对费尔马大定理十分好奇、感兴趣，这条美妙的定理导致他进入了数学的殿堂。大学毕业以后，他开始了幼年的幻想，决心去圆童年的梦。他极其秘密地进行费尔马大定理的研究，守口如瓶，不透半点风声。

穷七年的锲而不舍，直到1993年6月23日。这天，英国剑桥大学牛顿数学研究所的大厅里正在进行例行的学术报告会。报告人维尔斯将他的研究成果作了长达两个半小时的发言。10点30分，在他结束报告时，他平静地宣布：“因此，我证明了费尔马大定理”。这句话像一声惊雷，把许多只要作例行鼓掌的手定在了空中，大厅时鸦雀无声。半分钟后，雷鸣般的掌声似乎要掀翻大厅的屋顶。英国学者顾不得他们优雅的绅士风度，忘情地欢腾着。

消息很快轰动了全世界。各种大众传媒纷纷报道，并称之为“世纪性的成就”。人们认为，维尔斯最终证明了费尔马大定理，被列入1993年世界科技十大成就之一。可不久，传媒又迅速地报出了一个“爆炸性”新闻：维尔斯的长达200页的论文送交审查时，却被发现证明有漏洞。

维尔斯在挫折面前没有止步，他用一年多时间修改论文，补正漏洞。这时他已是“为伊消得人憔悴”，但他“衣带渐宽终不悔”。1994年9月，他重新写出一篇108页的论文，寄往美国。论文顺利通过审查，美国的《数学年刊》杂志于1995年5月发表了他的这一篇论文。维尔斯因此获得了1995～1996年度的沃尔夫数学奖。

经过300多年的不断奋战，数学家们世代的