第441頁
「噢,彼得爾,怎麼想起給我打電話了?我現在正帶著幾個小傢伙忙一個課題,可沒時間和你聊天。」米歇爾接通後,便笑著問道。
彼得爾接著開口,「我的老朋友,我打這個電話,可不是為了和你聊天的,我的時間也同樣寶貴。」
「哦?那有什麼事?」
「我最近收到一份論文投稿,來自華國的兩位數學家。」
「這和我有什麼關係,我對你們雜誌社的事情不感興趣。」
「不,你會感興趣的!」
「嗯?」
「他們投稿的那篇論文的名字,叫做當解析秩為1時,弱BSD猜想的證明。」彼得爾悠然自得開口,仿佛說了一件無關緊要的事情。
「什麼?!」電話那邊的米歇爾教授驚訝的出聲。「那篇論文真的把弱BSD猜想證明出來了?」
「我還未看完全部,不過從我目前看完的內容來說,問題不大。」彼得爾強壓住心中想要在老朋友面前炫耀的感覺,輕輕開口,「需要我把論文發一份給你嗎?順便幫我把把關。」
彼得爾這麼做並不違反規定。有時候,確實有一些投稿來的論文,無法判斷某些地方的專業內容是否正確,這時候,就需要向專門擅長這領域的數學家求援。
更何況,是涉及某個七大猜想的弱猜想的證明過程。
電話那頭沉默了良久。
許久,彼得爾才聽到那邊傳來輕輕一嘆,「發我郵箱裡吧。」
「OK!」彼得爾爽快回應。
掛斷電話,彼得爾才想起來自己還沒吃午飯,拿起手機定了個外賣,彼得爾坐回電腦前,先是將論文拷貝一份發給米歇爾,然後繼續瀏覽未讀完的內容。
一邊看,還一邊嘖嘖稱嘆。
第三百五十章 搞定畢業論文
另一邊,華國。
經過一夜的思考,困惑程諾終於對自己的畢業論文有了新的思路。
關於兩個引理的運用,程諾有他自己獨到的見解。
所以,這天白天的課一結束,程諾便匆匆趕到圖書館,隨便挑了一個沒人的位置,拿出紙筆,驗證自己的想法。
既然將兩個引理強加進Bertrand假設的證明過程中這個方向行不通,那程諾想的是,能否根據這兩個引理,得出幾個推論,然後再應用到Bertrand假設中。
這樣的話,雖然拐了個彎,看似比切比雪夫的方法還要麻煩不少。但在真正的結果出來之前,誰也不敢百分百就這樣說。
程諾覺得還是應該嘗試一下。
工具早已備好,他沉吟了一陣,開始在草稿紙上做各種嘗試。
他有不是上帝,並不能很明確的知曉通過引理得出來的推論究竟哪個有用,哪個沒用。最穩妥的方法,就是一一嘗試。
反正時間足夠,程諾並不著急。
唰唰唰~~
低著頭,他列下一行行算式。
【設m為滿足pm≤2n的最大自然數,則顯然對於i>m,floor(2n/pi)-2floor(n/pi)=0-0=0,求和止於i=m,共計m項。由於floor(2x)-2floor(x)≤1,因此這m項中的每一項不是0就是1……】
由上,得推論1:【設n為一自然數,p為一素數,則能整除(2n)!/(n!n!)的p的最高冪次為:s=Σi≥1[floor(2n/pi)-2floor(n/pi)]。】
【因為n≥3及2n/3<p≤n表明p2>2n,求和只有i=1一項,即:s=floor(2n/p)-2floor(n/p)。由於2n/3<p≤n還表明1≤n/p<3/2,因此s=floor(2n/p)-2floor(n/p)=2-2=0。】
由此,得推論2:【設n≥3為一自然數,p為一素數,s為能整除(2n)!/(n!n!)的p的最高冪次,則:(a)ps≤2n;(b)若p>√2n,則s≤1;(c)若2n/3<p≤n,則s=0。】
一行行,一列列。
除了上課,程諾一整天都泡在圖書館裡。
等到晚上十點閉館的時候,程諾才背著書包依依不捨的離開。
而在他手中拿著的草稿紙上,已經密密麻麻的列著十幾個推論。
這是他勞動一天的成果。
明天程諾的工作,就是從這十幾個推論中,尋找出對Bertrand假設證明工作有用的推論。
……
一夜無話。
翌日,又是陽光明媚,春暖花開的一天。
日期是三月初,方教授給程諾的一個月假期還剩十多天的時間。
程諾又足夠的時間去浪……哦,不,是去完善他的畢業論文。
論文的進度按照程諾規劃的方案進行,這一天,他從推導出的十幾個推論中尋找出證明Bertrand假設有重要作用的五個推論。
結束了這忙碌的一天,第二天,程諾便馬不停蹄的開始正式Bertrand假設的證明。
這可不是個輕鬆的工作。
程諾沒有多大把握能一天的時間搞定。
可一句古話說的好,一鼓作氣,再而衰,三而竭。如今勢頭正足,最好一天拿下。
這個時候,程諾不得不再次準備開啟修仙大法。
而修仙神器,「腎寶」,程諾也早已準備完畢。
肝吧,少年!
程諾右手碳素筆,左手腎寶,開始攻克最後一道難關。
切爾雪夫在證明Bertrand假設時,採取的方案是直接進行已知定理進行硬性推導,絲毫沒有任何技巧性可言。
程諾當然不能這麼做。
對於Bertrand假設,他準備使用反證法。