MathLabs
定理已证明

陈氏定理(「1+2」)

命题陈述

每个充分大的偶数 NN 都可以写成 N=p+qN = p + q,其中 pp 是素数,而 qq 要么是素数,要么恰好是两个素数的乘积(q=q1q2q = q_1q_2,称为半素数,常记作 P2P_2)。

为什么成立?

哥德巴赫猜想要求 NN 是两个素数之和;经典筛法由于“奇偶性问题”无法直接侦测素数——单纯的筛法无法区分素因子个数为奇数与偶数的数。陈景润的洞见是恰到好处地放宽目标——允许第二个加数至多有两个素因子而非恰好一个——从而使一个精巧加权的筛法,结合在两个不同筛问题之间“转换”的技巧,得以将计数一直推到正数。这一结果是目前已知最接近哥德巴赫猜想的无条件方法,只差一个素因子。

证明思路

对数列 A={N−p:p prime,p≤N}\mathcal{A}=\{N-p : p \text{ prime}, p\le N\} 进行筛法处理,以侦测至多有两个素因子的元素,使用加权筛和的组合(Jurkat–Richert型线性筛)而非单纯的下界筛,因为单纯筛法受奇偶性问题阻碍。关键技术手段是“转换原理”:N−pN-p 具有三个或更多素因子 p1p2p3⋯p_1p_2p_3\cdots 的项,通过固定一个中等大小的素因子 p1p_1,转而对满足 p≡N(modp1)p \equiv N \pmod{p_1} 的素数 pp 使用上界筛来控制,这可借助博姆别里–维诺格拉多夫关于等差数列中素数的定理加以控制。将所得 p+P2p+P_2 加权计数的下界与不需要的 p1p2p3⋯p_1p_2p_3\cdots 贡献的上界相结合,表明对所有充分大的 NN,总和为正。陈景润于1966年宣布该结果,1973年发表完整细节;罗斯(P. M. Ross)于1975年给出简化证明。

提出者

证明者

用到此定理的主题

相关定理

分步证明

参考文献

  1. Jing-Run Chen (1973). On the representation of a larger even integer as the sum of a prime and the product of at most two primes
  2. Heini Halberstam, Hans-Egon Richert (1974). Sieve Methods