飄天文學 > 青梅甜寵之多多的糖 >第一百八十五章 成功證明
    只是這後來,終於是見識到傳說中的牛皮糖是什麼樣了。</p>

    譚鵬鵬現在直接嗷嗷叫着就纏着許多多不放了,“哎!許多多同學,不,多多俠女,你看看我我還有救麼?有什麼辦法可以快速訓練體能的嗎?也用不着你那麼厲害,就像一般人那樣就行”,還一臉我不貪心,能不能教教我的傻白甜表情。</p>

    似乎發現了這個問題,讓他一下子腿也不酸了,身體也不累了,就跟着許多多後面跑前跑後。許多多加速他就跟着加速,許多多減速他就跟着減速,也厚臉皮的不再提要回負重的事情了。</p>

    折騰的許多多都直後悔,怎麼當初就沒看出來這個人屬性怎麼就這麼狗呢?跟譚鵬鵬相比,楚嵐簡直不要太乖了好吧!除了人傻事兒多了一點,現在也是非常聽她這個師姐話的。</p>

    與此同時,在同一座城市的另一邊,青葉大學中,唐元也在面臨着一項重大的考驗,他們之前所研究的課題已經出成果了,之前已經將報告和論文交到了葉非誠教授手中,就等着他的確認。</p>

    而此項目唐元也是着作人之一,因爲他的到來另後面的好幾個難題都得到了突破性的進展,唐元依靠自己的實力讓小組其他成員一致認爲,他有資格被署名。</p>

    就在剛剛,他們還在實驗室中重複做測算時,收到了葉非誠教授的電話,讓他們小組去開會,不出意外肯定就是關於這個項目的事情。</p>

    費馬定理實際上又分爲費馬大定理和費馬小定理,而費馬大定理又被稱爲“費馬最後定理”,由17世紀法國數學家皮耶·德·費馬提出。由於費馬沒有寫下證明,而他的其它猜想對數學貢獻良多,由此激發了許多數學家對這一猜想的興趣,猜想內容爲“當整數n>2時,關於的方程沒有正整數解”。</p>

    這次唐元他們所圍繞的項目正是費馬大定理的進一步證明很推導。</p>

    要知道費馬定理作爲史上幾大最難證明的定理之一。</p>

    1753年瑞士着名數學家歐拉,在寫給哥德巴赫的信中說,他證明了n=3時的費馬猜想,1770年其證明發表在《代數指南》一書中,方法是“無限下降法”和形如數系的唯一因子分解定理。</p>

    1816年巴黎科學院把費馬猜想轉化簡化歸結爲n是奇素數的情況,認爲費馬猜想應該成立,並稱之爲費馬大定理。費馬自己證明了n=4的情形。十九世紀初法國的女數學家熱爾曼證明了當n和2n+1都是素數時費馬大定理的反例x,y,z至少有一個是n整倍數。在此基礎上,1825年德國數學家狄利克雷和法國數學家勒讓德分別獨立證明費馬大定理在n=5時成立,用的是歐拉所用方法的延伸,但避開了唯一因子分解定理。</p>

    1839年,法國數學家拉梅對熱爾曼方法作了進一步改進,並證明了n=7的情形,他的證明使用了跟7本身結合得很緊密的巧妙工具,只是難以推廣到n=11的情形;於是,他又在1847年提出了“分圓整數”法來證明,但沒有成功。</p>

    1844年,庫默爾提出了“理想數”概念,他證明了:對於所有小於100的素指數n,費馬大定理成立。</p>

    大約在1850年前後,高斯的學生、學生庫默爾運用獨創的“理想素數”理論,一下子證明了100以內除37、59、67以外的所有奇數費馬大定理都成立,使證明問題取得了第一次重大突破。</p>

    1922年,英國數學家莫德爾提出一個着名猜想,人們叫做莫德爾猜想.按其最初形式,這個猜想是說,任一不可約、有理係數的二元多項式,當它的“虧格”大於或等於2時,最多隻有有限個解.記這個多項式爲f(x,y),猜想便表示:最多存在有限對數偶xi,yi∈q,使得f(xi,yi)=0。後來,人們把猜想擴充到定義在任意數域上的多項式,並且隨着抽象代數幾何的出現,又重新用代數曲線來敘述這個猜想了。</p>

    二戰後隨着計算機的出現,大量的計算已不再成爲問題。藉助計算機的幫助,數學家們對500以內,然後在1000以內,再是以內的值證明了費馬大定理,到80年代,這個範圍提高到,然後是400萬以內。</p>

    1983年,德國數學家法爾廷斯證明了莫德爾猜想,從而翻開了費馬大定理研究的新篇章.法爾廷斯也因此獲得1986年菲爾茲獎。</p>

    1955年,日本數學家谷山豐首先猜測橢圓曲線與另一類數學家們瞭解更多的曲線——模曲線之間存在着某種聯繫;谷山的猜測後經韋依和志村五郎進一步精確化而形成了所謂“谷山—志村猜想”,這個猜想說明了:有理數域上的橢圓曲線都是模曲線。這個很抽象的猜想使一些學者搞不明白,但它又使“費馬大定理”的證明向前邁進了一步。</p>

    1958年英國數學家birch和swinnerton--dyer構造了橢圓曲線e的l(e,s)函數,他們對該函數在s=1處的零點與橢圓曲線e上的有理點關係給出了一個簡稱bsd猜想。</p>

    1984年,德國數學家弗雷在德國小城奧伯沃爾法赫的一次數論研討會上宣稱:假如費馬大定理不成立,則由費馬方程可構造一個橢圓曲線,它不可被模形式化(一個命題:假定“費馬大定理”不成立,即存在一組非零整數a、b、c使得y2=x(x+a^n)2\right)”>,那麼用這組數構造出的形如x-b^n乘以的橢圓曲線,不可能是模曲線。),也就是說谷山—志村猜想將不成立。但弗雷構造的所謂“弗雷曲線”不可模形式化也說不清具體證明細節,因此也只是猜想,被稱爲“弗雷命題”,弗雷命題如得證,費馬大定理就與谷山—志村猜想等價。</p>

    1986年美國加州大學伯克利分校的肯·裏貝特教授,完成了弗雷命題的證明。</p>

    1994年10月25日11點4分11秒,懷爾斯一篇長文“模形橢圓曲線和費馬大定理”,作者安德魯·懷爾斯。另一篇短文“某些赫克代數的環理論性質”作者理查德·泰勒和安德魯·懷爾斯,至此費馬大定理得證。</p>

    1995年,他們把證明過程發表在《數學年刊》(annals of mathematics)第141捲上,證明過程包括兩篇文章,共130頁,佔滿了全卷,題目分別爲modular elliptic curves and fermat’s last theorem(模形橢圓曲線和費馬大定理)以及ring-theoretic properties of certain hecke algebras(某些赫克代數的環理論性質)。</p>


章節報錯(免登陸)