孿生質數查找器

孿生質數查找器

歡迎使用孿生質數查找器，這是一個互動式數學工具，可以發現低於您選擇的任何上限的每一對孿生質數。孿生質數——如 (3, 5)、(11, 13) 或 (10,006,427, 10,006,429) 這樣相差剛好為 2 的質數對——是數論中最神秘的對象之一。此工具不僅列出它們：還報告總數、每十進制密度、屬於孿生質數對的質數比例、間隔統計數據、Hardy-Littlewood 對應存在數量的預測，以及它們在數軸上位置的視覺散點圖。

什麼是孿生質數？

孿生質數對是一對質數 \((p, p+2)\)——即以最小可能間隔分隔的質數（除了唯一的數對 (2, 3)，其間隔為 1）。前幾對是：

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

請注意，5 參與了兩個數對——它既是 (3, 5) 中較大的成員，也是 (5, 7) 中較小的成員。這是唯一屬於兩個孿生質數對的質數，這是因為在任何三個連續奇數中，必有一個能被 3 整除。

6k ± 1 規律

每一對滿足 \(p \geq 5\) 的孿生質數對，對於某個正整數 \(k\)，都具有 \((6k - 1, 6k + 1)\) 的形式。原因很簡單：任何不具有 \(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 形式是必要條件，但不是充分條件——並非每個候選數對實際上都是孿生質數對。此工具會根據篩選表測試每個候選對，並僅保留真實的對。

孿生質數猜想

是否存在無窮多個孿生質數？這就是著名的孿生質數猜想，是數學界最古老的未解問題之一。它至少可以追溯到古希臘數學家歐幾里得（Euclid），他證明了有無窮多個質數，但未提及孿生質數。

該猜想被廣泛認為是正確的。數值證據是壓倒性的：隨著上限 \(N\) 的增長，新的孿生質數對不斷出現，其密度與理論預測非常接近。然而，嚴格證明它仍然遙不可及。

張益唐 2013 年的突破

2013 年 4 月，華裔數學家張益唐憑藉一篇論文震驚了數學界，證明了有無窮多對質數的差值不超過 7,000 萬。這是史上首次證明連續質數間隔存在有限界限。幾個月內，由陶哲軒（Terence Tao）領導的 Polymath 合作項目將該界限縮小到了幾百；詹姆斯·梅納德（James Maynard）後來將其推至 246。雖然差值為 2 的孿生質數猜想本身仍未解決，但張益唐的結果標誌著 2000 多年來該問題的首次實質性突破。

Hardy-Littlewood 預測

1923 年，G. H. Hardy 和 J. E. Littlewood 提出了第一 Hardy-Littlewood 猜想：不超過 \(N\) 的孿生質數對數量 \(\pi_2(N)\) 漸近地為：

此工具使用辛普森法則（Simpson's rule）對積分進行數值計算，並在預測值旁顯示實際計數以及準確率百分比。對於 \(N \geq 10^6\)，Hardy-Littlewood 公式通常與真實計數的誤差在百分之幾以內——這是有力的數值證據，表明該猜想捕捉到了孿生質數的真實密度。

如何使用此計算機

1. 輸入上限值 —— 您希望搜索考慮的最大值。允許的範圍是 5 到 10,000,000。
2. 點擊「查找孿生質數」。篩選器建立質數表，掃描數對並計算統計數據。
3. 閱讀總數橫幅 以了解數量和 Hardy-Littlewood 準確率。
4. 滾動查看完整清單、每十進制密度圖表以及顯示數對在數軸上分佈的散點圖。
5. 複製數對清單 到您的剪貼簿，只需點擊一下即可，方便用於研究、作業或進一步分析。

篩法的工作原理

在底層，此工具使用經典的埃拉托斯特尼篩法：

1. 創建一個布林陣列 is_prime[0..N]，最初全為 True（索引 0 和 1 除外）。
2. 對於 2 到 \(\sqrt{N}\) 之間的每個 \(i\)：如果 is_prime[i] 為真，則將每個倍數 \(i^2, i^2+i, i^2+2i, \ldots\) 標記為合數。
3. 從 3 到 N-2 遍歷陣列，並收集 is_prime[p] 和 is_prime[p+2] 皆為 True 的每個索引 \(p\)。

這種方法的時間複雜度為 \(O(N \log \log N)\)，空間複雜度為 \(O(N)\)——在現代硬體上，不到一秒鐘即可找到 1000 萬以下的所有孿生質數對。

已知最大的孿生質數

計算機已經尋找巨大的孿生質數數十年了。目前的紀錄保持者是由 PrimeGrid 分佈式計算項目於 2016 年 9 月發現的：

相比之下，前 50 對孿生質數都低於 2,000。因此，雖然孿生質數的密度會變稀疏，但它們會一直出現，甚至出現在具有數十萬位數的數字中。

前 20 對孿生質數對

不超過各種 N 的孿生質數數量

關於孿生質數的趣味小知識

• 每一對滿足 \(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" 意為六。
• 所有孿生質數的倒數之和收斂於布倫常數 \(B_2 \approx 1.9021605\)——由維格·布倫（Viggo Brun）於 1919 年證明。這很了不起，因為所有質數的倒數之和是發散的。
• 2024 年，英特爾（Intel）實驗室的一個張量分解在訓練數論序列模型時意外標記出了孿生質數——這提醒我們這些規律仍讓研究人員感到驚訝。

常見問題

什麼是孿生質數？

孿生質數是指一對相差剛好為 2 的質數，例如 (3, 5)、(11, 13) 或 (17, 19)。唯一的例外是數對 (2, 3)，其相差為 1，不被歸類為孿生質數。

孿生質數有無窮多個嗎？

這是著名的孿生質數猜想，是數學界最古老的開放問題之一。人們強烈相信它是正確的，並且有壓倒性的數值證據支援，但目前尚無完整證明。2013 年，張益唐證明了有無窮多對質數其差值不超過 7,000 萬——後來經進一步研究縮小到 246。

目前已知最大的孿生質數對是什麼？

截至 2026 年，紀錄為 \(2{,}996{,}863{,}034{,}895 \cdot 2^{1{,}290{,}000} \pm 1\)，每個數字都有 388,342 位數。它由 PrimeGrid 於 2016 年發現。

關於孿生質數的 Hardy-Littlewood 猜想是什麼？

第一 Hardy-Littlewood 猜想預測 \(\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 的數對。結果包括總數、每十進制密度、Hardy-Littlewood 預測值以及完整清單。

其他資源

• 孿生質數 - 維基百科
• 孿生質數猜想 - 維基百科
• 布倫定理與布倫常數 - 維基百科
• OEIS A001097: 孿生質數
• OEIS A007508: 低於 10^n 的孿生質數對數量

數列工具:

• 算術序列計算機 高精度
• 卡特蘭數生成器
• 考拉茲猜想計算機 熱門
• 立方列表
• 前n個質數
• 幾何序列計算機
• 快樂數計算機
• 斐波納契數列表
• 質數列表 熱門
• 魔方陣產生器
• 分拆函數計算機 新
• 帕斯卡三角形產生器 新
• 乘積符號計算機 (Pi 記號) 新
• 遞迴關係求解器 新
• 西格瑪求和計算機 新
• 平方數列表
• 孿生質數查找器 新