致有幸见证哥德巴赫猜想证明的有福之人

lusishun

明年是哥猜提出280周年，研究哥德巴赫猜想的大数学家，数学教授，数学爱好者，不计其数。
但，到目前为止，能亲眼见证哥德巴赫猜想证明的人，为数极少，我想见证了哥德巴赫猜想证明的人一定是很幸福的。

cuikun-186

运用双筛法证明：每个大于等于6的偶数都是2个奇素数之和
                                       崔坤
中国青岛，266200，E-mail:cwkzq@126.com
摘要：根据古老的埃氏筛法推出双筛法，对所得真值公式：r2(N)=(N/2)∏mr进行下限值估计，从而证明了r2(N)≧[0.92129^2*N/（lnN）^2]≥1个奇素数,即证明了每个大于等于6的偶数都是2个奇素数之和。
关键词：埃氏筛法，双筛法，素数定理，共轭数列,真实剩余比
Cuikun
Qingdao,China,266200, E-mail:cwkzq@126.com
The double screen method is used to prove that:
Every even number greater than or equal to 6 is the sum of two odd primes
Abstract: the double sieve method is derived from the ancient Ehrlich sieve method, and the lower limit of the truth formula: r2 (N) = (N / 2) Πmr is estimated. It is proved that r2 (N) ≥ [0.92129^2*N/（lnN）^2]≥1,
That is, it is proved that every even number greater than or equal to 6 is the sum of two odd primes
Key words: Ehrlich sieve method, double sieve method, prime theorem, conjugate sequence,True residual ratio
证明：
对于共轭互逆数列A、B:
A:｛1,3,5,7,9,……,（N-1）｝
B:｛（N-1）,……,9,7,5,3,1｝
双筛法的步骤：
首先给出：偶数N=2n+4，建立如下互逆数列：
首项为1，末项为N-1,公差为2的等差数列A
再给出首项为N-1,末项为1，公差为-2的等差数列B
显然N=A+B
根据埃氏筛法获得奇素数集合P：
｛1，3，5，…，Pr｝,Pr<N^1/2
为了获得偶数N的(1+1)表法数，按照双筛法进行分步操作：
第1步：将互逆数列用3双筛后得到真实剩余比m1
第2步：将余下的互逆数列用5双筛后得到真实剩余比m2
第3步：将余下的互逆数列用7双筛后得到真实剩余比m3
…
依次类推到：
第r步：将余下的互逆数列用Pr双筛后得到真实剩余比mr
这样就完成了对偶数N的求双筛法（1+1）表法数，根据乘法原理有：
r2(N)=（N/2）*m1*m2*m3*…*mr
即r2(N)=(N/2)∏mr
例如：
[√70]=8，｛Pr｝={1,3,5,7},
3|/70，m1=13/35
5|70, m2=10/13
7|70, m3=10/10
根据真值公式得：
r2(70)
=(70/2)*m1*m2*m3
=35*13/35*10/13*10/10
=10
r2(70)=10
分析双筛法的逻辑和r2(N)下限值：
在王元的文献《谈谈素数》中：a=0.92129，A=1.105548；切比雪夫不等式是：a(x/lnx) ≤π (x)≤ A(x/lnx)
对于偶数N≥6，则有：1.105548(N/lnN)≥π (N)≥0.92129(N/lnN)，
双筛法本质上第一步:先对A数列筛选:A中至少有[0.92129(N/lnN)]个奇素数，
即此时的共轭互逆数列AB中至少有[0.92129(N/lnN)]个奇素数
第二步:再对B数列进行筛选，筛子是相同的0.92129/lnN
由此推得共轭数列AB中至少有:r2（N）≥[0.92129^2*N/（lnN）^2]个奇素数。
例如：70
第一步:先对A数列筛选，A中至少有[0.92129(N/lnN)]=[0.92129*70/ln70]=15个奇素数,π(70)=19,
即此时的共轭互逆数列AB中至少有[0.92129(N/lnN)]=[0.92129*70/ln70]=15个奇素数。

（见图8）


