コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

ゴールドバッハの予想

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ゴールドバッハの予想
1742年6月7日の日付のゴールドバッハからオイラーに宛てた(ラテン語とドイツ語で書かれた)手紙[1]
分野 数論
提出者 クリスティアン・ゴルトバハ
提出時期 1742年
公開問題 Yes
結果 弱いゴールドバッハ予想

ゴールドバッハの予想(ゴールドバッハのよそう、英語: Goldbach's conjecture)とは、次のような加法整数論上の未解決問題の1つである。ゴールドバッハ予想ゴルドバッハの予想とも[2]

すべての 2 よりも大きな偶数は2つの素数の和として表すことができる[3]。このとき、2つの素数は同じであってもよい。

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

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

概要

[編集]
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×1018までの全ての偶数について成り立つことが、コンピュータによって確かめられている。[6]

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

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

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

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

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

ならば

であることから明らかである。ここでp1およびp2は奇素数である。

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

現在までの主な進歩

[編集]
  • ノルウェーの数学者ブルンは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年までに、十分大きなすべての偶数は、素数と高々二つの素数の積であるような数との和で表されることを証明した。下界が山田智宏により与えられている。[8]
  • 1995年、フランスの数学者ラマレはすべての偶数が高々6個の素数の和として表せることを証明した。
  • 2002年ヒース=ブラウン英語版シュラーゲ=プフタは十分大きなすべての偶数は2個の素数と13個の2の冪の和で表され、一般化されたリーマン予想が正しいならば、十分大きなすべての偶数は2個の素数と7個の2の冪の和で表されることを示した。
  • 2009年、ゴールドバッハの予想に関する分散コンピューティングプロジェクト(BOINC)でGoldbach's Conjecture Projectが開始された。
  • 2013年、ハラルド・ヘルフゴットによって弱いゴールドバッハ予想が証明された。
  • 2015年、4 × 1018 までの4以上の全ての偶数について成立することが確認された[5]

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

[編集]
偶数 n (4 ≤ n ≤ 1,000) を二つの素数の和に分解する方法の数, オンライン整数列大辞典の数列 A002375
偶数 n (4 ≤ n ≤ 1,000,000) を二つの素数の和に分解する方法の数

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

強い予想についてのヒューリスティックかつ確率論的な議論は、大まかには次のようなものである。素数定理によれば、無作為に選択した整数 m が素数である確率は 1/ln m である。故に十分大きな偶数 n に対し m3 ≤ mn/2 を満たすとき、mnm が共に素数である確率は 1/(ln m ln(nm)) となる。このことから、十分大きな偶数 n を二つの素数の和に分解する方法の数は概ね

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

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

予想 (ハーディ・リトルウッド予想の一部) ― 任意の固定された c ≥ 2 に対し、十分大きな整数 nc 個の素数の和 n = p1 + … + pc (p1 ≤ … ≤ pc) として表現する方法の数は、次に漸近的に等しい。

ただし式中の積は素数全体 p に渡って行い、γc,p(n)合同式 n = q1 + … + qc mod p (q1, …,qc ≠ 0 mod p) の解の個数を表す。

この予想は c ≥ 3 において正しいことがヴィノグラードフ英語版により厳密に証明されているが、c = 2 の場合は未だ証明されていない。c = 2 のとき上式は、n が奇数のとき 0 、n が偶数のとき

と単純化される。ただし Π2 はハーディ・リトルウッドの双子素数定数

である。

この予想は「拡張ゴールドバッハ予想(: Extended Goldbach conjecture)」と呼ばれることもある。実際、強いゴールドバッハ予想は双子素数予想にとても良く似ており、これら二つの予想の難しさは概ね同程度であると考えられている。

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

厳密な結果

[編集]

強いゴールドバッハ予想は、さらに非常に難しい。ヴィノグラードフ英語版の方法を使い、チュダコフ英語版[9] や、ヴァン・デル・コルプト英語版[10]エスターマン英語版[11] は、ほとんど全ての偶数が 2つの素数の和として表すことができることを示した(この意味は、そのように書くことのできる偶数の確率が 1 に近づく傾向にあるという意味である)。1930年、レフ・シュニレルマン英語版[12][13]で、任意の 1 より大きな自然数は C 個よりも多くない素数の和として書き表すことができることを証明した。ここに C は有効に計算可能な定数である。シュニレルマン密度を参照。シュニレルマンの定数は、この性質を持つ最も小さな数であり、シュニレルマン自身は C < 800000 を得た。この結果は多くの人々により拡張されている。オリバー・ラマレ英語版は、1995年に全ての偶数 n  ≥ 4 は、多くとも6つの素数の和であることを示した。ハラルド・ヘルフゴットは、2013年に弱いゴールドバッハ予想を証明したとする論文を発表した[14][15][16][17]が、これが正しいとすると、その帰結として全ての偶数 n  ≥ 4 は多くとも4つの素数の和であることになる。[18]

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

1975年、ヒュー・モンゴメリ英語版ロバート・チャールズ・ヴォーン英語版は、「ほとんど」全ての偶数は 2つの素数の和として表すことができることを示した。詳しくは、正の数 c と C が存在して、全ての十分に大きな数 N に対して、N よりも小さな数は 2つの素数の和であることを、彼らは示した。この例外は、多くとも である。特に、2つの素数の和であらわされない偶数の集合は自然密度英語版ゼロである。

ユーリ・リンニック英語版は、1951年、全ての十分に大きな偶数が 2つの素数と 2 の 高々 K 乗との和として表せるような K が存在することを証明した。ロジャー・ヒースブラウン英語版ジャン・クリストフ・シュラージ・プクタ英語版は、2002年に、K = 13 であることを発見した。[20] これは、2003年にヤノス・ピンツ英語版イムル・ルッツァ英語版により K=8 と改善された。[21]

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

類似した問題

[編集]

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

また整数環 Z と同じく一意分解整域である多項式環 Z[x] に対して同じような問題を考えると、これは証明することができる。Hayes (1965) 参照。

脚注

[編集]

注釈

[編集]
  1. ^ ある正の数 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, ....
    となる。

出典

[編集]
  1. ^ Correspondance mathématique et physique de quelques célèbres géomètres du XVIIIème siècle (Band 1), St.-Pétersbourg 1843, S. 125–129
  2. ^ ゴールドバッハの予想」『デジタル大辞泉』https://kotobank.jp/word/%E3%82%B4%E3%83%BC%E3%83%AB%E3%83%89%E3%83%90%E3%83%83%E3%83%8F%E3%81%AE%E4%BA%88%E6%83%B3コトバンクより2024年12月14日閲覧 
  3. ^ Weisstein, Eric W. "Goldbach Number". mathworld.wolfram.com (英語).
  4. ^ Goldbach, Christian (7 June 1742), letter to Leonhard Euler (letter XLIII), http://www.math.dartmouth.edu/~euler/correspondence/letters/OO0765.pdf 
  5. ^ a b Oliveira e Silva, Tomás; Herzog, Siegfried; Pardi, Silvio (July 2014). “Empirical verification of the even Goldbach conjecture and computation of prime gaps up to 4*10^18” (英語) (PDF). Mathematics of Computation (American Mathematical Society) 83 (288): 2033-2060. doi:10.1090/S0025-5718-2013-02787-1. 
  6. ^ Tomás Oliveira e Silva, Goldbach conjecture verification
  7. ^ Deshouillers, J.-M.; Effinger, G.; te Riele, H. & Zinoviev, D. (1997), "A complete Vinogradov 3-primes theorem under the Riemann hypothesis" (PDF), Electron. Res. Announc. Amer. Math. Soc., 3: 99–104, doi:10.1090/S1079-6762-97-00031-0
  8. ^ Yamada, Tomohiro (11 November 2015). "Explicit Chen's theorem". arXiv:1511.03409 [math.NT]。
  9. ^ Chudakov, Nikolai G. (1937). “О проблеме Гольдбаха [On the Goldbach problem]”. Doklady Akademii Nauk SSSR 17: 335–338. 
  10. ^ Van der Corput, J. G. (1938). “Sur l'hypothèse de Goldbach”. Proc. Akad. Wet. Amsterdam 41: 76–80. 
  11. ^ Estermann, T. (1938). “On G 1 oldbach's problem: proof that almost all even positive integers are sums of two primes”. Proc. London Math. Soc.. 2 44: 307–314. doi:10.1112/plms/s2-44.4.307. 
  12. ^ 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.
  13. ^ 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.
  14. ^ Helfgott, H.A. (2013). "Major arcs for Goldbach's theorem". arXiv:1305.2897 [math.NT]。
  15. ^ Helfgott, H.A. (2012). "Minor arcs for Goldbach's problem". arXiv:1205.5252 [math.NT]。
  16. ^ http://www.truthiscool.com/prime-numbers-the-271-year-old-puzzle-resolved
  17. ^ Proof that an infinite number of primes are paired - physics-math - 14 May 2013. New Scientist. Retrieved on 2014-05-11.
  18. ^ Sinisalo, Matti K. (Oct., 1993). “Checking the Goldbach Conjecture up to 4 1011”. Mathematics of Computation 61 (204): 931–934. doi:10.2307/2153264. 
  19. ^ Chen, J. R. (1973). “On the representation of a larger even integer as the sum of a prime and the product of at most two primes”. Sci. Sinica 16: 157–176. 
  20. ^ Heath-Brown, D. R.; Puchta, J. C. (2002). “Integers represented as a sum of primes and powers of two”. Asian Journal of Mathematics 6 (3): 535–565. arXiv:math.NT/0201299. 
  21. ^ Pintz, J.; Ruzsa, I. Z. (2003). “On Linnik's approximation to Goldbach's problem, I”. Acta Arithmetica 109 (2): 169–194. doi:10.4064/aa109-2-6. 
  22. ^ Margenstern, M. (1984). “Results and conjectures about practical numbers”. Comptes-Rendus de l'Académie des Sciences Paris 299: 895–898. 

参考文献

[編集]

関連項目

[編集]

外部リンク

[編集]