孪生素数查找器

查找指定范围内的每一对孪生素数（素数 p 和 p+2）。获取完整列表、总量统计、各区间密度、基于 Hardy-Littlewood 常数的预测计数、发现的最大素数对以及交互式可视化分析——全部功能一应俱全。

孪生素数查找器

欢迎使用 孪生素数查找器，这是一个交互式数学工具，可以发现您选择的任何上限下方的每一对孪生素数。孪生素数——如 (3, 5)、(11, 13) 或 (10,006,427, 10,006,429) 这样相差恰好为 2 的素数对——是数论中最神秘的对象之一。此工具不仅列出它们，还会报告总数、各区间密度、孪生素数在所有素数中的占比、间隔统计、哈代-李特尔伍德关于其存在数量的预测，以及它们在数轴上位置的可视化散点图。

什么是孪生素数？

孪生素数对是一对素数 $(p, p+2)$——即由最小可能间隔分隔的素数（除了唯一的间隔为 1 的素数对 (2, 3) 之外）。前几对是：

(3, 5), (5, 7), (11, 13), (17, 19), (29, 31), (41, 43), (59, 61), (71, 73), …

请注意，5 参与了两个数对——它既是 (3, 5) 中较大的成员，也是 (5, 7) 中较小的成员。这是唯一一个属于两对孪生素数的素数，这是由于在任何三个连续奇数中，必有一个能被 3 整除这一事实直接导致的。

孪生素数对的定义

$$p \text{ 和 } p+2 \text{ 均为素数} \Longleftrightarrow (p, p+2) \text{ 是一对孪生素数}$$

6k ± 1 规律

对于 $p \geq 5$ 的每一对孪生素数都具有 $(6k - 1, 6k + 1)$ 的形式，其中 $k$ 为某个正整数。原因很简单：任何不属于 $6k \pm 1$ 形式的整数都能被 2 或 3 整除，因此它不可能是素数（除了 2 和 3 本身）。检查一些较小的例子：

$k=1$: (5, 7) ✓
$k=2$: (11, 13) ✓
$k=3$: (17, 19) ✓
$k=4$: (23, 25) ✕ — 25 不是素数
$k=5$: (29, 31) ✓

因此，6k ± 1 形式是必要条件但不是充分条件——并非每个候选数对实际上都是孪生素数对。本工具会根据筛表测试每个候选数对，仅保留真实的孪生素数。

孪生素数猜想

是否存在无限多对孪生素数？这就是著名的 孪生素数猜想，数学界最古老的未解之谜之一。它至少可以追溯到古希腊数学家欧几里得，他证明了存在无穷多个素数，但未提及孪生素数。

人们广泛相信这一猜想是正确的。数值证据是压倒性的：随着上限 $N$ 的增长，新的孪生素数对不断出现，其密度与理论预测非常吻合。然而，严谨的证明仍然难以企及。

张益唐 2013 年的突破

2013年4月，华裔数学家张益唐凭借一篇论文震惊了数学界，他证明了存在无穷多对间隔不超过 7000 万 的素数。这是在连续素数间隔上证明出的第一个有限界限。在接下来的几个月里，由陶哲轩（Terence Tao）领导的 Polymath 协作项目将这一界限缩小到了几百；詹姆斯·梅纳德（James Maynard）后来将其推至 246。虽然 2 的间隔——即孪生素数猜想本身——仍未解决，但张益唐的结果标志着该问题在 2000 多年来取得的第一个实质性进展。

哈代-李特尔伍德预测

1923年，G. H. 哈代（Hardy）和 J. E. 李特尔伍德（Littlewood）提出了第一哈代-李特尔伍德猜想：不超过 $N$ 的孪生素数对数量 $\pi_2(N)$ 渐近于

哈代-李特尔伍德猜想

$$\pi_2(N) \sim 2 C_2 \int_2^N \frac{dx}{(\ln x)^2}$$

其中 $C_2 = \prod_{p \geq 3} \frac{p(p-2)}{(p-1)^2} \approx 0.6601618$ 是 孪生素数常数

本工具使用辛普森法则进行数值积分计算，并在预测值旁边显示实际计数，同时给出准确百分比。对于 $N \geq 10^6$，哈代-李特尔伍德公式通常与真实计数的误差不到 1%——这有力的数值证据表明该猜想捕捉到了孪生素数的真实密度。

如何使用此计算器

输入上限——您希望搜索考虑的最大值。允许输入 5 到 10,000,000 之间的值。
点击“查找孪生素数”。程序将构建素数表，扫描数对并计算统计数据。
查看总数横幅了解计数和哈代-李特尔伍德预测的准确度。
浏览完整列表以查看所有数对，查看各区间密度图表以及显示数对在数轴上位置的散点图。
复制数对列表到您的剪贴板，一键操作即可用于研究、作业或进一步分析。

筛法原理

在底层，该工具使用了经典的埃拉托斯特尼筛法 (Sieve of Eratosthenes)：

