相差2a的双生素数个数公式
- 格式:doc
- 大小:122.00 KB
- 文档页数:4
1 相差2a的双生素数个数公式
李联忠
(营山中学 四川营山 637700)
摘要:相差2a的双生素数个数公式
pppxppxpxSiiiijkjkjkkjikkknnnnn2112,1211)1()1()1(、
+q-h
an2前的素数均是n的约数时,相差2a的双生素数个数计算公式
ppppppppSiijjkknbn21111+q-h
关键词:数论 双生素数 公式
中图分类号: 文献标识号: 文章编号:
引理:若ppni21i2<,pppppiik121,,,,,3,2为连续素数,则在1、2、
3…n中去掉pk的倍数,余下的数(1除外)全为素数。
分析下面相差2a的数组
(1,1+2a) (2,2+2a)…(m,m+2a)…(n,n+2a) (1≤m≤n)
若ppani21i22<pppppiik121,,,,,3,2为连续素数,在1、2、3…n中去
掉除以pk余0和余()(2ppkka)的数()(2pka表示2a除以pk的余数),则余下的数组
(m,m+2a)中,m和(m+2a)都不是前i个素数的倍数,据引理,余下的数组全为双生素数
((1,1+2a)1+2a为素数时除外),仿照素数容斥公式可得出类似的双生素数个数计算公式
][][][][pppxpppxppxpxSiiiijkljkljkllkjijkjkjkkjikkknnnnnn2112,1,,3,1,1)1()1(
+q-h
))a21,1(101(该去而未去指或倍数被去掉了;它们作为的双生素数个数,因为表不大于hqpi
())(mod(20,),)(mod(20);(mod022211ppxppxpxiiiaa或或
2
))(mod(20))(mod(20)(mod0;))(mod(20))(mod(20122212112ppxppxpxppxppxiiiiijjkjkkkjaaaa或或或或
[ ]为取整号,xxi1 ;…,xkj…;…xk12…为中国剩余定理同余组的解。)
证明:∵ppani21i22<,pppppiik121,,,,,3,2
]的两个同余类个数为[和余余则去模或设pxpppppxkkkkkkkknaa))(2(0),)(mod(20
,))(mod(20))(mod(20;1ppxppxpxjjkjkkkjikkkaani或或设][数的个数可表示为个素数要去掉的同余类前
],应加上;[的个数可表示为ijijkjkkjppxn,1,
则前面多加的个数可或或或设,))(mod(20))(mod(20))(mod(20ppxppxppxjjlkjkklkjlllkjaka
以有应减去;以此类推,所][表示为,,1,,ijkljkljkllkjpppxn
hqnnnnnpppxpppxppxpxLiiiijkljkljkllkjijkjkjkkjikkki][][][][2112,1,,3,1,1)1()1())21,1(101(该去而未去指或倍数被去掉了;它们作为的孪生素数个数,因为表不大于ahqpi
若an2前的素数均是n的约数时,相差2a的双生素数个数计算公式
ppppppppSiijjkknbn21111+q-h (2a(pk)=0,则b=1,否则b=2)
证明:∵ppani21i22<,pppppiik121,,,,,3,2
又∵ pk|n ∴可以对取整号进行化简处理 3 若2a(pk)=0, 则去模pk的一个同余类
若2a(pk)≠0, 则去模pk的两个同余类
∴ppppppppSiijjkknbn21111+q-h (2a(pk)=0,则=1,否则b=2)
例1 用公式计算p不大于22的双生素数(p,p+14)的个数。
解:∵ 5<1422<7 ∴5,3,2321ppp
∵(3,17),(5,19)∴ q=2
∵ (1,15)∴ h=0
∵ 2|22 3⊥22 5⊥22
14除以2余0,14除以3余2,14除以5余4即
14(2)=0 14(3)=2 14(5)=4
∴ Sn=2254223222522322222
+53222532252223222
+5322422539225242232222
+532202253522
+5321422531422+2+0
=22-11-7-4-8-5+3+2+1+4+2+2+1+2-0-1-1-1+2=3
它们是(3,17)(5,19)(17,31)这3对。
例2 求p不大于30的双生素数(p,p+12)的个数。
解:∵ 5<1230<7 ∴5,3,2321ppp
∵(3,15)不是素数对,(5,17)是素数对
∴ q=1
∵ (1,13)13是素数
∴ h=1
∵ 2|30 3|30 5|30
12除以2余0,12除以3余0,12除以5余2即
12(2)=0 12(3)=0 12(5)=2, 4
∴Sn=30533221+1-1=6
它们是(5,17)(7,19)(11,23)(17,29)(19,31)(29,41)这6对。