ゴールドバッハ予想検証ツール

ゴールドバッハ予想検証ツールへようこそ。このツールは、数論における最も古い未解決問題の一つを、2より大きい任意の偶数に対して確認できるインタラクティブな電卓です。数値を入力すると、その数を構成するすべての素数ペア、ゴールドバッハの分割関数 g(n) の値、そして有名なゴールドバッハの彗星プロットを即座に表示します。ブリッジ図と彗星チャートにより、1742年の予想の背後にある構造を視覚的に直感して理解できます。

ゴールドバッハ予想とは何ですか？

ゴールドバッハ予想は、1742年6月7日にプロイセンの数学者キリスト・ゴールドバッハがレオンハルト・オイラーに宛てた手紙の中で提案した数論の命題です。現代的な形式では次のように述べられます：

例：\(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\)。

非常に単純な命題であるにもかかわらず、この予想は3世紀近く未解決のままです。最近の大規模な取り組みにより、\(4 \times 10^{18}\) までのすべての偶数に対して計算機で検証されていますが、一般的な証明は依然として数学者たちの手を逃れています。

ゴールドバッハの分割関数 g(n)

偶数 \(n\) に対して、和が \(n\) になる異なる非順序素数ペアの数は \(g(n)\) と表記され、ゴールドバッハの分割関数と呼ばれます：

ゴールドバッハ予想は、2より大きいすべての偶数 \(n\) に対して \(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\) の直線上に2つの色分けされたセグメントとして描かれ、\(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\) は素数の2倍である必要があります（例：\(10 = 5 + 5\)、\(14 = 7 + 7\)、\(26 = 13 + 13\)）。
• 最大pのペア — \(p \le q\) を満たす最大の \(p\) を持つペアです。これは「反対側から見て最もバランスの取れたペア」であり、素数がどれほど \(n/2\) の近くに集まっているかの視覚的な境界を示します。

数字で見るゴールドバッハ

代表的な分割数

漸近的挙動

ハーディ・リトルウッド予想からのヒューリスティックな議論は、\(g(n)\) がおおよそ次のように成長することを示唆しています：

ここで \(C_2 \approx 0.66016\) は双子素数定数です。追加の積の項は、多くの小さな素因数を持つ偶数（6、30などの倍数）が、不釣り合いに多くのゴールドバッハペアを持つ傾向がある理由を反映しており、これが彗星の水平バンドの源となっています。

弱いゴールドバッハ予想 vs 強いゴールドバッハ予想

• 強い（二次の）ゴールドバッハ予想 — 2より大きいすべての偶数 \(n\) は2つの素数の和である。依然として未解決。
• 弱い（三次の）ゴールドバッハ予想 — 5より大きいすべての奇数 \(n\) は3つの素数の和である。2013年にハラルド・ヘルフゴットによって証明され、1937年にヴィノグラードフによって開始された数十年にわたる計画が完了しました。

強い形式は弱い形式を包含しています。もしすべての偶数 \(n\) が2つの素数の和であれば、5より大きいすべての奇数 \(n\) はその和に \(3\) を足したものになるからです。しかし残念ながら、その逆が成り立つかどうかは分かっていません。

有名な中間結果

• 1923年 — ハーディ＆リトルウッド：一般化リーマン予想を仮定すると、ほとんどすべての偶数は2つの素数の和である。
• 1937年 — イワン・ヴィノグラードフ：十分に大きなすべての奇数に対して三次の予想を証明。
• 1973年 — 陳景潤：十分に大きなすべての偶数は、素数と、素数または2つの素数の積である数との和である（陳の定理）。
• 1995年 — オリヴィエ・ラマレ：すべての偶数は高々6個の素数の和である。
• 2013年 — ハラルド・ヘルフゴット：弱いゴールドバッハ予想を無条件で証明。
• 2014年 — Oliveira e Silva, Herzog & Pardi：\(4 \times 10^{18}\) 以下のすべての偶数に対して強い予想を検証。

よくある質問

ゴールドバッハ予想とは何ですか？

ゴールドバッハ予想は、2より大きいすべての偶数は2つの素数の和として表すことができるというものです。1742年にキリスト・ゴールドバッハによって最初に述べられ、天文学的な数値まで検証されていますが、一般的には証明されていません。

ゴールドバッハ予想は証明されていますか？

いいえ。2026年現在、強いゴールドバッハ予想は未解決の問題のままです。弱い（三次の）バージョン、すなわち5より大きいすべての奇数は3つの素数の和であるという命題は、2013年にハラルド・ヘルフゴットによって証明されました。

ゴールドバッハの分割関数 g(n) とは何ですか？

\(g(n)\) は、和が \(n\) になる非順序素数ペアの数です。例えば、\(10 = 3 + 7 = 5 + 5\) なので \(g(10) = 2\) です。ゴールドバッハ予想とは、2より大きいすべての偶数 \(n\) に対して \(g(n) \ge 1\) であるという主張です。

なぜゴールドバッハ予想は偶数にのみ適用されるのですか？

\(2\) 以外の素数はすべて奇数です。奇数 + 奇数 = 偶数なので、2つの奇素数の和は常に偶数になります。奇数については、3つの素数の和を問う三次のゴールドバッハ予想で扱われます。

ゴールドバッハの彗星とは何ですか？

ゴールドバッハの彗星は、\(g(n)\) 対 \(n\) の散布図です。有名な尾のような、バンド状の形をしています。多くの小さな素因数を持つ偶数は比例して多くの分割を持つ傾向があるため、水平方向のバンドが現れます。

和が100になる素数のペアは何個ありますか？

6つあります：\(3+97\)、\(11+89\)、\(17+83\)、\(29+71\)、\(41+59\)、\(47+53\)。つまり \(g(100) = 6\) です。上記の検証ツールで100を試すと、各ペアが視覚化されます。

関連リソース

• ゴールドバッハの予想 — Wikipedia
• ゴールドバッハの彗星 — Wikipedia
• Goldbach Conjecture — MathWorld