我证明了哥德巴赫猜想成立，再次征求对G2(x)>0.5x/(lnx)^2数学式证伪

qhdwwh

                                    我证明了哥德巴赫猜想成立，再次征求对G2(x)>0.5x/(lnx)^2数学式证伪
一，我证明了哥德巴赫猜想成立。
我创建了WHS筛法，该筛法和全新奇妙数学思路的巧妙结合得出了任何≥10的偶数x其哥德巴赫分拆数（二个素数之和等于该偶数的素数对数）的数学表达式，即G2(x)>0.5x/(lnx)^2，显而易见，0.5x/(lnx)^2为该偶数哥德巴赫分拆数的下限，则哥德巴赫分拆数的下限>0，对小偶数6和8都可找到一个素数对，因此对大于4的任何偶数哥德巴赫猜想成立。

二，二个数学式的比较
   1）数学家陈景润1966年发表《大偶数表为一个素数及一个不超过二个素数的乘积之和》(简称"1+2")，成为哥德巴赫猜想研究上的里程碑。他所发表的成果也被称之为陈氏定理。

陈氏定理x(1,2)≥0.67xCx/(logx)^2
命Cx=∏(p-1)/(p-2)∏(1-1/(p-1)^2)
             p|x           p>2
             p>2
该定理解决了"1+2"。
   我提出偶数哥德巴赫分拆数G2(x)>0.5x/(lnx)^2数学式，(以下简称WHS不等式)解决的是"1+1"。
   2）二个数学式的基本形式相似，不同的是陈氏定理有系数项Cx。
   3）二个数学式计算值比较
   陈氏定理系数项Cx（拉曼纽扬系数)按浙江大学陆元鸿教授和elim先生的解答计算，(见我2015.3.10在数学中国哥德巴赫猜想栏的帖子；陈氏定理验证实例和WHS筛法验证实例,及结果比较, pAq先生的回复部分)。
   我选取如下30个偶数做计算值比较。

29998        30000        30002
30004        30006        30008
30010        30012        30014
30016        30018        30020
30022        30024        30026
30028        30030        30032
30034        30036        30038
30040        30042        30044
30046        30048        30050
30052        30054        30056
               
   其中如下10个偶数，陈氏定理的计算值小于WHS不等式计算值
29998        30004        30014        30022        30026
30028        30032        30034        30038        30046
                               
   再选取如下30个偶数做计算值比较
40000        40002        40004
40006        40008        40010
40012        40014        40016
40018        40020        40022
40024        40026        40028
40030        40032        40034
40036        40038        40040
40042        40044        40046
40048        40050        40052
               
   其中如下12个偶数，陈氏定理的计算值小于WHS不等式计算值
40004        40006        40016        40022        40024        40028
40034        40036        40042        40046        40048        40058

   二次共选取60个偶数，二个数学式计算值比较结果如下:
60个偶数中有22个偶数其陈氏定理的计算值小于WHS不等式计算值,约占比=22/60=36.7%
我们可以计算陈氏定理的计算值小于WHS不等式计算值的偶数部分约占全部偶数的百分比=（1-1/3）*（1-1/5）*（1-1/7）*（1-1/11）*（1-1/13）=38.4%，这表明约有38.4%的偶数陈氏定理"1+2"的计算值小于WHS不等式"1+1"计算值
众所周知"1+2"的集合包含"1+1"的集合，即"1+2"计算值应该大于"1+1"计算值，

