ゴールドバッハの予想（ゴールドバッハのよそう、）とは、次のような加法的整数論上の未解決問題の1つである。ゴールドバッハ予想、ゴルドバッハの予想とも呼ばれる。
この予想はウェアリングの問題などと共に古くから知られ、クリスティアン・ゴールドバッハ（Christian Goldbach, 1690年 - 1764年）がレオンハルト・オイラーへの書簡（1742年）で定式化して述べたことからこの名前がついている。
4 × 1018 までの4以上のすべての整数について成立することが2015年に確認されていて、一般に正しいと想定されているが、多くの努力にもかかわらず未だに証明されていない。
概要
予想には、ほとんど同値ないくつかの述べ方があり、次のように述べることが多い： 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×1018までの全ての偶数について成り立つことが、コンピュータによって確かめられているTomás Oliveira e Silva, Goldbach conjecture verification。
ゴールドバッハはこの予想を更に緻密にして、こう予想した。
5より大きな任意の自然数は、三つの素数の和で表せる。
これから上が導けるのは、偶数を三つの素数の和で表すと素数の一つは 2 になっているからである（奇数+奇数+奇数=奇数になる。和が偶数になるには、奇数+奇数+偶数か、偶数+偶数+偶数しかない）。
多くの数学者は、素数分布の確率に関する統計学的な観察から、この予想は正しいと考えている（偶数が大きければ大きいほど、二つの素数の和で表されるというのはより"ありそうな"ことなのである）。
類似の予想として、「弱いゴールドバッハ予想」というものがある。これは5より大きい奇数は三つの素数の和で表せるという予想である。4より大きい偶数が二つの奇素数の和で表せるという「強いゴールドバッハ予想」が正しいならば、弱いゴールドバッハ予想も真である。これは
ならば
であることから明らかである。ここでp1およびp2は奇素数である。
また、一般化されたリーマン予想が正しいならば、弱いゴールドバッハ予想が導かれることが知られている。
現在までの主な進歩 ノルウェーの数学者ブルンは1920年頃（いくつかの論文に分かれているため曖昧）、エラトステネスの篩を発展させた新しい篩法を用いて、十分大きなすべての偶数は、高々9つの素数の積であるような数の二つの和であることを証明した。 ハーディとリトルウッドは1923年に、L関数に対する一般化されたリーマン予想（の若干弱い形を）を仮定して、全ての奇数 n ≧ n0 が3個の素数の和となるような下限 n0 が存在することを証明し、またその表現の個数の漸近公式を得た。また同様の仮定のもとにほとんどすべての偶数が二つの奇素数で表されること、すなわち例外的な数全体は零集合であることを証明。しかし偶数を二つの奇素数で表す仕方の数の漸近公式については予想するにとどまった。 1930年にソ連の数学者シュニレルマンは、2個の素数の和で表される数と0, 1からなる集合は正のシュニレルマン密度を持つことをブルンの篩を用いて初等的に示し、シュニレルマンの定理から、すべての自然数が高々 k 個の素数の和であるような、k が存在することを示した。 1937年にソ連の数学者は三素数の問題に関して、三角和の方法を用いて、一般化されたリーマン予想を仮定することなしに、上記のような定数 n0 （現在、具体的にわかっている。（Borozdin,1939）さらに良い評価として（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 × 1018 までの4以上の全ての偶数について成立することが確認された。
ヒューリスティックな正当化
素数の確率分布に焦点を当てた統計的考察から、十分大きな整数における本予想（強い予想および弱い予想）の成立が示唆される。一般に大きな数であるほど二つ三つの数の和に分解する方法も多くなるので、そのような和の中に一つは全て素数のものがあったとしても不思議ではない。
強い予想についてのヒューリスティックかつ確率論的な議論は、大まかには次のようなものである。素数定理によれば、無作為に選択した整数 が素数である確率は である。故に十分大きな偶数 に対し が を満たすとき、 と が共に素数である確率は となる。このことから、十分大きな偶数 を二つの素数の和に分解する方法の数は概ね
であると計算できる。この値は の増大につれて無限大に発散するので、恐らく任意の巨大な偶数は二つの素数の和に分解できるどころか、そのような方法は幾通りも存在するであろうと予想できる。
この議論は実際にはやや不正確である。理由は と が素数であるという二つの事象に統計的独立性を仮定しているためである。例えば が奇数ならば もまた奇数、 が偶数ならば もまた偶数となるが、2 を除く整数は奇数のときしか素数となりえないため、これは二つの事象の間の非自明な関係となる。同様に が 3 の倍数、 が 3 でない素数のとき、 は 3 と互いに素となる可能性があり、その分素数である確率も若干高くなる。1923年、ハーディとリトルウッドはこのような解析をより注意深く行い、次のように予想した。
この予想は において正しいことがにより厳密に証明されているが、 の場合は未だ証明されていない。 のとき上式は、 が奇数のとき 0 、 が偶数のとき
と単純化される。ただし はハーディ・リトルウッドの双子素数定数
である。
この予想は「拡張ゴールドバッハ予想（）」と呼ばれることもある。実際、強いゴールドバッハ予想は双子素数予想にとても良く似ており、これら二つの予想の難しさは概ね同程度であると考えられている。
記事中のゴールドバッハの分配函数をヒストグラムにすることで、上述の式をより見やすく描写することもできる。ゴールドバッハ彗星も参照。
厳密な結果 強いゴールドバッハ予想は、さらに非常に難しい。の方法を使い、 や、 や は、ほとんど全ての偶数が 2つの素数の和として表すことができることを示した（この意味は、そのように書くことのできる偶数の確率が 1 に近づく傾向にあるという意味である)。1930年、レフ・シュニレルマンはSchnirelmann, L.G. (1930). "On the additive properties of numbers", first published in "Proceedings of the Don Polytechnic Institute in Novocherkassk" (in Russian), vol XIV (1930), pp. 3-27, and reprinted in "Uspekhi Matematicheskikh Nauk" (in Russian), 1939, no. 6, 9–25.Schnirelmann, L.G. (1933). First published as "Über additive Eigenschaften von Zahlen" in "Mathematische Annalen" (in German), vol 107 (1933), 649-690, and reprinted as "On the additive properties of numbers" in "Uspekhi Matematicheskikh Nauk" (in Russian), 1940, no. 7, 7–46.で、任意の 1 より大きな自然数は C 個よりも多くない素数の和として書き表すことができることを証明した。ここに C は有効に計算可能な定数である。シュニレルマン密度を参照。シュニレルマンの定数は、この性質を持つ最も小さな数であり、シュニレルマン自身は C < 800000 を得た。この結果は多くの人々により拡張されている。オリヴィエ・ラマレは、1995年に全ての偶数 n ≥ 4 は、多くとも6つの素数の和であることを示した。ハラルド・ヘルフゴットは、2013年に弱いゴールドバッハ予想を証明したとする論文を発表したhttp://www.truthiscool.com/prime-numbers-the-271-year-old-puzzle-resolvedProof that an infinite number of primes are paired - physics-math - 14 May 2013. New Scientist. Retrieved on 2014-05-11.が、これが正しいとすると、その帰結として全ての偶数 n ≥ 4 は多くとも4つの素数の和であることになる。
陳景潤は、1973年に篩法を使い、全ての十分に大きな偶数は 2つの素数の和として書き表されるか、もしくは一つの素数と半素数（2つの素数の積）の和として書き表すことができることを示した。例を挙げると、100 = 23 + 7·11 陳の定理を参照。
1975年、とは、「ほとんど」全ての偶数は 2つの素数の和として表すことができることを示した。詳しくは、正の数 c と C が存在して、全ての十分に大きな数 N に対して、N よりも小さな数は 2つの素数の和であることを、彼らは示した。この例外は、多くとも である。特に、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.)。この予想は、（あるいは、レヴィ予想）として知られている。 プラクティカル数ある正の数 n について、1 以上 n 未満の数のいずれもが n の異なる約数の和で表されるとき、その n をプラクティカル数という。例えば、12 の約数は、1, 2, 3, 4, 6 であり、11 以下の正の整数は、5=3+2, 7=6+1, 8=6+2, 9=6+3, 10=6+3+1, 11=6+3+2 で表されるので、12 はプラクティカル数である。プラクティカル数の列は、 1, 2, 4, 6, 8, 12, 16, 18, 20, 24, 28, 30, 32, 36, 40, 42, 48, 54, .... となる。に対するゴールドバッハ予想は、1984年に Margenstern により提示され、1996年ににより証明された。すなわち、全ての偶数は 2つのプラクティカル数の和である。 「4以上の偶数は2個の幸運数の和として表せる」という問題は、未解決である。
また整数環 と同じく一意分解整域である多項式環 に対して同じような問題を考えると、これは証明することができる。 参照。
脚注
注釈
出典
参考文献
- 「ゴールドバッハの予想」の証明に一生を捧げた架空の数学者の物語。 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.
関連項目 弱いゴールドバッハ予想 エラトステネスの篩 ゲーデルの不完全性定理 初等整数論 数学上の未解決問題 双子素数の予想 ゴールドバッハ彗星
外部リンク Terence Tao proved that all odd numbers are at most the sum of five primes State of the art
Goldbach's conjecture, part of Chris Caldwell's Prime Pages. , Tomás Oliveira e Silva's distributed computer search.