什么是费马猜想.doc

PAGE PAGE 5 什么是“费马猜想” 圖一：費馬(Pierre de Fermat, 1601-1665) 一六三七年左右，法國業餘數學家費馬（Pierre de Fermat，圖一）在他的《不定方程式論》（丟番圖著）一書的邊緣記下：任何立方數不能分成兩立方數的和，任何四次方數不能分成兩四次方數的和，任何五次方數也不能分成兩五次方數的和，如此類推。這就是後世所稱的費馬最後定理(Fermat Last Theorem)： 設 n 是大於 2 的正整數，則方程式 xn+yn=zn，沒有正整數解。 他並附加道：我發現了一個非常漂亮的證明，但這裡沒有足夠的空間可容納得下。根據後世的考證，費馬或許有辦法證明 n=3,4,5 的情形，根據當時尚未成熟的數學歸納法而推斷這命題對任意n2皆成立。 原文网址： HYPERLINK .tw/articles/sm/sm_30_11_3/index.html .tw/articles/sm/sm_30_11_3/index.html 费马大定理 ，即：不可能有满足 xn＋yn＝zn ，n ＞2的正整数x、y、z、n存在。这命题他写在丢番图《算术》（ 拉丁文译本，1621）第 2卷的空白处：“……将一个高于二次的幂分成两个同次幂之和，这是不可能的。 原文网址： HYPERLINK /question/question费马定理-解说 HYPERLINK javascript:void(0) ? HYPERLINK /wiki/%E8%B4%B9%E9%A9%AC%E5%AE%9A%E7%90%86 \l catalog#catalog ? 　　求证不存在 HYPERLINK /wiki/%E8%87%AA%E7%84%B6%E6%95%B0 \o 自然数 \t _blank 自然数a,b,c满足a^n+b^n=c^n(n2,n∈Z).　　这就是著名的费马定理。 原文网址： HYPERLINK /wiki/%E8%B4%B9%E9%A9%AC%E5%AE%9A%E7%90%86 /wiki/%E8%B4%B9%E9%A9%AC%E5%AE%9A%E7%90%86 费马最後定理 费马声称当n2时，就找不到满足x^n + y^n = z^n的整数解，例如：方程式x^3 + y^3 = z^3就无法找到整数解。 原文网址： HYPERLINK /htmlnews/2005/06/09/612070.htm /htmlnews/2005/06/09/612070.htm 费马猜想〔Fermats conjecture〕又称费马大定理或费马问题，是数论中最著名的世界难题之一。1637年，法国数学家费马在巴歇校订的希腊数学家丢番图的《算术》第II卷第8命题旁边写道：「将一个立方数分为两个立方数，一个四次幂分为两个四次幂，或者一般地将一个高于二次的幂分为两个同次的幂，这是不可能的。关于此，我确信已发现一种美妙的证法，可惜这里空白的地方太小，写不下。」费马去世后，人们找不到这个猜想的证明，由此激发起许多数学家的兴趣。欧拉、勒让德、高斯、阿贝尔、狄利克雷、柯西等大数学家都试证过，但谁也没有得到普遍的证法。300多年以来，无数优秀学者为证明这个猜想，付出了巨大精力，同时亦产生出不少重要的数学概念及分支。 若用不定方程来表示，费马大定理即：当n 2时，不定方程xn + y n = z n 没有xyz≠0的整数解。为了证明这个结果，只需证明方程x4 + y 4 = z 4 ，(x , y) = 1和方程xp + yp = zp ，(x , y) = (x , z) = (y , z) = 1〔p是一个奇素数〕均无xyz≠0的整数解。 n = 4的情形已由莱布尼茨和欧拉解决。费马本人证明了p = 3的情，但证明不完全。勒让德〔1823〕和狄利克雷〔1825〕证明了p = 5的情形。1839年，拉梅证明了p = 7的情形。1847年，德国数学家库默尔对费马猜想作出了突破性的工作。他创立了理想数论，这使得他证明了当p 100时，除了p = 37，59，67这三个数以外，费马猜想都成立。后来他又进行深入研究，证明了对于上述三个数费马猜想也成立。在近代数学家中，范迪维尔对费马猜想作出重要贡献。他从本世纪20年代开始研究费马猜想，首先发现并改正了库默尔证明中的缺陷。在以后的30余年内，他进行了大量的工作，得到了使费马猜想成立一些充分条件。他和另外两位数学家共同证明了当p 4002时费马猜想成立。 现代数学家还利用大型电子计算器来探索费马猜想，使p 的数目有很大的推进。到1977年为止，瓦格斯塔夫证明了p 1