|

楼主 |
发表于 2019-7-21 09:12
|
显示全部楼层
本帖最后由 老顽童 于 2019-7-21 13:03 编辑
每个大于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)=π(N-3)-1-M(N)变换
π(N-3)-1=r2(N)+M(N)
上面这个具有同一定义域N的函数中
函数π(N-3)-1是不减函数
所以M(N)+r2(N)是不减函数
故当N有最小值6时,
上述函数都有最小值。
由于偶数6<9,
所以M(N)有最小值M(6)=0,
π(N-3)-1有最小值:π(6-3)-1=π(3)-1=2-1=1
所以r2(N)有最小值r2(6):
r2(6)
=π(6-3)-1-M(6)
=π(3)-1
=2-1
=1
即函数r2(N)有最小值1
用区间表示: r2(N)∈[1,∞)
综上所述:每个大于2的偶数都是2个素数之和,
故哥德巴赫猜想得到了严谨的证明。
根据埃氏筛法结合连乘积公式,可得下限式:
r2(N)≥[N/4Pr]≥1
[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*99991]=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 |
|