第二步:再对B数列进行筛选，筛子是相同的0.92129/ln70,由此推得共轭数列AB中至少有:
r2（70）≥[0.92129^2*70/（ln70）^2]=3个奇素数,r2(70)=10
（见图9）

结论:r2（N）≥[0.92129^2*N/（lnN）^2]≥1个奇素数。

参考文献：

[1]华罗庚，《数论导引》，科学出版社，1957-07

[2]王元，《谈谈素数》，哈尔滨工业大学出版社，2011-3

[3]李文林，《数学瑰宝——历史文献精选》，科学出版社，1998 年，第 368 页

**********
r2（N）≥[0.92129^2*N/（lnN）^2]≥1个奇素数，

按照现代数学1不是素数为原则，具体验证一下：

r2（6）=1≥[0.92129^2*6/（ln6）^2]=1

r2（8）=2≥[0.92129^2*8/（ln8）^2]=1

r2（10）=3≥[0.92129^2*10/（ln10）^2]=1

r2（12）=2≥[0.92129^2*12/（ln12）^2]=1

r2（14）=3≥[0.92129^2*14/（ln14）^2]=1

r2（16）=4≥[0.92129^2*16/（ln16）^2]=1

r2（18）=4≥[0.92129^2*18/（ln18）^2]=1

r2（20）=4≥[0.92129^2*20/（ln20）^2]=1

r2（22）=5≥[0.92129^2*22/（ln22）^2]=1

r2（24）=6≥[0.92129^2*24/（ln24）^2]=2

r2（26）=5≥[0.92129^2*26/（ln26）^2]=2

r2（28）=4≥[0.92129^2*28/（ln28）^2]=2

r2（30）=6≥[0.92129^2*30/（ln30）^2]=2

r2（32）=4≥[0.92129^2*32/（ln32）^2]=2

r2（34）=7≥[0.92129^2*34/（ln34）^2]=2

r2（36）=8≥[0.92129^2*36/（ln36）^2]=2

r2（36）=8≥[0.92129^2*36/（ln36）^2]=2

r2（38）=3≥[0.92129^2*38/（ln38）^2]=2

r2（40）=6≥[0.92129^2*40/（ln40）^2]=2

r2（42）=8≥[0.92129^2*42/（ln42）^2]=2

r2（44）=6≥[0.92129^2*44/（ln44）^2]=2

r2（46）=7≥[0.92129^2*46/（ln46）^2]=2

r2（48）=10≥[0.92129^2*48/（ln48）^2]=2

r2（50）=8≥[0.92129^2*50/（ln50）^2]=2

r2（52）=6≥[0.92129^2*52/（ln52）^2]=2

r2（54）=10≥[0.92129^2*54/（ln54）^2]=2

r2（56）=6≥[0.92129^2*56/（ln56）^2]=2

r2（58）=7≥[0.92129^2*58/（ln58）^2]=2

r2（60）=12≥[0.92129^2*60/（ln60）^2]=3

r2（62）=5≥[0.92129^2*62/（ln62）^2]=3

r2（64）=10≥[0.92129^2*64/（ln64）^2]=3

r2（66）=12≥[0.92129^2*66/（ln66）^2]=3

r2（68）=4≥[0.92129^2*68/（ln68）^2]=3

r2（70）=10≥[0.92129^2*70/（ln70）^2]=3

r2（72）=12≥[0.92129^2*72/（ln72）^2]=3

r2（74）=9≥[0.92129^2*74/（ln74）^2]=3

r2（76）=10≥[0.92129^2*76/（ln76）^2]=3

r2（78）=14≥[0.92129^2*78/（ln78）^2]=3

r2（80）=8≥[0.92129^2*80/（ln80）^2]=3

r2（82）=9≥[0.92129^2*82/（ln82）^2]=3

r2（84）=16≥[0.92129^2*84/（ln84）^2]=3

r2（86）=9≥[0.92129^2*86/（ln86）^2]=3

r2（88）=8≥[0.92129^2*88/（ln88）^2]=3

