定理已证明
三元哥德巴赫定理(赫尔夫戈特)
命题陈述
每个奇数 都是三个素数之和:。
为什么成立?
这个“弱”版本(三元形式)的哥德巴赫猜想,比仍未解决的二元形式(每个 的偶数都是两个素数之和)容易处理得多:有三个加数时,圆法估计有足够的余地控制每个足够大的奇数 的表示个数,而剩余的小情形则用有限计算加以验证。
证明思路
使用哈代-李特尔伍德圆法:把 表示为 的方法数估计分为“主弧”贡献(靠近分母较小的有理数,由显式奇异级数控制)与“次弧”贡献(需证明其很小)。赫尔夫戈特的突破(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 [预印本,未经同行评审]