第 1 页 共 1 页 1

自然数中孪生素数的存在是无穷的
摘要 本文的目的在于用数阵作工具，从自然数中成批地筛选出新素数；证明孪生素数的存在是无穷的。
关键词 素数；孪生素数；筛法；数阵
The Existence of Twin Prime Numbers in Natural Numbers is Infinite .

Abstract In this paper,the purpose is to use numberial matrix as the tool to filter prime numbers in batch from

natural numbers；At the same time to prove that the existence of twin prime numbers is infinite .

Keywords Prime Numbers；Twin Prime Numbers； Sieve；Numberial Matrix；

MR（2000）Subject Classification 11A41，Primes

Chinese Library Classification O156

符号说明
文中未加说明的字母均表示非负整数，以下是全文通用的符号，如在个别地方有不同含义则将明确说明，其
它符号在所在段落说明。
a|b a 整除 b
a /| b a 不整除 b
P、P1、P2、… 表示素数
Pi 第i个素数
（a1,a2） a1,a2的最大公约数
a≡b（modP） a 同余于 b 模 P
a ≡/ b（modP） a 不同余于 b 模 P
Hi 第i个数阵
H i// 第 i 个副数阵
ϕ （mi） 欧拉函数
π2（Pi） 自然数中不大于Pi的孪生素数的个数

∏q| N
对 N 的不同的素因数 q 求积

1 引言
文中用由欧拉函数联想到的数阵为工具完成了以下两项任务：
⑴用逐个筛去Pi的整数倍元素的方法成批的筛出新素数；
⑵由Hi(i≥3)与H2的关系导出了孪生素数的存在是无穷的。
2 有效的筛选工具数阵：
i
设i∈N,用Pi表示自然数中第i个素数，如：P1=2，P2=3，…；用mi= ∏P
K =1
K 表示前i个连续素数的积。

定义：把 1、2、…、mi中与mi互素的数从小到大排列为第一行，行距为mi,共有Pi+1行的矩形数字组合叫数阵，
用Hi表示第i个数阵。
由定义知，数阵Hi的第一行有 ϕ （mi）个数字元素。

1
 第 2 页 共 2 页 2
h11 h12 Λ Λ h1ϕ (mi )
h21 h22 Λ Λ h2ϕ (mi )
H i=
Λ Λ Λ Λ Λ
hPi +11 hPi +1 2 Λ Λ hPi +1ϕ (mi )
依定义，Hi中有Pi+1行、ϕ (mi)列、Pi+1 ϕ （mi）个元素；对 ∀ hdj∈Hi，有 1≤hdj＜Pi+1mi（1≤d≤Pi+1,1≤j≤ ϕ （m
i ））。
3 数阵的性质：
定理 1：（1）Hi的第一行元素是模mi的既约剩余系（后称简系），也分别遍历模PK（K=1、2、…、i)的简系。
（2）Hi的列元素既为模mi的既约同余类，也分别为模PK（K=1、2、…、i)的既约同余类；又为模Pi+1的完全剩
余系（后称完系）。
（3）对 ∀ hdj∈Hi，有（hdj，mi）=1。（１≤d≤Pi+1，1≤j≤ ϕ （mi））
证明：（1）由定义，对 ∀ h1j∈Hi，有（h1j,mi）=1(1≤j≤ ϕ （mi）)，共有 ϕ （mi）个元素且对模mi两两不同
i
余，所以Hi的第一行元素是模mi的简系；因mi= ∏P
K =1
K ,必有（h1j,PK）=1(1≤j≤ ϕ （mi）
，K=1、2、…、i)，对 ∀ h1j

∈Hi(1≤j≤ ϕ （mi）)必分别遍历模PK（K=1、2、…、i)的简系。
（2）Hi的列元素均为h1j+βmi（1≤j≤ ϕ （mi），0≤β≤Pi+1-1）的形式。它们是公差为mi，有Pi+1项，第一项
为h1j的等差数列。因h1j在Hi的列元素中为定值，1≤h1j＜mi,且(h1j,mi)=1（1≤j≤ ϕ （mi））
，所以Hi的列元素均为
i
模mi的既约同余类；∵mi= ∏P
K =1
K ，(h1j,PK)=1，∴Hi的列元素分别为模PK（K=1、2、…、ｉ）的既约同余类。

当Hi的列元素去掉h1j后，余下的元素均为βmi（0≤β≤Pi+1-1）的形式，因β取[0,Pi+1-1]区间上的全体连续
整数，又Pi+1 /| mi，所以数列βmi为模Pi+1的一个完系。而h1j在Hi的列元素中为定值,因此Hi的每列元素h1j+βmi均为
模Pi+1的一个完系（1≤j≤ ϕ （mi），0≤β≤Pi+1-1）。
（3）由定义知Hi的第一行元素均与模mi互素，由定理 1（2）：H i的列元素均为模mi的既约同余类，所以对 ∀ hdj
∈Hi，有（hdj，mi）=1（0≤d≤Pi+1-1，1≤j≤ ϕ （mi））
定理 2：在Hi中Pi+1的整数倍元素均分别为Hi的第一行元素与Pi+1的积。

