再次申明我证明了哥德巴赫猜想成立

qhdwwh

                 再次申明我证明了哥德巴赫猜想成立

    哥德巴赫猜想：1任一大于2的偶数都可写成两个素数之和。

                         2任一大于7的奇数都可写成三个素数之和.
    依猜想有  4=2+2  6=3+3  8=3+5
    对于偶数X≥10,则有偶数其哥德巴赫分拆数下限值G2（x）>0.5x/(lnx)^2，该数学式表达的是一个单调增函数，且永远大于0。因此哥德巴赫猜想1成立。
    又任一大于7的奇数都可以写成一个奇素数和一个偶数之和（如9=3+6，11=3+8……），大于4的任一偶数都可写成两个素数之和，所以，任一大于7的奇数都可写成三个素数之和。因此哥德巴赫猜想2成立。
    结论哥德巴赫猜想成立。

    证明依据1949年匈牙利数学家保罗·艾狄胥和挪威数学家阿特利·西尔伯格证明的素数定理π(x)≈x/ln x，其中ln x为x的自然对数。意思是当x趋近∞，π(x) 和x/ln x的比趋近1。且该比值从大于1趋近1，实际,当x>10,π(x)>x/ln x。

    下面的表格图一摘自维基百科。
图一


    由图一显见,当x>10有π(x)>x/ln x。且｛x/lnx｝∈｛π(x)｝意思是按x/lnx数学式找到的素数集合都包含在实有的素数集合中。

    哥德巴赫猜想1的简略证明：
    设函数y=f(x)=x/lnx   在此称基准函数，即指符合该数学式的素数（如p=2,3,5,7,11......)数量和自然数x的函数关系。
    全部素数中，素数2因为是偶数，只构成一个素数对即4=2+2，不能和其它奇素数构成偶数的素数对，故做为特例，在后面的研讨中均不考虑。其余素数相互组合和自身组合能构成偶数的素数对的数量，按基准函数计算有：
    1）由二个奇素数组合成一个偶数的素数对时，素数对总数为n1=(x/lnx-1)*(x/lnx-2)/2
    2）由奇素数自身相加构成偶数时，素数对的总数为n2=x/lnx-1
则由奇素数构成偶数的素数对总数为：
       n=n1+n2
        =(x/lnx-1)*(x/lnx-2)/2+x/lnx-1
        =（(x/lnx*x/lnx-3x/lnx+2+2x/lnx-2)）/2
        =0.5(x/lnx*x/lnx-x/lnx)
        =0.5x/lnx*(x/lnx-1)
上面的素数对数，构成了偶数2x内全部的素数对，在2x内有偶数x个，偶数平均有素数对=0.5x/lnx*(x/lnx-1)/x
  =0.5x/lnx*x/lnx/x-0.5x/lnx/x
  =0.5x/lnx/lnx-0.5/lnx
