费尔马大定理.docVIP

费尔马大定理 我们知道，勾股定理公式（毕达哥拉斯方程）x2+y2=z2有整数解，即能找到三个整数x、y、z，使x2+y2=z2成立。那么对于方程xn+yn=zn（n2），是否有整数解呢？??? 大约是在1637年，法国业余数学家皮埃尔.德.费马令人惊讶地宣称，方程xn+yn=zn（n2）根本没有解存在。他的这个论断写在他阅读的公元前三世纪的希腊数学家丢番图的《算术》的页边处，他写到：不可能将一个立方数写成两个立方数之和，或者将一个4次幂写成两个4次幂之和；或者，总的来说，不可能将一个高于2次的幂写成两个同样次幂的和。??? 这是一个异乎寻常的结论，但是费马相信他能够证明这个结论。在列出这个结论的第一个边注后面，这个常常只叙述问题而将问题的解答隐藏起来的天才数学家草草写下一个附加的评注，这个评注苦恼了一代又一代的数学家们：我有一个对这个命题的十分美妙的证明，这里空白太小，写不下。??? 他的话暗示人们，他由于发现这个“十分美妙”的证明而特别愉快，但却不屑费神写出这个论证的细节，从不介意去发表它。他从未与任何人谈过他的证明，然而不管他如何谦逊和无心于此，费马大定理（就像后世人们所称呼的那样）终将在未来的几个世纪闻名于全世界。??? 由于费马与数学界人士不相往来，他的各种发现处于被永远遗失的危险之中。幸运的是，费马的长子克来孟—塞缪尔意识到他父亲的业余爱好所具有的重要意义，决心不让世界失去父亲的发现。他花了5年的时间收集他父亲的注记和信件，检查那本《算术》书的页边空白处草草写下的字迹。那条被称为费马大定理的边注只是涂写在这本书中的许多由灵感而生的思想之一。1670年，克来孟—塞缪尔出版了《附有P.de费马的评注的丢番图的算术》。??? 费马的注记包含了整整一系列的定理。不幸的是，对这些评注或者根本没有任何解释，或者仅仅给出对证明的一点点提示。其中略微透露出的带有挑逗性的逻辑推理，足以使数学家们毫不怀疑费马已经有了证明的方法，而补全所有的细节就作为一种挑战留给了数学家们。??? 费马说过他对他的每一个评注都有一个证明，因而在他看来它们都是定理。然而，在数学界能重新发现这一个个的证明之前，每一个评注都只能被当作猜想。事实上，300多年来，费马大定理应该准确地被称为费马大猜想。??? 随着几个世纪时光的流逝，所有他的其它评注一个接一个地被证明了，但是费马大定理却固执地拒绝被如此轻易地征服。事实上，它之被称为“最后”定理是因为它是需要被证明的评注中的最后一个。3个世纪的努力未能找到一个证明，这使它作为数学中最费解的谜而声名远扬。但费马大定理似乎不能满足一个重要定理的标准——对它的证明看来好像并不会引导出更深刻的东西来，它也不会给出有关数的任何特别深入的了解，而且它似乎也不会有助于证明任何其他的猜想。??? 费马大定理的名声仅仅是来自于为了证明它而需克服的那种极端的困难。这位业余数学家之王声称能够证明这个此后困惑了一代又一代专业数学家的定理，这个事实又为它增添了分外的光彩。费马在他的那本《算术》的页边上手写的评注，被认为是对世界发出的挑战。他已经证明了这个大定理，问题是：有无数学家能与他的卓越才华相媲美？??? 费马大定理问世300多年来，许多专业数学家、业余数学爱好者，对费马大定理的证明倾注了无数心血，但直至20世纪90年代前期，仍然没有获得被公认正确的证明。??? 1753年，伟大的瑞士数学家欧拉，通过研究费马的注记，发现费马已经在一个完全不同的问题的证明中隐蔽地表述了对特殊情况n=4的一个证明。利用这个证明，欧拉获得了n=3时的证明。100多年来，这是第一次有人针对费马的挑战成功地取得了进展。??? 19世纪初，法国优秀的女数论家索菲.热尔曼在证明费马大定理的道路上获得了进展。热尔曼采用了一种新的策略，她直接的目标并不是去证明一种特殊的情形，而是一次就得出适合多种情形的解答。这种计算是针对使得（2p+1）也是素数的那类素数p进行的。热尔曼的素数表中包括5，因为11（2×5+1）也是素数，但是它不包括13，因为27（2×13+1）不是素数。??? 对其值为热尔曼素数的n，她使用了一种巧妙的论证推得大概方程xn+yn=zn（n2）不存在解。这里“大概”的意思，指的是有解存在是不太可能的，因为如果有解存在，那么x,y中的一个或z将是n的倍数，而这就将对解加上非常严格的限制。她的同行们对她的素数表上的素数逐一研究，尝试证明x、y或z不可能是n的倍数，从而证明对n的哪些值解不存在。??? 1825年，法国数学家狄利克雷和勒让德各自独立地证明了n=5的情形不存在解。他们的证明是在索菲.热尔曼的基础上完成的，因而他们的成功要归功于索菲.曼素数。??? 14年后，法国人加布里尔.拉梅对热尔曼素数的方法作了一些进一步的、巧妙的