“构思了半年,成稿于一周内。”沈奇说到。
“魔鬼。”萨巴辛怔怔吐出一个单词。
“叙旧时间结束,接下来请魔鬼先生跟我们讲讲他的证明思路吧。”
卡布罗夫斯基及其他数学家入座,聆听沈奇关于哥猜证明的报告。
“相信大家看过我发表在arvix上的论文,八个引理是框架,八个定义是前提,一个方程是核心,四个猜想是成果。”沈奇迅速进入演讲状态。
“在这里,我只重点论述哥德巴赫猜想的证明过程,其余三个猜想的证明参考哥德巴赫猜想。”
“八个引理我简单讲一下引理8,前面七个引理都是公认的正确命题,引理8是我自己证明的。”
“请看屏幕,根据引理7,通过反证法,很直观的证明了如果a是代数数,θ是超越数,那么a与θ的积aθ必然是超越数,这就是引理8。”
“接下来我将重点讲述八个定义和一个核心方程。”
“定义1:f(x)=x+b,令∈q,b∈z。”
“定义2:g(x)=1+Γ(x)x+1+1+Γ(2n-x)2n-x,令n∈z+。”
“定义3:令h(x)=sβ(x)+sβ(x)=sg(x)π+isf(x)π。”
“请注意,前三个定义非常重要,如果大家还记得黎曼猜想中的双生匹配法,以及ζ(s)的第二个表达式,那么这前三个定义可以支撑核心方程。”
“请看核心函数构造方程:s(1+Γ(x)x+1+Γ(2n-x)2n-x)π+is(x+b)π=-1。”
沈奇一口气说到这里,口渴了,他暂作停顿喝口水,留些时间给在座的数学家们理解他的思路。
“很明显,求出这个函数构造方程的解,就等同于证明了哥德巴赫猜想1+1问题。”萨巴辛教授说到,其实他已经看过沈奇的论文,知道沈奇求出了方程的解。