[原创]关于素数间隔的猜想，欢迎大家证明和质疑1

大傻8888888

[watermark]  我发现在X^2-2X和X^2之间至少有一个素数。欢迎大家的证明和质疑！[/watermark]

白新岭

好像早就有人猜想在n^2到（n+1）^2之间就至少有2个素数，当n≥2时，n^2为合数，（n+1）^2也是合数，由(n+1)^2-n^2=2n+1,意思是说不包括n^2的情况下从n^2到(n+1)^2之间有2n+1个自然数，把最后一个合数（n+1）^2去掉后，剩2n个自然数，在这2n个自然数数至少有2个素数。至于谁提出的不详，但至今没有人举出反例。

大傻8888888

    我原来发过一个帖子谈素数的间隔问题，用构造的方法可以得出当Pi≦√N，N以内素数之间的最大间隔为2Pj，Pj为小于Pi的第一个素数。根据这个方法稍加改动即是这个猜想。我这个猜想看起来和杰波夫猜想相似，其实还是有区别的。他是加，X^2+2X的值可能大于Pk^2，Pk为大于Pi的第一个素数。而我是减，就不会出现这种情况。我可以确定我的这个猜想的成立应该是没有问题的。

trx

素数分布的研究进程
在很长的数学历史中 , 人们一直认为素数的分布是没有规律的 , 素数在自然数中时而多 , 时而少 . 那么素数的分布果真没有什么规律吗 ?1800 年,法国大数学家勒让德利用数值计算 , 居然在如此不规则的素数分布中发现了一个近似公式 : 用π (x) 表示不超过 x 的素数个数 , 当x足够大时 ,
π (x) ≈ x/(lnx-1.08366)
这个公式的新近改进如下 :
x/(lnx-0.5)<π(x)
左边不等式对于 x>=67 成立 , 右边不等式对于 x> √ e3 ≈ 4.48169... 成立 .
比勒让德稍晚 ,1849 年,德国大数学家高斯在给数学家恩克的信中也谈到 , 他以前考察过每千个自然数中的素数个数 ( 据说 , 他研究了直到 300 万以内的一切素数的情形 ), 因而发现了对于足够大的 x 的"素数平均分布稠密程度 " π (x)/x ≈ 1/lnx, 也就是
π (x) ≈ x/lnx
这个结论后世称为素数定理 , 是数论乃至整个数学中最著名的定理之一 . 当初作为最著名的猜想 , 将素数个数同微积分中与生物增长有关的函数连接在一起 , 是离散量与连续量携手而震惊了整个数学界 .
这个猜想的证明最初毫无进展 , 直到 1852 年左右 , 俄国著名的数学家切比雪夫首开纪录 , 证明了存在两个正常数 a 与b, 使得如下不等式成立 :
ax/lnx<π(x)
这里 ,a=0.92129...,b=6/5a=1.10555... 到了 1892 年,英国数学家希尔维斯特改进了切比雪夫的方法 , 而得到 a=0.95695...,b=1.04423... 能否在改进 ? 显然未到尽头 .
1859 年对于素数定理是一个重要的年头 , 这一年 , 著名数学家 , 德国科学院院士黎曼发表了一篇极短的数学论文 , 然而却开辟了素数定理研究的新方向 . 循着这个方向 , 法国数学家阿达马与比利时的数学家瓦莱布桑终于在 1896 年各自独立地用高深的解析数论方法证明了素数定理 . 但是能不能用初等数学证明呢 ? 有的数学家说 , 不可能只用初等数学就能证明素数定理 . 到了 1949 年,年轻的匈牙利数学家爱尔特希和美籍挪威数学家赛尔博格同时彼此独立地给出了素数定理的初等证明 , 他们在论文中除了用到指数函数和对数函数之外 , 没有用到任何 " 超越性 " 的东西 . 因此赛尔博格获得了 1950 年的菲尔兹奖 , 爱尔特希获得了 1951 年的考尔代数奖和数论奖 .
素数定理揭示了素数在自然数中的平均分布情况 . 那么在局部上素数的分布是怎样的呢 ? 就是说素数与素数之间的间隔是怎样的呢 ? 用g表示两个素数的间隔 . 除了唯一一个零间隔是 2 和3之间之外 , 最小间隔 1 不断出现 , 没有消失的迹象 , 这是素数对之间的间隔 . 但是 g 可以是任意大 . 事实上 , 不论整数 n 有多大 , 我们总能找到 n 个连续自然数他们都是合数 . 例如求 10 个连续自然数都是合数 , 只要取 m=2*3*5*7*11+1=2311, 则m+1,m+2,...m+10 即2312,2313,...2321 都是合数 . 他们都能被 2,3,5,7,11 之一整除 . 对于任意给出的自然数 n 只要取 m=(n+1)!+1, 则m+1,m+2,...m+n 就是 n 个连续的合数 .
限于能力与条件 , 人们已经发现的相邻素数的最大间隔还不到 1000. 可以想见 , 大于 1000 的间隔必然涉及到大得惊人的数 .
随便找两个数 , 能够保证他们之间一定存在素数吗 ?1845 年,法国数学家贝尔特朗 (1822-1900) 首先研究了这个问题 . 他对 6000000 以下的自然数 n 进行了检验 , 确信在 n-2 与n/2 之间至少有一个素数 , 称之为贝尔特朗猜想 .1850 年,俄国著名的数学家切比雪夫 (1821-1894) 对这个猜想发生了兴趣 , 将贝尔特朗简化成 : 对于整数 x>3, 在x与2x-2 之间必有一个素数 , 并且第一个证明了他 . 贝尔特朗猜想的现在通用形式是 : 在n与2n 之间至少有一个素数 . 我国著名数学家华罗庚证明了 , 在n与2n 之间的素数个数超过 :
0.0231n/ln(2n).
既然在 x 与2x 之间必有素数 , 那么能不能进一步缩小这个范围呢 ? 比如在 x 与(1+d)x 之间 ( 其中 d 是一个小于 1 的正实数 ) 是否有素数呢 ?1850 年,切比雪夫也证明了 : 对于每一个正数 d>1/5, 只要 x 足够大 , 在x与(1+d)x 之间必有素数 .1888 年,英国数学家希尔维斯特将 d 的值改进为 d>0.16688. 三年后他又改进成 d>0.092. 这个 d 还能再小吗 ?1893 年,法国数学家斯第尔基斯 (1856-1894) 提出而由凯恩证明了 ,d 要多小可以有多小 , 必然存在一个足够大的 x, 在x与(1+d)x 之间必定有素数 .
继贝尔特朗之后 ,1882 年奥波曼又提出了另一个猜想 : 当n>1 时,在n2 与n(n+1) 之间必有素数 . 我们把他改写成 : 在x与x+xk 之间必有素数 . 奥波曼猜想相当于 k=1/2. 由此可以看出 , 奥波曼猜想比贝尔特朗猜想更强 , 它的证明要比贝尔特朗更难 .
1930 年,霍海赛尔首开纪录 , 证明 k>=32999/33000=0.99996... 时,奥波曼猜想成立 . 以后又有人陆续得到 k>=249/250=0.996,k>3/4=0.75.1949 年,我国数学家闵嗣鹤证明 k>38/61=0.622..., 极大地推进了 k 的值 . 以后 , 又有 k>7/12=0.583...,k>13/23=0.565...,k>11/20=0.55,k>17/31=0.548..., 直到 1984 年,上海科技大学的楼世拓与姚琦得到当时最好的结果 :k>6/11=0.545...
不难看出 ,k 的值越来越逼近奥波曼猜测的 0.5. 但是最后证明看来还是很困难的 . 还有一个更弱的猜想也没有得到证明 .1855 年,杰波夫认为 , 在n2 和 (n+1)2 之间一定有素数 .1905 年,迈伦特证明了 , 对于比 9000000 小的平方数 , 杰波夫猜想成立 . 至于一般情形现在还是一个谜 . 法国数学家布罗卡尔 (1845-1922) 认为在两个素数的平方之间至少有 4 个素数 . 例如 , 在9和25 之间有素数 11,13,17,19,23. 这个命题既没有被证明 , 也没有被推翻 . 是数学家留给人们的又一个角逐的目标 .
素数分布一直是数论中最重要的和最有吸引力的中心问题之一 . 正如高斯所描绘的 , 那是一个仓库 , 贮藏着用之不竭的能引起人们兴趣的真理 .

申一言

  K=1/2+δ，   0＜δ＜1

大傻8888888

    在X^2-2X和X^2之间至少有一个素数，也可以认为在X-2[√X]和X之间至少有一个素数。再进一步甚至X-2[√X]-2和X之间至少有一个素数。所以一个数和一个比它小2[√X]-2的数之间至少有一个素数。这个结果当X越来越大时，素数之间的间隔相对2[√X]-2来说会变得越来越小。这就是说李联众先生的素数间隔有一定的道理，如果他的 λ  的值不是1/2而是1时，则可能是成立的。当X趋近无限大时，素数之间的最大间隔趋近于lnX*lnX。

歌德三十年

大傻8888888：您好。请教一个小问题，对哥猜“不小于6的偶数都可表二素数之和”这句白话，您是怎样用数学科学的专业语言直接明了地描述的？
盼复，再见。