王元教授访问记

lusishun

大于27889的所有偶数

ysr

lusishun 发表于 2020-1-17 13:46
大于27889的所有偶数

当然是所有偶数了，我的下限公式是对大于等于4的全体偶数都成立的，都有m-1个，对偶数x来说，其拆分素数和对个数至少有m-1个，若√x=M，则其中m=2√x/lnx=M/lnM。对于大于500的偶数-1就可以省略了，而且还有个公式是大于m的，也是下限公式，就不发了没必要。
对于27890～27908，那个下限公式计算结果都是169，低于实际，绝对下限更低，已经证明过了，对大于等于4的以至无穷的偶数都是成立的。

lusishun

那很好啊，祝你成功

82615471

！！！！！！！！！！！！！！！！！！

ysr

82615471 发表于 2020-1-18 01:17
对于三大数学难题，想去证明的，就去认真证明。
只要你证得对，人们总会承认的，没必要老靠专家表态！

没有专家表态是没人承认，没人信任没人看，而专家都是持否定态度的，没有科学精神没有科学氛围，没有了实事求是，怎么发展？

ysr

对偶数的一半内的素数每m-1个算一个区间，每个区间中能产生拆分素数和对个数的平均值大于等于1的证明，重发如下：
“证明连乘积公式：（（p^2+1）/4）*（1/3）*（3/5）*……*（1-2/p）/（m-1）为不减函数，（其中m-1>=2）

证明：由于p^2+1>p>m，所以连乘积分子大于分母m-1，也可以这样做，我们去掉分母m-1不讨论，先讨论分子连乘积的大小，第一项乘数（p^2+1）/4不考虑先去掉，剩下的为（1/3）*（3/5）*……（1-2/p），这是个减函数，若把分母都变为连续的奇数，则为（1/3）*（3/5）*……*（1-2/（2s+1））（设2s+1=p），错位约分得到结果为1/（2s+1）=1/p，由于这是个减函数，项数越多越小，比原来的连乘积多了不少项，所以是小于原来的连乘积的，由于p^2+1>p>m，所以若p>=97，则p/4>m-1，（因为97以内有25个素数，此时m-1=24），（p^2+1）/p>（p^2+1）/（4p）>m-1，则因为分子大于（p^2+1）/（4p），则有此时分子大于分母m-1，分子的增长速度大于分母的增长速度故是不减函数，而在p小于97时，我们可以代入数值验证其整数部分是不减函数，则原函数是不减函数，证毕”

文中证明当p>=97，即偶数为p^2+1=97^2+1=9409+1=9410时，每m-1个素数中已经平均值已经至少有1个，实际远远大于1，这里m=25是实际值，而实际9410有125对，平均值每25个有5个。所以，从此已经远远成立远远大于m，而小于9410的偶数，我已经验证了多遍，当偶数大于等于500时，平均值已经大于1，而m此时是按实际值计算的，小于500的偶数，按欧拉公式的计算结果每m-1个平均值至少一个是成立的，此时m=2√x/lnx=M/lnM，M=√x，x为偶数，为照顾到大于等于4的全体偶数，m的值就按公式计算结果为标准！

这个连乘积不等式左边就是个理论值，是下限，是连续值，是不减函数，平均值按1计算则每一点都是低于实际值的平均值的最低值（也叫极小值），因为它是滞后实际的，不管实际增长到多大，都按1计算，就是最低值，就是绝对下限。

ysr

死了我一个，如同死了一只蚂蚁。科学精神没有了，那将毁了一代人，这样下去中国科学还能能发展吗？这样的“中科院”还配叫一声科学院吗？

qhdwwh

      luyuanhong发表王元教授访问记中，王元说：......还没从理论上阐述清楚这个方法的精度。不过，从实际应用的角度考虑，理论的证明也许没用，因为理论上的误差往往偏大，要让误差趋于零，点数就得趋于无穷才行。

      王元说的很对理论上的误差往往偏大（即使引入拉曼纽扬系数Cx).这已经被很多实例证实。
      怎样才能让误差等于零，在一个自然数［10,x］子区间内，只要找到区间内全部素数，用WHS筛法，就能得到［10,x］区间全部偶数的哥德巴赫分拆数，做到零误差。
      当x→∞,点数（代表素数）就得趋于无穷才行。用WHS筛法，从理论上能筛出偶数的哥德巴赫分拆数，做到零误差。
      当然，用应用数学WHS筛法筛出的G2（x)，符合用纯粹数学逻辑推导出哥德巴赫分拆数的下限数学式：G2(x)>0.5x/（lnx）^2。

      中科院可以提出具体偶数值，我用筛法给出和偶数相邻的三个偶数的哥德巴赫分拆数，保证零误差，和符合下限数学式：G2(x)>0.5x/（lnx）^2。


      版主luyuanhong发表王元教授访问记一文，使我了解一些有关哥德巴赫猜想研究的情况，有些内容对我有启发，在此表示感谢！。

lusishun

三十年前的文章，过时了，哥猜被证明了的事实，已经是公开的事实，公开发表，可免费下载，找出逻辑错误，有大奖。

lusishun

版主是应该知道的啊，要接受现实了。