ゴールドバッハの予想

テンプレート:要改訳 テンプレート:Infobox mathematical statement ゴールドバッハの予想（ゴールドバッハのよそう、テンプレート:Lang-en）とは、次のような加法的整数論上の未解決問題の1つである。ゴールドバッハ予想、ゴルドバッハの予想とも。

この予想はウェアリングの問題などと共に古くから知られ、クリスティアン・ゴールドバッハ（Christian Goldbach, 1690年 - 1764年）がレオンハルト・オイラーへの書簡（1742年）で定式化して述べたことからこの名前がついている。

4 × 10¹⁸ までの4以上のすべての整数について成立することが2015年に確認されていて、一般に正しいと想定されているが、多くの努力にもかかわらず未だに証明されていない。

概要

4 から 28 までの偶数を 2つの素数の和としてあらわした。ゴールドバッハは全ての 2よりも大きい偶数が少なくとも一通りで 2つの素数の和として表すことができることを予想した。

偶数を二つの素数で表す方法が何通りあるか表したグラフ。

予想には、ほとんど同値ないくつかの述べ方があり、次のように述べることが多い：

4以上の全ての偶数は、二つの素数の和で表すことができる。

6以上の全ての偶数は、二つの奇素数の和で表すことができる。

　素数のうち偶数であるのは、2 のみであるから、偶素数同士の和となるのは、4=2+2 であり、4 のみである。

例えば、6以上で22までの偶数を奇素数の和で表す場合は、

 6 = 3 + 3
 8 = 3 + 5
10 = 7 + 3 = 5 + 5
12 = 5 + 7
14 = 3 + 11 = 7 + 7
16 = 3 + 13 = 5 + 11
18 = 5 + 13 = 7 + 11
20 = 3 + 17 = 7 + 13
22 = 11 + 11 = 19 + 3 = 17 + 5

のように、二つの奇素数の和で表すことができる。2012年現在、4×10¹⁸までの全ての偶数について成り立つことが、コンピュータによって確かめられている。

ゴールドバッハはこの予想を更に緻密にして、こう予想した。

5より大きな任意の自然数は、三つの素数の和で表せる。

これから上が導けるのは、偶数を三つの素数の和で表すと素数の一つは 2 になっているからである（奇数+奇数+奇数=奇数になる。和が偶数になるには、奇数+奇数+偶数か、偶数+偶数+偶数しかない）。

多くの数学者は、素数分布の確率に関する統計学的な観察から、この予想は正しいと考えている（偶数が大きければ大きいほど、二つの素数の和で表されるというのはより"ありそうな"ことなのである）。

類似の予想として、「弱いゴールドバッハ予想」というものがある。これは5より大きい奇数は三つの素数の和で表せるという予想である。4より大きい偶数が二つの奇素数の和で表せるという「強いゴールドバッハ予想」が正しいならば、弱いゴールドバッハ予想も真である。これは

$2n=p_1+p_{2}n>2$

ならば

$2(n+1)+1=p_1+p_2+3n>2$

であることから明らかである。ここでp₁およびp₂は奇素数である。

また、一般化されたリーマン予想が正しいならば、弱いゴールドバッハ予想が導かれることが知られている。

現在までの主な進歩

• ノルウェーの数学者ブルンは1920年頃（いくつかの論文に分かれているため曖昧）、エラトステネスの篩を発展させた新しい篩法を用いて、十分大きなすべての偶数は、高々9つの素数の積であるような数の二つの和であることを証明した。
• ハーディとリトルウッドは1923年に、L関数に対する一般化されたリーマン予想（の若干弱い形を）を仮定して、全ての奇数 n ≧ n₀ が3個の素数の和となるような下限 n₀ が存在することを証明し、またその表現の個数の漸近公式を得た。また同様の仮定のもとにほとんどすべての偶数が二つの奇素数で表されること、すなわち例外的な数全体は零集合であることを証明。しかし偶数を二つの奇素数で表す仕方の数の漸近公式については予想するにとどまった。
• 1930年にソ連の数学者シュニレルマンは、2個の素数の和で表される数と0, 1からなる集合は正のシュニレルマン密度を持つことをブルンの篩を用いて初等的に示し、シュニレルマンの定理から、すべての自然数が高々 k 個の素数の和であるような、k が存在することを示した。
• 1937年にソ連の数学者テンプレート:仮リンクは三素数の問題に関して、三角和の方法を用いて、一般化されたリーマン予想を仮定することなしに、上記のような定数 n₀ （現在、具体的にわかっている。$n_0=3^{3^{15}}$（Borozdin,1939）さらに良い評価として$n_0\approx 2\times 10^{1346}$（Liu Ming-Chit and Wang Tian-Ze,2002））の存在を証明した。（ヴィノグラードフの定理参照）
• 1938年頃、イギリスのエスターマン、ソ連の数学者チュダコフ、オランダの数学者ヴァン・デア・コルプトらは、それぞれ独立に、なんらの仮定もせずにほとんどすべての偶数は二つの奇素数の和であることを証明した。
• 1947年、ハンガリーの数学者レーニはテンプレート:仮リンクという新しい方法を用いて、すべての自然数を、素数と高々 k 個の素数の積である数との和で表すことのできるような、k が存在することを証明した。
• 中国の数学者陳景潤は1978年までに、十分大きなすべての偶数は、素数と高々二つの素数の積であるような数との和で表されることを証明した。下界が山田智宏により与えられている。
• 1995年、フランスの数学者ラマレはすべての偶数が高々6個の素数の和として表せることを証明した。
• 2002年、テンプレート:仮リンクとシュラーゲ＝プフタは十分大きなすべての偶数は2個の素数と13個の2の冪の和で表され、一般化されたリーマン予想が正しいならば、十分大きなすべての偶数は2個の素数と7個の2の冪の和で表されることを示した。
• 2009年、ゴールドバッハの予想に関する分散コンピューティングプロジェクト(BOINC)でGoldbach's Conjecture Projectが開始された。
• 2013年、ハラルド・ヘルフゴットによって弱いゴールドバッハ予想が証明された。
• 2015年、4 × 10¹⁸ までの4以上の全ての偶数について成立することが確認された。

