相差6s+4的素数对无穷多MicrosoftWord97-2003文档.docVIP

相差2k=6s+4的素数对是无穷多的 赵双成 E-mail126.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和2k=6s+2的素数对是无穷多的。 1 相差6s+2的素数对无穷多中的相关内容与定义 将前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，将大于pｎ且平方不大于2N+6s+5的最大素数表为pn+t(t≥0)；以相差2的奇数对数列作为构建相差2k=6s+4的奇数对数列的基础，以(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将该合数筛去的优先权；在都有优先权或都无优先权的素数因子内，较小的素数因子有将该合数筛去的优先权。 相差2k=s+4(k≥1、n≥3、0≤s≤[Pn+ｔ/6])的奇数对数列 相差2k=s+4的奇数对数列为6M+1，6(M+s+1)-1(1≤M≤N/3)。 ∵相差2k=s+4的奇数对数列中，s=0时2k=4，相差2k=6s+4的奇数对数列即为相差4的奇数对数列。 ∴应取s≥0。 又∵当M=N/3时6(M+s+1)-1=2N+6s+5，且pn+t2≤2N+6s+5， ∴应取s≤[pn+t/6]。 故相差2k=6s+4的奇数对数列可表为 6M+1、6(M+s+1)-1(1≤M≤N/3，0≤s≤([pn+t/6])，n≥3)，其项数为N/3个。6M+1虽小于6(M+s+1)-1，仍称6M+1为大数、6(M+s+1)-1称为小数。当s=0、1、2、3、……、时，相差2k=s+4的奇数对数列即为相差6h+5(0≤h≤s)。 又∵M=N/3-(s-h)时6[N/3-(s-h)+s+1]-1=2?N?+(6h+5)是6h+5的优奇倍数， ∴所以数列内p3到pn的优奇倍数的个数仍是： P3：2P4?P5…Pn、 P4：2(P3-1)P5?P6…Pn、……、 Pn：2(?P3-1)(P4-1)…(Pn-2-1)(Pn-1-1)。 从N/3个相差2k=6s+4的奇数对中减去上述优奇倍数的个数后有 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-42(p3p4+ p3p5+…+pn-1pn)+ (-1)n-32(p3+p4+…+pn)+(-1)n-22