相继两素数之差的上限渐近公1.docVIP

相继两素数之差的上限渐近公式 摘要： 相继两素数之差的上限是数论研究的难点问题之一，至今没有令人满意的结果。本文通过推证“最小素因子都是的两个自然数之间都是合数”的必要条件，给出一个相继两素数之差的上限渐近公式： 关键词：相继两素数之差 一，两个定义 称自然数是由表出的，如果是的最小素因子。 设素数序列：，，，…，；用﹗表素数序列中前个素数的连乘积，称﹗是前个素数的素阶乘 ﹗····· 二，几个引理 设等差数列：······，。公差为,若存在素数,使得,则任取数列中连续的项，有且仅有一项能被整除；若,则︳,或不能整除二者有且仅有一个成立。证明简单从略。 设素数，是由表出的，则︱。 证：，的等差中项是，的最小素因子都是，故必有 ︱，︱，︱。即：︱。不妨令。 在表出的两个自然数之间与既约的自然数个数等于 式中︱。 由筛法的实质可知。 设,︱时，在表出的两个自然数之间与既约的自然数个数，少于不能整除时，在表出的两个自然数之间与既约的自然数个数。 显然。不证。 三，一个命题 命题：设存在自然数为任意奇素数。的最小素因子都是，则间的自然数都是合数的必要条件是 ﹗······。 证：由题设知，,间的自然数都是合数，根据的既约剩余结构知，等价于为素数）的素因子个数大于1，且最小素因子大于3。 1,设的最小素因子是， 的最小素因子是，则有 ·············（1） ···············（2） 设式（2）的，的最小正整解是，，正整解系是 代入式（1）整理后可得：+········( 2，设的最小素因子是， 的最小素因子是，又有 ·················(1) ················(2) 设，是式（2）中的最小正整解 式（2）的正整解系是： 代入式（1）得 ·········（） 3,同时满足， ，时，由式（），（）可得······（1） ···········（2） 再设，是式（2）的，的最小正整解。正整解系是 代入式（1）得 ]}······ 4，再设的最小素因子是， 的最小素因子是，又有： ······（1） 7······（2） 再设，是式（2）中，的最小正整解，解系是： 代入式（1）可得 ············· （ 5，同时满足,, ,, 由式（，可得 +················（1） ·················· （2） 设，是式（2）中，的最小正整解，解系是 代入式（1）得 ···· 例1，，当 5 表出的两个自然数之间都是合数时，不妨令 , , { 例2：，当7表出的两个自然数之间都是合数时，不妨令 ；； 两个应相等，又得, { 例3：当11表出的两个自然数之间都是合数时，不妨令； ， 29，64，99，134，······ ， 148，369，590，811，······ 同时满足条件时 =119解得 = 又， 292，729，1166，1603，······ 同时满足例题所设条件时 4497解得 代入式（ 321924由 { 解上式可得满足要求的最小值。 6, 再设的最小素因子是, 的最小素因子是，亦有 ······（1） ······（2） 又设是式（2）中的最小正整解，按照1—5款的方法碾转解之，亦有 + + + ···························· 不难看出，上式的形式可以碾转嵌套到任意素数。且当的素数均整除时，显然有﹗。而当的素数不能整除时，由于，而对应的最小正整解中至少有一个使得或成立。这与的最小素因子大于等于，的最小素因子大于等于的要求不符，从求解的过程可知，式（的常数项是满足成为含有因子的合数的最小序列结构中心值。满足时，则表达式中的解出量等均大于零。。 故有：﹗=······。证毕。 四，两个推论 推论1：设不超过的最大素阶乘是﹗，则在间至多存在一个自然数是由表出的。。由命题1即可推定。 推论2：相继两素数之差的上限渐近公式是 证：不妨设之间存在由······，及，表出的最大连续合数结构，即间全是合数，且存在······﹗。 ︱，︱，是的最小素因子，是的最小素因子。并设为最大素数。 由推论1知，必存在一个自然数﹗，，使得。 首先，不妨设，。因为间的自然数都是合数，当时（见另篇相继两素数之差的上限），不存在由前个素数形成的最大合数结构，所以这些合数的最小素因子。由推论1知，······中的任一素数在间至多能表出一个自然数。极限形式之一是间只有，······与﹗互素，且······中的每个素数都各自表出了···········中的一个自然数时，才有。于是 由可知： 其次：按另一极限形式，设在间仅有，···与﹗互素，且···在间表出的自然数按照关于对称的原则分布。因为···序列的素数