素数个数公式及疑难猜想探证

llz2012

素数个数公式及疑难猜想探证（修改稿）.pdf (275.49 KB, 下载次数: 0)

2015-3-11 16:42 上传

点击文件名下载附件
下载积分: 体力 -2 点

# k" t: H) s8 x9 X

llz2012

" u6 j0 H& D/ c7 M7 U

llz2012

由公式可证不大于x的素数间距小于lnx的平方。

llz2012

llz2012 发表于 2015-3-12 18:18
( N- d! K0 L+ w! s7 O; A由公式可证不大于x的素数间距小于lnx的平方。

这是小区间素数分布的最好结果。

llz2012

llz2012 发表于 2015-3-13 10:20
' k, Q5 y7 j+ g4 e' x" L这是小区间素数分布的最好结果。

# S) J1 w! L, M7 T9 C, ?9 A
& l: \( O- H- x7 e0 |9 h. `1 ]! K3 N
9 [, J) i8 _8 |5 o+ i4 ^' o/ v

4 K# c% c9 Y/ V" y, g& p

llz2012

llz2012 发表于 2015-3-14 09:34

指数z是lnx的指数

llz2012

哥德巴赫猜想证明
设2n（n>2的整数），p为不大于√（2n）的素数，2n=m+(2n-m) ， (2<m≤n)，若
) D9 W2 F) G( b9 G% C1 C# |/ X. Qm≠0modp  且  (2n-m)≠0modp，则m, (2n-m)为两素数。
# d& @* h; a5 f2 l9 Vm≠0modp是去掉模p余0的数，(2n-m)≠0modp是去掉2n与m模p同余的数。如果2n是p的倍数，则去掉模p余0的一个同余类数。如果2n不是p的倍数（2n除以p余a≠0），则去掉模p余0和模p余a这两个同余类数。素数p≥5时，余下同余数类大于去掉同余数类，且p≤√（2n）,所以，当4≤2n≤24哥德巴赫成立即可。并且随着偶数的增大，表为两素数和式的个数也波动地增大。不难验证4≤2n≤24哥德巴赫成立。所以哥德巴赫猜想是正确的。
& q+ z, @3 ^8 ~& Z8 G7 `

llz2012

孪生素数猜想证明
设正整数n，p为不大于√（n+2）的素数，相差2的两数m和(m+2)，若
m≠0modp  且  (m+2)≠0modp，则m, (m+2)为孪生素数。
m≠0modp是去掉模p余0的数，(m+2)≠0modp是去掉模p余(p-2)的数。在前（n+2）个正整数中去掉模p余0和模p余（p-2）的两个同余类数,余下的数m就能满足m和(m+2)为孪生素数。当p≥5时，余下同余数类大于去掉同余数类，且p≤√（n+2）,所以，随着n的增大，余下数m的个数增大。所以孪生素数无穷。所以孪生素数猜想正确。

llz2012

x^2到（x+lnx）^2之间的平均间距是2ln(x+lnx)。素数个数平均值为x+(lnx)/2－1。比如
x^2=49  
(x+lnx)^2=8.9549^2=80.029 素数个数平均值为
x+(lnx)/2－1=6.97  素数实际有
53  59  81  67  71  73  79  共7个素数

llz2012

! r( W2 f& u% K/ b2 ^
  \, J% Z5 E" x% `4 tx^2      (x+lnx)^2         x+(lnx)/2 －1             实际素数个数
$ U" l5 G# W0 G; U! W2 b9 M  9          16.798             2.549                     11  13   共2个素数
  25        43.684             4.807                    29  31  37  41  43  共5个素数
3 v6 Q, [% _& P" K; H8 a/ y* I 64        101.595            8.039                  67  71  73  79  83  89  97  101 共8个素数
# u+ g9 T0 A: z! c. f" e 81        125.377          9.098               83  89  97  101  102  107  109  113  共8个素数
7 Y+ r/ {! k3 ~3 F- [2 c100      151.353         10.151          101  103  107  109  113  127  131  137  139 149 151共11个素数
6 y  R" J9 N; h9 s* _& N10000  10942.24            101.3                       100
9 e0 m  ]. v# M/ D* c40000  42147.39            201.64                     202