笔趣阁

手机浏览器扫描二维码访问

第一百八十五章 成功证明（第1页）

一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“青梅甜宠之多多的糖（.shg.tw）”！

只是这后来，终于是见识到传说中的牛皮糖是什么样了。

谭鹏鹏现在直接嗷嗷叫着就缠着许多多不放了，“哎！许多多同学，不，多多侠女，你看看我我还有救么？有什么办法可以快速训练体能的吗？也用不着你那么厉害，就像一般人那样就行”，还一脸我不贪心，能不能教教我的傻白甜表情。

似乎发现了这个问题，让他一下子腿也不酸了，身体也不累了，就跟着许多多后面跑前跑后。许多多加速他就跟着加速，许多多减速他就跟着减速，也厚脸皮的不再提要回负重的事情了。

折腾的许多多都直后悔，怎么当初就没看出来这个人属性怎么就这么狗呢？跟谭鹏鹏相比，楚岚简直不要太乖了好吧！除了人傻事儿多了一点，现在也是非常听她这个师姐话的。

与此同时，在同一座城市的另一边，青叶大学中，唐元也在面临着一项重大的考验，他们之前所研究的课题已经出成果了，之前已经将报告和论文交到了叶非诚教授手中，就等着他的确认。

而此项目唐元也是著作人之一，因为他的到来另后面的好几个难题都得到了突破性的进展，唐元依靠自己的实力让小组其他成员一致认为，他有资格被署名。

就在刚刚，他们还在实验室中重复做测算时，收到了叶非诚教授的电话，让他们小组去开会，不出意外肯定就是关于这个项目的事情。

费马定理实际上又分为费马大定理和费马小定理，而费马大定理又被称为“费马最后定理”，由17世纪法国数学家皮耶·德·费马提出。由于费马没有写下证明，而他的其它猜想对数学贡献良多，由此激发了许多数学家对这一猜想的兴趣，猜想内容为“当整数n>2时，关于的方程没有正整数解”。

这次唐元他们所围绕的项目正是费马大定理的进一步证明很推导。

要知道费马定理作为史上几大最难证明的定理之一。

1753年瑞士著名数学家欧拉，在写给哥德巴赫的信中说，他证明了n=3时的费马猜想，1770年其证明发表在《代数指南》一书中，方法是“无限下降法”和形如数系的唯一因子分解定理。

1816年巴黎科学院把费马猜想转化简化归结为n是奇素数的情况，认为费马猜想应该成立，并称之为费马大定理。费马自己证明了n=4的情形。十九世纪初法国的女数学家热尔曼证明了当n和2n+1都是素数时费马大定理的反例x，y，z至少有一个是n整倍数。在此基础上，1825年德国数学家狄利克雷和法国数学家勒让德分别独立证明费马大定理在n=5时成立，用的是欧拉所用方法的延伸，但避开了唯一因子分解定理。

1839年，法国数学家拉梅对热尔曼方法作了进一步改进，并证明了n=7的情形，他的证明使用了跟7本身结合得很紧密的巧妙工具，只是难以推广到n=11的情形；于是，他又在1847年提出了“分圆整数”法来证明，但没有成功。

1844年，库默尔提出了“理想数”概念，他证明了：对于所有小于100的素指数n，费马大定理成立。

大约在1850年前后，高斯的学生、学生库默尔运用独创的“理想素数”理论，一下子证明了100以内除37、59、67以外的所有奇数费马大定理都成立，使证明问题取得了第一次重大突破。

1922年，英国数学家莫德尔提出一个著名猜想，人们叫做莫德尔猜想．按其最初形式，这个猜想是说，任一不可约、有理系数的二元多项式，当它的“亏格”大于或等于2时，最多只有有限个解．记这个多项式为f（x，y），猜想便表示：最多存在有限对数偶xi，yi∈Q，使得f（xi，yi）=0。后来，人们把猜想扩充到定义在任意数域上的多项式，并且随着抽象代数几何的出现，又重新用代数曲线来叙述这个猜想了。

二战后随着计算机的出现，大量的计算已不再成为问题。借助计算机的帮助，数学家们对500以内，然后在1000以内，再是10000以内的值证明了费马大定理，到80年代，这个范围提高到25000，然后是400万以内。

1983年，德国数学家法尔廷斯证明了莫德尔猜想，从而翻开了费马大定理研究的新篇章．法尔廷斯也因此获得1986年菲尔兹奖。

1955年，日本数学家谷山丰首先猜测椭圆曲线与另一类数学家们了解更多的曲线——模曲线之间存在着某种联系；谷山的猜测后经韦依和志村五郎进一步精确化而形成了所谓“谷山—志村猜想”，这个猜想说明了：有理数域上的椭圆曲线都是模曲线。这个很抽象的猜想使一些学者搞不明白，但它又使“费马大定理”的证明向前迈进了一步。

1958年英国数学家Birch和Swinnerton--Dyer构造了椭圆曲线E的L（E，s）函数，他们对该函数在s=1处的零点与椭圆曲线E上的有理点关系给出了一个简称BSD猜想。

1984年，德国数学家弗雷在德国小城奥伯沃尔法赫的一次数论研讨会上宣称：假如费马大定理不成立，则由费马方程可构造一个椭圆曲线，它不可被模形式化（一个命题：假定“费马大定理”不成立，即存在一组非零整数A、B、C使得y2=x（x+a^n）2right）">，那么用这组数构造出的形如x-B^n乘以的椭圆曲线，不可能是模曲线。），也就是说谷山—志村猜想将不成立。但弗雷构造的所谓“弗雷曲线”不可模形式化也说不清具体证明细节，因此也只是猜想，被称为“弗雷命题”，弗雷命题如得证，费马大定理就与谷山—志村猜想等价。

1986年美国加州大学伯克利分校的肯·里贝特教授，完成了弗雷命题的证明。

1994年10月25日11点4分11秒，怀尔斯一篇长文“模形椭圆曲线和费马大定理”，作者安德鲁·怀尔斯。另一篇短文“某些赫克代数的环理论性质”作者理查德·泰勒和安德鲁·怀尔斯，至此费马大定理得证。