MathLabs
第 3/4 步:转换原理:在 pp 与 p1p_1 之间交换角色
通俗地说

直接对修正和——在所有素数 p≤Np\le N 与所有分解 N−p=p1p2p3N-p=p_1p_2p_3 上——进行估计,会以普通筛法估计无法高效处理的方式混合两个不同的变量(pp 与 p1p_1)。陈景润的转换原理改变了视角:对某个合适中间范围内固定的素数 p1p_1,“p1p_1 整除 N−pN-p”这一条件不过是同余式 p≡N(modp1)p\equiv N\pmod{p_1}。于是不再对随 pp 变化的 N−pN-p 做筛法,而是在模 p1p_1 的固定剩余类中直接筛选素数 pp 本身——把原本困难的“三因子”筛法问题,换成了对 p1p_1 求和的、关于等差数列中素数分布的更容易的问题。

N−p=p1p2p3 (p1<p2<p3)  →switch  p≡N ⁣ ⁣(modp1),p1 fixed in a middle rangeN-p = p_1p_2p_3 \ (p_1<p_2<p_3) \ \ \xrightarrow{\text{switch}} \ \ p \equiv N \!\!\pmod{p_1}, \quad p_1 \ \text{fixed in a middle range}
详细分析

转换之后,估计修正和归结为一致地(对直到约 N1/3N^{1/3} 的所有素数 p1p_1)估计 ∑p1π(N;p1,N)\sum_{p_1} \pi(N; p_1, N)——即剩余类 N mod p1N \bmod p_1 中素数 p≤Np\le N 的个数。这正是博姆别里–维诺格拉多夫定理适用的范围:该定理表明,对模 qq 直到 N1/2−εN^{1/2-\varepsilon} 求平均时,任意剩余类 mod qq 中的素数个数与素数定理的预期相符,误差足够小(无条件成立,无需尚未证明的广义黎曼猜想),从而可证明修正和小于第2步中的主项。两者结合便给出对所有充分大的偶数 NN 均有 W(N)>0W(N)>0。