黎曼猜想证明.docVIP

黎曼猜想证明 李联忠 （营山中学 四川营山 637700） 摘要：黎曼ζ函数非平凡零点的实数部份是? ，1901年瑞典数学家Helge von Koch证明了黎曼猜想与强条件的素数定理等价 ，本文通过证明是正确的，间接证明黎曼猜想。 关键词：数论；素数；黎曼猜想 中图分类号：015 文献标识码： 文章编号： 黎曼猜想：黎曼ζ函数非平凡零点的实数部份是? ，1901年瑞典数学家Helge von Koch证明了黎曼猜想与强条件的素数定理等价 ，下面证明是正确的。 先证引理 引理1：若,，……,,为连续素数，且| n ， 则 n≠o (mod) 的 数的个数 . 证明：I.当i=1时, ∵ =2 , |n ∴ 结论成立。 Ⅱ.假设i=k时，结论成立，即： 成立。 当i=k+1时， ∵ |n，|n，…， |n，据归纳假设 ∴ 又 ∵ |n ∴ n≠o (mod) 的数有个，即是的 1 、2 、3 、… 、 这个倍数。而这个数在去了的倍数后，据归纳假设还余 ∴ ∴ i=k+1时，结论 成立。 由I、Ⅱ可得，当i为任何正整数，结论都成立。 所以， 若,，……,,为连续素数，且| n ， 则 n≠o (mod) 的数的个数. 引理1证毕。 引理2：若，则 ≤≤0.75 证明：设 ∴ ∴ = 根据Mertens定理3 ∴ = = = ∴ 是波动减小的，波幅也减小。 ∵ == ∴ ≤≤=0.75 即 ≤≤0.75 引理2证毕。 引理3（素数连乘积分布定理）：若,，……,,为连续素数， 则不大于n的素数个数公式为 （S） π(n)= （） 或 （L） π(n)= （） 证明： ∵ n＝3+(8－3)+(24－8)+(48－24)+…++…+ ∴ 根据引理1，区间［）的素数个数可近似表示为 因为 到之间的数，去,，……,的倍数后，余下的数的个数所占比例大于，这不是因为pn导致的，而是因为当=时，到之间的数没有的倍数，所以在去掉,，……,的倍数后，余下数中，的倍数个数不是 而是 这不是p是否整除n的问题，而是n受限制，而使到之间的数没有达到有…,的倍数的范围，前面证明引理1时，去,，……, 的倍数后，再去的倍数，减去的是 而n受限制，实际是 ∵ 所以，少减了，为了与引理1有相吻合的表达式，也避免向后演绎导致麻烦，采取让后的去素数倍数因子、、…、提前进入，来平衡少减的量。所以，区间［）有较精确的素数个数表达式 (1) 又 ∵ ∴ 1≤k4时， 即 k≥4时， 即 随着k的增大，（）波动地增大，当n→+∞时，（）达到最大值。 调整每个区间的值，理论上就可以得到不大于n的素数个数公式 (S) π(n)= （） 知道了n受限制，所导致偏差的原因，同理可得另一形式的 不大于n的素数个数公式 （L） π(n)= （） 由分析不难得到公式（S）和公式（L）中相应量的关系：