哥猜研究的成功之路

cuikun-186

第一：猜想提出（https://upimg.baike.so.com/doc/5351515-5586973.html）
1742年6月7日，哥德巴赫写信给欧拉，提出了著名的哥德巴赫猜想:随便取某一个奇数，比如77，可以把它写成三个素数之和，即77=53+17+7;再任取一个奇数，比如461，可以表示成461=449+7+5，也是三个素数之和，461还可以写成257+199+5，仍然是三个素数之和。例子多了，即发现"任何大于5的奇数都是三个素数之和。"[1]
1742年6月30日欧拉给哥德巴赫回信。这个命题看来是正确的，但是他也给不出严格的证明。同时欧拉又提出了另一个命题:任何一个大于2的偶数都是两个素数之和。但是这个命题他也没能给予证明。
第二：小素变数的三素数定理。
如果偶数的哥德巴赫猜想正确，那么奇数的猜想也正确。我们可以把这个问题反过来思考。已知奇数N可以表成三个素数之和，假如又能证明这三个素数中有一个非常小，譬如说第一个素数可以总取3，那么我们也就证明了偶数的哥德巴赫猜想。这个思想就促使潘承洞先生在1959年，即他25岁时，研究有一个小素变数的三素数定理。这个小素变数不超过N的θ次方。我们的目标是要证明θ可以取0，即这个小素变数有界，从而推出偶数的哥德巴赫猜想。潘承洞先生首先证明θ可取1/4。后来的很长一段时间内，这方面的工作一直没有进展，直到1995年展涛教授把潘老师的定理推进到7/120。这个数已经比较小了，但是仍然大于0。
第三：彻底证明了的三素数定理（http://www.360doc.com/content/15/1008/19/10610992_504230707.shtml）
2013年5月13日，法国国家科学研究院和巴黎高等师范学院的数论领域的研究员哈洛德·贺欧夫各特，在线发表两篇论文宣布彻底证明了弱哥德巴赫猜想。贺欧夫各特在文章“Minor arcs for Goldbach's problem”中，给出了指数和形式的一个新界。在文章“Major arcs for Goldbach's theorem”中，贺欧夫各特综合使用了哈迪-利特伍德-维诺格拉多夫圆法、筛法和指数和等传统方法，把下界降低到了10^30左右，贺欧夫各特的同事 David Platt 用计算机验证在此之下的所有奇数都符合猜想，从而完成了弱哥德巴赫猜想的全部证明。

第四：崔坤定理（三素数定理推论）：
每个大于等于9的奇数都是3+两个奇素数之和，Q=3+q1+q2
第五：崔坤的加法哥猜表法数真值公式：（当然崔坤约定1是素数为前提的）

【1】r2(N)=C(N)+2π(N)- N/2，则：N=2C(N)+4π(N)-2r2(N)
例如：100=2*12+4*25-2*12
【2】崔坤定理：r2(N^2)≥N,
当N>1718时，拓展为r2(N)≥[√N]
当N≥6时，拓展为r2(N)≥[√N/2]

第六：崔坤的乘法哥猜表法数真值公式：
有双筛法得到：r2(N)=(N/2)∏mr≥[N/(lnN)^2]，N≥6

cuikun-186

任何公式在其定义域内都不得有反例！！！！

cuikun-186

任何公式在其定义域内都不得有反例！！！！

cuikun-186

任何公式在其定义域内都不得有反例

cuikun-186

第四：崔坤定理（三素数定理推论）：
每个大于等于9的奇数都是3+两个奇素数之和，Q=3+q1+q2
第五：崔坤的加法哥猜表法数真值公式：（当然崔坤约定1是素数为前提的）

【1】r2(N)=C(N)+2π(N)- N/2，则：N=2C(N)+4π(N)-2r2(N)
例如：100=2*12+4*25-2*12
【2】崔坤定理：r2(N^2)≥N,
当N>1718时，拓展为r2(N)≥[√N]
当N≥6时，拓展为r2(N)≥[√N/2]

第六：崔坤的乘法哥猜表法数真值公式：
有双筛法得到：r2(N)=(N/2)∏mr≥[N/(lnN)^2]，N≥6

cuikun-186

第四：崔坤定理（三素数定理推论）：
每个大于等于9的奇数都是3+两个奇素数之和，Q=3+q1+q2
第五：崔坤的加法哥猜表法数真值公式：（当然崔坤约定1是素数为前提的）

【1】r2(N)=C(N)+2π(N)- N/2，则：N=2C(N)+4π(N)-2r2(N)
例如：100=2*12+4*25-2*12
【2】崔坤定理：r2(N^2)≥N,
当N>1718时，拓展为r2(N)≥[√N]
当N≥6时，拓展为r2(N)≥[√N/2]

第六：崔坤的乘法哥猜表法数真值公式：
有双筛法得到：r2(N)=(N/2)∏mr≥[N/(lnN)^2]，N≥6

cuikun-186

不是谁都能理解的！

cuikun-186

任何公式在其定义域内都不得有反例！！！！

cuikun-186

回到古希腊和毕达哥拉斯几何，人们试图解释数学表达式的本质。伽利略写道

“自然是一本用数学语言写成的书。”