′ ＜Pi+1mi.由定理 1
证明：设 hdj′ （1≤d≤Pi+1，1≤j≤ ϕ （mi））为Hi中的任一个Pi+1的整数倍元素，则Pi+1≤ hdj

（2）知：Hi的列元素是模Pi+1的一个完系,一定有一个Pi+1的整数倍元素.所以一定存在 ϕ （mi）个 hdj′ ∈Hi，位于Hi

⎧⎪ Pi +1 | hdj/ hdj/
的不同列中，为mi的不同的既约同余类中的元素；由 ⎨ ⇒1 ≤ < mi ；由定理 1（3）知，对 ∀ hdj′
⎪⎩Pi +1 ≤ hdj < Pi +1mi
/
Pi +1
h d/ j h d/ j
∈Hi，（ hdj′ ,mi）=1,而 Pi+1 /| mi， ⇒ （ ，mi）=1；由Hi 的定义， 为Hi的第一行元素的全体，无一缺漏。
Pi + 1 Pi + 1
所以，Hi中Pi+1的整数倍元素均分别为Hi的第一行元素与Pi+1的积（1≤K≤Pi+1，1≤j≤ ϕ （mi））。
周期性：已知Hi中有 ϕ （mi）个Pi+1的整数倍元素，如果按定义再写出第Pi+1+1 行到第 2Pi+1行的全体元素，则
仍含有 ϕ （mi）个Pi+1的整数倍元素，称第二周期，Hi则称第一周期。如此继续下去可得到数阵的任意个周期的元
素。令第T个周期用HiT表示，T为自然数，T=1 时，Hi1的 1 省略。
已知Hi+1的第一行元素是由Hi的全体元素筛掉Pi+1的整数倍元素后组成，由数阵的周期性可得Hi+1的全体元素就

2
 第 3 页 共 3 页 3

是由 HiP 的全体元素筛掉Pi+1的整数倍元素后余下的元素组成，因此Hi+1中的元素都包含在 HiP 的元素中。

i+2 i+2

2
定理 3 ：Hi中小于 Pi+1的元素除 1 以外均为素数。
i
证明：由定理一(3)对 ∀ hdj∈Hi，有(hdj, mi)=1；而mi= ∏ PK ，所以对 ∀ hdj∈Hi，有(hdj,PK)=1（1≤d≤Pi+1,1
K =1

≤j≤ ϕ （m i）,K=1、2、…、i)，使得Hi中小于P i2+1 的元素也均与PK(K=1、2、…、i)互素；由定理 2 知，Hi中Pi+1的

整数倍元素都分别是Hi的第一行元素与Pi+1的积，而Hi中的元素都是由小到大排列的，易知Hi（i≥2）的第一行中
的第 1、2 位元素分别为 1、Pi+1，所以 Hi中第一个Pi+1的整数倍元素是 1*Pi+1=Pi+1，位于Hi的第一行的第 2 位，第

2 2 2
二个Pi+1的整数倍元素是P i +1 。得 Hi小于P i +1 的元素中只有一个Pi+1的整数倍元素就是素数Pi+1，因此Hi小于P i +1 的元

素中除 1 以外均为素数。
2
定理 4：Hi中小于 Pi 的素数分别遍历模P1、P2、…、Pi的简系.
2 2
证明：由定理 3 知Hi中小于 Pi+1的元素除 1 以外均为素数，所以Hi中小于 Pi 的素数除 1 以外也均为素数。
1 2
当i=1 时，因P1=2、m1=2、P2=3,由定义知H1= ，H1中小于P 1 =4 的素数为 3,而 3≡1(mod2)，3 就组成模P1=2
3
5
2
的一个简系；打破周期界限，在H1 2中小于P 2 =9 的素数为 3、5、7.其中 3≡5≡7≡1(mod2)，取 3 为代表元就组
成模P1=2 的一个简系；而其中的 7≡1、5≡2、3≡0(mod3)就组成模P2 =3 的一个完系；去掉 3 以后余下的元素仍
遍历模P1=2、P2=3 的简系。（以下取i=2 的目的是因为i=1 时H1的周期被打破了）

1 5
2
当i=2 时，因P2=3、m2=2*3=6、P3=5,所以有H2= 7 11 ，H2中小于P 2 =9 的素数 5≡7≡1(mod2)，取 5 为代表元
13 17
19 23
25 29