ヒューリスティックな正当化

偶数 テンプレート:Mvar テンプレート:Math を二つの素数の和に分解する方法の数, テンプレート:OEIS

偶数 テンプレート:Mvar テンプレート:Math を二つの素数の和に分解する方法の数

素数の確率分布に焦点を当てた統計的考察から、十分大きな整数における本予想（強い予想および弱い予想）の成立が示唆される。一般に大きな数であるほど二つ三つの数の和に分解する方法も多くなるので、そのような和の中に一つは全て素数のものがあったとしても不思議ではない。

強い予想についてのヒューリスティックかつ確率論的な議論は、大まかには次のようなものである。素数定理によれば、無作為に選択した整数 テンプレート:Mvar が素数である確率は テンプレート:Math である。故に十分大きな偶数 テンプレート:Mvar に対し テンプレート:Mvar が テンプレート:Math を満たすとき、テンプレート:Mvar と テンプレート:Math が共に素数である確率は テンプレート:Math となる。このことから、十分大きな偶数 テンプレート:Mvar を二つの素数の和に分解する方法の数は概ね

$\sum _{m=3}^{n/2}\frac{1}{\ln m}\frac{1}{\ln (n-m)}\approx \frac{n}{2{\ln }^{2}n}$

であると計算できる。この値は テンプレート:Mvar の増大につれて無限大に発散するので、恐らく任意の巨大な偶数は二つの素数の和に分解できるどころか、そのような方法は幾通りも存在するであろうと予想できる。

この議論は実際にはやや不正確である。理由は テンプレート:Mvar と テンプレート:Math が素数であるという二つの事象に統計的独立性を仮定しているためである。例えば テンプレート:Mvar が奇数ならば テンプレート:Math もまた奇数、テンプレート:Mvar が偶数ならば テンプレート:Math もまた偶数となるが、2 を除く整数は奇数のときしか素数となりえないため、これは二つの事象の間の非自明な関係となる。同様に テンプレート:Mvar が 3 の倍数、テンプレート:Mvar が 3 でない素数のとき、テンプレート:Math は 3 と互いに素となる可能性があり、その分素数である確率も若干高くなる。1923年、ハーディとリトルウッドはこのような解析をより注意深く行い、次のように予想した。

この予想は テンプレート:Math において正しいことがテンプレート:仮リンクにより厳密に証明されているが、テンプレート:Math の場合は未だ証明されていない。テンプレート:Math のとき上式は、テンプレート:Mvar が奇数のとき 0 、テンプレート:Mvar が偶数のとき

$2{\mathrm{\Pi }}_2\left(\prod _{p\mid n;p\ge 3}\frac{p-1}{p-2}\right)\underset{2}{\overset{n}{\int }}\frac{dx}{(\ln x{)}^2}\approx 2{\mathrm{\Pi }}_2\left(\prod _{p\mid n;p\ge 3}\frac{p-1}{p-2}\right)\frac{n}{(\ln n{)}^2}$

と単純化される。ただし テンプレート:Math はハーディ・リトルウッドの双子素数定数

${\mathrm{\Pi }}_2:=\prod _{p\ge 3}(1-\frac{1}{(p-1{)}^2})=0.6601618158\dots .$

である。

この予想は「拡張ゴールドバッハ予想（テンプレート:Lang-en-short）」と呼ばれることもある。実際、強いゴールドバッハ予想は双子素数予想にとても良く似ており、これら二つの予想の難しさは概ね同程度であると考えられている。