上面的结果说明了陈氏定理误差较大，有瑕疵，还不够理想。

   三关于哥德巴赫猜想成立的验证。
   定理一方面要能够证明，同时也应该能够验证。对于数论问题，验证更显重要，270多年来人们做了大量验证工作。
   与不少数学猜想一样，数值上的验证也是哥德巴赫猜想的重要一环。1938年，尼尔斯·皮平（Nils Pipping）验证了所有小于的偶数[17]。1964年，M·L·斯坦恩和P·R·斯坦恩验证了小于的偶数[18]，1989年，A·格兰维尔将验证范围扩大到[19]。1993年，Matti K. Sinisalo验证了以内的偶数[20]。2000年，Jörg Richstein验证了以内的偶数[21]。至2012年2月为止，数学家已经验证了以内的偶数[22]，在所有的验证中，没有发现偶数哥德巴赫猜想的反例。
   用WHS筛法中的素数对位置三筛法，可以将连续偶数的全部素数对展示在平面网络中，设偶数为x，那么要将[10，x]区间偶数的全部素数对展示在平面网络中，网络的行数有x/3行，列数有1.5*π(x）之多,从理论上说，区间偶数的全部素数对展示在平面网络中对任何偶数都适用，但当x值很大时，实际上却做不到，（即使把全世界的计算机都用上），

   偶数哥德巴赫分拆数G2(x)>0.5x/(lnx)^2数学式，表明当偶数x很大时G2(x)值也很大，要找到x少量的素数对并不难，这已经验证了哥德巴赫猜想成立。
    用WHS筛法我们可以验证任何大偶数（或一个区间的偶数），验证过程简单明了，不需复杂计算。在我前面发表的帖子中做了大量验证，如验证一个大偶数，用序数和法就可以找到一个大偶数几百几千或更多的以致全部素数对。如用四筛法，可以一次找出126000个连续偶数的至少一个以上的素数对，验证了对这些偶数哥德巴赫猜想成立。这二个筛法使哥德巴赫猜想成立的验证简单化，要比寻找大素数容易多了。可以说，只要能找到[10，x]区间的素数，那么就能验证比2x稍小的全部偶数哥德巴赫猜想成立。

      有资料表明人们找到10的23次方内的素数，
x=10,     4;
x=10^2,   25;
x=10^3,   168;
x=10^4,   1229;
x=10^5,   9592;
x=10^6,   78498,
x=10^7,   664579,
x=10^8,   5761455,
x=10^9,   50847534,;
x=10^10,  455052511,
x=10^11,  4118054813,
x=10^12,  37607912018 ,
x=10^13,  346065536839 ,
x=10^14,  3204941750802
x=10^15,  29844570422669 ,
x=10^16   279238341033925,
x=10^17,  2623557157654233,
x=10^18,  24739954287740860,
x=10^19,  234057667276344607,
x=10^20,  2220819602560918840,
x=10^21,  21127269486018731928 ,
x=10^22,  201467286689315906290,
x=10^23,  1925320391606803968923,…

如果中科院数学所给出10^23内任何一个自然数区子间（包含252000个自然数）内的全部素数，那么我用序数和法可以找到比给出最大素数大1到19999999的任何偶数的素数对300个以上。用素数对四筛法，可以一次验证比给出最大素数大1到252001的126000个偶数哥猜成立。
筛法验证大偶数（或一个区间）哥猜成立，只需复制代码到网络的合适位置，或者进行代码间的简单运算即可，即使对1000多位偶数验证也是如此简单，高效。

王元说：“充分大是一个界线，.....这个充分大可以算出来，是10的1000多次方，......”

如果有人（或单位）能给出10的1000多次方自然数区间（包含300000个自然数）的全部素数，我可以验证相应的150000个连续偶数哥猜成立。
实际上，只要满足一定条件，验证任何一个大偶数（或一个自然数区间的全部偶数）哥猜成立并不难，依此，可以肯定地说，对相邻偶数验证，哥猜也成立。

   总之，我用WHS筛法中的素数位置双筛法和素数对位置三筛法与全新奇妙数学思路的巧妙结合，得出了偶数x哥德巴赫分拆数G2(x)>0.5x/(lnx)^2这一数学式，证明了哥德巴赫猜想成立。用WHS筛法的序数和法，素数对位置四筛法，可以验证任何一个大偶数或一个自然数子区间全部偶数哥德巴赫猜想均成立。为验证哥德巴赫猜想找到一个简单易行的好方法。
我证明了哥德巴赫猜想成立。
270多年来，人们做了哥猜成立的大量验证工作。中科院数学所有丰富的科研资料。特此，向中科院数学所，数学教学科研单位，及数学爱好者，再次征求对G2(x)>0.5x/(lnx)^2数学式证伪。