MathLabs
第 1/4 步:目标,以及为何单纯筛法无法达到
通俗地说

哥德巴赫猜想要求 N=p+qN=p+q 且 p,qp,q 都是素数。一种自然的进攻方式是筛选数列 A={N−p:p≤N prime}\mathcal{A}=\{N-p : p\le N \text{ prime}\},找出没有小素因子的元素,希望从 N−pN-p 中分离出素数。但所有已知的筛法——塞尔伯格筛、布龙筛、一般组合筛——都受“奇偶性问题”所困:单纯筛法的下界无法区分恰有一个素因子的数与恰有三个素因子的数,因为筛法只能“看见”整除性,看不见因子个数的奇偶性。陈景润绕过这一障碍的方式不是正面硬碰奇偶性问题,而是放宽目标:证明较弱但仍非常不平凡的命题——至少存在一个素数 p≤Np\le N,使得 N−pN-p 至多有两个素因子。

N=p+q,p prime,q=q1 or q=q1q2 (P2)N = p + q,\qquad p \text{ prime},\quad q = q_1 \text{ or } q = q_1q_2 \ (P_2)
详细分析

奇偶性问题(后由塞尔伯格形式化)大致是说:任何仅由截断到某水平 zz 的莫比乌斯函数 μ(d)\mu(d) 构造的筛权重,本身都无法区分 zz 以下素因子个数为奇数与偶数的数——因为这两类数对 ∑d∣nμ(d)\sum_{d|n}\mu(d) 的贡献符号模式相同。伦伊早在1947年(奇偶性问题被命名之前)就已证明某个固定的 KK 是可行的,给出 N=p+PKN=p+P_K;陈氏定理在筛法理论上的内容,就是把 KK 一路压低到 22——这是迄今为止这类方法所能达到的最精确的值。

本步骤中的术语
奇偶性问题(筛法理论)
由塞尔伯格指出的一个根本性障碍,它使得单靠组合筛法永远无法证明某数列包含无穷多个素数(恰有一个素因子的数),而只能处理素因子个数不确定但较少的数。