2
就组成模P1=2 的一个简系；而 7≡1、5≡2(mod3)组成模P2=3 的简系；H2中小于P 3 =25 的素数有 5、7、11、13、
17、19、23，取 5 为代表元就组成模P1=2 的简系；因 7≡13≡19≡1、5≡11≡17≡23≡2(mod3)，取其中的 13、
11 为代表元组成模 3 的简系；由 11≡1、7≡17≡2、13≡23≡3、19≡4、5≡0(mod5)，取 5、7、11、13、19 为
代表元组成模P3=5 的完系；去掉 5 后余下的元素仍分别遍历模P1=2、P2=3、P3=5 的简系。
2
假设当i=K时，HK中小于 PK 的素数，不仅分别遍历模P1、P2、…、PK的简系，同时也分别遍历模PK+1的完系；
去掉PK+1以后余下的元素仍分别遍历模P1、P2、…、PK+1的简系。
当i=K+1 时,因HK+1的第一行元素是由HK的全体元素筛掉PK+1的整数倍元素后余下的元素组成的。由假设HK中小
2
于P K +1 的素数，不仅分别遍历模P1、P2、…、PK的简系，同时也遍历模PK+1的完系；去掉PK+1以后余下的元素仍分别
2 2
遍历模P1、P2、…、PK+1的简系；而在HK+1小于 PK+1的素数中，只有PK+1被筛掉了，所以HK+1小于 PK+1的素数分别遍历模
P1、P2、…、PK+1的简系。
2
由上证知：当i为任意自然数时,Hi中小于 Pi 的素数都分别遍历模P1、P2、…、Pi的简系。
2
由定理 4 容易推出小于 Pi 的所有素数必分别遍历PK（K=1、2、…、ｉ）的完系。
数阵的定理 1（2）不仅提供了从Hi中筛掉模PK+1的b（0≤b＜PK+1-1）
（K=1、2、…、ｉ）个同余类的元素后，
把余下的元素作为下一个有别于数阵的新型数阵的第一行元素的可行性；还提供了从Hi（i≥2）中分别筛掉每个
模PK的b（0≤b＜PK-1）（K=2、3、…、ｉ）个既约同余类的元素后，把余下的元素也组成有别于数阵的新型数阵

3
 第 4 页 共 4 页 4
的可行性。
因此可得这种新型数阵的定义：把从Hi（i≥3）中逐个地筛掉模PK（K=3、4、…、ｉ）的一个既约同余类后
余下的元素组成的新型数阵叫Hi的副数阵。用 H i 表示，显然 H i
// //
⊂ H （i≥3）。（注意：由定义H 、H 不存在副
i 1 2

数阵）
//
由定义可推出求副数阵 H i 的方法有二：（1）由定义求。
//
（2）从H2始，筛掉模P2+1=5 的整数倍元素和它的连续奇数后，把余下的元素作为 H3 的第一行，行距m3，共
P3+1行；用完全类似的方法依次连续地筛掉后面每一个副数阵中模PK+1（K=3、4、…、ｉ-1）的整数倍元素及其连
//
续奇数的两类元素后，把余下的元素作为下一个副数阵的第一行再按定义逐个写出，最后得到的即为 H i 。
H i// 与Hi（i≥3）的列元素的性质完全相同，两者的区别在于： H i// 的第一行元素不是mi的简系，也不分别
//
是PK（K=3、4、…、i）的简系； H i 中的Pi+1的整数倍元素不一定是它的第一行元素与Pi+1的积。
4：除 1 和最后一项外只有连续奇数的副数阵
由定理 1 知：Hi中的元素定遍历模 3 的简系；而模 3 的简系正是连续奇数和孪生素数存在的必要条件。

1
打破数阵周期界限，自然数中的奇数列可以用H1∞= 3 表示。只是其中任一奇数都有两个与它连续的奇数。而
5
7
Μ

1 5
H2∞= 7 11 中的连续奇数则不同，它筛去了模 2、3 的整数倍元素，共有两列（元素）。因m2=P1P2=6，所以它的第
13 17
19 23
25 29
31 35
37 41
43 47
49 53
55 59
Μ Μ

一列元素（1 除外）均为 6X+1≡1（mod3）、第二列元素均为 6X-1≡2（mod3）的形式（X取自然数，以后不再重

述），仅当X取同一数值时，它们是连续奇数（在数阵中分别位于上下两行），且是模 3 的一个简系。显然H2∞中的
元素除 1 以外都是连续奇数。
当i≥2 时，Hi与H1∞中的元素的区别在于Hi中的任一元素，如果有与之连续的奇数就只有一个。
因m2=6,P3=5.H2的值域为[1,30](这里的 30=m2P3=m3)；而Hi（i≥3）的值域为[1，mi+1]。由Hi的定义和周期性知，

m i+1
Hi中的元素又可以理解为是由H2 30
中的元素分别依次地筛掉PK（K=3、4…、i）的整数倍元素后余下的元素组

mi +1
成。所以有{hdj|hdj∈Hi,1≤d≤Pi+1,1≤j≤ ϕ (mi)} ⊂ {hdj|hdj∈H2 mi +1 ,1≤d≤ ,1≤j≤2}.
30 6

4
 第 5 页 共 5 页 5
1 5
mi + 1
要想再从H（
i i≥3）中依次筛去PK(K=3、4、5、…、i)的整数倍元素的连续奇数，由H2 30
= 7 11 知：PK(K=3、
13 17
19 23
25 29
31 35
37 41
43 47
49 53
55 59
Μ Μ

4、5、…、i)的每一个整数倍元素（式中有双下划线者）和它的连续奇数（式中有单下划线者）必分别为 6X±1

