筛函数数学表达式
由WHS筛法原理可以推导出如下筛函数数学表达式：
S2(X)jp=1.5N/(lnX1*lnX2)--------不能被6整除的偶数，
S2(X)jp=3N/(lnX1*lnX2)--------能被6整除的偶数，
式中：S2(X)jp--------------待验证区间全部偶数的素数对计算平均值，
N------------------WHS筛的规模(大数区间含自然数的数量N=X1-A),
X1-----------------大偶数值(待验证大偶数区间的起始数值），
X2-----------------较小数区间数值。
且 X1-X2>N, X2≥N
例:验证区间 偶数哥猜成立 ，式中X1=10^23 ，N=10000X2=1200000
S2(X)jp=1.5N/(lnX1*lnX2)=1.5*10000/(ln10^23*ln1200000)=20.23--------不能被6整除的偶数，
S2(X)jp=3N/(lnX1*lnX2)=3*10000/(ln10^23*ln1200000)=40.46--------能被6整除的偶数，
上面的计算结果说明区间内全部偶数哥猜验证均成立。
即区间[（10^23-10000）,10^23]的全部素数和区间全部素数组合，能够验证至少595000个连续大偶数（偶数≥10^23以上）哥猜成立。
对任意偶数哥猜验证，当X1,X2确定 ，只要确定一个合适的N值，就可以验证哥猜成立。
我2018.6.7发表的帖子验证了比99999998172001大的60万个连续偶数哥猜成立。实际可以验证的范围更大，这只要适当调整N值即可。
例1，如将N=4000，就可以验证比99999998172001大1000万的60万个连续偶数哥猜成立。
此时，S2(X)jp=1.5N/(lnX1*lnX2)=1.5*4000/(ln10^15*ln10000000)=10.78
筛出实际值S2(X)jps=11.83
例,2，如将N=5328，就可以验证比99999998172001大1亿的60万个连续偶数哥猜成立。
此时S2(X)jp=1.5N/(lnX1*lnX2)=1.5*5328/(ln10^15*ln100000000)=12.56
筛出实际值S2(X)jps=13.54
下面分别给出验证的局部:
例1,2018.6.23c5png, 2018.6.23c7png
例2,2018.6.23bpng, 2018.6.23b2png
本帖最后由 lkPark 于 2018-6-29 09:24 编辑
qhdwwh 发表于 2018-6-29 08:22
我2018.6.7发表的帖子验证了比99999998172001大的60万个连续偶数哥猜成立。实际可以验证的范围更大， ...
哥猜没被你证明成立，你却用素数定理搞了个哥猜解计算式就反向证明了哥猜成立？这逻辑何在？N是连续的，你自认为这就是哥猜成立的前提，你有病吗？按照现代数论来讲你的式子只能表示N內上的素数个数当中的等比例素数个数的二分之一，该值仍然只是表示了N内上的素数个数的部分素数个数，请问这部分素数个数和2N对应的哥猜解的部分素数的个数是同一回事吗？素数个数能决定其修饰的素数的量吗？蠢绿？
所有使用计算机统计的数值得出的结果，只能作为证明的一个参考。但不能代替从数学逻辑关系去证明哥德巴赫猜想的证明。
从数学逻辑关系去证明哥德巴赫猜想的证明，是唯一的数学证明方法。
zengyong 发表于 2018-6-30 04:48
所有使用计算机统计的数值得出的结果，只能作为证明的一个参考。但不能代替从数学逻辑关系去证明哥德巴赫猜 ...
您是明白人，
从数学逻辑关系去证明哥德巴赫猜 ...
说的好啊.
zengyong 发表于 2018-6-30 04:48
所有使用计算机统计的数值得出的结果，只能作为证明的一个参考。但不能代替从数学逻辑关系去证明哥德巴赫猜 ...
所有使用计算机统计的数值得出的结果，只能作为证明的一个参考
您说的太漂亮了。这里有的网友还再一直计算偶数表为两素数和的对数，
我感觉对自己证明是阻碍，浪费自己的时间，影响积极思考证明的思路。
图解计算
验证一个区间偶数哥猜成立
实例：一个需要筛选的集合： ，
作为筛选标准的“筛孔”（即一系列素数的集合）：｛P∣} 集合中有1951957个素数（“筛孔”），
筛出给定的需要筛选的集合中的全部素数：即区间筛出的全部素数为7443个。
说明一下，虽然筛选的集合有252000个数，但每个素数只筛一次，经1951957个素数，每个素数只筛一次后，所有素数的代码均排列在数轴上，每个素数经简单计算即可得出。
将区间 的7443个素数组合，可以筛出1999999996092004的161个素数对（筛出实际值S2(X)jps）。见2018.3.30发帖 图2018.3.30jpg。
根据筛函数数学式得 S2(X)jp=1.5N/(lnX1*lnX2)=1.5*126000/(ln10^15*ln10^15)=158.4
可见本例：筛出实际值S2(X)jps≈计算平均值S2(X)jp
通过上面几个帖子和本帖，明显可见，只要找到10的15次方内的全部素数，就可以验证区间 的全部偶数哥猜均成立。
上面的验证都是用WHS筛法完成的，即全部的素数，偶数的素数对等完全用我原创的WHS筛法(位置筛法）筛出。限于我用的计算机和软件，我只能验证到2*10^15-252000大的偶数。
用同样的方法，我们可以验证区间 的全部偶数哥猜均成立。
由此，取N=10000
根据筛函数数学式得 S2(X)jp=1.5N/(lnX1*lnX2)=1.5*10000/(ln10^23*ln1260000)=20.16
如取N=126000,根据筛函数数学式得 S2(X)jp=1.5N/(lnX1*lnX2)=1.5*126000/(ln10^23*ln10^23)=67.4
计算结果说明，验证区间 的全部偶数哥猜均成立。
实际情况如何，只有通过验证。如果中科院数学所能提供数据，我相信验证一定会成功。
同样，其它任何偶数哥猜验证也均成立。
lkPark 发表于 2018-6-29 08:51
哥猜没被你证明成立，你却用素数定理搞了个哥猜解计算式就反向证明了哥猜成立？这逻辑何在？N是连续的 ...
此贴也只能在有限可验证范围內讨论1/㏑N式。在无限域它不成立与素数分布相关。
1.偶数哥德巴赫分拆数的下限数学表达式，是以最简洁的数学式，阐明一个数学规律。
证明了偶数哥德巴赫猜想成立。
2.奇数哥德巴赫猜想数学解析式 G3(x)=G2(x-3)+G2(x-5)+......+G2(x-pi)=∑G2(x-pi) i=2......i ，
证明了奇数哥德巴赫猜想成立。
3.筛函数数学表达式S2(X)jp=1.5N/(lnX1*lnX2),------不能被6整除的偶数，
S2(X)jp=3N/(lnX1*lnX2),------能被6整除的偶数，
验证偶数哥德巴赫猜想成立的数学表达式。
该数学式表明，只要适当选择筛函数的自变量N,X1,X2就可以验证一个区间的偶数哥德巴赫猜想成立。且对每一个筛函数组合，虽然偶数素数对组合不同，但验证一个区间的偶数哥德巴赫猜想成立是等效的。比如要验证10亿附近偶数哥猜成立，可以选择X2=9亿，X1=1亿；X2=8亿，X1=2亿；X2=5亿，X1=5亿；等等。因为验证哥猜成立，只要找到一个以上素数对即可，所以验证非常简单，快捷，准确。不用大的N值，就可以验证非常大的偶数哥猜成立。比如验证10^23大的偶数，WHS筛的规模N=10000就可以了。
4.图解计算------验证一个区间偶数哥猜成立的-代码运算及复原素数对，
图解计算是WHS筛的应用之一，可以验证一个区间偶数哥猜成立，给出每个要验证偶数的素数对数，和素数对的数值。素数对显示直观，容易理解，数据量大。
5.WHS筛法：
筛出自然数子区间的素数，
筛出偶数的哥德巴赫分拆数，
验证一个，几个，或一个自然数区间内偶数哥猜成立，
用WHS筛法筛出孪生素数，四连素数，和筛出大偶数完全由孪生素数构成的素数对等。
我用了十二年以上的时间，主要做了以上五项工作。我认为对于数论问题，证明是非常重要的，但验证也同样重要。验证是对哥猜研究的细化，对偶数哥德巴赫分拆数规律研究的细化，即一个个地看偶数哥德巴赫分拆数没有规律，但从总体上看，偶数哥德巴赫分拆数有规律可询，可以找到偶数哥德巴赫分拆数的下限，由此可以判定偶数哥德巴赫猜想成立。