杰波夫猜想证明及小区间其他猜想探究.pdf

杰波夫猜想证明及小区间其他猜想探究 李联忠 （营山中学 四川营山 637700） 摘 要：2 +2( 表第 i 个素数)个连续正整数中，去掉模每个不大于 的素数的 p pi i pi 任一个同余类后，余下数的个数不小于 2. 从而证明杰波夫猜想，并对小区间其他猜想作探 究。 关键词：数论；素数个数 小区间 中国分类号：015 文献标识码： 文章编号： 1882 年奥波曼提出了一个猜想:当 n1 时,在 n2 与 n(n+1)之间必有素数。我们把他改写 成:在 x 与 x+xk 之间必有素数.奥波曼猜想相当于 k=1/2. 1930 年,霍海赛尔首开纪录,证明 k=32999/33000=0.99996... 时 , 奥 波 曼 猜 想 成 立 . 以 后 又 有 人 陆 续 得 到 k=249/250=0.996,k3/4=0.75.1949 年,我国数学家闵嗣鹤证明 k38/61=0.622...,极大地 推进了 k 的值.以后,又有 k7/12=0.583...,k13/23=0.565...,k11/20=0.55,k17/31 0.548...,直到 1984 年,上海科技大学的楼世拓与姚琦得到当时最好的结果:k6/11=0.545... 1855 年,杰波夫认为,在 n2 和(n+1)2 之间一定有素数.1905 年,迈伦特证明了,对于比 9000000 小的平方数,杰波夫猜想成立.至于一般情形现在还是一个谜.法国数学家布罗卡尔 (1845-1922)认为在两个素数的平方之间至少有 4 个素数.例如,在 9 和 25 之间有素数 11,13,17,19,23.这个命题既没有被证明,也没有被推翻. 下面给出杰波夫猜想的证明。 引理： 2 +2( 表第i 个素数)个连续正整数中，去掉模每个不大于 的素数的任 p pi i pi 一个同余类后，余下数的个数不小于2. 证明：设pj 为不大于pi 的任一素数，即 1≤j ≤i ,用数学归纳法证明－pi －（pi － 1) … －1 0 1 2 … ( －1) +1 这 2 +2 个整数中去模p 的非0 的任一 pi p pi i pi j 个同余类后，余下数的个数不小于去模pj 余 0 的数后，余下数的个数. I 当 i=1 即p pi 1 =2 时，－2 －1 0 1 2 这 2 pi+1 5 个整数中去模 2 余 1 的同余 类后，余下数的个数不小于去模 2 余 0 后，余下数的个数. II 假设 i=k 时结论成立，即 －pk －( pk －1) … －1 0 1 2 … ( pk －1) , +1 这 2 +2 个整数中去模p 的非0 的任一个同余类后，余下数的个数不小于 p p p k k k j 去模pj 余 0 的数后，余下数的个数. 当 i=k+1 时， －pk1 … －pk －( pk －1) －( pk －2) … －1 0 1 2 … ( pk －1) pk ( +1) … +1 这 2 +2 个整数中，因为去模 的非 0 的任一个同余 p p p p p k k1 k1 k1