|
每个大于2的偶数都是2个素数之和,
N=P+P',偶数N≥4、素数P、P'
作者:崔坤
单位:即墨市瑞达包装辅料厂
联系方式:cwkzq@126.com
摘要:每个大于2的偶数都是2个素数之和
关键词:素数定理,偶数表法数公式
证明:
第一步,偶数4=素数2+素数2,这是众所周知的。
第二步,分析每个大于等于6的偶数N中的奇数对个数:
N=2n+4中共有n个不相同的奇数,共有n个不相同的奇数对。
奇数对分类与N相关的有四种:
[1](奇素数,奇素数),简称:1+1,令有r2(N)个
[2](奇合数,奇合数),简称:C+C,令有C(N)个
[3](奇素数,奇合数),简称:1+C,令有M(N)个
[4](奇合数,奇素数),简称:C+1,令有W(N)个
根据其对称性则有:M(N)=W(N)
设N=2n+4中共有π(N-3)-1个不相同的奇素数,则:
r2(N)+C(N)+W(N)+M(N)=n…〈1〉
M(N)= π(N-3)-1- r2(N)…〈2〉
M(N)=W(N)…〈3〉
有上述〈1〉、〈2〉、〈3〉式得:r2(N)=C(N)+2π(N-3)-2-n
其中,r2(N)、C(N)均为自然数,π(N-3)、n均为非零自然数。
偶数表法数公式:
r2(N)=C(N)+2π(N-3)-N/2
2C(N)+2[π(N-3)-1]>n
由此推得:r2(N)+C(N)>0
令函数f(N)=r2(N)+C(N)
则:f(N)>0
因为N≥6,所以N的最小值是6,那么函数C(N)的最小值是0。
又3个不同函数f(N)、r2(N)、C(N),它们共同的自变量都是N。
所以在N是最小值时,f(N)有最小值,f(N)=r2(N),也就是r2(N)有最小值,
从而r2(N)的最小值>0。
当N→∞时,
limr2(N)
N→∞
=limC(N)+lim2π(N-3)-limN/2
N→∞ N→∞ N→∞
r2(N)/N=C(N)/N+2π(N-3)/N-1/2
当N→+∞时,等式极限运算:
limr2(N)/N=limC(N)/N+lim2π(N-3)/N-1/2
N→+∞ N→+∞ N→+∞
根据素数定理有:
limπ(N)/N=0,r2(N)<π(N-3)
N→+∞
所以:
limr2(N)/N=0
N→+∞
即:
limC(N)/N+lim2π(N-3)/N-1/2
N→+∞ N→+∞
=limC(N)/N+0-1/2
N→+∞ N→+∞
=limC(N)/N-1/2=0
N→+∞
即:
limC(N)/N=1/2
N→+∞
limC(N)=limN/2
N→+∞ N→+∞
所以:
limr2(N)=lim2π(N-3)=∞
N→∞ N→∞
即当N→∞时,r2(N)→∞
用区间表示: r2(N)∈(0,∞)
综上所述:每个大于2的偶数都是2个素数之和,
这就是哥德巴赫猜想的严谨证明。
根据埃氏筛法结合连乘积公式,
增加筛孔密度得出r2(N)的下限值公式:[N/4Pr],
Pr是N^1/2内的最大素数,[]是取整符号。
r2(N)>[N/4Pr]是下限公式,Pr属于N^1/2内的最大素数,N≥12
r2(12)>[12/4*3]=1
r2(14)>[14/4*3]=1
r2(16)>[16/4*3]=1
r2(18)>[18/4*3]=1
r2(20)>[20/4*3]=1
r2(22)>[22/4*3]=1
r2(24)>[24/4*3]=2
r2(26)>[26/4*5]=1
r2(28)>[28/4*5]=1
r2(30)>[30/4*5]=1
r2(32)>[32/4*5]=1
r2(100)>[100/4*7]=3
r2(1000)>[1000/4*31]=8
r2(10000)>[10000/4*97]=25
r2(100000)>[100000/4*313]=79
r2(10^6)>[10^6/4*997]=250
r2(10^7)>[10^7/4*3137]=796
r2(10^8)>[10^8/4*9973]=2506
r2(10^9)>[10^9/4*31607]=7909
r2(10^10)>[10^10/4*9991]=25002
r2(10^11)>[10^11/4*316223]=79058
r2(10^12)>[10^12/4*999983]=250004
r2(10^13)>[10^13/4*3162277]=790569 |
|