|
关于相邻素数最大间距的克莱姆猜想验证数据
下面引用由天山草在 2013/07/27 06:37am 发表的内容:
假定克莱姆猜想成立,并且已知当 x≥7 时,恒有 x> (Log 2x)^2,
据此如何证明:
在 x 与 2x 之间必有素数存在。
想了一下,本人给出的证明如下: 鄙人根据《中华单位论》的理论给出的证明:
Betrand猜想 对每个整数m﹥1必有素数P满足m﹤P﹤2m.
即 (1)π(2m)-π(m)≥1.
证
设在[m,2m] 区间,素数单位个数的差是 dn.
则
(2)dn=π(2m)-π(m)≥1
1.当 m=2,2m=4时
由素数单位定理知:
N+12(√N-1)
(3) π(N)=------------------ , 查表知 A2=3,A4=5.
An
所以
dn=π(4)-π(2)
4+12(√4-1) 2+12(√2-1)
=--------------- - ----------------
5 3
=3-2=1 (2 ,4) 2﹤3﹤4.
___ ___ ___
2.当 m=100,2m=200时, A100=√100-1, A200=√200-1
所以
200+12(√200-1) 100+12(√100-1)
dn=------------------- - -------------------------=27-23=4,(实际是21个)
√200-1 √100-1
100﹤101,103,,,199﹤200.
__ __
3.当 m=n,2m=2n时, An=√N-1,A2n=√2N-1
所以
dn=π(2N)-π(N)
___ __
2N+12(√2N-1) N+12(√N-1)
=-------------- - ------------
√2N-1 √N-1
__ __ __ __ __ __
√2N*√2N 12(√2N-1) √N*√N 12(√N-1)
=-------------- + ------------ - --------- - ------------
√2N-1 √2N-1 √N-1 √N-1
__ __
=√2N+12-√N-12
=√2N-√N,
=√N(√2-1),
当 N≥6时
dn=√N(√2-1)﹥1
当N﹤6时, 1<2≤2,2﹤3﹤4,4﹤5,7﹤8.
因此 π(2m)-π(m)≥1.
Betrand猜想成立。
证毕。
请老师批评指正!
|
|