半小时后,白板运到,会议室再次安静了下来。
之前写好的那十二块白板,被搬到了会议室的两侧。
吃饭的时候,已经有不少数学家将板书上的内容拍摄下来,准备带回去细细研究,也有人将拍下的照片发送给自己相熟的数学家,让他们也帮忙看看。
尽管一天一夜没睡,但补充了食物之后,庞学林依旧保持着旺盛的精力。
他来到演讲台前,说道:“相信不少朋友已经看出来了,我上午写的内容,是以远阿贝尔几何为基础,重新构建的一套理论体系,我个人将这套理论体系称之为庞氏几何。既然是一套新理论,那么它必须能够解决实际问题才行,接下来,我将展示庞氏几何在解决实际数学问题中的能力!”
说罢,庞学林转身来到白板前,在白板上写下一行字。
【证明:任意三个满足a+b=c以及a和b互质的正整数a,b,c。对于任意e>0,存在常数ke>0,满足:c<kerad(abc)^1+e】
这行字写罢,瞬间,整个会议室一下子就沸腾了起来。
“abc猜想,居然是abc猜想!”
“这家伙,他要用他发明的庞氏几何,来证明abc猜想吗?”
“疯了疯了,在这种场合下当场证明abc猜想,如果证不出来,他岂不是要成为数学界的笑柄?”
“望月新一已经在abc猜想上栽了大跟斗,没想到竟然还有人不死心,还要向abc猜想发起挑战!”
……
一时间,会议室内沸反盈天。
“果然如此!”
舒尔茨望着台上的庞学林,眼中露出震撼之色。
换成他,宁可一篇篇发论文,也不可能在这种场合上,直接放出如此重要的猜想证明。
只能说明,台上这个家伙,不但极度自信,而且还极具魄力。
张德业与丘成桐对视一眼,张德业道:“老邱,还正让你给说中了!”
丘成桐有些担忧道:“小庞教授这是走了一步险棋!”
abc猜想的重要性毋庸置疑,特别是其整数加法性质和乘法性质交互性,一旦得证,可以直接将无穷多个丢番图方程转变为单一数学命题。
甚至哥德巴赫猜想,孪生素数猜想,都有可能因为它的得证,而取得更进一步的突破。
如今庞学林直接在报告会上使用庞氏几何来证明abc猜想,如果成功的话,那么庞氏几何将在一夜之间名扬天下,这次证明也将成为数学界的一段佳话。
一旦失败,等待庞学林的将会是铺天盖地的批评与质疑声,在学术界的威望,也将遭受重大打击。
……
庞学林似乎压根没想这么多,对台下的各种质疑声也充耳不闻,证明思路已经完全打通,接下来,他只需按部就班,将证明过程推导出来即可!
【定义1:令e>0,对于任意互素整数,a,b,c,a+b+c=0,则有log(max{|a|,|b|,|c|})<(1+e)Σ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+ad(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,……故,对于任意e>0,存在常数ke>0,满足:c<kerad(abc)^1+e,猜想成立!】
会议大厅内,安静地针落可闻。
所有与会数学家,都陷入了沉寂之中。
那些在会场为这场报告会服务的工作人员与酒店侍者,也似乎被现场的气氛所震慑,一个个噤若寒蝉。
一直躲在角落关注报告会进程的齐昕,此时也忍不住激动地双手捂嘴,眼中闪过晶莹之色。
庞学林放下已经发酸的右手,转身,看着会议厅内已经陷入沉寂与呆滞之中的众人,微笑道:“根据上述证明,abc猜想是正确的,其反例为有限个!”
一锤定音!