記事中のゴールドバッハの分配函数をヒストグラムにすることで、上述の式をより見やすく描写することもできる。ゴールドバッハ彗星も参照。

厳密な結果

強いゴールドバッハ予想は、さらに非常に難しい。テンプレート:仮リンクの方法を使い、テンプレート:仮リンク や、テンプレート:仮リンク や テンプレート:仮リンク は、ほとんど全ての偶数が 2つの素数の和として表すことができることを示した（この意味は、そのように書くことのできる偶数の確率が 1 に近づく傾向にあるという意味である)。1930年、テンプレート:仮リンクはで、任意の 1 より大きな自然数は C 個よりも多くない素数の和として書き表すことができることを証明した。ここに C は有効に計算可能な定数である。シュニレルマン密度を参照。シュニレルマンの定数は、この性質を持つ最も小さな数であり、シュニレルマン自身は C < 800000 を得た。この結果は多くの人々により拡張されている。テンプレート:仮リンクは、1995年に全ての偶数 n  ≥ 4 は、多くとも6つの素数の和であることを示した。ハラルド・ヘルフゴットは、2013年に弱いゴールドバッハ予想を証明したとする論文を発表したが、これが正しいとすると、その帰結として全ての偶数 n  ≥ 4 は多くとも4つの素数の和であることになる。

陳景潤は、1973年に篩法を使い、全ての十分に大きな偶数は 2つの素数の和として書き表されるか、もしくは一つの素数と半素数（2つの素数の積）の和として書き表すことができることを示した。例を挙げると、100 = 23 + 7·11　陳の定理を参照。

1975年、テンプレート:仮リンクとテンプレート:仮リンクは、「ほとんど」全ての偶数は 2つの素数の和として表すことができることを示した。詳しくは、正の数 c と C が存在して、全ての十分に大きな数 N に対して、N よりも小さな数は 2つの素数の和であることを、彼らは示した。この例外は、多くとも $C{N}^{1-c}$ である。特に、2つの素数の和であらわされない偶数の集合はテンプレート:仮リンクゼロである。

テンプレート:仮リンクは、1951年、全ての十分に大きな偶数が 2つの素数と 2 の 高々 K 乗との和として表せるような K が存在することを証明した。テンプレート:仮リンクとテンプレート:仮リンクは、2002年に、K = 13 であることを発見した。これは、2003年にテンプレート:仮リンクとテンプレート:仮リンクにより K=8 と改善された。

数学の多くの有名な予想と同じように、ゴールドバッハ予想を解いたと主張する多くの「証明」があるが、数学の学会では受け入れられていない。

類似した問題

素数を、例えば平方数のような他の特別な数の集合に置き換えると、同じような問題を考えることができる。

• ジョゼフ＝ルイ・ラグランジュにより、すべての正の整数は高々4つの平方数の和であることが証明されている。素数の冪の和に関しては、ウェアリングの問題や、関連するテンプレート:仮リンクを参照。
• ハーディとリトルウッドは彼らの予想 I として「全ての大きな奇数 (n > 5) は1つの素数と1つの素数の2倍の和である」ことを載せた(Mathematics Magazine, 66.1 (1993): 45-47.)。この予想は、テンプレート:仮リンク（あるいは、レヴィ予想）として知られている。
• プラクティカル数に対するゴールドバッハ予想は、1984年に Margenstern により提示され、1996年にテンプレート:仮リンクにより証明された。すなわち、全ての偶数は 2つのプラクティカル数の和である。
• 「4以上の偶数は2個の幸運数の和として表せる」という問題は、未解決である。

また整数環 テンプレート:Math と同じく一意分解整域である多項式環 テンプレート:Math に対して同じような問題を考えると、これは証明することができる。テンプレート:Harvtxt 参照。

参考文献

• テンプレート:Cite book
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book - 「ゴールドバッハの予想」の証明に一生を捧げた架空の数学者の物語。
• Ramaré, O. "On Snirel'man's Constant." Ann. Scuola Norm. Sup. Pisa Cl. Sci. 22(1995), 645--706.
• L. G. Schnirelmann, Über additive Eigenschaften von Zahlen, Math. Ann. 107 (1932/33), 649–-690.
• テンプレート:Citation
• テンプレート:Citation

関連項目

• 弱いゴールドバッハ予想
• エラトステネスの篩
• ゲーデルの不完全性定理
• 初等整数論
• 数学上の未解決問題
• 双子素数の予想
• ゴールドバッハ彗星

外部リンク

• Terence Tao proved that all odd numbers are at most the sum of five primes
• State of the art
• テンプレート:SpringerEOM
• Goldbach's original letter to Euler — PDF format (in German and Latin)
• Goldbach's conjecture, part of Chris Caldwell's Prime Pages.
• Goldbach conjecture verification, Tomás Oliveira e Silva's distributed computer search.