半小時后,白板運到,會議室再次安靜了下來。
之前寫好的那十二塊白板,被搬到了會議室的兩側。
吃飯的時候,已經有不少數學家將板書上的內容拍攝下來,準備帶回去細細研究,也有人將拍下的照片發送給自己相熟的數學家,讓他們也幫忙看看。
盡管一天一夜沒睡,但補充了食物之后,龐學林依舊保持著旺盛的精力。
他來到演講臺前,說道:“相信不少朋友已經看出來了,我上午寫的內容,是以遠阿貝爾幾何為基礎,重新構建的一套理論體系,我個人將這套理論體系稱之為龐氏幾何。既然是一套新理論,那么它必須能夠解決實際問題才行,接下來,我將展示龐氏幾何在解決實際數學問題中的能力!”
說罷,龐學林轉身來到白板前,在白板上寫下一行字。
證明:任意三個滿足a+b=c以及a和b互質的正整數a,b,c。對于任意ε>0,存在常數kε>0,滿足:c<kεrad(abc)^1+ε
這行字寫罷,瞬間,整個會議室一下子就沸騰了起來。
“ABC猜想,居然是ABC猜想!”
“這家伙,他要用他發明的龐氏幾何,來證明ABC猜想嗎?”
“瘋了瘋了,在這種場合下當場證明ABC猜想,如果證不出來,他豈不是要成為數學界的笑柄?”
“望月新一已經在ABC猜想上栽了大跟斗,沒想到竟然還有人不死心,還要向ABC猜想發起挑戰!”
一時間,會議室內沸反盈天。
“果然如此!”
舒爾茨望著臺上的龐學林,眼中露出震撼之色。
換成他,寧可一篇篇發論文,也不可能在這種場合上,直接放出如此重要的猜想證明。
只能說明,臺上這個家伙,不但極度自信,而且還極具魄力。
張德業與丘成桐對視一眼,張德業道:“老邱,還正讓你給說中了!”
丘成桐有些擔憂道:“小龐教授這是走了一步險棋!”
ABC猜想的重要性毋庸置疑,特別是其整數加法性質和乘法性質交互性,一旦得證,可以直接將無窮多個丟番圖方程轉變為單一數學命題。
甚至哥德巴赫猜想,孿生素數猜想,都有可能因為它的得證,而取得更進一步的突破。
如今龐學林直接在報告會上使用龐氏幾何來證明ABC猜想,如果成功的話,那么龐氏幾何將在一夜之間名揚天下,這次證明也將成為數學界的一段佳話。
一旦失敗,等待龐學林的將會是鋪天蓋地的批評與質疑聲,在學術界的威望,也將遭受重大打擊。
龐學林似乎壓根沒想這么多,對臺下的各種質疑聲也充耳不聞,證明思路已經完全打通,接下來,他只需按部就班,將證明過程推導出來即可!
定義1:令ε>0,對于任意互素整數,a,b,c,a+b+c=0,則有log(max{ a , b , c })<(1+ε)·Σlog(p)+O(l),O(1)為常數…定義2:令p為有理數,Op為整數環,X/p為光滑代數曲線,則對任意點P∈X(p),∂(P):=∂(k(P)):=1/[k(p)Q]log( △k(P)/Q )。則有(1)…
筆尖劃過白板,剛開始寫的時候,臺下還有不少喧鬧聲,可隨著第一塊白板被填充滿,臺下的喧鬧聲漸消。
所有人的目光都聚焦在了一行行公式上。
相比于蕪雜的論文,這種現場的驗證要簡潔得多,也更加觸及數理邏輯的核心。
一條條公式順著龐學林的筆尖流淌下來,沒人說話,也沒人發聲。
陶哲軒、舒爾茨、法爾廷斯、德利涅、丘成桐等人一個個坐直了身子,仿佛在見證某種儀式。
一塊白板…
兩塊白板…
三塊白板…
龐學林的筆觸依舊流暢,腦海中,所有思緒和靈感均已消失不見,取而代之的,是一種前所未有的冰冷的數理邏輯。
仿佛某種潛藏在宇宙深處的堅硬法則,正在被龐學林喚醒。
論證到了最關鍵的環節。
第五塊白板。
1/6deg(qE)≤(1+αd(l))(∂(P)+n∞(P))+βd(l)·l,若c>0,根據定理1.2,則有h(P)≤1/6deg(qE)+c·(h(P)^1/2+1)…
一切的蕪雜漸漸散去,規則開始浮出水面,公理變得清晰明了起來!
所有事物都回到了它本來該有的樣子!
“原來如此!”
這個公式一出,德利涅一下子從座位上站了起來。
現場的所有數學家中,他算是對龐氏幾何理解最深的一個。
也正因為如此,他也是第一個,真正理解了龐學林的核心論證方法。
很快,德利涅身旁的法爾廷斯,也反應了過來,驚嘆道:“天才的想法,原來龐氏幾何在數論領域,竟然可以這樣運用!”
不遠處,陶哲軒臉上露出震撼之色,喃喃自語道:“我這是教出了一個什么樣的怪物學生啊!”
“Scheiβe!”陶哲軒身旁的舒爾茨,則忍不住彪了句德語國罵,臉上終于露出徹底服氣的神情,“這家伙,比我想象得還要厲害!”
“好!”
另一邊,一直在緊張關注龐學林證明過程的丘成桐,一拍大腿,臉上露出激動之色。
一旁的張德業已經脫離科研一線多年,此時根本跟不上龐學林的思路,他忍不住出聲道:“老邱,小龐教授這是證出來了?”
丘成桐點頭道:“不出意外,應該是沒什么問題了!”
“那就好!那就好!”
張徳業終于長長地舒了一口氣。
最核心的論證環節通過之后,接下來的一切,都變得順利成章起來。
第六塊白板…
第七塊白板…
第八塊白板…
令c=p^ku,a=p^hw,ku≥0,hw≥0,…故,對于任意ε>0,存在常數kε>0,滿足:c<kεrad(abc)^1+ε,猜想成立!
會議大廳內,安靜地針落可聞。
所有與會數學家,都陷入了沉寂之中。
那些在會場為這場報告會服務的工作人員與酒店侍者,也似乎被現場的氣氛所震懾,一個個噤若寒蟬。
一直躲在角落關注報告會進程的齊昕,此時也忍不住激動地雙手捂嘴,眼中閃過晶瑩之色。
龐學林放下已經發酸的右手,轉身,看著會議廳內已經陷入沉寂與呆滯之中的眾人,微笑道:“根據上述證明,abc猜想是正確的,其反例為有限個!”
一錘定音!