哥德巴赫偶数猜想证明
哥德巴赫偶数猜想证明
文/施承忠
哥德巴赫偶数猜想是指：所有大于或等于4的偶数x都是x=p1+p2.p1,p2是素数.
首先不用证明我们就能得到x=a1+a2.a1,a2是奇数.
并且我们也知道它们与x/2对称，即：（x/2）±k=a1,a2.
因为这只能说明a1,a2是奇数，并不能说明a1,a2是素数，甚至不知道a1,a2中其中之一是素数.
我们知道如果a1是合数，那么a2是什么数都变的毫无意义.所以我们只要研究x-p1是素数就够了.怎么样才能保证x-p1是p2呢？这就要研究偶数x与p1的同余关系了.如果x是pk余a的数，p1也是pk余a的数，那么x-p1一定是pk的合数，所以我们必须把这些p1都去掉，剩下的p1就都是x-p1是p2了.
这样还不够，他们会说：因为x很大时，p2部分的素数会愈来愈稀疏，这样会导致x-p1都是合数，你必须保证这样的素数存在.
现在我们来证明这样的素数一定存在.
定理一
x=p1+p2中当x大于等于4时一定存在这样的素数对p1+p2.当x≥大于等于30236时一定存在这样的素数对p1+p2的D(x)≥D(hk+1)≥D(hk)≥D(30236)=218
证：
当x=pk^2+3时，x-3=pk^2,它是第一次出现x-p1是pk的合数.因为D(x)=h,x/d=h,而x-3=pk^2只有一个，故x/x=1,这样当x很大时，d/x趋向0，所以当x很大时，p2是合数比
x中的素数更稀疏，否则就不会有x愈大D(x)愈大.
现在我们具体来证明这样的存在性:在偶数过3的同余的第2个完整周期时，我们有D(8)=1,D(10)=2,D(12)=1，D(x)≥1.
当x过3，5的同余的第2个完整周期时，我们有D(x)≥D(32)=2.
当x过3，5，7的同余的第2个完整周期时，我们有D(x)≥D(332)=6.
当x过3，5，7，11，13的同余的第2个完整周期时，我们有D(x)≥D(30236)=218.
......
当x过3，5，7,...,pk的同余的第2个完整周期时，我们有D(x)≥hk≥218.
当x过3，5，7,...,pk+1的同余的第2个完整周期时，我们有D(x)≥hk+1≥hk≥218.
证毕.
我们证明这样还不够，我们还要证明比这更具体的东西.
筛法一般是指二千多年前的古希腊学者埃拉托斯特尼所创造的筛法。迄今为止许多数学家都认为这种筛法没有什么理论价值，被他们抛弃了.结果呢！抛弃了它，所作出的一切结果都难能称为筛法.他们的筛法筛出的不都是素数，而是包括了所谓的殆素数.陈景润作了最后的努力，也未能把这个殆字去掉.
那么，埃拉托斯特尼筛法真的像他们所说那么没有理论价值吗？我的回答是：非也.他们认为这样，是因为他们还没有掌握埃拉托斯特尼筛法的一些规律.
很早以前，我解决了一个筛法问题。这个问题是：
《命a1,a2,a3,...,an是n个连续的自然数.an=n^2或an=n*(n+1),则这n个自然数中至少有一个是素数》 证: 因为a1,a2,a3,...,an的全部素因子应当是p≤an^0.5. 那么它的全部最小因子应当是:1,2,3,...,n.素因子可与1,2,3,...,n中的素数对应,合数因子可与1,2,3,...,n中的合数对应,素数可以与1,2,3,...,n中除n以外的任何一个对应,那么至少与1对应的是素数.若不然,设素因子q的合数比1,2,3,...,n中的多,那么其它的都可以与1,2,3,...,n对应,这时至少有一个q因子的数与1对应,命它为a1,aq与1,2,3,...,n中素数q对应,而aq-q=a0,所以a1肯定不是q因子的数,那么它只能是素数.
证毕.
它证明了n^2到n^2+n之间一定存在一个素数.
但是这个方法始终用不到哥德巴赫偶数上来.
于是我另辟蹊径.大家都知道要筛掉x中的所有合数只要用到p≤√x就够了，那么这些p与x之间有着那样的数量关系呢？于是我用筛法证明了π(pk^2)≈1+∑[1,k]p .
这里p1,p2,p3,...,pk是所有不大于pk的素数.π(x)表不大于x的素数个数.
我们有：
定理二
施承忠大筛法素数公式
π(pk^2)≈1+∑[1,k]p （1）
证：
因为2(1+2+3+...+n)-n=n^2
这时任意一项k,1≤k≤n,都代表k个自然数.
我们将这k个自然数作一个筛法变换。这里2个1，其中一个代表自然数1，另一个代表最小偶数2，因为2只有一个因子是素数，所以保留下来。其它，如果k是合数就筛掉，因为它代表k个合数。如果k是素数,其中2个中一个是p个素数，则保留下来。另一个是p个具有最小因子p的合数被筛掉。虽然这种方法对于pk^2来说不一定存在等式关系,因为有时候会大于pk^2，有时候会小于pk^2.但是我们只要将pk扩大，那么那些项中所填的数字都是不变的.
证毕.
接下来，我们怎么能使π(x)=1+∑[1,k]p而不是π(x)≈1+∑[1,k]p呢？这办法是有的.因为π(pk^2)≈1+∑[1,k]p，那么一定存在一个x=x0,π(x0)=1+∑[1,k]p.而x0可以用(pk^2)^1±△来表示.
所以，我们就有：
π((pk^2)^1±△)=1+∑[1,k]p （2）
这里我们把pk^2称为素数奇点，把π(x)=1+∑[1,k]p的x称为素数正则点.
素数问题是解决了.但是解决哥德巴赫偶数问题就不那么简单了.因为哥德巴赫偶数问题需要两次筛法，这一点与孪生素数筛法相同.对同余筛法来说，它们也是相同的.
所以我们先来研究孪生素数问题.
定理三
施承忠大筛法孪生素数公式
这里q1,q2,q3,...,qk是所有不大于k的孪生素数,我们略去了q+2.T(x)表不大于x的孪生素数对数.
我们有：
T(2*qk^2)≈∑[1,k.q≠q+2]q (3)
证：
由施承忠大筛法素数公式知:
π(pk^2)≈1+∑[1,k]p.
因为孪生素数是指如果p是素数，那么p+2也是素数.
因为孪生素数都是奇素数，所以我们先从自然数1到qk^2中筛出π(qk^2)个素数，然后再在自然数1到qk^2+2中筛出π(qk^2+2)个素数.
这时如果π(qk^2)中一个素数p,p+2是π(pk^2+2)中的一个素数，我们就将这一对孪生素数留下，如果p+2不是π(pk^2+2)中的一个素数，我们就筛去，这样筛剩的孪生素数，就是不大于qk^2+2的所有孪生素数对,用T(qk^2+2)表示,但是我们还是习惯于用T(qk^2)来表示T(qk^2+2)，这里只相差一个常数2不影响我们对于这一问题的分析.
我们再次运用大筛法原理就会得到：
T(2*qk^2)≈∑[1,k.q≠q+2]q
这里为什么使用了2*qk^2而不是qk^2呢？那是因为它是π(qk^2)中筛出p,在π(qk^2+2)中筛出p+2所致.
证毕.
接下来，我们有着和素数一样的问题；
T((2*qk^2)^1±△)=∑[1,k.q≠q+2]q (4)
这里我们把2*qk^2称为孪生素数奇点，T(x)=∑[1,k.q≠q+2]q称为孪生素数正则点.
接下来我们就要证明哥德巴赫偶数问题了。
定理四
施承忠大筛法偶数公式
这里q1,q2,q3,...,qk是所有不大于k的孪生素数.D(x)表x的p1+p2的解的个数.
我们有：
D(4*qk^2)≈∑[1,k.q≠q+2]q (5)
证：
偶数x=p1+p2.
用D(x)表这样解数的个数.
从同余筛法来讲，孪生素数筛法是哥德巴赫偶数筛法中的一支.从实例来讲，D(x)中就有许多解数都是孪生素数的，例如：8=3+5；10=3+7,5+5；16=3+13,5+11；22=3+19,5+17,11+11；34=3+31,5+29,11+23,17+17等等.因为每一个孪生素数都是可以固定下来的，而哥德巴赫素数只能固定在某个偶数中，对所有的偶数没有通用性.所以我们只能把孪生素数的解作为一种哥德巴赫素数的参考系.因为哥德巴赫素数是我们从2*qk^2中筛出π(2*qk^2)个素数，再从2qk^2中筛出π(2*qk^2)个素数，其中一列是倒置的.这时只要在正置的一列内的一个素数p,在倒置的一列内必有一个4*qk^2-p也是素数，就留下，否则就筛去，这个是同孪生素数的筛法是一样的,而它是2*qk^2+2*qk^2=4*qk^2,其中二分之一是重解.
因为D(x)=a,有非常多个解，我们现在只取一个最大的x,因为所有大于这个数的偶数x,D(x)≠a，所以它是这个解的偶数极点.那些比它小的偶数相对是没有意义的，可以归于D(x)=a的一个解集,所以我们只要筛出所有极点，就对所有的偶数有解了.
证毕.
我们还有更一般的办法来描绘这些性状.
因为x=e^lnx
我们只要将k控制在一定范围内，那么一定有cx/(lnx)^k≥b.对于所有的数列b1,b2,b3,...,bk,不管它们的稀疏如何都可以用cx/(lnx)^k来表示.
因为D(4*qk^2)≈∑[1,k.q≠q+2]q ，那么一定存在一个△使得D((4*qk^2)^1±△)=∑[1,k.q≠q+2]q （6）
我们把D(4*qk^2)称为偶数奇点，把D((4*qk^2)^1±△)=∑[1,k.q≠q+2]q 称为偶数的正则点.
一般情况下随着4*qk^2的不断增长，△就会不断的减小，如果我们用控制△来控制c，使得c的变量控制在我们手中，我们就能得到D(x)≥cx/(lnx)^k下面我们来着手做这样的事情.
有些事情，当你开始想时，看似非常容易，而你真要着手做时，就会觉得非常之难，甚至无能为力.就像D(x)=cx/(lnx)^2中的这个系数c，看似非常容易，却是非常之难.我们从经验中得到D(x)的一个下界公式D(x)≥cx/(lnx)^2,其中c=(ln12)^2/12=0.5145634215,理由是：当x>12时，c总是震荡着上升再也不会回到这个点位了,但是拿不出有力的数学证明.就像哈代-里特尔伍德公式D(x)≈2∏[p>2]1-(1/(p-1)^2)∏[p∣x,p>2]p-1/p-2 x/(lnx)^2一样拿不出有力的数学证明，但很实用，又很不科学.
我们有一个很好的办法是这样的：根据孪生素数的分布出发，建立D(x)的奇点4*qk^2，再得到x=((4*qk^2)^1+△)>∑[1,k.q≠q+2]q .
当 4*qk+1^2>x>4*qk^2时我们取ck=(((4*qk^2)^1+△)/∑[1,k.q≠q+2]q)/(ln((4*qk^2)^1+△))^2 .
D(x)=ck∏[p∣x,p>2]p-1/p-2( x/(lnx)^2).下面我们将给出证明.
定理五
哥德巴赫偶数定理
x=((4*qk^2)^1+1/k)，D(x)>∑[1,k.q≠q+2]q
当(4*qk+1)^2>x>(4*qk)^2时我们取ck=(((4*qk^2)^±1/k)/∑[1,k.q≠q+2]q)/(ln((4*qk^2)^1+1/k))^2 .
D(x)>ck∏[p∣x,p>2]p-1/p-2(x/(lnx)^2).
证：
前面我们已经在定理四中说过：D(4*qk^2)≈∑[1,k.q≠q+2]q.并且存在一个偶数x=(4*qk^2)^1±△，使得D(x)=∑[1,k.q≠q+2]q .这里△是未知的，它是根据等式右边的条件来决定的.
现在我们要用一个已知数a来代入等式左边的△，使得(4*qk^2)^1+a>(4*qk^2)^1±△.
我们必须使用一个通用的函数f(x)使得对于所有的(4*qk^2)^1+f(x)>(4*qk^2)^1±△都成立.但f(x)不能大于1，否则1-f(x)<0,1-f(x)不能小于0.我们代入一个函数f(x)=1/k,因为1/1=1，1-1=0，得到(4*qk^2)^0=1.令△=△1，△2，△3，...，△k.当△=△1时△1=0.353984825，而1/1=1，1>0.353984825.当△=△2时△2=0.282923909,而1/2=0.5，0.5>0.282923909.当△=△3时△3=0.147144082,而1/3=0.3333333333，0.3333333333>0.147144082.
...
当△=△k时，1/k>△k
当△=△k+1时，因为△k<1/k,这时候1/k+1的取值区间是[0,1/k]大于△k+1的取值区间[0,△k],所以1/k+1>△k+1.
当 4*qk+1^2>x>4*qk^2时,因为ck是根据1/k取值的，ck已经取得足够小，在这个范围内可以保证不会使D(x)<ck∏[p∣x,p>2]p-1/p-2(x/(lnx)^2).
这就证明了定理五.
证毕.
定理六
孪偶定理
这里qk≠qk+2是孪生素数.D((2qk)^1+1/√k)>k
证：
我们已知x=((4*qk^2)^1+1/k)，D(x)>∑[1,k.q≠q+2]q.x=(2*qk^2)1+△,T(x)=∑[1,k.q≠q+2]q
将(4*qk)^2开方=2*qk,再将1/k开方=1/√k)，再将(2*qk^2)^1+△变形成(2*qk)^1+1/√k ，这就证明了定理.
证毕.
全部证明结束.
文/施承忠
哥德巴赫偶数猜想是指：所有大于或等于4的偶数x都是x=p1+p2.p1,p2是素数.
首先不用证明我们就能得到x=a1+a2.a1,a2是奇数.
并且我们也知道它们与x/2对称，即：（x/2）±k=a1,a2.
因为这只能说明a1,a2是奇数，并不能说明a1,a2是素数，甚至不知道a1,a2中其中之一是素数.
我们知道如果a1是合数，那么a2是什么数都变的毫无意义.所以我们只要研究x-p1是素数就够了.怎么样才能保证x-p1是p2呢？这就要研究偶数x与p1的同余关系了.如果x是pk余a的数，p1也是pk余a的数，那么x-p1一定是pk的合数，所以我们必须把这些p1都去掉，剩下的p1就都是x-p1是p2了.
这样还不够，他们会说：因为x很大时，p2部分的素数会愈来愈稀疏，这样会导致x-p1都是合数，你必须保证这样的素数存在.
现在我们来证明这样的素数一定存在.
定理一
x=p1+p2中当x大于等于4时一定存在这样的素数对p1+p2.当x≥大于等于30236时一定存在这样的素数对p1+p2的D(x)≥D(hk+1)≥D(hk)≥D(30236)=218
证：
当x=pk^2+3时，x-3=pk^2,它是第一次出现x-p1是pk的合数.因为D(x)=h,x/d=h,而x-3=pk^2只有一个，故x/x=1,这样当x很大时，d/x趋向0，所以当x很大时，p2是合数比
x中的素数更稀疏，否则就不会有x愈大D(x)愈大.
现在我们具体来证明这样的存在性:在偶数过3的同余的第2个完整周期时，我们有D(8)=1,D(10)=2,D(12)=1，D(x)≥1.
当x过3，5的同余的第2个完整周期时，我们有D(x)≥D(32)=2.
当x过3，5，7的同余的第2个完整周期时，我们有D(x)≥D(332)=6.
当x过3，5，7，11，13的同余的第2个完整周期时，我们有D(x)≥D(30236)=218.
......
当x过3，5，7,...,pk的同余的第2个完整周期时，我们有D(x)≥hk≥218.
当x过3，5，7,...,pk+1的同余的第2个完整周期时，我们有D(x)≥hk+1≥hk≥218.
证毕.
我们证明这样还不够，我们还要证明比这更具体的东西.
筛法一般是指二千多年前的古希腊学者埃拉托斯特尼所创造的筛法。迄今为止许多数学家都认为这种筛法没有什么理论价值，被他们抛弃了.结果呢！抛弃了它，所作出的一切结果都难能称为筛法.他们的筛法筛出的不都是素数，而是包括了所谓的殆素数.陈景润作了最后的努力，也未能把这个殆字去掉.
那么，埃拉托斯特尼筛法真的像他们所说那么没有理论价值吗？我的回答是：非也.他们认为这样，是因为他们还没有掌握埃拉托斯特尼筛法的一些规律.
很早以前，我解决了一个筛法问题。这个问题是：
《命a1,a2,a3,...,an是n个连续的自然数.an=n^2或an=n*(n+1),则这n个自然数中至少有一个是素数》 证: 因为a1,a2,a3,...,an的全部素因子应当是p≤an^0.5. 那么它的全部最小因子应当是:1,2,3,...,n.素因子可与1,2,3,...,n中的素数对应,合数因子可与1,2,3,...,n中的合数对应,素数可以与1,2,3,...,n中除n以外的任何一个对应,那么至少与1对应的是素数.若不然,设素因子q的合数比1,2,3,...,n中的多,那么其它的都可以与1,2,3,...,n对应,这时至少有一个q因子的数与1对应,命它为a1,aq与1,2,3,...,n中素数q对应,而aq-q=a0,所以a1肯定不是q因子的数,那么它只能是素数.
证毕.
它证明了n^2到n^2+n之间一定存在一个素数.
但是这个方法始终用不到哥德巴赫偶数上来.
于是我另辟蹊径.大家都知道要筛掉x中的所有合数只要用到p≤√x就够了，那么这些p与x之间有着那样的数量关系呢？于是我用筛法证明了π(pk^2)≈1+∑[1,k]p .
这里p1,p2,p3,...,pk是所有不大于pk的素数.π(x)表不大于x的素数个数.
我们有：
定理二
施承忠大筛法素数公式
π(pk^2)≈1+∑[1,k]p （1）
证：
因为2(1+2+3+...+n)-n=n^2
这时任意一项k,1≤k≤n,都代表k个自然数.
我们将这k个自然数作一个筛法变换。这里2个1，其中一个代表自然数1，另一个代表最小偶数2，因为2只有一个因子是素数，所以保留下来。其它，如果k是合数就筛掉，因为它代表k个合数。如果k是素数,其中2个中一个是p个素数，则保留下来。另一个是p个具有最小因子p的合数被筛掉。虽然这种方法对于pk^2来说不一定存在等式关系,因为有时候会大于pk^2，有时候会小于pk^2.但是我们只要将pk扩大，那么那些项中所填的数字都是不变的.
证毕.
接下来，我们怎么能使π(x)=1+∑[1,k]p而不是π(x)≈1+∑[1,k]p呢？这办法是有的.因为π(pk^2)≈1+∑[1,k]p，那么一定存在一个x=x0,π(x0)=1+∑[1,k]p.而x0可以用(pk^2)^1±△来表示.
所以，我们就有：
π((pk^2)^1±△)=1+∑[1,k]p （2）
这里我们把pk^2称为素数奇点，把π(x)=1+∑[1,k]p的x称为素数正则点.
素数问题是解决了.但是解决哥德巴赫偶数问题就不那么简单了.因为哥德巴赫偶数问题需要两次筛法，这一点与孪生素数筛法相同.对同余筛法来说，它们也是相同的.
所以我们先来研究孪生素数问题.
定理三
施承忠大筛法孪生素数公式
这里q1,q2,q3,...,qk是所有不大于k的孪生素数,我们略去了q+2.T(x)表不大于x的孪生素数对数.
我们有：
T(2*qk^2)≈∑[1,k.q≠q+2]q (3)
证：
由施承忠大筛法素数公式知:
π(pk^2)≈1+∑[1,k]p.
因为孪生素数是指如果p是素数，那么p+2也是素数.
因为孪生素数都是奇素数，所以我们先从自然数1到qk^2中筛出π(qk^2)个素数，然后再在自然数1到qk^2+2中筛出π(qk^2+2)个素数.
这时如果π(qk^2)中一个素数p,p+2是π(pk^2+2)中的一个素数，我们就将这一对孪生素数留下，如果p+2不是π(pk^2+2)中的一个素数，我们就筛去，这样筛剩的孪生素数，就是不大于qk^2+2的所有孪生素数对,用T(qk^2+2)表示,但是我们还是习惯于用T(qk^2)来表示T(qk^2+2)，这里只相差一个常数2不影响我们对于这一问题的分析.
我们再次运用大筛法原理就会得到：
T(2*qk^2)≈∑[1,k.q≠q+2]q
这里为什么使用了2*qk^2而不是qk^2呢？那是因为它是π(qk^2)中筛出p,在π(qk^2+2)中筛出p+2所致.
证毕.
接下来，我们有着和素数一样的问题；
T((2*qk^2)^1±△)=∑[1,k.q≠q+2]q (4)
这里我们把2*qk^2称为孪生素数奇点，T(x)=∑[1,k.q≠q+2]q称为孪生素数正则点.
接下来我们就要证明哥德巴赫偶数问题了。
定理四
施承忠大筛法偶数公式
这里q1,q2,q3,...,qk是所有不大于k的孪生素数.D(x)表x的p1+p2的解的个数.
我们有：
D(4*qk^2)≈∑[1,k.q≠q+2]q (5)
证：
偶数x=p1+p2.
用D(x)表这样解数的个数.
从同余筛法来讲，孪生素数筛法是哥德巴赫偶数筛法中的一支.从实例来讲，D(x)中就有许多解数都是孪生素数的，例如：8=3+5；10=3+7,5+5；16=3+13,5+11；22=3+19,5+17,11+11；34=3+31,5+29,11+23,17+17等等.因为每一个孪生素数都是可以固定下来的，而哥德巴赫素数只能固定在某个偶数中，对所有的偶数没有通用性.所以我们只能把孪生素数的解作为一种哥德巴赫素数的参考系.因为哥德巴赫素数是我们从2*qk^2中筛出π(2*qk^2)个素数，再从2qk^2中筛出π(2*qk^2)个素数，其中一列是倒置的.这时只要在正置的一列内的一个素数p,在倒置的一列内必有一个4*qk^2-p也是素数，就留下，否则就筛去，这个是同孪生素数的筛法是一样的,而它是2*qk^2+2*qk^2=4*qk^2,其中二分之一是重解.
因为D(x)=a,有非常多个解，我们现在只取一个最大的x,因为所有大于这个数的偶数x,D(x)≠a，所以它是这个解的偶数极点.那些比它小的偶数相对是没有意义的，可以归于D(x)=a的一个解集,所以我们只要筛出所有极点，就对所有的偶数有解了.
证毕.
我们还有更一般的办法来描绘这些性状.
因为x=e^lnx
我们只要将k控制在一定范围内，那么一定有cx/(lnx)^k≥b.对于所有的数列b1,b2,b3,...,bk,不管它们的稀疏如何都可以用cx/(lnx)^k来表示.
因为D(4*qk^2)≈∑[1,k.q≠q+2]q ，那么一定存在一个△使得D((4*qk^2)^1±△)=∑[1,k.q≠q+2]q （6）
我们把D(4*qk^2)称为偶数奇点，把D((4*qk^2)^1±△)=∑[1,k.q≠q+2]q 称为偶数的正则点.
一般情况下随着4*qk^2的不断增长，△就会不断的减小，如果我们用控制△来控制c，使得c的变量控制在我们手中，我们就能得到D(x)≥cx/(lnx)^k下面我们来着手做这样的事情.
有些事情，当你开始想时，看似非常容易，而你真要着手做时，就会觉得非常之难，甚至无能为力.就像D(x)=cx/(lnx)^2中的这个系数c，看似非常容易，却是非常之难.我们从经验中得到D(x)的一个下界公式D(x)≥cx/(lnx)^2,其中c=(ln12)^2/12=0.5145634215,理由是：当x>12时，c总是震荡着上升再也不会回到这个点位了,但是拿不出有力的数学证明.就像哈代-里特尔伍德公式D(x)≈2∏[p>2]1-(1/(p-1)^2)∏[p∣x,p>2]p-1/p-2 x/(lnx)^2一样拿不出有力的数学证明，但很实用，又很不科学.
我们有一个很好的办法是这样的：根据孪生素数的分布出发，建立D(x)的奇点4*qk^2，再得到x=((4*qk^2)^1+△)>∑[1,k.q≠q+2]q .
当 4*qk+1^2>x>4*qk^2时我们取ck=(((4*qk^2)^1+△)/∑[1,k.q≠q+2]q)/(ln((4*qk^2)^1+△))^2 .
D(x)=ck∏[p∣x,p>2]p-1/p-2( x/(lnx)^2).下面我们将给出证明.
定理五
哥德巴赫偶数定理
x=((4*qk^2)^1+1/k)，D(x)>∑[1,k.q≠q+2]q
当(4*qk+1)^2>x>(4*qk)^2时我们取ck=(((4*qk^2)^±1/k)/∑[1,k.q≠q+2]q)/(ln((4*qk^2)^1+1/k))^2 .
D(x)>ck∏[p∣x,p>2]p-1/p-2(x/(lnx)^2).
证：
前面我们已经在定理四中说过：D(4*qk^2)≈∑[1,k.q≠q+2]q.并且存在一个偶数x=(4*qk^2)^1±△，使得D(x)=∑[1,k.q≠q+2]q .这里△是未知的，它是根据等式右边的条件来决定的.
现在我们要用一个已知数a来代入等式左边的△，使得(4*qk^2)^1+a>(4*qk^2)^1±△.
我们必须使用一个通用的函数f(x)使得对于所有的(4*qk^2)^1+f(x)>(4*qk^2)^1±△都成立.但f(x)不能大于1，否则1-f(x)<0,1-f(x)不能小于0.我们代入一个函数f(x)=1/k,因为1/1=1，1-1=0，得到(4*qk^2)^0=1.令△=△1，△2，△3，...，△k.当△=△1时△1=0.353984825，而1/1=1，1>0.353984825.当△=△2时△2=0.282923909,而1/2=0.5，0.5>0.282923909.当△=△3时△3=0.147144082,而1/3=0.3333333333，0.3333333333>0.147144082.
...
当△=△k时，1/k>△k
当△=△k+1时，因为△k<1/k,这时候1/k+1的取值区间是[0,1/k]大于△k+1的取值区间[0,△k],所以1/k+1>△k+1.
当 4*qk+1^2>x>4*qk^2时,因为ck是根据1/k取值的，ck已经取得足够小，在这个范围内可以保证不会使D(x)<ck∏[p∣x,p>2]p-1/p-2(x/(lnx)^2).
这就证明了定理五.
证毕.
定理六
孪偶定理
这里qk≠qk+2是孪生素数.D((2qk)^1+1/√k)>k
证：
我们已知x=((4*qk^2)^1+1/k)，D(x)>∑[1,k.q≠q+2]q.x=(2*qk^2)1+△,T(x)=∑[1,k.q≠q+2]q
将(4*qk)^2开方=2*qk,再将1/k开方=1/√k)，再将(2*qk^2)^1+△变形成(2*qk)^1+1/√k ，这就证明了定理.
证毕.
全部证明结束.
为什么π(x)和T(x)可以进行级数展开
我们知道Li(x)=∫2,x 1/lnx =（Σ2,x 1/lnx）-o(1),因为 Σ2,x 1/lnx完全可以进行 Σ1,k ckx/(lnx)^k的级数展开，所以Li(x)也完全可以进行级数展开.根据分部积分法有
Li(x)=Σ1,k ck x/(lnx)^k,其中ck=k-1!
∫2,x 1/(lnx)^2 =Σ2,k ck x/(lnx)^k,其中ck=k-1!
我们知道当x相当大时
π(x)<Li(x)和
T(x)>∫2,x 1/(lnx)^2
所以我们对它们进行级数展开时必定存在t个不变的值和s个处于变化的值.正由于这些变化的系数ck真实地反映了不同x的真实情况，并且反映了x趋于无穷的真实信息.特别是我们得到了至少有t个不变的值ck.比如π(x)中c1=1,c2=1,c3=2,c4=6,这正是Li(x)中的系数.T(x)中c2=1,因为c3还在不断的增大，当T(10^18)时c3已经达到16,而且还远不至此，所以当x趋向无穷时c3至少大于16.
随着我们计算能力的提高将有更多不变的ck诞生.所以孪生素数猜想和哥德巴赫猜想已被证明.
我们知道Li(x)=∫2,x 1/lnx =（Σ2,x 1/lnx）-o(1),因为 Σ2,x 1/lnx完全可以进行 Σ1,k ckx/(lnx)^k的级数展开，所以Li(x)也完全可以进行级数展开.根据分部积分法有
Li(x)=Σ1,k ck x/(lnx)^k,其中ck=k-1!
∫2,x 1/(lnx)^2 =Σ2,k ck x/(lnx)^k,其中ck=k-1!
我们知道当x相当大时
π(x)<Li(x)和
T(x)>∫2,x 1/(lnx)^2
所以我们对它们进行级数展开时必定存在t个不变的值和s个处于变化的值.正由于这些变化的系数ck真实地反映了不同x的真实情况，并且反映了x趋于无穷的真实信息.特别是我们得到了至少有t个不变的值ck.比如π(x)中c1=1,c2=1,c3=2,c4=6,这正是Li(x)中的系数.T(x)中c2=1,因为c3还在不断的增大，当T(10^18)时c3已经达到16,而且还远不至此，所以当x趋向无穷时c3至少大于16.
随着我们计算能力的提高将有更多不变的ck诞生.所以孪生素数猜想和哥德巴赫猜想已被证明.
@我家庄子 2016-04-16 20:28:05
楼主好！
“就像哈代-里特尔伍德公式D(x)≈2∏[p>2]1-(1/(p-1)^2)∏[p∣x,p>2]p-1/p-2 x/(lnx)^2一样拿不出有力的数学证明，但很实用，又很不科学.”
——数学工具也不是完善了之后才能实际运用的，而是在实际运用中得到完善和证明。可以这么理解吗？麻烦您细加解释一下。
-----------------------------
谢谢朋友谈论自己的看法，事实上有些问题看似简单其实却不那么简单。对于哈代-里特尔伍德公式来讲，它只是一种经验公式。因为这个公式只写了p-1/p-2这一部分的震荡，而2∏[p>2]1-(1/(p-1)^2)中就没有震荡，这与实际是不符的。实际上2∏[p>2]1-(1/(p-1)^2)这一部分也应该是震荡的。我用了区间系数ck来代替它，纠正了这方面的缺陷。你的看法如何，请指教！
楼主好！
“就像哈代-里特尔伍德公式D(x)≈2∏[p>2]1-(1/(p-1)^2)∏[p∣x,p>2]p-1/p-2 x/(lnx)^2一样拿不出有力的数学证明，但很实用，又很不科学.”
——数学工具也不是完善了之后才能实际运用的，而是在实际运用中得到完善和证明。可以这么理解吗？麻烦您细加解释一下。
-----------------------------
谢谢朋友谈论自己的看法，事实上有些问题看似简单其实却不那么简单。对于哈代-里特尔伍德公式来讲，它只是一种经验公式。因为这个公式只写了p-1/p-2这一部分的震荡，而2∏[p>2]1-(1/(p-1)^2)中就没有震荡，这与实际是不符的。实际上2∏[p>2]1-(1/(p-1)^2)这一部分也应该是震荡的。我用了区间系数ck来代替它，纠正了这方面的缺陷。你的看法如何，请指教！
因为从c1到c13都小于0.5145634215
所以4≤x≤145922
D(x)>[∏[p∣x,p>2]p-1/p-2] 0.5145634215x/(lnx)^2
所以4≤x≤145922
D(x)>[∏[p∣x,p>2]p-1/p-2] 0.5145634215x/(lnx)^2
D(x)的奇点函数
D(x)的奇点函数是指x=(4*qk^2)^1+1/k
这里qk是指第k个孪生素数qk，不包括(qk)+2
这时候D(x)一定大于∑[1,k.q≠q+2]q
下面是几个例子
q1=3
【∑[1,k.q≠q+2]q】=3
4*3^2=36
1/1=1
36^2=1296
D(1296)=49>3
q2=5
【∑[1,k.q≠q+2]q】=8
4*5^2=100
1/2=0.5
100^1.5=1000
D(1000)=28>8
q3=11
【∑[1,k.q≠q+2]q】=19
4*11^2=484
1/3=0.3333333333
484^1.3333333333=3800
D(3800)=70>19
q4=17
【∑[1,k.q≠q+2]q】=36
4*17^2=1156
1/4=0.25
1156^1.25=6740
D(6740)=94>36
q5=29
【∑[1,k.q≠q+2]q】=65
4*29^2=3364
1/5=0.2
3364^1.2=17069
D(17070)=386>65
D(x)的奇点函数是指x=(4*qk^2)^1+1/k
这里qk是指第k个孪生素数qk，不包括(qk)+2
这时候D(x)一定大于∑[1,k.q≠q+2]q
下面是几个例子
q1=3
【∑[1,k.q≠q+2]q】=3
4*3^2=36
1/1=1
36^2=1296
D(1296)=49>3
q2=5
【∑[1,k.q≠q+2]q】=8
4*5^2=100
1/2=0.5
100^1.5=1000
D(1000)=28>8
q3=11
【∑[1,k.q≠q+2]q】=19
4*11^2=484
1/3=0.3333333333
484^1.3333333333=3800
D(3800)=70>19
q4=17
【∑[1,k.q≠q+2]q】=36
4*17^2=1156
1/4=0.25
1156^1.25=6740
D(6740)=94>36
q5=29
【∑[1,k.q≠q+2]q】=65
4*29^2=3364
1/5=0.2
3364^1.2=17069
D(17070)=386>65
q6=41
【∑[k=1,6.q≠q+2]qk】=106
4*41^2=6724
1/6=0.1666666667
6724^1.1666666667=29212
D(29212)=241>106
q7=59
【∑[k=1,7.q≠q+2]qk】=165
4*59^2=13924
1/7=0.1428571429
13924^1.1428571429=54416
D(54416)=386>165
q8=71
【∑[k=1,8.q≠q+2]qk】=236
4*71^2=20164
1/8=0.1250000000
20164^1.125=69606
D(69606)=897>236
q9=101
【∑[k=1,9.q≠q+2]qk】=337
4*101^2=40804
1/9=0.1111111111
40804^1.1111111111=132740
D(132740)=979
q10=107
【∑[k=1,10.q≠q+2]qk】=444
4*107^2=45796
1/10=0.1
45796^1.1=133940
D(133940)=1060
【∑[k=1,6.q≠q+2]qk】=106
4*41^2=6724
1/6=0.1666666667
6724^1.1666666667=29212
D(29212)=241>106
q7=59
【∑[k=1,7.q≠q+2]qk】=165
4*59^2=13924
1/7=0.1428571429
13924^1.1428571429=54416
D(54416)=386>165
q8=71
【∑[k=1,8.q≠q+2]qk】=236
4*71^2=20164
1/8=0.1250000000
20164^1.125=69606
D(69606)=897>236
q9=101
【∑[k=1,9.q≠q+2]qk】=337
4*101^2=40804
1/9=0.1111111111
40804^1.1111111111=132740
D(132740)=979
q10=107
【∑[k=1,10.q≠q+2]qk】=444
4*107^2=45796
1/10=0.1
45796^1.1=133940
D(133940)=1060
这是两个独立的函数，它们构成了哥德巴赫偶数猜想的一个不等式.
D((4*qk^2)^1+1/k)>∑[1,k.q≠q+2]qk
我为你作出上面的不等式，你就只要有一点点孪生素数知识，就可以得到不等式两端的数值。
D((4*qk^2)^1+1/k)>∑[1,k.q≠q+2]qk
我为你作出上面的不等式，你就只要有一点点孪生素数知识，就可以得到不等式两端的数值。
q11=137
【∑[k=1,11.q≠q+2]qk】=581
4*137^2=75076
1/11=0.0909090909
75076^1.0909090909=208318
D(208318)=1315>581
q12=149
【∑[k=1,12.q≠q+2]qk】=730
4*149^2=88804
1/12=0.0833333333
88804^1.0833333333=229510
D(229510)=1625>730
q13=179
【∑[k=1,13.q≠q+2]qk】=909
4*179^2=128164
1/13=0.0769230769
128164^1.0769230769=316716
D(316716)=3141>909
q14=191
【∑[k=1,14.q≠q+2]qk】=1100
4*191^2=145924
1/14=0.0714285714
145924^1.0714285714=341187
D(341188)=1688>1100
q15=197
【∑[k=1,15.q≠q+2]qk】=1297
4*197^2=155236
1/15=0.0666666667
155236^1.0666666667=344396
D(344396)=1862>1297
【∑[k=1,11.q≠q+2]qk】=581
4*137^2=75076
1/11=0.0909090909
75076^1.0909090909=208318
D(208318)=1315>581
q12=149
【∑[k=1,12.q≠q+2]qk】=730
4*149^2=88804
1/12=0.0833333333
88804^1.0833333333=229510
D(229510)=1625>730
q13=179
【∑[k=1,13.q≠q+2]qk】=909
4*179^2=128164
1/13=0.0769230769
128164^1.0769230769=316716
D(316716)=3141>909
q14=191
【∑[k=1,14.q≠q+2]qk】=1100
4*191^2=145924
1/14=0.0714285714
145924^1.0714285714=341187
D(341188)=1688>1100
q15=197
【∑[k=1,15.q≠q+2]qk】=1297
4*197^2=155236
1/15=0.0666666667
155236^1.0666666667=344396
D(344396)=1862>1297
q16=227
【∑[k=1,16.q≠q+2]qk】=1524
4*227^2=206116
1/16=0.0625000000
206116^1.0625=442836
D(442836)=4131>1524
q17=239
【∑[k=1,17.q≠q+2]qk】=1763
4*239^2=228484
1/17=0.0588235294
228484^1.0588235294=472152
D(472152)=4325>1763
q18=269
【∑[k=1,18.q≠q+2]qk】=2032
4*269^2=289444
1/18=0.0555555556
289444^1.0555555556=582082
D(582082)=2600>2032
q19=281
【∑[k=1,19.q≠q+2]qk】=2313
4*281^2=315844
1/19=0.0526315789
315844^1.0526315789=615061
D(615062)=3231>2313
q20=311
【∑[k=1,20.q≠q+2]qk】=2624
4*311^2=386884
1/20=0.05
386884^1.05=736138
D(736138)=3632>2624
【∑[k=1,16.q≠q+2]qk】=1524
4*227^2=206116
1/16=0.0625000000
206116^1.0625=442836
D(442836)=4131>1524
q17=239
【∑[k=1,17.q≠q+2]qk】=1763
4*239^2=228484
1/17=0.0588235294
228484^1.0588235294=472152
D(472152)=4325>1763
q18=269
【∑[k=1,18.q≠q+2]qk】=2032
4*269^2=289444
1/18=0.0555555556
289444^1.0555555556=582082
D(582082)=2600>2032
q19=281
【∑[k=1,19.q≠q+2]qk】=2313
4*281^2=315844
1/19=0.0526315789
315844^1.0526315789=615061
D(615062)=3231>2313
q20=311
【∑[k=1,20.q≠q+2]qk】=2624
4*311^2=386884
1/20=0.05
386884^1.05=736138
D(736138)=3632>2624
@北国真之春 2016-04-22 10:46:41
数学是基础科学，他的存在，就是为其它各学科服务的。
如果达不到为其它的学科服务的目的，其实根本没有必要花那么多的心血去证明。
当年，陈景润用了毕生的精力去证明这玩意，其实，最后没一点用处，这种体制内的数学家，就是拿着国家的俸禄，辛辛苦苦了一辈子，而没有对社会和人类做任何贡献。
不好意思，我教了一辈子数学，还是不知道这哥德巴赫猜想有何意义.可能是还没达到那种高人的思想境界，也或许我们......
-----------------------------
世界上你不想做的事情总是有人会去做，你认为没有用处的东西会有人认为有用处。
数学是基础科学，他的存在，就是为其它各学科服务的。
如果达不到为其它的学科服务的目的，其实根本没有必要花那么多的心血去证明。
当年，陈景润用了毕生的精力去证明这玩意，其实，最后没一点用处，这种体制内的数学家，就是拿着国家的俸禄，辛辛苦苦了一辈子，而没有对社会和人类做任何贡献。
不好意思，我教了一辈子数学，还是不知道这哥德巴赫猜想有何意义.可能是还没达到那种高人的思想境界，也或许我们......
-----------------------------
世界上你不想做的事情总是有人会去做，你认为没有用处的东西会有人认为有用处。
q21=347
【∑[k=1,21.q≠q+2]qk】=2971
4*347^2=481636
1/21=0.0476190476
481636^1.0476190476=898099
D(898100)=5929>2971
q22=419
【∑[k=1,22.q≠q+2]qk】=3390
4*419^2=702244
1/22=0.0454545455
702244^1.0454545455=1294903
D(1294904)=5449>3390
q23=431
【∑[k=1,23.q≠q+2]qk】=3821
4*431^2=743044
1/23=0.0434782609
743044^1.0434782609=1337445
D(1337446)=5766>3821
q24=461
【∑[k=1,24.q≠q+2]qk】=4282
4*461^2=850084
1/24=0.0416666667
850084^1.0416666667=1501491
D(1501492)=5646>4282
q25=521
【∑[k=1,25.q≠q+2]qk】=4803
4*521^2=1085764
1/25=0.04
1085764^1.04=1893062
D(1893062)=7325>4803
【∑[k=1,21.q≠q+2]qk】=2971
4*347^2=481636
1/21=0.0476190476
481636^1.0476190476=898099
D(898100)=5929>2971
q22=419
【∑[k=1,22.q≠q+2]qk】=3390
4*419^2=702244
1/22=0.0454545455
702244^1.0454545455=1294903
D(1294904)=5449>3390
q23=431
【∑[k=1,23.q≠q+2]qk】=3821
4*431^2=743044
1/23=0.0434782609
743044^1.0434782609=1337445
D(1337446)=5766>3821
q24=461
【∑[k=1,24.q≠q+2]qk】=4282
4*461^2=850084
1/24=0.0416666667
850084^1.0416666667=1501491
D(1501492)=5646>4282
q25=521
【∑[k=1,25.q≠q+2]qk】=4803
4*521^2=1085764
1/25=0.04
1085764^1.04=1893062
D(1893062)=7325>4803
q26=569
【∑[k=1,26.q≠q+2]qk】=5372
4*569^2=1295044
1/26=0.0384615385
1295044^1.0384615385=2225217
D(2225218)=7985>5372
q27=599
【∑[k=1,27.q≠q+2]qk】=5971
4*599^2=1435204
1/27=0.0370370370
1435204^1.0370370370=2426316
D(2426316)=18409>5971
q28=617
【∑[k=1,28.q≠q+2]qk】=6588
4*617^2=1522756
1/28=0.0357142857
1522756^1.0357142857=2531853
D(2531854)=9768>6588
q29=641
【∑[k=1,29.q≠q+2]qk】=7229
4*641^2=1643524
1/29=0.0344827586
1643524^1.0344827586=2692236
D(2692236)=18936>7229
q30=659
【∑[k=1,30.q≠q+2]qk】=7888
4*659^2=1737124
1/30=0.0333333333
1737124^1.0333333333=2804304
D(2804304)=20055>7888
【∑[k=1,26.q≠q+2]qk】=5372
4*569^2=1295044
1/26=0.0384615385
1295044^1.0384615385=2225217
D(2225218)=7985>5372
q27=599
【∑[k=1,27.q≠q+2]qk】=5971
4*599^2=1435204
1/27=0.0370370370
1435204^1.0370370370=2426316
D(2426316)=18409>5971
q28=617
【∑[k=1,28.q≠q+2]qk】=6588
4*617^2=1522756
1/28=0.0357142857
1522756^1.0357142857=2531853
D(2531854)=9768>6588
q29=641
【∑[k=1,29.q≠q+2]qk】=7229
4*641^2=1643524
1/29=0.0344827586
1643524^1.0344827586=2692236
D(2692236)=18936>7229
q30=659
【∑[k=1,30.q≠q+2]qk】=7888
4*659^2=1737124
1/30=0.0333333333
1737124^1.0333333333=2804304
D(2804304)=20055>7888