引理4:伽马函数x质1:Γ(x)Γ(1-x)=π/iπx,0x1
引理5:伽马函数x质2:伽马函数的定义域x不属于{γ∈Z∣γ0},反之,x∈{γ∈Z∣γ0}时,Γ(x)=∞,或者说此时Γ(x)无意义。
引理6:在通常复数的加法、乘法运算下,有理数集Q是一个域。
引理7:在通常复数的加法、乘法运算下,Q上的全体代数是一个域。
_geng据引理7,沈奇顺手花了10分钟时间证明了引理8。
引理8:如果a是代数数,θ是超越数,那么a与θ的积aθ必然是超越数。
八个引理的铺垫做完,框架搭好了,沈奇水到渠成写出了哥猜第五证法的核心nei容。
这个核心是一个函数构造方程:co(1+Γ(x)/x+1+Γ(2-x)/2-x)π+ii(ρx+)π=-1
哥猜1+1的问题,经过沈奇自然而然的巧妙处理,最终转化为对上述函数构造方程的求解。
严格求解验证了这个函数构造方程,等价于解决了哥猜1+1问题。
为此沈奇花费了整整三天的时间,他闭门不出,暂时忘记了物理学进度、欧洲重要活动和两个研究生的动向。
但每天给欧叶打个电话不能忘。
三天后沈奇完稿,全新的哥猜第五证法没有问题,函数构造方程有解,哥猜1+1问题被他顺手解决。
第322章履行承诺
跟哥德巴赫猜想相关的猜想有三个。
按照时间轴,分别是1849年提出的波利尼亚克猜想、1900年提出孪生素数猜想、2003年提出的盖伊猜想。
三个猜想的证法逻辑与哥猜一样,只需将证明哥猜1+1中使用的函数构造方程,替换为波利尼亚克猜想方程、孪生素数猜想方程、盖伊猜想方程即可。
又花了三天时间,沈奇整理完论文,标题跟最近一段时间流行的标题一模一样,《哥德巴赫猜想的证明》。
在这篇论文中,沈奇一口气证明了哥德巴赫猜想、波利尼亚克猜想、孪生素数猜想、盖伊猜想共四个猜想。
其实四个猜想可以写出四篇论文,获得的学霸积分更多。
沈奇没有这么做,这与他的身份不符,会带给世人一种刷论文数量的_gan觉。
沈奇第一时间上传《哥德巴赫猜想的证明》到arVix上,随后将论文稿直接交付给《数学年刊》的主编法尔廷斯。
然后沈奇告诉他的行政助理:“芭芭拉,帮我安排一下交通,先去纽约,接上我的nv朋友,我和她从纽约肯尼迪机场出发,飞往瑞士苏黎世。是的,我将在苏黎世呆上3天,然后去巴塞尔,在巴塞尔逗留3天后直接去苏黎世机场返回纽约。”
“苏黎世、巴塞尔的酒店帮我预订五星级的,环境一定要清幽,_F_间需要豪华大床_F_,谢谢。”
本章未完...
=== 华丽的分割线 ===