半小時后,白板運到,會議室再次安靜了下來。
之前寫好的那十二塊白板,被搬到了會議室的兩側。
吃飯的時候,已經有不少數學家將板書上的內容拍攝下來,準備帶回去細細研究,也有人將拍下的照片發送給自己相熟的數學家,讓他們也幫忙看看。
盡管一天一夜沒睡,但補充了食物之后,龐學林依舊保持著旺盛的精力。
他來到演講臺前,說道:“相信不少朋友已經看出來了,我上午寫的內容,是以遠阿貝爾幾何為基礎,重新構建的一套理論體系,我個人將這套理論體系稱之為龐氏幾何。既然是一套新理論,那么它必須能夠解決實際問題才行,接下來,我將展示龐氏幾何在解決實際數學問題中的能力!”
說罷,龐學林轉身來到白板前,在白板上寫下一行字。
【證明:任意三個滿足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)……】
……
筆尖劃過白板,剛開始寫的時候,臺下還有不少喧鬧聲,可隨著第一塊白板被填充滿,臺下的喧鬧聲漸消。
所有人的目光都聚焦在了一行行公式上。
相比于蕪雜的論文,這種現場的驗證要簡潔得多,也更加觸及數理邏輯的核心。
一條條公式順著龐學林的筆尖流淌下來,沒人說話,也沒人發聲。
陶哲軒、舒爾茨、法爾廷斯、德利涅、丘成桐等人一個個坐直了身子,仿佛在見證某種儀式。
一塊白板……
兩塊白板……