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

PAGE PAGE 4 素数个数公式及疑难猜想探证 李联忠 李静 （1.营山中学 四川营山 637700 2.IBM 中国北京） 摘要：本文证明了不大于x的素数个数的连乘积式公式，素数个数连续函数式公式，素数个数连乘积式不等式；并以推论的形式探证黎曼猜想，孪生素数猜想，哥德巴赫猜想等。 关键词：数论；素数；公式；猜想 中图分类号：015 文献标识码： 文章编号： 引理：若,，……,,为连续素数，1≤j≤i,且| n ，1≤m≤n ，则 m≠0(mod) 的数的个数可表示为 . 证明：I.当i=1时, ∵ =2 , |n ∴ 结论成立。 Ⅱ.假设i=k时，结论成立，即： 成立。 当i=k+1时， ∵ |n，|n，…， |n，据归纳假设 ∴ 因为|n ，所以 m=o (mod) 的数有个， 去了的倍数后，余 个 ∴ ∴ i=k+1时，结论 成立。 由I、Ⅱ可得，当i为任何正整数，结论都成立。 引理证毕。 定理1：（素数个数连乘积式公式）：若,，……,为不大于的连续素数，不大于整数n的素数个数记为π(n)，则有公式 π(n)= 其中g(n)满足：－g(n) ,λ单减，λ∈（，1］ 证明： ∵ n＝1+(4－1)+(9－4)+(25－9)+…++…+ 且区间 ()里的整数中去掉,，…的倍数后，余下全为素数。 ∴ 根据引理，区间 ()的素数个数可近似表示为 因为，所以当=时，到之间的数没有的倍数，所以在去掉,，……,的倍数后，余下数中，的倍数个数是，而不是. 因为 ，所以，少减了。为了达到依次去掉每个素数时，有在连续整数中去掉这个素数的倍数的性质：误差小于1，且在涉及范围内（即连续几个含有该素数的大于或等于的倍数区间）成立，在中乘一个平衡系数λ（λ单减，λ∈（，1］，证明放在定理1证毕后）。因此，区间()有较精确的素数个数表达式 λ+g() (1) 其中g()满足：－g() 将（i+1）个区间的素数个数求和可得不大于n的素数个数公式 π(n)= 其中g(n)满足：－g(n) ,λ单减，λ∈（，1］ 定理1证毕。 现在证明平衡系数λ单减，λ∈（，1］。因为在前四个区间λ=1，不需要缩小平衡。第五个区间（49，121）内的整数中，7的倍数有121/7－49/7=10+2/7个，即7的8，9，10，11，12，13，14，15，16，17这10个倍数，它们中去掉2，3的倍数后余11，13，17，没有5的倍数，但是，根据引理在去7的倍数所乘因子中仍然乘了（1－1/5）这个因子。因此，λ开始减小。 根据Mertens定理3和素数定理，得 → ∴ 2→1 即 λ→ （e自然对数底数，γ欧拉常数） 因为λ不平衡波动，所以λ单减，λ∈（，1］。 定理2：（素数个数连续函数式公式）不大于x的素数个数记为π(x)，则有公式 (1) (x≥4) 证明：设不大于的所有连续素数为(1≤k≤i)，则 (2) x＝1+(－1)+(－)+…++…+()+(x－) 其中任意区间（］的整数依次去掉，…这k个连续素数的倍数后，余下整数除这个合数外全为素数。如果把素数间距均衡处理，即相邻两素数间距是前一素数的函数。设 (3) （a=f()） ∴ = =2a+ 所以，区间（］有（2a+）个整数。 均衡处理后，区间（］里去掉前（k－1）素数的倍数后余下的倍数有2个，根据定理1，区间（］的素数个数大于(－1)。 用区间（）的素数平均分布率计算区间（］的素数会有这个合数不能去掉，根据定理1，区间（］的素数平均分布率需要再乘（1－）这个因子和微减的平衡系数λ，才能恰好去掉这个合数所减的1，所以,区间（］的素数个数应该小于－1=+a－1。 所以，区间（］的素数个数大于(－1) 小于－1=+a－1。 因为到的均衡间距a=f()，所以附近(即区间（］和（－2a］内）的素数平均间距是f ()（即与a和2有关），区间（］有（2a+）个整数，区间（］的素数个数大于(－1) 小于－1=+a－1，所以区间（－2a］的平均间距为2a，区间（］的素数个数为（+－1）个（也可用递推法证明，略）。即