mi + 1 mi + 1
（位于H2 30
的左右列中）的形式：若PK(K=3、4、5、…、i)的整数倍元素为 6X-1≡2（mod3）（均位于H2 30
中

mi + 1
的右列中）的形式，它的连续奇数一定是 6X+1≡1（mod3）的形式（均位于H2 30
中的左列），因 6X+1＞6X-1，

⎧⎪ 1( mod3)
可知PK(K=3、4、5、…、i)的整数倍元素的连续奇数一定在它的下行左列，即为hd1 ≡ ⎨
m
(1≤d≤ 6i+1 ,K=3、
⎪⎩2( mod Pk )

4、5、…、i)的一类元素（注意PK的整数倍元素即 6X-1≡0（modPK）(K=3、4、5、…、i)）；同理，若PK(K=3、4、5、…、
i)的整数倍元素为 6X+1≡1（mod3）的形式，那么它的连续奇数一定是 6X-1≡2（mod3）的形式，而 6X-1﹤6X+1，
此时PK(K=3、4、5、…、i)的整数倍元素（注意PK的整数倍元素即 6X+1≡0（modPK）(K=3、4、5、…、i)）的连续奇数一

⎧⎪ 2( mod3)
定在它的上行右列，即为hd2 ≡ ⎨
m
(1≤d≤ 6i+1 ,K=3、4、5、…、i)的一类元素。
⎪⎩ K (
P − 2 mod PK)

综上所述，要从Hi的元素中依次筛掉全部的与PK(K=3、4、5、…、i)的整数倍元素连续的奇数，只需把Hi中
已被筛掉的PK(K=3、4、5、…、i)的整数倍元素按模 3 的简系分成两类：一类是当已被筛掉的PK(K=3、4、5、…、

⎧⎪ 2( mod3)
i)的整数倍元素与模 3 同余于 1 时，须在Hi中分别筛掉hdj ≡ ⎨ (1≤d≤Pi+1,1≤j≤ ϕ (mi ) ,K=3、4、5、…、
⎪⎩PK − 2( mod PK )

i)的元素；另一类是当已被筛掉的PK(K=3、4、5、…、i)的整数倍元素与模 3 同余于 2 时，须在Hi中分别筛掉

⎧⎪ 1( mod3)
hdj ≡ ⎨ (1≤d≤Pi+1,1≤j≤ ϕ (mi ) ,K=3、4、5、…、i)的元素。综合在一起，即须在Hi中分别依次地筛掉
⎪⎩2 ( mod PK )
⎧⎪ 1 ( m od 3 ) ⎪⎧ 2 (m od 3)
hd j ≡ ⎨ U hd j ≡ ⎨ (1≤d≤Pi,1≤j≤ ϕ (mi ) ,K=3、4、5、…、i)的元素。
⎪⎩ 2 ( m o d PK ) ⎩⎪ PK − 2 ( m od PK )
// //
如上操作后就得到了副数阵 H i ，在 H i 中除 1 和最后一项以外就只有连续奇数。（注意：由定义，Hi（i≥3）
中 1 的后面只能是不小于Pi+1≥7 的素数，即 1 不可能有连续奇数，所以 1 和最后一项决不会被筛掉。
）
2 // 2 2
由定理 3 知：Hi（i≥3）中小于P i +1 的元素（1 除外）都是素数，所以 H i 中小于P i +1 （除 1 与P i +1 -2 以外）
（注意：∵3 /| Pi，必有 3|（Pi+1）
2 2
的元素都是孪生素数。 （Pi-1），∴P i +1 -2=（P i +1 -1)-1=（Pi+1）
（Pi-1）-1≡2（mod3）
，所以 1
2 // 2 2
和P i +1 -2、1 和H i 的最后一项都分别是 3 的既约剩余系；当P i +1 -2 为素数时一定存在，而当P i +1 -2 为PK(K=3、4、…、i)中的任一
2
素数的整数倍时就被筛掉了，所以P i +1 -2 有时不存在，见下例中解 2。
）

5
 第 6 页 共 6 页 6
//
H 中的连续奇数只有两类：①当连续奇数的两元素都为素数时是孪生素数。②当连续奇数的两元素中至
i

少有一个是合数时，称有合连续奇数。
// //
例：求 H 4 ?（求 H 4 的过程适合用 Excel 操作。）
// //
解：下表是用求副数阵的两种解法筛选出H 4 的。（从H2、H 3// 、H 4 表可见除（1，29）、（1，209）
、（1，2309）
2 //
以外的元素都是连续奇数；而小于P i +1 (i=2、3、4)的元素除（1，23）
、（1，47）、
（1）
（H 4 中的 119=7*17 被筛掉
了）外均为孪生素数。）
解法 1 在H2 中的黑体数字≡0（mod5），有下划线者是它的连续奇数：单下划线者≡1（mod3）
同时≡2（mod5）；双下划线者≡2（mod3）同时≡5-2=3（mod5）
1 5
H2 = 7 11
13 17
19 23
25 29
筛掉H2 中有下划线的元素后余下的元素作为 H 3// 的第一行元素，行距为m3 =30，共7行。 在 H 3// 中的
黑体数字≡0（mod7）；再画下划线：有单下划线者≡1（mod3）同时≡2（mod7）；有双下划线者
≡2（mod3）同时≡7-2=5（mod7）
1 11 13 17 19 29
31 41 43 47 49 59
//
H 3