式中0.5/lnx数值很小，可忽略不计，
则偶数平均有素数对（偶数素数对平均值）=0.5x/lnx/lnx
                                      =0.5x/（lnx）^2。


      由WHS筛法可见(参照下图2），由x内的全部素数构成了2x内的偶数，其素数对构成展示在表格中，表格的上半部分展示了偶数x(x为≥10的任何偶数)内全部偶数的哥德巴赫分拆数构成，是完整的。下半部分展示了偶数x+2至2x内全部偶数的哥德巴赫分拆数的部分构成，是不完整的。容易证明，且明显可见上半部分素数对的总数大于下半部分素数对的总数，因此上半部分偶数素数对平均值大于2x内的偶数素数对平均值0.5x/lnx/lnx.
      按基准函数y=f(x)=x/lnx产生的素数构成素数对时，有上半部分偶数[10，x]素数对平均值大于[10,2x]内的偶数素数对平均值0.5x/lnx/lnx.
      上半部分偶数[10，x]素数对平均值如用G2[10，x]pj表示，则有：
                                    G2[10，x]pj>0.5x/lnx/lnx.
      研究由基准函数生成的函数（可称均值基准函数）Y1=0.5x/lnx/lnx，1.该函数是平均值函数，2.当x≥10时，是单调增函数。用G2(x)jz表示均值基准函数中偶数x的哥德巴赫分拆数，可以证明
                      G2(x)jz.>G2[10，x]pj>0.5x/lnx/lnx.
     用G2(x)表示实际偶数x的哥德巴赫分拆数，∵x>10有｛x/lnx｝∈｛π(x)｝，∴G2(x)≥G2(x)jz>0.5x/lnx/lnx.
又4=2+2,6=3+3,8=3+5当偶数x为大于ˎ等于10的任何偶数时，其哥德巴赫分拆数下限值G2（x）>0.5x/(lnx)^2，该数学式表达的是一个单调增函数，且永远大于0。因此哥德巴赫猜想1成立。

      证明用WHS筛法为工具，找到素数在二个数列中的一般规律，及素数对构成在偶数中的一般规律，这需要了解WHS筛法，要讲请WHS筛法大概要10多个小时。因此，本文无法给出，
      下图是WHS三筛法实例，是从[10,46504]偶数哥德巴赫分拆数筛（文件达200M字节以上）上取的局部。上半部分给出[10,188]区间全部偶数的哥德巴赫分拆数，下半部分素数对不完整。图中单元格中的1表示素数，代表1个素数对组合或1个素数对排列，0表示素数与合数的组合，共三个表格，每个表格最后一列数标明的是偶数值如10,16,22……偶数值前面一列数表明对应偶数的哥德巴赫分拆数值如2,2,3……。该图可帮助理解哥德巴赫猜想1成立的证明。
图二

      总之，运用数论，集合，极限，WHS筛法等，可以得出X≥10的任意偶数哥德巴赫分拆数下限式G2（x）>0.5x/(lnx)^2,这个简明数学式。因此哥德巴赫猜想成立。

      2015年7月,我在网上发表了该数学式至今已一年以上，征求该数学式不成立的反例，至今没有证伪的实例出现。当然证伪还可以继续，欢迎科学共同体，数学爱好者，并通过互联网向德国ˎ英国ˎ美国等国际数学界征求该数学式不成立的反例。本人确信，不会有证伪的实例出现。

qhdwwh

leisurely

认可。支持！
支持这事我是认真的。
但人微言轻╭(╯ε╰)╮
只看结论，没看到全文，但相信你是对的。因为那个下限公式。系数至少可以加到0.6

WHS筛法是个什么？你的还是官方的，要是你的，能否单独拿出来送审，把哥猜当附属品。

谢谢你的参与和支持！

下限公式。系数至少可以加到0.6，请参考如下验证:G2（x）>0.5x/(lnx)^2
  当x=12    0.5x/(lnx)^2=0.972        G2（x）=1    G2（x）>0.5x/(lnx)^2      成立  
                0.6x/(lnx)^2=1.167                           G2（x）>0.6x/(lnx)^2      不 成立
当x=68    0.5x/(lnx)^2=1.91           G2（x）=2    G2（x）>0.5x/(lnx)^2      成立  
               0.6x/(lnx)^2=2.29                              G2（x）>0.6x/(lnx)^2      不 成立
验证说明了系数不可以加到0.6
      从上面例子可见，验证对科学猜想的重要，只要出现一个反例，即可否定一个猜想。
      关于WHS筛法是个什么？你的还是官方的问题，这是我原创(发明）的数学方法，对数论问题研究很实用很有效，在计算机能计算的范围内，可找到全部素数和偶数的素数对。我在以前发表的文字中有简单介绍。要讲请WHS筛法大概要10多个小时。如能制做一个视频发布到网上就更好了。

qhdwwh

      谢谢二位的参与，因为讨论有意义。
      WHS筛法为证明哥德巴赫猜想成立提供了方法和依据，除此还有更多的内涵，比如，围绕哥德巴赫猜还有更多的猜想，可以通过WHS筛法来验证。本人用WHS筛法验证过很多偶数可以由二个孪生素数之和构成，但我们还是可以找到个别反例，证明偶数都可以由二个孪生素数之和构成是不成立的。这说明了WHS筛法还可以扩展它在数论研究反面的应用。
     我验证过97位偶数（数百万个连续偶数）哥德巴赫猜想成立，921个97位素数是从网上查到的。我数次模拟验证10的1000次方大的偶数（126000个连续偶数）哥德巴赫猜想成立，找到每个偶数的素数对的数量和素数的数值。为什么要10的1000次方大的偶数，是因为王元院士讲过这方面的话。在此说明模拟中大素数的数量由素数定理确定，素数值随机定 ，多次模拟是为增加可信力。也说明了依素数定理数学结枸产生素数，哥德巴赫猜想成立
      很希望能有单位或个人能提供千位数的包含300000个自然数区间的全部素数这样的数据，或者提供几百位数的包含252000个自然数区间的全部素数（如果牵涉秘密可以只给出后面8位数字）我会很快给出哥德巴赫猜想成立的结果。

qhdwwh

用WHS筛法筛出下面数据
[31248002,31500001]区间自然数252000个 ， 有 素数 14547 个，孪生素数1102对（2204个），10内四素数组10组 。每组数据如下：

31252931        31252933        31252937        31252939
31281791        31281793        31281797        31281799
31298081        31298083        31298087        31298089
31303421        31303423        31303427        31303429
31417151        31417153        31417157        31417159
31434251        31434253        31434257        31434259
31450421        31450423        31450427        31450429
31460831        31460833        31460837        31460839
31491281        31491283        31491287        31491289
31497461        31497463        31497467        31497469


我筛了9组 每组都含252000个自然数，这是其中的一组。

我在前面的帖子中提过WHS筛法可以扩展用途，这只是一个例子，在数论问题的研究中可广泛应用。

qhdwwh

计算机和软件（WPS表格）目前只能筛出10的15次方内的素数，这需要由3163万内的素数筛出，为此我筛出[2,31630000]区间全部素数，【31248002,31500001】区间素数只是其中一部分。用WHS筛法，很快即可得到上面的数据，要讲请该筛法要10多个小时，因此无法在网上讲请，请见谅。
要验证数据可以查primeNUmber.exe软件，可查4294967296内的素数。以及区间素数数量，和验证四连素数

qhdwwh

筛出100万亿附近的四连素数，区间【101606400000000,101606400252001】的素数7863个，孪生素数318个（636个素数），四连素数一组，如下
101606400237731
101606400237733
101606400237737
101606400237739
是用WHS筛法筛出的。

qhdwwh

科学是应该能验证的，我给出的数学式能接受任何验证，并证明是正确的，按贝耶斯定理说，主观概率是1，不管谁验证，验证什么偶数，结论是肯定的，哥德巴赫猜想成立。而随着计算机技术的进步，验证的范围会不断增大。我在近11年的探索中，有16G的工作量，验证占很大部分，没有反例。

qhdwwh

发表于 2017-1-23 15:21 | 只看该作者
搜索不到primeNUmber.exe软件，能给个链接吗？还是老软件？

我是从华军软件园上下载的，有7—8年了。

qhdwwh

发表于 2017-1-23 12:45 | 只看该作者
支持。我只想问，哪怕再大的数里，你那个系数有小于0.6不成立的吗？我对计算数据也有极大信心，希望你能找个大偶数，虽然你的结论正确，但数量确实小于系数是0.6的你的表达式，来证明我的精细计算是不对的

      你的想法基本是对的，因为随着偶数的增大，依据大数定理，系数会逐渐增大。我给出的数学式包含大于和等于10的任意偶数(包含充分大偶数和无限大偶数），因此系数值较小，且该系数值是推导出来的，经得起任何验证。我在网上征求数学式不成立的反例，至今未见数学家和数学机构给出1个反例，当然，要经得起长时间的任何验证。因为科学是在不断的证伪和证真中不断发展的。

qhdwwh

发表于 2017-1-23 15:48 | 只看该作者
查到了中文叫素数生成器？
是这个东西可以快速找到区间内孪生素数吗？
多谢！
我最近只用手机，所以要先确认，否则就下来看了。多谢

我没有用过素数生成器，不知道这个东西是否可以快速找到区间内孪生素数，我是用WHS筛法筛出区间内孪生素数的。