正是因為這個原因,所以他才會選擇了這個難題。
七天時間,證明冰雹猜想。
也就是王東來了。
王東來選擇證明這個數學難題,也不過是一時興起而已。
聽到黃雲院士問起,王東來這才徹底停下手上的動作,認真地想了一下,才出聲說道:“應該到了70%吧,再有兩天就應該差不多了。”
這一看,便入了神。
作為華國數學會的理事長,黃雲院士在數學方面的學術能力還是有的。
然而,剛一進辦公室,黃雲院士就將注意力放在了辦公室裡略顯凌亂的草稿紙上。
值得一提的是,冰雹猜想在國內又叫做角谷猜想,原因也很簡單,是櫻花國的一個叫做角谷的人傳到了國內,所以才會叫這個名字。
就在王東來在辦公室裡嘗試證明這個數學難題的時候。
可是,對於學界之人來說,這是一個數論問題,還是加性數論中的經典問題,但是說到底,也只不過是複分析問題而已。
另外,在1到100的範圍內,像是27這樣的劇烈波動是沒有的。
所幸,除此之外,王東來並沒有多少要他親自處理的事情。
一方面是電池技術的實驗和突破,一方面又要證明數學難題。
數學界的難題那麼多,之所以選擇了這個難題,也只是因為他忽然想到了自己曾經在普林斯頓的時候,就揭穿過一個來自阿三的學生證明這個數學難題的事情。
“好!好!好!”
徐松堯連連道了三句好,激動語氣溢於言表。
而黃雲院士也是如此,雙眼放光,看向王東來的眼神無比熱切。
“我就知道東來你不會讓人失望,果然是英雄出少年,距離證明哥德巴赫猜測才過去幾個月,沒想到你對冰雹猜想的證明工作都到了這一步。”
說句實話,對於王東來證明冰雹猜想,黃雲院士是真的高興。
畢竟他是華國數學會的理事長,而王東來是成員。
王東來做出來的成績越大,那麼他作為數學會的理事長,自然也能分潤到一定的好處。
“對了,你用的是等差數列驗證法,還是忽略偶數不記錄驗證法?”
黃雲想了想,還是沒有壓住心裡的好奇,便試探著問了這麼一句。
他雖然是理事長,可是骨子裡還是一個學術研究者。
此時,親眼見到王東來證明數學難題,而且還是距離成功只差一部分的時候,心裡早已是如同貓爪子在撓一樣,好奇的不行。
不過,黃雲也明白在學術論文沒有發表的時候,這些東西都是絕密的。
所以在糾結了一會兒,黃雲才問起了一個不涉及秘密的問題,多少也能滿足一下他的好奇心。
忽略偶數不記錄驗證方法,其實很簡單。
第一個被驗證的奇數有可能是能被3整除的奇數,也有可能是不能被3整除的奇數,但是所到達所歸結的第二個奇數,以及第三個奇數,整個過程中所到達所遇到所歸結所訪問的每一個奇數,必定都不能再被3整除了。
如果都從能夠被3整除的奇數開始驗證,路徑上所遇到所歸結的所到達所訪問的每一個奇數都必定不能再被3整除了,最終都能歸結於1,那麼必定遍歷所有的奇數;如果都從不能被3整除的奇數開始驗證,那麼路徑上所遇到所到達所歸結的所訪問到的每一個奇數必定都不可能再被3整除了,最終都歸結於1;所以在順向的冰雹猜想驗證過程中,可以把能被3整除的奇數都命名為最起始點的奇數,1是終止點的奇數,而在逆向的冰雹猜想驗證過程中則是相反的,1是最起始點的奇數,而能被3整除的奇數則是終止點的奇數。
事實上在驗證的過程中,不能被3整除的奇數,都在存在數量無窮多的上一步的奇數,佔1/3的比例是能被3整除的奇數,佔2/3的比例是不能被3整除的奇數,這一現象都跟自然數的情況出奇地巧合了。
黃雲問出等差數列驗證方法和忽略偶數不記錄方法,算不上涉及秘密。
王東來也沒有在意這一點,便笑著出聲說道:“其實驗證方法無所謂,並沒有多麼重要。”
“我用了應用二項式定理、排除法主反例的存在可能性、以及逆向思考法等方法進行了研究,最後找到了一個切入點,應該距離徹底證明不遠了。”
王東來只是簡單地介紹兩句,黃雲的腦海裡就像是掀起了頭腦風暴一樣,下意識地根據王東來所說的情況去驗證起來。
不過,只是下一秒,黃雲便反應過來。
臉上露出一絲苦笑之意,出聲說道:“以前我總是說什麼每逢大事需有靜氣,現在看來,我還差的遠啊!”
“好了,冰雹猜想的證明就不要再提了,再說的話,我怕我會忍不住生出嫉妒的心思。”