61 71 73 77 79 89
91 101 103 107 109 119
121 131 133 137 139 149
151 1 61 163 167 169 179
//
181 191 193 197 199 209
筛掉 3 中黑题字和有下划线的元素后余下的元素作为H 4 的第一行，行距m4 ,共11行。 中的黑体字
//
H H 4//
即为小于11*11=121的孪生素数。因表太宽，分了上下两部分，评审时需把下表对接在上表的右端。
H 4 上表
//

1 11 13 17 19 29 31 41 43 59 61 71 73 1 01 103
211 221 223 227 229 239 241 251 253 269 271 281 283 311 313
421 431 433 437 439 449 451 461 463 479 481 491 493 521 523
631 641 643 647 649 659 661 671 673 689 691 701 703 731 733
841 851 853 857 859 869 871 881 883 899 901 911 913 941 943
1051 1061 1063 1067 1069 1079 1081 1091 1093 1109 1111 1121 1123 1151 1153
1261 1271 1273 1277 1279 1289 1291 1301 1303 1319 1321 1331 1333 1361 1363
1471 1481 1483 1487 1489 1499 1501 1511 1513 1529 1531 1541 1543 1571 1573
1681 1691 1693 1697 1699 1709 1711 1721 1723 1739 1741 1751 1753 1781 1783
1891 1901 1903 1907 1909 1919 1921 1931 1933 1949 1951 1961 1963 1991 1993
2101 2111 2113 2117 2119 2129 2131 2141 2143 2159 2161 2171 2173 2201 2203
下表
10 7 1 09 137 139 149 151 167 169 179 181 191 193 197 199 209
317 319 347 349 359 361 377 379 389 391 401 403 407 409 419
527 529 557 559 569 571 587 589 599 601 611 613 617 619 629
737 739 767 769 779 781 797 799 809 811 821 823 827 829 839
947 949 977 979 989 991 1007 1009 1019 1021 1031 1033 1037 1039 1049
1157 1159 1187 1189 1199 1201 1217 1219 1229 1231 1241 1243 1257 1249 1259
1367 1369 1397 1399 1409 1411 1427 1429 1439 1441 1451 1453 1457 1459 1469
1577 1579 1607 1609 1619 1621 1637 1639 1649 1651 1661 1663 1667 1669 1679
1787 1789 1817 1819 1829 1831 1847 1849 1859 1861 1871 1873 1877 1879 1889
1997 1999 2027 2029 2039 2041 2057 2059 2069 2071 2081 2083 2087 2089 2099
2207 2209 2237 2239 2249 2251 2267 2269 2279 2281 2291 2293 2297 2299 2309
解 法 2：下表是从 //H4 中分别筛掉模5的整数倍元素的连续奇数（表一）、模7整数倍元素的连续
奇数(表二）得到 H 4（表三）的过程。
第一步：在模P3 =5的整数倍元素的相邻奇数处画下划线:单下划线者≡1（mod3)同时≡2（mod5）；双
下划线者≡2（mod3)同时≡5-2=3(mod5).因表太宽分了上、中、下三部分，评审时需把下表对接
在中表的右端，再把对接好的表对接在上表的右端。
H4 表一 上
1 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67
211 221 223 227 229 233 239 241 247 251 253 257 263 269 271 277
421 431 433 437 439 443 449 451 457 461 463 467 473 479 481 487
631 641 643 647 649 653 659 661 667 671 673 677 683 689 691 697
841 851 853 857 859 863 869 871 877 881 883 887 893 899 901 907
1051 1061 1063 1067 1069 1073 1079 1081 1087 1091 1093 1097 1103 1109 1111 1117
1261 1271 1273 1277 1279 1283 1289 1291 1297 1301 1303 1307 1313 1319 1321 1327
1471 1481 1483 1487 1489 1493 1499 1501 1507 1511 1513 1517 1523 1529 1531 1537
1681 1691 1693 1697 1699 1703 1709 1711 1717 1721 1723 1727 1733 1739 1741 1747
1891 1901 1903 1907 1909 1913 1919 1921 1927 1931 1933 1937 1943 1949 1951 1957
2101 2111 2113 2117 2119 2123 2129 2131 2137 2141 2143 2147 2153 2159 2161 2167
表一 中
71 73 79 83 89 97 101 103 107 109 113 121 127 131 137 139
281 283 289 293 299 307 311 313 317 319 323 331 337 341 347 349
491 493 499 503 509 517 521 523 527 529 533 541 547 551 557 559
701 703 709 713 719 727 731 733 737 739 743 751 757 761 767 769
911 913 919 923 929 937 941 943 947 949 953 961 967 971 977 979
1121 1123 1129 1133 1139 1147 1151 1153 1157 1159 1163 1171 1177 1181 1187 1189
1331 1333 1339 1343 1349 1357 1361 1363 1367 1369 1373 1381 1387 1391 1397 1399
1541 1543 1549 1553 1559 1567 1571 1573 1577 1579 1583 1591 1597 1601 1607 1609
1751 1753 1759 1763 1769 1777 1781 1783 1787 1789 1793 1801 1807 1811 1817 1819
1961 1963 1969 1973 1979 1987 1991 1993 1997 1999 2003 2011 2017 2021 2027 2029
2171 2173 2179 2183 2189 2197 2201 2203 2207 2209 2213 2221 2227 2231 2237 2239

