半小时后,白板运到,会议室再次安静了下来。
之前写好的那十二块白板,被搬到了会议室的两侧。
吃饭的时候,已经有不少数学家将板书上的内容拍摄下来,准备带回去细细研究,也有人将拍下的照片发送给自己相熟的数学家,让他们也帮忙看看。
尽管一天一夜没睡,但补充了食物之后,庞学林依旧保持着旺盛的精力。
他来到演讲台前,说道:“相信不少朋友已经看出来了,我上午写的内容,是以远阿贝尔几何为基础,重新构建的一套理论体系,我个人将这套理论体系称之为庞氏几何。既然是一套新理论,那么它必须能够解决实际问题才行,接下来,我将展示庞氏几何在解决实际数学问题中的能力!”
说罢,庞学林转身来到白板前,在白板上写下一行字。
【证明:任意三个满足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)……】
……
笔尖划过白板,刚开始写的时候,台下还有不少喧闹声,可随着第一块白板被填充满,台下的喧闹声渐消。
所有人的目光都聚焦在了一行行公式上。
相比于芜杂的论文,这种现场的验证要简洁得多,也更加触及数理逻辑的核心。
一条条公式顺着庞学林的笔尖流淌下来,没人说话,也没人发声。
陶哲轩、舒尔茨、法尔廷斯、德利涅、丘成桐等人一个个坐直了身子,仿佛在见证某种仪式。
一块白板……
两块白板……