[费马大定理的证明过程摘要.docxVIP

费马大定理的抗争史电子工程系 无54 吴家乐 2015011083摘要：通过几个具有跨时段意义的证明来简要说明费马大定理的证明过程，用大家都能接受的方式传递数学知识及历史。关键词：费马大定理 证明历史 简要引言：法国数学家费马在阅读丢番图《算术》时，在第11卷第8命题旁写道：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于此，我确信已发现了一种美妙的证法 ，可惜这里空白的地方太小，写不下。”从此以后的三百多年来，许多数学家都渴望证明它，然而大多遗憾终生，最终1995年英国数学家安德鲁·怀尔斯证明了这个定律。本人在接触到这个定理后，颇有兴趣，通读了一本科普读物了解这段历史，但囿于能力有限，不能全部理解证明过程，谨以此文来简要说明费马大定理的证明过程。第一部分对很多不同的n，费马定理早被证明了。其中欧拉证明了n=3的情形，费马自己证明了n=4的情形，1825年，狄利克雷和勒让德证明了n=5的情形， 1839年，法国数学家拉梅证明了n=7的情形， 1844年，库默尔提出了“理想数”概念，他证明了：对于所有小于100的素指数n，费马大定理成立，此一研究告一阶段。但对一般情况，在猜想提出的头二百年内数学家们仍对费马大定理一筹莫展。本文仅证明n=4的情况，来学习费马的无穷递降法，简要体会这一部分费马大定理的证明。n=4时的证明在x,y,z彼此互素，x为偶数时设方程(1)的解为(x,y,z)。这里，正整数解简称为解，以下也是如此。根据勾股定理，式（1）的解为(2)(3)(4)这里，mn0，(m,n)=1，m为奇数，n为偶数。于是，在（2）有解的同时，式（3）也同时有解。设是式（3）所有最小解。根据勾股定理，式（3）的解为(5)(6)(7)这里，ab0，(a,b)=1，ab为偶。由式（2），（5），（6）可有(8)因为，由式（8）可有(9)(10)于是，从式（10）可以得出，(a,b,e)也是式（3）的解。由式（5），（10）可有[4]这与假设是式（3）的最小解相矛盾。因此，在式（2）有解的同时，式（3）无解，进而式（1）无解。第二部分从无处下手到解只可能有有限个。1922年,莫德尔提出的著名猜想是:亏格G2的代数曲线上有理点数目仅有有限多个。1929年西格尔证明了亏格G2的代数曲线上的整点(即坐标均为整数的点)的数目仅有有限多个。法尔廷斯证明了莫德尔猜想，他使得费马大定理取得了第二次突破,即若费马方程有非平凡的互素的正整数解,则解的个数最多仅有有限多个。[1]本部分主要说明亏格概念和莫德尔猜想与费马大定理的关系。（1）亏格是代数几何和代数拓扑中最基本的概念之一。定义：若曲面中最多可画出n条闭合曲线同时不将曲面分开，则称该曲面亏格为n以实的闭曲面为例，亏格 g 就是曲面上洞眼的个数。球面没有洞，故g=0; 又如环面有一个洞，故g=1（2）莫德尔猜想与费马大定理关系最多存在有限对数偶xi，yi∈Q，使得f(xi，yi)=0。后来，人们把猜想扩充到定义在任意数域上的多项式，并且随着抽象代数几何的出现，又重新用代数曲线来叙述这个猜想了。而费马多项式没有奇点，其亏格为。当时，费马多项式满足猜想的条件。因此，如果莫德尔猜想成立，那么费马大定理中的方程本质上最多有有限多个整数解。[2]第三部分模形式与椭圆曲线联系在了一起！1955年，日本数学家谷山丰首先猜测椭圆曲线与另一类数学家们了解更多的曲线——模曲线之间存在着某种联系；谷山的猜测后经韦依和志村五郎进一步精确化而形成了所谓“谷山—志村猜想”，这个猜想说明了：有理数域上的椭圆曲线都是模曲线。模形式是数学中最古怪和神奇的一部分。它们是数学中最深奥的一部分，但是20世纪的数论家艾希勒把它列为五种基本运算之一：加法、减法、乘法、除法和模形式。模形式的关键是，它们具有非同寻常的对称性，在平移、交换、反射和旋转上无限种方式仍保持对称。椭圆曲线是域上亏格为1的光滑射影曲线，它的(仿射)方程，通常称为维尔斯特拉斯方程，可以写成如果这个域的特征不等于2和3，则可以改写成或 作为实曲面看，复数域上的椭圆曲线就是带有一个洞的闭曲面－－环面。环面可以通过同向粘合正方形的两对对边得到，其拓扑亏格为1。（其实椭圆曲线并不弯曲，也不是椭圆，他只是上面类型的那种方程。）椭圆方程问题主要研究方程根的个数。而在无限个数的范围内，问题并不好求。于是数学家引入了时钟数（类似于我们学过的素数域）[3]谷山-志村猜想与费马大定理的联系。1985年，德国数学家弗雷指出了谷山——志村猜想”和费马大定理之间的关系。他提出了一个命题：假定“费马大定理”不成立，即存在一组非零整数使得 ，那么用这组数构造出的形如乘以的椭圆曲线，不可能是模曲线。1986年，美国数学家里贝特证