引理4：伽马函数性质1：Γ（x）Γ（1-x）=πsπx，0＜x＜1

引理5：伽马函数性质2：伽马函数的定义域x不属于{γ∈ziγ≤0}，反之，x∈{γ∈ziγ≤0}时，Γ（x）=∞，或者说此时Γ（x）无意义。

引理6：在通常复数的加法、乘法运算下，有理数集q是一个域。

引理7：在通常复数的加法、乘法运算下，q上的全体代数是一个域。

根据引理7，沈奇顺手花了10分钟时间证明了引理8。

引理8：如果a是代数数，θ是超越数，那么a与θ的积aθ必然是超越数。

八个引理的铺垫做完，框架搭好了，沈奇水到渠成写出了哥猜第五证法的核心内容。

这个核心是一个函数构造方程：s（1+Γ（x）x+1+Γ（2n-x）2n-x）π+is（x+b）π=-1

哥猜1+1的问题，经过沈奇自然而然的巧妙处理，最终转化为对上述函数构造方程的求解。

严格求解验证了这个函数构造方程，等价于解决了哥猜1+1问题。

为此沈奇花费了整整三天的时间，他闭门不出，暂时忘记了物理学进度、欧洲重要活动和两个研究生的动向。

但每天给欧叶打个电话不能忘。

三天后沈奇完稿，全新的哥猜第五证法没有问题，函数构造方程有解，哥猜1+1问题被他顺手解决。

第322章 履行承诺

跟哥德巴赫猜想相关的猜想有三个。

按照时间轴，分别是1849年提出的波利尼亚克猜想、1900年提出孪生素数猜想、2003年提出的盖伊猜想。