r2（90）=18≥[0.92129^2*90/（ln90）^2]=3

r2（92）=8≥[0.92129^2*92/（ln92）^2]=3

r2（94）=9≥[0.92129^2*94/（ln94）^2]=3

r2（96）=14≥[0.92129^2*96/（ln96）^2]=3

r2（98）=6≥[0.92129^2*98/（ln98）^2]=3

r2（100）=12≥[0.92129^2*100/（ln100）^2]=4

r2（N）≥[0.92129^2*N/（lnN）^2]≥1个奇素数，

按照现代数学1不是素数为原则，具体验证一下：

r2（10^3）=56≥[0.92129^2*10^3/（ln10^3）^2]=17

r2（10^4）=254≥[0.92129^2*10^4/（ln10^4）^2]=100

r2（10^5）=1620≥[0.92129^2*10^5/（ln10^5）^2]=640

r2（10^6）=10804≥[0.92129^2*10^6/（ln10^6）^2]=4446

r2（10^7）=77614≥[0.92129^2*10^7/（ln10^7）^2]=32671

r2（10^8）=582800≥[0.92129^2*10^8/（ln10^8）^2]=250138

r2（10^9）=4548410≥[0.92129^2*10^9/（ln10^9）^2]=1976406

r2（10^10）=36400976≥[0.92129^2*10^10/（ln10^10）^2]=16008894

r2（N）≥[0.92129^2*N/（lnN）^2]≥1个奇素数，

按照现代数学1不是素数为原则，具体验证一下：

r2（10^11）=298182320≥[0.92129^2*10^11/（ln10^11）^2]=132304911

r2（10^12）=2487444740≥[0.92129^2*10^12/（ln10^12）^2]=1111728770

r2（10^13）=21066301710≥[0.92129^2*10^13/（ln10^13）^2]=9472718517

r2（10^14）=170701260776≥[0.92129^2*10^14/（ln10^14）^2]=81678032114

r2（10^15）=1567076683704≥[0.92129^2*10^15/（ln10^15）^2]=711506413082

cuikun-186

cuikun-186 发表于 2021-10-23 08:17
运用双筛法证明：每个大于等于6的偶数都是2个奇素数之和
                                       崔坤
...

呵呵！谁是痛苦之人一目了然！
我的简洁明了，你的余项不可估早已失败！

cuikun-186

“A、B两数列的联系没搞清楚”？，真是天大的笑话！

cuikun-186

r2(N)=(N/2)∏mr这个真值公式是哪来的？
你根本不懂！所以你说漏洞百出！一点也不奇怪！
我的公式里没有任何余项，而你的“倍增”是真的把余项丢弃了。

cuikun-186

大伙都在看，谁对谁错一目了然！

到这里来是让你明白一个道理：吹嘘是证明不了哥猜的！！！

当然是条条大路通罗马！！！

呵呵，咱的陷新鲜与你不同，敢于来就有金刚钻！！！

丢谁的眼？？？

大伙会看，而不是你再说！！！

有道是是骡子是马拉出来溜溜！！！

呵呵，要说网上理不理为标准，那么你的：鲁思顺是二百五道是大字朗朗！！！

网曰：鲁思顺是个二百五！

lusishun

yang先生是最为幸福的人吧，“短小精悍，简单明了”是他欣赏到了，感受到了，享受到了“短小精悍，简单明了”的证明，在世界数学界，国内数学界，有多少人为其证明呕心沥血的研究，最后也未能与证明得以相见。如此相比的话，看懂，理解，真的明白了其证明，不是无比幸福吗！

lusishun

小成功靠朋友，大成功靠“敌人”，

lusishun

倍数含量的概念，是前所有的吧！跳出了倍数个数概念的禁锢，通往成功的大道。

lusishun

简单倍数含量筛法，是有缺陷的，其表现就是，不能精确给出p的倍数个数，非p倍数的精确公式。
例如 ，小于1000的素数有多少个，用1000（1-1/2）（1-1/3）·………·（1-1/31）计算出的素数个数是近似值。