重发系列证明之五:相差2k=6s+2的素数对是无穷多的
赵双成
E-mail:13523785824@126.com
摘要:将前n个素数的连乘积表为2N后,分别构建相差2k=6s+2、2k=6s+4、2k=6s的奇数对数列;按2N与2k之间公因子的特征,将奇数对数列分为不同的类型;用系列证明之一中同样的方法,证明各类奇数对数列的奇数对筛定理;用数字筛从各类奇数对数列中筛去一部分奇数对,再依据容斥原理用奇数对筛调整误差,导出剩余素数对个数的近似值公式;最后通过剩余素数对个数的近似值公式,证明相差2k的素数对是无穷多的。
关健词:初等数论;素数对;奇数对数列;数字筛;奇数对筛
0引言
法国数学家阿尔方·德·波利尼亚克(Alphonse de
Polignac)1849年提出对所有自然数k,存在无穷多个素数对(p,p
+ 2k)。
本系列证明的之一、二、三、四已证明了相差2、4、6、8的素数对是无穷多的。
1系列证明之一中的相关内容与定义
将前n个素数p1、p2、p3、p4、…、pn(n≥2)的连乘积表为2N。
在a=qb中,当b与q均为正奇数时,称a是b或q的奇倍数
;b为一个素数,a=qb,在用筛法筛去一些数字时,如a被b最先筛去,称a是b的优奇倍数。
当1≤M≤N/3时,6M±1组成一个N/3项的奇数对数列。6M-1称为小数,6M+1称为大数。以(a/b)的形式表示a,b为同奇数对中的两个数,a,b均为素数时称为孪生素数,否则为合数对。
数字筛是计算前若干个素数连乘积内某个素数优奇倍数个数的公式。前u个素数连乘积内第i个素数的数字筛是:
(p2-1)(p3-1)…(pi-1-1)pi+1…pu=2(p3-1)…(pi-1-1)pi+1…pu(u≥3,2≤i≤u,i+1≤u)本文仍将前n个素数连乘积表为2N,将大于pn且平方不大于2N+6s+1的最大素
数表为pn+t(t≥0);以相差2的奇数对数列作为构建相差2k=6s+2的奇数对数列的
基础,仍以(a/b)的形式表示a,b为同奇数对中的两个数,a,b均为素数时为素数对。
2k与U/3互质时,奇数对数列中的合数仅由其最小素因子筛去一次,其他素因子对该合数均不再重复筛去;2k与U/3有公因子时,在前u个素数连乘积p1p2p3…pnpn+1…pu=2U中,将p3到pn内属于公因子的素数表为gp、不属于公因子的素数表为qp,将pn+1到pn+t内属于公因子的素数表为dp、不属于公因子的素数表为fp,故
2U=p1p2p3…pnpn+1…pu
=gp1gp2…gpgdp1dp2…dpdqp1qp2…qpqfp1fp2…fpf
(n≥4,t≥1,g≥1,q≥0,g+q=n,d≥1,f≥0,d+f=t)
约定:奇数对数列内的合数同时含素数因子gp、qp、dp、fp时,gp与dp有比qp与fp将该合数筛去的优先权;在都有优先权或都无优先权的素因子内,较小的素数因子有将该合数筛去的优先权。
2相差2k=6s+2(k≥1、n≥3、0≤s≤[Pn/6])的奇数对数列
相差2k=6s+2的奇数对数列为6M-1,6(M+s)+1(1≤M≤N/3)。
∵相差2k=6s+2的奇数对数列中,s=0时2k=2,相差2k=6s+2的奇数对数列即为相差2的奇数对数列。
∴应取s≥0。
又∵当M=N/3时6(M+s)+1=2N+6s+1,且pn+t2≤2N+6s+1,
∴应取s≤[pn+t/6]。
故相差2k=6s+2的奇数对数列可表为
6M-1、6(M+s)+1(1≤M≤N/3,0≤s≤[pn+t/6],n≥3),其项数为N/3个。6M-1称为小数、6(M+s)+1称为大数。当s=0、1、2、3、……、时,相差2k=6s+2的奇
数对数列即为相差2、8、14、20、……的奇数对数列。
∵M=1时6(M+s)+1=6(s+1)+1=6s+7>6s+1,
∴数列不含6h+1(0≤h≤s)。
∵M=N/3-(s-h)时6[N/3-(s-h)+s]+1=2N+(6h+1)是6h+1的优奇倍数,
∴所以数列内p3到pn的优奇倍数的个数仍是:
P3:2P4P5…Pn、
P4:2(P3-1)P5P6…Pn、……、
Pn:2(P3-1)(P4-1)…(Pn-2-1)(Pn-1-1)。
从N/3个相差2k=6s+2的奇数对中减去上述优奇倍数的个数后有
p3p4…pn-2p4p5…pn-2(p3-1)p5…pn-
2(p3-1)(p4-1)p6…pn-………-2(p3-1)…(pn-1-1)
=p3p4…pn-2(p3…pn-1+p3…pn-2pn+…+p4…pn)+
2(p3…pn-2+
p3…pn-3pn-1+…+p5…pn)-…+(-1)n-4
2(p3p4+
p3p5+…+pn-1pn)+(-1)n-32(p3+p4+…+pn)+(-1)n-22
(1)
把(1)中减去的奇数对表为(a/b),(a/b)被a减去一次又被b减去一次时,(a/b)被减去两次。
3相差2k=6s+2(0≤s≤[pn+t/6],n≥4)的奇数对数列中的奇数对筛
引理1大于3不大于2N+6s+1的奇数中,在6h+1(1≤h≤s)以外的奇数中,1个奇数属于相差2k=6s+2的奇数对数列的充要条件,是该奇数不是3的奇倍数。
证明与系列证明之一中引理2的证明相同。
引理26M-1+A=6M′-1与[6(M+s)+1]+A=6(M′+s)+1的充要条件是A=6m(m>0)
证明与系列证明之一中引理3的证明相同。
定理3(奇数对筛)q、r是相差2k=6s+2的奇数对数列内的两个数,(q,r)=1且qr所含奇素数因子的平方均不大于2N+6s+1。在qr个相差2k=6s+2的连续奇数对内,有且仅有两个奇数对中的数分别为q、r的奇倍数。
证明
∵(q,r)=1,
∴qx-ry=6s+2有整数解,将其最小正整数解表为x0,y0,即qx0+ry0=6s+2。用系列证明之一中奇数对筛证明的同样方法可证明:
x0,y0为奇数时,qx0与ry0,qx0+2qr与ry0+2qr,qx0+4qr与ry0+4qr中必有一对是qr个相差6s+2的连续奇数对中的一个奇数对;
x0,y0为偶数时,qx0+qr与ry0+qr,,qx0+3qr与ry0+3qr,,qx0+5qr与ry0+5qr中必有一对是qr个相差6s+2的连续奇数对中的一个奇数对。
∵qx>ry、qx0>ry0且ry=6M-1,
∴不存在qx0<ry0与q<y0而r≥x0。
又∵q=y0、r=x0时,qx0-ry0=qr-rq=0,
q<y0、r<x0时qx0>qr、ry0>rq,(qx0-qr)-(ry0-qr)qx0=6s+2.
∴也不存在q=y0、r=x0;q<y0、r<x0。
故q与y0、r与x0的大小关系只能有以下两种类型:
y0<q、x0<r;y0≤q、x0>r。
∵y0<q、x0<r时qx<6qr、ry<6qr,
∴用系列证明之一中的同样方法即可证明此时相差6s+2的奇数对筛成立。
又∵y0≤q、x0>r在M=qr时6(M+s)+1=6qr+6s+1>6qr,当qx为6qr+1到6qr+6s+1范围内的奇数时[qx/6qr]=S≥1,
∴此时(S+1)6qr-qx是qr个相差6s+2的连续奇数对内的一个奇数,找到(ry/qx)后,(S+1)6qr-qx与(S+1)6qr-ry即为另一个奇数对,即y0≤q、x0>r时相差6s+2的奇数对筛也成立。
现以例题验正相差6s+2的奇数对筛与客观事实相符。
例16s+2=20,q=5,r=7,qr=35,6qr=210,(5/25)到(209/229)共35
个相差20的连续奇数对。
5与7不是相差20的奇数对数列中的一个奇数对。
5×11-7×5=55-35=20,210-35=175=7×25、210-55=155=5×31。
在35个相差20的连续奇数对内只有(35/55)和(175/155)这两个奇数对由5和7的奇倍数组成。
例26s+2=62,q=67,r=5,qr=335,6qr=2010,(5/67)到(2009/2071)共335个相
差62的连续奇数对。
67-5=62,(2010-5)-(2010-67)=2005-1943=62,在335个相差62的连续奇数对内只有(5/67)和(2005/1943)这两个奇数对由5和67的奇倍数组成。
例36s+2=62,q=7,r=5,qr=35,6qr=210,(5/67)到(209/271)共35个相差62
的连续奇数对。
5与7不是相差62的奇数对数列中的一个奇数对。
7×11-5×3=62,(77+4×35)-(15+4×35)=217-155=62;[217/210]=1=S,420-217=203、420-155=265,265-203=62。
在35个相差62的连续奇数对内只有(217/155)和(203/265)这两个奇数对由5和7的奇倍数组成。
例46s+2=62,q=7,r=65,qr=455,6qr=2730,,(5/67)到(2729/2791)共455
个相差62的连续奇数对。
7与65不是相差62的奇数对数列中的一个奇数对。
7×46-65×4=62,
322+3×455=1687、260+3×455=1625,1687-1625=62;2730-1687=1043、2730-1625=1105,1105-1043=62。
在455个相差62的连续奇数对内只有(1687/1625)和(1043/1105)这两个奇数对由7和65的奇倍数组成。
由例3已知q=7,r=5,qr=35,6qr=210时,在35个相差62的连续奇数对内只有(217/155)和(203/265)这两个奇数对由5和7的奇倍数组成。455个相差62的连续奇数对均分为13个连续奇数对组后,每组均有35个连续奇数对。将(217/155)和(203/265)中的各个数分别依次加210后,所得到的和即为各组内由5和7的奇倍数组成的奇数对,他们是:
(155/217)与(265/203),
(365/427)与(475/413),
(575/637)与(685/623), (785/847)与(895/833),
(995/1057)与(1105/1043),
(1205/1267)与(1315/1253),
(1415/1477)与(1525/1463),
(1625/1687)与(1735/1673),
(1835/1897)与(1945/1883),
(2045/2107)与(2155/2093),
(2255/2317)与(2365/2303),
(2465/2527)与(2575/2513),
(2675/2737)与(2785/2723)。
例56s+2=662,q=7,r=65,qr=455,6qr=2730,(5/667)到(2729/3391)共455
个相差662的连续奇数对。
7与65不是相差662的奇数对数列中的一个奇数对。
7×141-65×5=987-325=662,
987+2×455=1897、325+2×455=1235,1897-1235=662;2730-1897=833、2730-1235=1495,1495-833=662。
在455个相差662的连续奇数对内只有(1897/1235)和(833/1495)这两个奇数对由7和65的奇倍数组成。
4
剩余相差2k=6s+2的奇数对个数的公式
4.1
当(N/3,2k)=1时
定理4
(N/3,2k)=1时,剩余相差2k=6s+2的奇数对个数的公式为
(p3-2)(p4-2)…(pn-1-2)(n≥3)(2)
与系列证明之一中剩余相差2的奇数对个数公式的证明同理可知定理4成立。
4.2
当(N/3,2k)=gp1gp2…gpg(g≥1)时,即p3p4…pn中某些奇素数因子为2k与N/3的公因子。将这些公因子表为gp1、gp2、…、gpg(g≥1),p3p4…pn中不是公因子的奇素数表为qp1、qp2、…、qpq(q≥0),于是有
p3p4…pn=gp1gp2…gpgqp1qp2…qpq(n≥3,g≥1,q≥0,g+q=n)
gp1…gpjqp1…qpk中各奇素数在相差2k=6s+2的奇数对数列内优奇倍数的个数为
gp1:2gp2…gpgqp1qp2…qpq,
gp2:2(gp1-1)gp3…gpgqp1qp2…qpq,……,
gpg:2(gp1-1)(gp2-1)…(gpg-1-1)qp1qp2…qpq
,
qp1:2(gp1-1)(gp2-1)…(gpg-1-1)(gpg-1)qp2…qpq
,
qp2:2(gp1-1)(gp2-1)…(gpg-1-1)(gpg-1)(qp1-1)qp3…qpq
,……,
qpq:2(gp1-1)(gp2-1)…(gpg-1-1)(gpg-1)(qp1-1)(qp2-1)…(qpq-1-1)
。
例6N/3=5×7×11×13×17=85085中如11、17是N/3与2k的公因子,5、7、11、13、17不大于2N=510510的优奇倍数的个数分别是:
11为2×17×5×7×13=15470,
17为2(11-1)5×7×13=9100,
5为2(11-1)(17-1)7×13=29160,
7为2(11-1)(17-1)(5-1)13=16640
13为2(11-1)(17-1)(5-1)(7-1)=9600。
定理5
(N/3,2k)=gp1gp2…gpg(g≥1)时,剩余相差2k=6s+2的奇数对个数的公式为(gp1-1)(gp2-1)
…(gpg
-1)(qp1-2)(qp2-2)…(qpq
-2)(g≥1,q≥0) (3)
证明
在N/3=gp1gp2…gpgqp1gp2…qpq中gp1≤gpj≤gpg(1≤j≤g),(a/b)是相差2k=6s+2的奇数对数列中的任一个奇数对,在a是gpj的优奇倍数时如gpj|2k,
∵b=a+2k,
∴gpj|b,即(a/b)中的两个奇数都是gpj的优奇倍数。
∵gpj的优奇倍数的个数为2(gp1-1)(gp2-1)…(gpj-1-1)gpj+1…gpgqp1qp2…qpq,
∴gpj的优奇倍数在相差2k=6s+2的N/3个奇数对中筛去的奇数对为
(gp1-1)(gp2-1)…(gpj-1-1)gpj+1…gpgqp1qp2…qpq个,于是有:
gp1gp2…gpgqp1qp2…qpq-gp2…gpgqp1qp2…qpq
-(gp1-1)gp3…gpgqp1qp2…qpq
-(gp1-1)(gp2-1)gp4…gpgqp1qp2…qpq-…
-(gp1-1)(gp2-1)…(gpg-1-1)qp1qp2…qpq
=[gp1gp2…gpg-(gp1+gp2-1)gp3…gpg-(gp1-1)(gp2-1)gp4…gpg
-…-(gp1-1)(gp2-1)…(gpg-1-1)]qp1qp2…qpq
=[gp1gp2…gpg-(gp1gp2+gp1gp3+gp2gp3-gp1-gp2-gp3+1)gp4…gpg
-…-(gp1-1)(gp2-1)…(gpg-1-1)]qp1qp2…qpq
=…………………………………………………………
={gp1gp2…gpg-[(gp1gp2…gpg-2+gp1…gpg-3gpg-1+…+gp2…gpg-1)
-(gp1gp2…gpg-3+gp1…gpg-4gpg-2+…+gp3…gpg-1)+…+(-1)g-3
(gp1+gp2+…+
gpg-1)+(-1)g-2]gpg-(gp1-1)(gp2-1)…(gpg-1-1)}qp1qp2…qpq
=[gp1gp2…gpg-(gp1gp2…gpg-1+gp1…gpg-2gpg+…+gp2…gpg)
+(gp1gp2…gpg-2+gp1…gpg-3gpg-1+…+gp3…gpg)-…+
(-1)g-2(gp1+gp2+…+gpg)+(-1)g]qp1qp2…qpq
=(gp1-1)(gp2-1)…(gpg-1)qp1qp2…qpq(4)
在剩余的(gp1-1)(gp2-1)…(gpg
-1)qp1qp2…qpq个相差2k=6s+2的奇数对中,已不含gp1gp2…gpg中的任一因子,从其中筛去含qp1、qp2、…、qpq的优奇倍数的奇数对后为
(gp1-1)(gp2-1)…(gpg-1)qp1qp2…qpq-2(gp1-1)…(gpg-1)qp2…qpq
-2(gp1-1)…(gpg-1)(qp1-1)qp3…qpq–………-
2(gp1-1)…(gpg-1)(qp1-1)(qp2-1)…(qpq-1-1)
=(gp1-1)(gp2-1)…(gpg-1)[qp1qp2…qpq-2(qp1+qp2-1)qp3…qpq-
2(qp1-1)(qp2-1)qp4…qpq-…-2(qp1-1)(qp2-1)…(qpq-1-1)]
=…………………………………………………………
=(gp1-1)(gp2-1)…(gpg-1)[qp1qp2…qpq
-2(qp1qp2…qpq-1+qp1…qpq-2qpq+…+qp2…qpq)
+2(qp1qp2…qpq-3+qp1…qpq-4qpq-2+…+qp3…qpq-1)
-…+(-1)q-2(qp1+qp2+…+qpq)+(-1)q]
(5)
(a/b)为(5)中筛去的奇数对,如a与b是qp1、qp2、…、qpq中不同奇素数的优奇倍数,(a/b)被筛去了两次。用系列证明之一导出剩余相差2的奇数对个数公式的同样方法,由(5)即可导出定理5成立。
例72N=2×3×5×7=210时,平方倍大于210的最大素数是13,
在相差50的奇数对数列内5整除50,按(3)计算剩余相差50的奇数对为
(5-1)(7-2)=20(个),实剩余奇数对也是20个。他们是:
(11/61)、(17/67)、
(23/73)、
(29/79)、
( 47/97)、
(53/103)、
(59/109)、(71/121)、(89/139)、(101/151)、(107/157)、(113/163)、(131/181)、(137/187)、(143/193)、(149/199)、(173/223)、179/229)、(191/241)、(197/247)。
其中素数对17个,合数对3个。3个合数对是:
(71/121),121=11×11;(143/193),143=11×13;(137/187),187=11×17。
例82N=
2×3×5×7×11=2310时,在相差50的奇数对数列内5整除50,按(3)计算剩余奇数对是(5-1)(7-2)(11-2)=180(个),实剩余奇数对也是180个,其中素数对90个、合数对90个。
例92N=2×3×5×7×11=2310时,在相差14的奇数对数列内7整除14,按(3)计算剩余奇数对是(7-1)(5-2)(11-2)=162(个)实剩余奇数对也是162个,其中素数对82个、合数对80个。
5剩余相差2k=6s+2的素数对个数的近似值公式
不存在大于pn且平方不大于2N的素数时,按定理4、5计算出的剩余奇数对全为素数对。有大于pn且平方不大于2N的素数时,将其个数表为t(n≥4,t≥1),令u=n+t,2U=p1p2p3…pnpn+1…pu。
5.1
定理6 (U
/3,2k)=1时,剩余相差2k=6s+2的素数对个数的近似值公式为
(P3-2)(P4-2)…(Pn-2)…(Pn+t-2)/Pn+1Pn+2…Pn+t(n≥3、t≥0)(6)
用证明之一中证明相差2的数素数对个数近似值计算公式的同样方法即可证明定理6成立,且n趋向无穷大时(6)式也趋向于无穷大。
5.2
当(U/3,2k)=gp1gp2…gpgdp1dp2…dpd(g≥1,d≥0)时,即p3p4…pn中某些奇素数因子和pn+1pn+2…pn+t中某些奇素数因子为2k与U/3的公因子。将这些公因子表为gp1gp2…gpg(g≥1)与dp1dp2…dpd(d≥0),不是U/3与2k公因子的素数表为qp1gp2…qpq(q≥0)与fp1fp2…fpf(f≥0)(d、f不同时为0),于是有
U/3=gp1gp2…gpgqp1qp2…qpqdp1dp2…dpdfp1fp2…fpf
(n≥4,g≥1,q≥0,g+q=n,t≥1, d≥1,f≥0,d+f=t)。
用本证明中推导(4)的同样办法,从U/3个相差2k=6s+2的素数对筛去含gp1、…、gpg、dp1、…、dpd因子的奇数对后可得
(gp1-1)…(gpj-1)(sp1-1)…(sps-1)qp1qp2…qpqfp1p2…fpf。(7)
定理7
(U/3,2k)=gp1gp2…gpgdp1dp2…dpd(g≥1,d≥0)时,剩余相差2k=6s+2的素数对个数的近似值公式为
(gp1-1)…(gpg-1)(dp1-1)…(dpd-1)(qp1-2)…(qpq-2)(fp1-2)…(fpf-2)/
pn+1pn+2…pn+t(n≥4,g≥1,q≥0,g+q=n,t≥1,u=n+t,d≥0,f≥0,g+f=t)(8)
由(7)用证明之一中推导相差2的数素数对个数近似值计算公式的同样方法,即可证明定理7成立。
例102N=2×3×5×7=210时,大于7且平方不大于210的最大素数是13,[13/6]=2,0≤s≤2,s=2时,按(8)计算此相差14的奇数对数列剩余素数对个数的近似值是
(7-1)(5-2)(11-2)(13-2)/11×13=162/13≈12(个),实剩余素数对是14个,他们是(17/31)、(23/37)、(29/43)、(47/61)、(53/67)、(59/73)、(83/97)、(89/103)、(113/127)、(137/151)、(149/163)、(167/181)、(179/193)、(197/211)。
例112N=2×3×5×7×11×13=30030时,平方不大于30030的最大素数是173,
[173/6]=28,故0≤s≤28
s=0时,按(6)计算此相差2的奇数对数列剩余素数对个数的近似值是
(5-2)(7-2)(11-2)(13-2)(17-2)
)(19-2)…(173-2))/17×19×23×…×173
≈456(个),实剩余相差2的素数对也是456个。
s=28时,按(8)计算此相差170的奇数对数列剩余素数对个数的近似值是
(5-1)(17-1)(7-2)(11-2)(13-2)
)(19-2)…(173-2))/17×19×23×…×173
≈649(个),实剩余相差170的素数对也是649个。
6 结论
引理8
6s+1<2pn+t。
证明
∵pn+t为奇数而6为偶数且pn+t大于7,
∴6不能整除pn+t,且有1≤余数≤5。
∵s≤[pn+t/6],
∴6s+1≤6[pn+t/6]+1<2pn+t。
定理9相差2k=6s+2(0≤s≤[pn+t/6])的素数对是无穷多的
证明
由系列证明之一已知2N>pn2,将平方不大于2N+6s+1的最大素数表为pn+t(t≥1)。
∵2N+6s+1≥pn+t2(n≥4,t≥1),
∴N≥(pn+t2-6s-1)/2。
(gp1-1)…(gpg-1)(dp1-1)…(dpd-1)(qp1-2)…
(qpq-2)(fp1-2)…(fpf-2)/pn+1pn+2…pn+t*1pn+t
>p2p3…pn
pn+1pn+2…pn+t-1/pn+1pn+2…pn+t=p2p3…pn/pn+t
=N/pn+t≥(pn+t2-6s-1)/2pn+t=pn+t/2-(6s+1)/2pn+t
>pn/2-
pn+t/2pn+t>pn/2-1。
①、n=9时,pn/2-1=23/2-1>10>9
②、设n=k,pk/2-1>k(k≥9);
n=k+1,pk+1/2-1≥(pk+2)/2-1=(
pk/2-1)+1>k+1。
由①、②可知:对任意的n≥9均有pn/2-1>n。因素数是无穷多的,n趋向无穷大时pn/2-1也趋向无穷大,进而(8)必更趋向无穷大。
至此,相差2k=6s+2(0≤s≤[pn+t/6])的素数对是无穷多的证明完毕。