创建一个布尔数组 is_prime[0..N]，初始全部设为 True（索引 0 和 1 除外）。
对于从 2 到 $\sqrt{N}$ 的每个 $i$：如果 is_prime[i] 为 True，则将每个倍数 $i^2, i^2+i, i^2+2i, \ldots$ 标记为合数。
从 3 到 N-2 遍历数组，并收集 is_prime[p] 和 is_prime[p+2] 均为 True 的每个索引 $p$。

这种方法的时间复杂度为 $O(N \log \log N)$，空间复杂度为 $O(N)$——在现代硬件上，在不到一秒的时间内即可找齐 1000 万以内的所有孪生素数对。

已知最大的孪生素数

数十年来，计算机一直在寻找巨大的孪生素数。目前的记录保持者是由 PrimeGrid 分布式计算项目于 2016 年 9 月发现的：

已知最大的孪生素数对（截至 2026 年）

$$2{,}996{,}863{,}034{,}895 \times 2^{1{,}290{,}000} \pm 1$$

这两个数都有 388,342 位。由 Tom Greer 和 PrimeGrid 发现。

相比之下，前 50 对孪生素数都在 2,000 以下。因此，虽然孪生素数的密度在变稀，但直到几十万位的数字中它们仍会不断出现。

前二十对孪生素数

#	p	p + 2	k (对应 6k ± 1)
1	3	5	— (特殊情况)
2	5	7	1
3	11	13	2
4	17	19	3
5	29	31	5
6	41	43	7
7	59	61	10
8	71	73	12
9	101	103	17
10	107	109	18
11	137	139	23
12	149	151	25
13	179	181	30
14	191	193	32
15	197	199	33
16	227	229	38
17	239	241	40
18	269	271	45
19	281	283	47
20	311	313	52

不同 N 范围内的孪生素数计数

N	π₂(N) — 实际计数	哈代-李特尔伍德预测	准确度
100	8	14	57%
1,000	35	46	76%
10,000	205	214	96%
100,000	1,224	1,249	98%
1,000,000	8,169	8,248	99%
10,000,000	58,980	58,754	99.6%
100,000,000	440,312	440,367	99.99%

关于孪生素数的有趣事实

对于 $p \geq 5$ 的每一对孪生素数 $(p, p+2)$，都有 $p+1$ 是 6 的倍数。每一对孪生素数正中间的整数总是能被 6 整除。
孪生素数常数 $C_2 \approx 0.6601618$ 是解析数论中最著名的常数之一——它也是所有素数 $p \geq 3$ 的 $p(p-2)/(p-1)^2$ 之积。
堂兄弟素数 (Cousin prime) 对是 $(p, p+4)$——相差 4 的素数。性感素数 (Sexy prime) 对是 $(p, p+6)$——相差 6 的素数，源自拉丁语“sex”意为六。
所有孪生素数的倒数之和收敛于 布伦常数 (Brun's constant) $B_2 \approx 1.9021605$——由维格·布伦（Viggo Brun）于 1919 年证明，这非常了不起，因为所有素数的倒数之和是发散的。
在 2024 年，英特尔实验室的一个张量分解项目在对数论序列进行模型训练时意外标记出了孪生素数——这提醒我们这些模式依然令研究人员感到惊讶。

常见问题解答

什么是孪生素数？

孪生素数是指一对相差恰好为 2 的素数，例如 (3, 5)、(11, 13) 或 (17, 19)。唯一的例外是 (2, 3) 这一对，它们相差 1，不被归类为孪生素数。

是否存在无限多对孪生素数？

这就是著名的孪生素数猜想，数学界最古老的未解难题之一。人们强烈相信它是正确的，并有海量的数值证据支持，但尚无完整证明。2013年张益唐证明了存在无穷多对间隔不超过 7000 万的素数对——后来通过进一步研究将其缩小到 246。

已知最大的孪生素数对是多少？

截至 2026 年，记录为 $2{,}996{,}863{,}034{,}895 \cdot 2^{1{,}290{,}000} \pm 1$，每个数字都有 388,342 位。它于 2016 年由 PrimeGrid 发现。

关于孪生素数的哈代-李特尔伍德猜想是什么？

第一哈代-李特尔伍德猜想预测 $\pi_2(N) \sim 2 C_2 \int_2^N dx/(\ln x)^2$，其中 $C_2 \approx 0.6601618$ 是孪生素数常数。对于较大的 N，该预测与孪生素数的真实计数的误差在百分之零点几以内。

所有孪生素数都有规律吗？

是的。除了 (3, 5) 之外，每一对孪生素数对于某个正整数 $k$ 都具有 $(6k - 1, 6k + 1)$ 的形式，因为任何不具有该形式的整数都能被 2 或 3 整除。

这个工具是如何查找孪生素数的？

该工具使用埃拉托斯特尼筛法标记出直到您选择的上限的所有素数，然后扫描相邻素数以寻找相差恰好为 2 的数对。结果包括总数、各区间密度、哈代-李特尔伍德预测以及完整列表。

孪生素数查找器