定理証明済み
三項ゴールドバッハの定理(ヘルフゴット)
内容
すべての奇数 は三つの素数の和として表せる:。
なぜ正しいのか?
この「弱い」あるいは三項の形のゴールドバッハ予想は、いまだ未解決の二項の形( のすべての偶数は二つの素数の和である)よりもはるかに扱いやすい。三つの加数があれば、円周法による評価が十分に大きい奇数 すべてについて表現の個数を制御する余地を持ち、残りの小さな場合は有限の計算で処理できる。
証明の概略
ハーディ・リトルウッドの円周法を用いる: を として表す方法の数の評価を、「メジャーアーク」の寄与(分母の小さい有理数の近く、明示的な特異級数によって制御される)と「マイナーアーク」の寄与(小さいことを示す必要がある)に分ける。ヘルフゴットの進展(2013年、2015年に拡張)は、より鋭いマイナーアークの評価と精密なメジャーアークの評価、そして大規模な数値検証を組み合わせ、明示的な閾値より大きいすべての奇数 をカバーし、それより小さい場合はコンピュータで直接検証した。議論の規模と複雑さのため、完全な原稿は異例なほど長い、複数回にわたる査読プロセスを経て、Annals of Mathematics Studies シリーズの研究モノグラフとして受理された。
この定理を使うトピック
関連する定理
ステップごとの証明
参考文献
- Harald A. Helfgott (2013). The ternary Goldbach conjecture is true · arXiv:1312.7748 [プレプリント・未査読]
- Harald A. Helfgott (2015). The ternary Goldbach problem · arXiv:1501.05438 [プレプリント・未査読]