MathLabs
定理証明済み

三項ゴールドバッハの定理(ヘルフゴット)

内容

すべての奇数 n>5n>5 は三つの素数の和として表せる:n=p1+p2+p3n=p_1+p_2+p_3。

なぜ正しいのか?

この「弱い」あるいは三項の形のゴールドバッハ予想は、いまだ未解決の二項の形(>2>2 のすべての偶数は二つの素数の和である)よりもはるかに扱いやすい。三つの加数があれば、円周法による評価が十分に大きい奇数 nn すべてについて表現の個数を制御する余地を持ち、残りの小さな場合は有限の計算で処理できる。

証明の概略

ハーディ・リトルウッドの円周法を用いる:nn を p1+p2+p3p_1+p_2+p_3 として表す方法の数の評価を、「メジャーアーク」の寄与(分母の小さい有理数の近く、明示的な特異級数によって制御される)と「マイナーアーク」の寄与(小さいことを示す必要がある)に分ける。ヘルフゴットの進展(2013年、2015年に拡張)は、より鋭いマイナーアークの評価と精密なメジャーアークの評価、そして大規模な数値検証を組み合わせ、明示的な閾値より大きいすべての奇数 nn をカバーし、それより小さい場合はコンピュータで直接検証した。議論の規模と複雑さのため、完全な原稿は異例なほど長い、複数回にわたる査読プロセスを経て、Annals of Mathematics Studies シリーズの研究モノグラフとして受理された。

証明者

この定理を使うトピック

関連する定理

ステップごとの証明

参考文献

  1. Harald A. Helfgott (2013). The ternary Goldbach conjecture is true · arXiv:1312.7748 [プレプリント・未査読]
  2. Harald A. Helfgott (2015). The ternary Goldbach problem · arXiv:1501.05438 [プレプリント・未査読]