|

楼主 |
发表于 2023-9-18 14:07
|
显示全部楼层
勒让德猜想已被攻克
勒让德猜想是法国数学家阿德利昂·玛利·埃·勒让德(1752-1833)提出的,
近200年未被证明。该猜想为任意两个相邻完全平方数之间,都存在至少一个质数。
即,对任意正整数n,存在质数p,满足n^2 < p < (n+1)^2。
证明:
对于比较小的正整数n,已经验证存在质数p,满足n^2 < p < (n+1)^2。
而对于较大正整数n>9,我们可以根据崔坤的孪生素数无穷存在定理:
L(x)>x/(ln x)^2-1
因为当x≥9时,该下限值函数是严格单调增函数
所以L((n+1)^2)-L(n^2)>0
由此可知命题成立
显见勒让德猜想仅仅是孪生素数猜想的推论而已!
例如:
区间(5^2,7^2)内,有两组孪生素数(29,31)(41,43)
区间(11^2,13^2)内,有两组孪生素数(137,139)(149,151)
区间(17^2,19^2)内,有两组孪生素数(311,313)(347,349)
区间(29^2,31^2)内,有两组孪生素数(857,859)(881,883)
区间(41^2,43^2)内,有三组孪生素数(1697,1699)(1721,1723)(1787,1789)
**************
L(7^2)-L(5^2)=7^2/(ln7^2)^2-5^2/(ln5^2)^2>3-2=1,命题成立
L(13^2)-L(11^2)=13^2/(ln13^2)^2-11^2/(ln11^2)^2>6-5=1,命题成立
L(19^2)-L(17^2)=19^2/(ln19^2)^2-17^2/(ln17^2)^2>10-9=1,命题成立
L(31^2)-L(29^2)=31^2/(ln31^2)^2-29^2/(ln29^2)^2>20-18=2,命题成立
L(43^2)-L(41^2)=43^2/(ln43^2)^2-41^2/(ln41^2)^2>32-30=2,命题成立
区间(59^2,61^2)内,区间长度3721-3481=240,有5组孪生素数
{3527,3529}, {3539,3541}, {3557,3559}, {3581,3583}, {3671,3673
区间(71^2,73^2)内,区间长度4(71+1)=288,有3组孪生素数
(5099,5101) (5231,5233) (5279,5281)
区间(101^2,103^2)内,区间长度4(103+1)=416,有7组孪生素数
(10271,10273) (10301,10303) (10331,10333) (10427,10429) (10457,10459)
(10499,10501) (10529,10531)
区间(107^2,109^2)内,区间长度4(107+1)=432,有6组孪生素数
(11489,11491) (11549,11551) (11699,11701) (11717,11719) (11777,11779)
(11831,11833)
************
L(61^2)-L(59^2)=61^2/(ln61^2)^2-59^2/(ln59^2)^2>55-52=3,5>3命题成立
L(73^2)-L(71^2)=73^2/(ln73^2)^2-71^2/(ln71^2)^2>72-69=3,3=3命题成立
L(103^2)-L(101^2)=103^2/(ln103^2)^2-101^2/(ln101^2)^2>123-119=4,7>4命题成立
L(109^2)-L(107^2)=109^2/(ln109^2)^2-107^2/(ln107^2)^2>134-131=3,6>3命题成立 |
|