3479-数学史上的一次艰难长征 费马大定理的证明.pdf

数学史 数学史上的一次艰难长征— 费马最后定理的证明 郭凯声 (科《学》杂志社，重庆400013) 1997年6月，普林斯顿大学的数学家安德鲁.J.怀尔斯 理。在费马逝世以后，他所提出的许多定理一个接一个地都 在德国哥廷根大学领取了声名卓著的沃尔夫斯克尔奖金。 得到了证明，直到只剩下这个最后定理。三个世纪以来，许 这项奖金设立于1908年，获奖者将是任何一位能证明彼埃 多优秀的数学家都曾试图证明它，但都没有得到成功。于是 尔，德 ·费马著名的最后定理的数学家。对于怀尔斯来说，证 费马最后定理就成了近代数学中悬而未决的大问题之一。 明这个定理不但是给他的十年艰苦努力画了上了一个圆满 人们常常议论的一个问题是费马是否真正作出了这个 的句号，也是圆了他的一个童年之梦。而对于数学界来说， 定理的“奇妙的证明”?许多人认为是这样的。例如，1742 怀尔斯的证明可望使数学的未来发生革命性的变化。 年，杰出的数学家欧拉因为无法证明费马的最后定理而感到 费马最后定理在长达三个多世纪的时期中曾使许多最 极度失望，以至请求他的一位朋友去查看费马的住宅，看看 杰出的数学家绞尽脑汁而不得其解。但是，这个定理对于推 是否会有一些关于该定理证明的关键资料藏匿在那里。但 动数论的发展起到了非常重要的作用。数学思想中一些最 是，根据现有的资料和事实，可以相当有把握地认为，费马并 伟大的创造是由于研究这个定理而促成的，为了证明这个定 没有严格地证明他自己提出的这个难题。在现存的费马悬 理而发展起来的一些数学方法也对其他许多问题的解决作 作中，除了丢蕃图书中的这个著名的旁注之外，再也没有提 出了贡献。特别是，怀尔斯在证明这个定理的过程中利用并 到过这个定理的证明。费马曾在另处提到过方程X3+y3= 进一步发展了许多现代数学概念，包括著名的志村一谷山猜 Z3和x4+y4=Z4不存在正整数解。如果对于完整的最后定 想。怀尔斯的工作把代数几何学与复变函数论这两个重要 理(即方程x十yn=Z不存在正整数解)，他也发现了一个正 的数学分支相互联系了起来，使得其中一个领域所取得的进 确的证明，那么他再也没有提到这件事就十分奇怪了。情况 展肯定将启发另外一个领域取得的新的成果。因此，费马最 有可能是，他在写那条旁注时的确曾有一个证明的想法.但 后定理的证明必将对未来数学的发展产生深远的影响。 后来却认识到那个想法是错误的。由于他当时极有可能并 不打算把这些旁注公诸于世，因此后来也就没有机会再来删 费马最后定理的由来 除或修正这条旁注。 此外，自费马逝世至今的三个多世纪中，数学已经取得 十七世纪的法国教学家彼埃尔 ·德 ·费马是近代数论之 了长足的进展。今天的数学家们拥有的工具和手段是费马 父。费马的正式职业是法国南部城市图卢斯的法官，钻研数 那个时代根本不可想象的。即使在十九世纪，试图攻克最后 学问题是他的业余爱好。虽然费马只是一位业余数学家，但 定量的数学家们所运用的方法的复杂程度也远远超出了费 却取得了非凡的成就，对于奠定概率论和微积分学的基础作 马的水平。当然，这些事实并不能绝对排除费马找到一个极 出了极大的贡献。近代微积分学的创建者之一伊萨克 ·牛顿 为巧妙的简单证明的可能性，但是，至少可以相当有把握地 .就曾说过，他的理论是建立在 “费马先生的画切线方法”基础 认为，这种可能性是微乎其微的。 之上的