6
 第 7 页 共 7 页 7
表一下
143 149 151 157 163 167 169 173 179 181 187 191 193 197 199 209
353 359 361 367 373 377 379 383 389 391 397 401 403 407 409 419
563 569 571 577 583 587 589 593 599 601 607 611 613 617 619 629
773 779 781 787 793 797 799 803 809 811 817 821 823 827 829 839
983 989 991 997 1003 1007 1009 1013 1019 1021 1027 1031 1033 1037 1039 1049
1193 1199 1201 1207 1213 1217 1219 1223 1229 1231 1237 1241 1243 1247 1249 1259
1403 1409 1411 1417 1423 1427 1429 1433 1439 1441 1447 1451 1453 1457 1459 1469
1613 1619 1621 1627 1633 1637 1639 1643 1649 1651 1657 1661 1663 1667 1669 1679
1823 1829 1831 1837 1843 1847 1849 1853 1859 1861 1867 1871 1873 1877 1879 1889
2033 2039 2041 2047 2053 2057 2059 2063 2069 2071 2077 2081 2083 2087 2089 2099
2243 2249 2251 2257 2263 2267 2269 2273 2279 2281 2287 2291 2293 2297 2299 2309
第二步：先筛掉表一中有下划线的元素，再在余下的元素组成的表二中模7的整数倍元素的相邻奇数处画下
划线。有单下划线者≡1（mod3)同时≡2(mod7);有双下划线者表示≡2(mod3)同时≡7-2=5(mod7)。因表太
宽，分了上下两半，评审时需把下表对接在上表的右端。
表二上
1 11 13 17 19 29 31 41 43 47 59 61 71 73 79 89 101 103
211 221 223 227 229 239 241 251 253 257 269 271 281 283 289 299 311 313
421 431 433 437 439 449 451 461 463 467 479 481 491 493 499 509 521 523
631 641 643 647 649 659 661 671 673 677 689 691 701 703 709 719 731 733
841 851 853 857 859 869 871 881 883 887 899 901 911 913 919 929 941 943
1051 1061 1063 1067 1069 1079 1081 1091 1093 1097 1109 1111 1121 1123 1129 1139 1151 1153
1261 1271 1273 1277 1279 1289 1291 1301 1303 1307 1319 1321 1331 1333 1339 1349 1361 1363
1471 1481 1483 1487 1489 1499 1501 1511 1513 1517 1529 1531 1541 1543 1549 1559 1571 1573
1681 1691 1693 1697 1699 1709 1711 1721 1723 1727 1739 1741 1751 1753 1759 1769 1781 1783
1891 1901 1903 1907 1909 1919 1921 1931 1933 1937 1949H 4// 1951 1961 1963 1969 1979 1991 1993
2101 2111 2113 2117 2119 2129 2131 2141 2143 2147 2159 2161 2171 2173 2179 2189 2201 2203
表二下
107 109 121 131 137 139 149 151 163 167 169 179 181 191 193 197 199 209
317 319 331 341 347 349 359 361 373 377 379 389 391 401 403 407 409 419
527 529 541 551 557 559 569 571 583 587 589 599 601 611 613 617 619 629
737 739 751 761 767 769 779 781 793 797 799 809 811 821 823 827 829 839
947 949 961 971 977 979 989 991 1003 1007 1009 1019 1021 1031 1033 1037 1039 1049
1157 1159 1171 1181 1187 1189 1199 1201 1213 1217 1219 1229 1231 1241 1243 1247 1249 1259
1367 1369 1381 1391 1397 1399 1409 1411 1423 1427 1429 1439 1441 1451 1453 1457 1459 1469
1577 1579 1591 1601 1607 1609 1619 1621 1633 1637 1639 1649 1651 1661 1663 1667 1669 1679
1787 1789 1801 1811 1817 1819 1829 1831 1843 1847 1849 1859 1861 1871 1873 1877 1879 1889
1997 1999 2011 2021 2027 2029 2039 2041 2053 2057 2059 2069 2071 2081 2083 2087 2089 2099
2207 2209 2221 2231 2237 2239 2249 2251 2263 2267 2269 2279 2281 2291 2293 2297 2299 2309
把筛掉表二中有下划线的元素后余下的元素组成的副数阵 H 4// 记为表三。表三也需如上法对接，从 H 4// 中
可见除1以外小于11*11=121的元素均为孪生素数。
H 4// 1 11 13 17 19 29 31 41 43 59 61 71 73 101 103
表三 211 221 223 227 229 239 241 251 253 269 271 281 283 311 313
上 421 431 433 437 439 449 451 461 463 479 481 491 493 521 523
631 641 643 647 649 659 661 671 673 689 691 701 703 731 733
841 851 853 857 859 869 871 881 883 899 901 911 913 941 943
1051 1061 1063 1067 1069 1079 1081 1091 1093 1109 1111 1121 1123 1151 1153
1261 1271 1273 1277 1279 1289 1291 1301 1303 1319 1321 1331 1333 1361 1363
1471 1481 1483 1487 1489 1499 1501 1511 1513 1529 1531 1541 1543 1571 1573
1681 1691 1693 1697 1699 1709 1711 1721 1723 1739 1741 1751 1753 1781 1783
1891 1901 1903 1907 1909 1919 1921 1931 1933 1949 1951 1961 1963 1991 1993
2101 2111 2113 2117 2119 2129 2131 2141 2143 2159 2161 2171 2173 2201 2203
表三 107 109 137 139 149 151 167 169 179 181 191 193 197 199 209
下 317 319 347 349 359 361 377 379 389 391 401 403 407 409 419
527 529 557 559 569 571 587 589 599 601 611 613 617 619 629
737 739 767 769 779 781 797 799 809 811 821 823 827 829 839
947 949 977 979 989 991 1007 1009 1019 1021 1031 1033 1037 1039 1049
1157 1159 1187 1189 1199 1201 1217 1219 1229 1231 1241 1243 1247 1249 1259
1367 1369 1397 1399 1409 1411 1427 1429 1439 1441 1451 1453 1457 1459 1469
1577 1579 1607 1609 1619 1621 1637 1639 1649 1651 1661 1663 1667 1669 1679
1787 1789 1817 1819 1829 1831 1847 1849 1859 1861 1871 1873 1877 1879 1889
1997 1999 2027 2029 2039 2041 2057 2059 2069 2071 2081 2083 2087 2089 2099
2207 2209 2237 2239 2249 2251 2267 2269 2279 2281 2291 2293 2297 2299 2309

