徐曉也不急著馬上就能得出全部的計算結果,正好趁這個時間,在網上再多找一些相關的論文學習一下。
直到晚上,計算依然沒有完成,徐曉也沒有關機,索性讓電腦直接自己跑一晚上好了。
第二天徐曉醒來時,終於發現全部的計算工作已經完成了。
顧不上吃飯,徐曉馬上看起了這些計算結果。
正如同自己之前猜測的那樣,這1000之內素數的計算結果,絕大多數都是小於 2√p的。
可是這其中,卻還存在著幾個反例。
儘管個別的結果也隻是比2√p略大一點點,但作為一個嚴謹的猜想,這種個別現象肯定是沒法忽略的。
「看來,我的這個假設,本身就不是絕對成立的。」
出現這樣的結果,徐曉不失落是不可能的,這或許意味著徐曉這些天的努力全部都化為了泡影。
不過他還是很快振作了起來,知道事情遠沒有那麼糟糕。
在科研過程中,假設不成立是非常正常的現象。
即使假設不成立,也未必代表他之前所做的工作就前功儘棄。
隻要能夠從中得出新的有價值的結論,這個課題成果並不會受到影響。
憑藉著強大的數學直覺,在進行了一番觀察後,徐曉果然發現了一個新的規律。
「這些素數……好像可以根據除以4的餘數不同,繼續分成兩類。」
根據徐曉的觀察和統計,但對於所有p≡3 mod 4的素數,算出的T值不僅⼩於 2√p,甚至是嚴格的小於√p的。
而那些p≡1 mod 4的素數,T值則是大多在√p到 2√p之間,隻有少數略大於2√p,但也是遠小於3√p的。
「所以說,其實我應該根據素數的不同,分類去進行證明?」
這樣的話,徐曉就可以把整個課題拆分開來,分別去證明一般情況界,以及p≡3 mod 4時的強界了。
想到這,徐曉重新變得興奮了起來,也終於看到了徹底解決整個問題的曙光。
…………
時光飛逝。
不知不覺,今年寒假已經進入了尾聲。
寒假期間,徐曉收到了來自數競國家隊那邊的集訓通知,等到三月初的時候,就要去水木大學參加集訓了。
整個集訓共分為兩個階段,第一階段的集訓為期10天,從60名國家集訓隊成員中,選出15人進入下一輪。
而這15個學生還會參加第二階段9天的集訓,最終隻有6人能夠獲得進入國家隊的資格,代表華國參加IMO。
其實對於參加IMO的事情,徐曉的興趣並不是很大。
當初他之所以想要報名數競,更多的還是為了搏一搏保送的資格,或者至少爭取拿到高校的降分。
既然自己的目標已經達到,後續的集訓和選拔,對徐曉個人來說意義就不是特別大了。
當然,作為集訓隊的成員,他肯定還是會去參加集訓,隻是沒有必要刻意去提前準備了。
趁著寒假還沒有結束,徐曉繼續一步一步的向前推進著課題的證明工作。
對於一般情況界,徐曉採用的核心思路跟之前比較相似,主要是傅立葉分解、帕塞瓦爾等式優化放縮等方法。
具體來說,先是利用傅立葉分解拆分和式,然後用高斯和化簡內層和,再通過三角不等式和帕塞瓦爾放縮,就可以完成證明了。
而對於p≡3 mod 4時的強界,證明的過程則要更加複雜許多,運用了不少高階的代數和數論技巧。
但這其中,也的確包含一些初等的方法,比如利用奇特徵進行變量代換、平方後利用對稱性抵消交叉項等等。
「呼……總算是證明完成了。也不知道整個證明過程有沒有什麼問題,又能有多少學術價值。」
畢竟相比自己最初提出來的假設,實際的結論看起來還是沒有那麼完美的。
獲取最新章節更新,請訪問𝑜𝑜𝑝.𝑡𝑤
。音聲了來傳裡海腦到覺感然突卻,候時的看陽季袁給發,下一理整程過明證個這將要想曉徐當正
】題問學數的雜複個一理處自獨內期務任在並,作工或習學注專的時小6於低不行進天每,天03續連——務任條詞」流心「成完已主宿到測檢【
】流心——條詞得獲已【
】……合融行進主宿與在正條詞【
。覺感的喜驚種一有禁不曉徐,容內示提息消些這了到看
」。的題問有沒是該應,程過明證的我來看……嗎了成完經已「
。的求要的」題問學數雜複「對統係合符是也,度難的題課個這且而,性確正的程過明證曉徐明說以足,可認的統係到得夠能
。果效的條詞新下一驗體上馬,後合融成完條詞等想隻,了情事的果成理整上不顧也時暫曉徐,中之奮興
。來起了究研心下靜,文論的完看有沒前之己自出拿曉徐,了多不差得合融該應條詞覺感
。態狀流心的級高更到入進能可有才續後,態狀注專持保先有隻,條詞的級二個一是算條詞流心,說的格嚴
。化變的態狀己自了到覺感便快很,後之態狀注專的間時段一了持維曉徐在
。來起了糊模得變都切一的界外,界世小的立獨個一於在存佛仿己自,覺感隻他時此,的妙奇常非是態狀種這
。外之識意的曉徐了在絕隔底徹被都時此,音聲的叫鳥是還,音聲的駛行輛車外窗是論無
。了曲扭被的底徹也下態狀種這在,念概的間時而
。了時小多個一了過經已上際實現發才,鍾眼一了看到直但,鐘分幾十了去過才像好間時覺感隻曉徐
」?嗎態狀流心的正真是才這……來原「
。了態狀流心為稱被以可經已就,態狀注專度高的來帶所條詞注專,為以還曉徐前之
。的條詞注專出超顯明是,果效的來帶所條詞流心,上實事而
果效的條詞注專有原在以可曉徐讓這