第一百零五章 一锤定音
半小时后,白板运到,会议室再次安静了下来。 之前写好的那十二块白板,被搬到了会议室的两侧。 吃饭的时候,已经有不少数学家将板书上的内容拍摄下来,准备带回去细细研究,也有人将拍下的照片发送给自己相熟的数学家,让他们也帮忙看看。 尽管一天一夜没睡,但补充了食物之后,庞学林依旧保持着旺盛的精力。 他来到演讲台前,说道:“相信不少朋友已经看出来了,我上午写的内容,是以远阿贝尔几何为基础,重新构建的一套理论体系,我个人将这套理论体系称之为庞氏几何。既然是一套新理论,那么它必须能够解决实际问题才行,接下来,我将展示庞氏几何在解决实际数学问题中的能力!” 说罢,庞学林转身来到白板前,在白板上写下一行字。 【证明:任意三个满足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猜想是正确的,其反例为有限个!” 一锤定音!