5 结论：自然数中的孪生素数是无穷的。

// 2 2
由H2和H i （i≥3）知，孪生素数在自然数中不仅客观存在且总有π2（P i+2 ）≥π2（P i +1 ）成立。（注意

2 2
）当i→∞时，这里的“=”号不会永远成立！否则，将必有一个自
π2（P i +2 ）表示自然数中小于P i +2 的孪生素数的个数。
//
然数t≥3 存在，使得从素数Pt+1开始，所有不小于Pt+1的素数中永远不会有孪生素数存在，即在副数阵 H t 中小于
2 2 2 2
P t +1 的元素最多只能有 1 与P t +1 -2（P t +1 -2 有时不存在）。这意味着当i≥t时,Hi中凡小于P i <P i2+1 的素数（注意：因
2 2 2 2 2 2
这里P i +1 -2≥(Pi+2）2-2=P i +4Pi+4-2=P i +4Pi+2＞P i ，所以小于P i 的素数不包括（1，P i +1 -2））都只能是模PK（K=3、4、5…、
2
i）的整数倍元素的连续奇数，无一例外。即在Hi中凡小于P i 的任一素数只有两种可能，若与模 3 同余于 1 时就
必与模PK同余于 2（K=3、4、…、i）
；若与模 3 同余于 2 时就必与模PK（K=3、4、…、i）同余于PK-2。
（K=3、4、…、
i）显然这与定理 4 矛盾！

2 2
所以π2（P i + 2 -1）≥π2（P i +1 -1）的“=”号不会永远成立！孪生素数的个数是随着数阵的增大而逐渐增大，

7
 第 8 页 共 8 页 8
因自然数中素数的存在是无穷的，所以孪生素数的存在也是无穷的。证毕
参 考 文 献
[1]Min S.H.,Yan S.J.,Elementary Number Theory, Beijing :People Educational Press,1957(In Chinese).

[2]Pan C.D.,Pan C.B.,Concise Number Theory, Beijing : University Press ,1998(In Chinese).

[3]Zhang J.D.,Number Theory Element.Beijing:Science and Technology Press,2002. 5: 108-135.(In Chinese).

2
当P i +1 的值比较大时，可直接从下附的素数表中筛选验证。为筛选方便，下附按H3形式改变过的 5000 以内的素数表
附1——5000内的改写过的素数
行 列 1 2 3 4 5 6 7 8 行 列 1 2 3 4 5 6 7 8
1 1 7 11 13 17 19 23 29 85 2521 2531 2539 2543 2549
2 31 37 41 43 47 53 59 86 2551 2557 2579
3 61 67 71 73 79 83 89 87 2591 2593 2609
4 97 101 103 107 109 113 88 2617 2621 2633
5 127 131 137 139 149 89 22647 2657 2659 2663
6 151 157 163 167 173 179 90 267122677 2683 2687 2689 2693 2699
7 181 191 193 197 199 91 2707 2711 2713 2719 2729
8 211 223 227 229 233 239 92 2731 2741 2749 2753
9 241 251 257 263 269 93 2767 2777 2789
10 271 277 281 283 293 94 279122797 2801 2803 2819
11 307 311 313 317 95 2833 2837 2843
12 331 337 347 349 353 359 96 285122857 2861 2879
13 367 373 379 383 389 97 2887 2897 2903 2909
14 397 401 409 419 98 2917 2927 2939
15 421 431 433 439 443 449 99 2953 2957 2963 2969
16 457 461 463 467 479 100 2971 2999
17 487 491 499 503 509 101 3001 3011 3019 3023
18 521 523 102 3037 3041 3049
19 541 547 557 563 569 103 306133067 3079 3083 3089
20 571 577 587 593 599 104 3109 3119
21 601 607 613 617 619 105 3121 3137
22 631 641 643 647 653 659 106 3163 3167 3169
23 661 673 677 683 107 3181 3187 3191 3203 3209
24 691 701 709 719 108 3217 3221 3229
25 727 733 739 743 109 3251 3253 3257 3259
26 751 757 761 769 773 110 3271 3299
27 787 797 809 111 3301 3307 3313 3319 3323 3329
28 811 821 823 829 839 112 3331 3343 3347 3359
29 853 857 859 863 113 3361 3371 3373 3389
30 877 881 883 887 114 3391 3407 3413
31 907 911 919 929 115 3433 3449
32 937 941 947 953 116 3457 3461 3463 3467 3469
33 967 971 977 983 117 3491 3499
34 991 997 1009 1013 1019 118 3511 3517 3527 3529 3533 3539
35 1021 1031 1033 1039 1049 119 3541 3547 3557 3559
36 1051 1061 1063 1069 120 3571 3581 3583 3593
37 1087 1091 1093 1097 1103 1109 121 3607 3613 3617 3623
38 1117 1123 1129 122 3631 3637 3643 3659
39 1151 1153 1163 123 3671 3673 3677
40 1171 1181 1187 1193 124 3691 3697 3701 3709 3719
41 1201 1213 1217 1223 1229 125 3727 3733 3739
42 1231 1237 1249 1259 126 3761 3767 3769 3779
43 1277 1279 1283 1289 127 3793 3797 3803
44 1291 1297 1301 1303 1307 1319 128 3821 3823 3833
45 1321 1327 129 3847 3851 3853 3863
46 1361 1367 1373 130 3877 3881 3889
47 1381 1399 1409 131 3907 3911 3917 3919 3923 3929
48 1423 1427 1429 1433 1439 132 3931 3943 3947
49 1447 1451 1453 1459 133 3967 3989
50 1471 1481 1483 1487 1489 1493 1499 134 4001 4003 4007 4013 4019
51 1511 1523 135 4021 4027 4049
52 1531 1543 1549 1553 1559 136 4051 4057 4073 4079
53 1567 1571 1579 1583 137 4091 4093 4099
54 1597 1601 1607 1609 1613 1619 138 4111 4127 4029 4133 4139
55 1621 1627 1637 139 4153 4157 4159
56 1657 1663 1667 1669 140 4177
57 1693 1697 1699 1709 141 4201 4211 4217 4219 4229
58 1721 1723 1733 142 4231 4241 4243 4253 4259
59 1741 1747 1753 1759 143 4261 4271 4273 4283 4289
60 1777 1783 1787 1789 144 4297
61 1801 1811 1823 145 4327 4337 4339 4349
62 1831 1847 146 4357 4363 4373
63 1861 1867 1871 1873 1877 1879 1889 147 4391 4397 4409
64 1901 1907 1913 148 4421 4423
65 1931 1933 1949 149 4441 4447 4451 4457 4463
66 1951 1973 1979 150 4481 4483 4493
67 1987 1993 1997 1999 2003 151 4507 4513 4517 4519 4523
68 2011 2017 2027 2029 2039 152 4547 4549
69 2053 2063 2069 153 4561 4567 4583
70 2081 2083 2087 2089 2099 154 4591 4597 4603
71 2111 2113 2129 155 4621 4637 4639 4643 4649
72 2131 2137 2141 2143 2153 156 4651 4657 4663 4673 4679
73 2161 2179 157 4691 4703
74 2203 2207 2213 158 4721 4723 4729 4733
75 2221 2237 2239 2243 159 4751 4759
76 2251 2267 2269 2273 160 4783 4787 4789 4793 4799
77 2281 2287 2293 2297 2309 161 4801 4813 4817
78 2311 2333 2339 162 4831
79 2341 2347 2351 2357 163 4861 4871 4877 4889
80 2371 2377 2381 2383 2389 2393 2399 164 4903 4909 4919
81 2411 2417 2423 165 4931 4933 4937 4943
82 2437 2441 2447 2459 166 4951 4957 4967 4969 4973
83 2467 2473 2477 167 4987 4993 4999
84 2503