素数个数公式及黎曼猜想证明李联忠李静1营山中学四川营山.DOCVIP

素数个数公式及黎曼猜想证明 李联忠 李静 （1.营山中学 四川营山 637700 邮箱：lianzhong.li2008@163.com,电话 2.IBM 中国北京） 摘要：不大于n的素数个数记为π(n) （Ⅰ） π(n)=2+ +z() (－π（）z() π（）,λ波动微减) (Ⅱ) π(x)= 1901年瑞典数学家Helge von Koch证明了黎曼猜想与强条件的素数定理等价 。由π(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：若,，……, 为连续素数，0≤k≤i且≤，不大于n的素数个数记为π(n)，则有公式 （Ⅰ） π（n）=2+ +z() (－π（）z() π（）,λ波动微减) 证明： ∵ n＝1+(4－1)+(9－4)+(25－9)+…++…+ 区间 ()的整数去掉,，…的倍数后，余下全为素数。 (4,9),(9,25),(25,49)这3个区间按引理计算，再加取整误差即可。 区间（49，121）的整数，7的倍数有8，9，10，11，12，13，14，15，16，17这10个，它们中去掉2，3的倍数后余11，13，17，没有5的倍数，根据引理,减去7的倍数个数,所乘因子中,仍然乘了（1－1/5）这个因子。所以少减了。 区间(,)的整数，,按引理计算去掉素数的倍数时，计算值均存在少减，所以，在中乘一系数λ。选择合适的λ，使区间(,)去掉素数 的倍数时，只存在取整误差。这样的λ波动微减。下面是前几个区间的情况 区间 存在少减 的 λ 引理计算值 乘λ值 实际值 （49，121） 7 0.95 16.4 15.5 15 （121，169） 7 11 0.92 9.9 9.1 9 （169，289） 11 13 0.92 23.0 21.1 22 （289，361） 11 13 17 0.93 12.9 12.0 11 （361，529） 11 13 17 19 0.9379 28.7 26.9 27 （529，841） 11 13 17 19 23 0.92058 51.0 46.9 47 （841，961） 13 17 19 23 29 0.91746 18.9 17.3 16 （961，37^2） 13 17 19 23 29 31 0.914767 62.3 56.9 57 （37^2,41^2） 17 19 23 29 31 37 0.9058189 46.4 42.0 44 （41^2,43^2） 17 19 23 29 31 37 43