哥德巴赫猜想驗證器

歡迎使用 哥德巴赫猜想驗證器，這是一個互動式工具，旨在為任何大於 2 的偶數確認數論中最古老的開放問題之一。輸入您的數字，即可立即查看組成它的每一對質數、哥德巴赫分割函數 g(n) 的值，以及著名的哥德巴赫彗星圖。橋接圖和彗星圖使這項源自 1742 年的猜想背後的結構變得視覺直觀。

什麼是哥德巴赫猜想？

哥德巴赫猜想 是普魯士數學家 Christian Goldbach 於 1742 年 6 月 7 日在寫給 Leonhard Euler 的信中提出的一個數論命題。其現代形式表述為：

例如：\(4 = 2 + 2\)，\(6 = 3 + 3\)，\(8 = 3 + 5\)，\(10 = 3 + 7 = 5 + 5\)，\(100 = 3 + 97 = 11 + 89 = 17 + 83 = 29 + 71 = 41 + 59 = 47 + 53\)。

儘管表述簡單，但該猜想在近三個世紀以來一直未獲證明。根據最近的大規模計算驗證，已確認該猜想對高達 \(4 \times 10^{18}\) 的每個偶數均成立，但一般性證明仍令數學家們感到棘手。

哥德巴赫分割函數 g(n)

對於偶數 \(n\)，和為 \(n\) 的不同無序質數對的數量記為 \(g(n)\)，即 哥德巴赫分割函數：

哥德巴赫猜想等同於聲稱對於每個偶數 \(n > 2\)，都有 \(g(n) \ge 1\)。當以 \(n\) 為橫軸繪製 \(g(n)\) 的值時，會形成一個視覺上引人注目的圖案，稱為 哥德巴赫彗星 — 這是一群隨著 \(n\) 增長而散開的密集、明亮的點群。彗星中會出現明顯的水平帶：能被 6 整除的數字往往比僅能被 2 整除的數字位置更高，因為有更多的小質數可作為加數。

如何使用此驗證器

1. 輸入一個大於 2 的偶數。 點擊快速範例（100、1,000、10,000、123,456、1,000,000）或自行輸入。
2. 點擊「驗證哥德巴赫」。 該工具使用埃拉托斯特尼篩法尋找和為您數字的每一對質數。
3. 讀取結果。 綠色橫幅確認該猜想適用於您的數字，英雄面板則報告 \(g(n)\)。
4. 研究橋接圖。 每一對質數都在 0 到 \(n\) 的數軸上繪製為兩個彩色段，紅色的中心標記位於 \(n/2\)。靠近中心的對子更平衡。
5. 探索彗星。 散點圖顯示了靠近您輸入數字的偶數 \(m\) 的 \(g(m)\)，並以紅色高亮顯示您的數字，以便您查看它在彗星模式中的位置。
6. 瀏覽完整的質數對表格。 列出了每一組 \((p, q)\) 對及其差值 \(q - p\)。一鍵即可複製所有質數對。

質數對有什麼特別之處？

• 最小 p 分解 — 使用最小質數 \(p\) 的那一對。對於中等大小的 \(n\)，這通常是 \(3\) 或 \(5\)。當 \(n\) 是 2 的冪加 2 時，它可能是 \(2 + (n-2)\) 本身。
• 最平衡質數對 — \(p\) 最接近 \(n/2\) 的那一對。當兩個質數都等於 \(n/2\) 時，\(n\) 必須是某個質數的兩倍（例如：\(10 = 5 + 5\)，\(14 = 7 + 7\)，\(26 = 13 + 13\)$）。
• 最大 p 分解 — 滿足 \(p \le q\) 的最大 \(p\) 分解。這是「從另一側看最平衡」的分解，並提供了質數在 \(n/2\) 附近聚集程度的視覺界限。

哥德巴赫數據一覽

經典分割計數

漸近行為

來自 Hardy–Littlewood 猜想的啟發式論證表明，\(g(n)\) 的增長大約如下：

其中 \(C_2 \approx 0.66016\) 是 孿生質數常數。額外的乘積項反映了為什麼擁有許多小質因數（6、30 等的倍數）的偶數往往擁有比例失調的哥德巴赫質數對 — 這也是彗星中水平帶的來源。

弱哥德巴赫 vs 強哥德巴赫

• 強（二元）哥德巴赫猜想 — 每個偶數 \(n > 2\) 都是兩個質數之和。目前尚未解決。
• 弱（三元）哥德巴赫猜想 — 每個奇數 \(n > 5\) 都是三個質數之和。已由 Harald Helfgott 於 2013 年證明，完成了由 Vinogradov 於 1937 年發起的一項長達數十年的計畫。

強形式蘊含弱形式：如果每個偶數 \(n\) 都是兩個質數之和，那麼每個奇數 \(n > 5\) 都可以表示為該和加上一個額外的 \(3\)。遺憾的是，目前尚不清楚反向推導是否成立。

著名的部分研究成果

• 1923 — Hardy & Littlewood：假設廣義黎曼猜想成立，幾乎每個偶數都是兩個質數之和。
• 1937 — Ivan Vinogradov：證明了所有足夠大的奇數都符合三元猜想。
• 1973 — 陳景潤：每個足夠大的偶數都是一個質數與一個「質數或兩個質數乘積」之和（陳氏定理）。
• 1995 — Olivier Ramaré：每個偶數都是最多 6 個質數之和。
• 2013 — Harald Helfgott：無條件證明了弱哥德巴赫猜想。
• 2014 — Oliveira e Silva, Herzog & Pardi：針對所有偶數 \(n \le 4 \times 10^{18}\) 驗證了強猜想。

常見問題

什麼是哥德巴赫猜想？

哥德巴赫猜想指出，每個大於 2 的偶數都可以寫成兩個質數之和。它由 Christian Goldbach 於 1742 年首次提出，雖然已針對天文數字進行了驗證，但尚未得到一般性證明。

哥德巴赫猜想被證明了嗎？

還沒有。截至 2026 年，強哥德巴赫猜想仍是一個開放問題。弱（三元）版本 — 每個大於 5 的奇數都是三個質數之和 — 已由 Harald Helfgott 於 2013 年證明。

什麼是哥德巴赫分割函數 g(n)？

\(g(n)\) 是和為 \(n\) 的無序質數對的數量。例如 \(g(10) = 2\)，因為 \(10 = 3 + 7 = 5 + 5\)。哥德巴赫猜想即聲稱對於每個偶數 \(n > 2\)，\(g(n) \ge 1\)。

為什麼哥德巴赫猜想只適用於偶數？

除了 \(2\) 以外的每個質數都是奇數。奇數 + 奇數 = 偶數，所以兩個奇數質數之和總是偶數。奇數由三元哥德巴赫猜想處理，該猜想研究的是三個質數之和。

什麼是哥德巴赫彗星？

哥德巴赫彗星是 \(g(n)\) 對 \(n\) 的散點圖。它具有著名的類尾部帶狀形狀。之所以會出現水平帶，是因為擁有許多小質因數的偶數往往擁有比例更多的分割方式。

有多少對質數之和等於 100？

共有六對：\(3+97\)、\(11+89\)、\(17+83\)、\(29+71\)、\(41+59\)、\(47+53\)。因此 \(g(100) = 6\)。請在上面的驗證器中嘗試輸入 100 以查看每一對的視覺化結果。

其他資源

• 哥德巴赫猜想 — 維基百科
• 哥德巴赫彗星 — 維基百科
• 哥德巴赫猜想 — MathWorld