哥德巴赫猜想于1742年由德国数学家哥德巴赫提出,内容是:任何大于2的偶数,都可以写成两个质数之和的形式(简称"1+1")。它是关于质数(也称素数)的问题,它和自然数集合中素数的存在性,以及孪生素数的存在性有共同的特点,于是,它们三个问题可以一同论证。
我在《诸多素数问题与容斥原理》一文中已经给出了完全论证(见《初等数学研究在中国》第三辑,2021年5月),主要结论是:
①A(n)≥[nφ(m)÷m]≥[√n],
其中,φ(m)=(2-1)(3-1)…(Pt-1)为欧拉函数,m=2x3x…XPt,Pt≤[√n],为素数,[√n]表示小数√n的整数部分,A(n)表n以内的正整数中素数个数,包含1的个数,但不包含2,3,…,Pt的t个素数的个数。
②B(n)≥[nφ2(m)÷m]≥[√n÷2],
其中,φ2(m)=(2-1)(3-2)…(Pt-2)为欧拉函数在数域B:{(-1,1),(0,2),(1,3),…,(m-2,m)}中的应用,m=2x3x…XPt,Pt≤[√n],为素数,B(n)表n以内的正整数中孪生素数的个数,包含(-1,1)的个数,但不包含2,3,…,Pt的t个素数参与的孪生素数的个数。
③C(n)≥[nφ3(m)÷m]≥[√2n÷4],
其中,φ3(m)=(2-1)(3-r2)…(Pt-rt)为欧拉函数在数域C:{(1,2n-1),(2,2n-2),(3,2n-3),…,(m,2n-m)}中的应用,m=2x3x…XPt,Pt≤[√2n]为素数,当ri整除2n时,ri=1,当ri不整除2n时,ri=2,C(n)表n以内的集合C中“1+1"的个数,包含(1,2n-1)可能存在的个数,但不包含2,3,…,Pt的t个素数参与的“1+1"个数。
哥德巴赫猜想由外国人提出,两个多世纪都没有发现直接证明它的思想方法,沿着侧面的几加几思路,一直推进到“1+2"的成果,再无法跨越半步。现在这个命题的证明思想已经清晰了,有容斥原理,欧拉函数可以给出它的近似函数式,用乘法原理和颠覆性筛法给出它的下限。颠覆性筛法是独立的,因此,它能直接证明素数,孪生素数,"1+1"的存在性,介绍如下:
命题1:设数域A:{1,2,3,…,PXP},以P,P-1,P-2,…,3,2作为筛码,由大到小筛除A中能被它整除的数,最后至少留下P个素数。
命题2:设数域B:{(1,3),(2,4),(3,5)…,(PXP,PXP+2)},以P(偶数),P-1,P-3,P-5,…,3,2作为筛码,或以P(奇数),P-2,P-4,…,3,2作为筛码,由大到小筛除B中能被它整除的元素(指,元素由两个数至少有一个数能被筛码整除),最后至少留下[P÷2]个孪生素数。
命题3:设数域C:{(1,2n-1),(2,2n-2),…,(PXP,2n-PXP)},以P(偶数),P-1,P-3,P-5,…,3,2作为筛码,或以P(奇数),P-2,P-4,…,3,2作为筛码,由大到小筛除C中能被它整除的元素,最后再除以2,消除(a,b),(b,a)对称元素中的一个,至少留下[P÷4]个"1+1"。
例1,求80表两个素数之和的个数。
解:设C:{(1,79),(2,78),…,79,1)},用8,7,5,3,2作筛码,筛除C中能被筛码整除的的之数。8筛除了(8,72),(16,64),(24,56),(32,48),(40,40),(48,32),(56,24),(64,16),(72,8):…,筛除了能被7,5,3,2整除的元素后,留下了
(1,79),(13,67),(19,61),(37,43),(43,37),(61,19),(67,13),(79,1),除以2,得
(1,79),(13,67),(19,61),(37,43)。
现在清楚的认识了哥德巴赫猜想,用现在的这里给出的结果,可以判断识别网络上众多的关于它的“证明",一看它是否知道了素数,孪生素数,哥德巴赫猜想三者是同一个问题?二看它是否由他的论证中能得出三者的极小值?