MathLabs
TheoremProved

Chen's theorem ("1 + 2")

Statement

Every sufficiently large even integer NN can be written as N=p+qN = p + q, where pp is prime and qq is either prime or the product of exactly two primes (q=q1q2q = q_1q_2, a semiprime, often written P2P_2).

Why is it true?

Goldbach's conjecture wants NN as a sum of two primes; classical sieve methods cannot detect primes directly because of the 'parity problem' — plain sieves cannot distinguish numbers with an odd number of prime factors from those with an even number. Chen's insight was to relax the target just enough — allowing the second summand to have at most two prime factors instead of exactly one — that a cleverly weighted sieve, combined with a technique for 'switching' between two different sieve problems, can push all the way to a positive count. The result is the closest unconditional approach to Goldbach's conjecture known, off by only one prime factor.

Proof sketch

Sieve the sequence A={N−p:p prime,p≤N}\mathcal{A}=\{N-p : p \text{ prime}, p\le N\} to detect elements with at most two prime factors, using a weighted combination of sieve sums (a Jurkat–Richert-type linear sieve) rather than a plain lower-bound sieve, since plain sieves are blocked by the parity problem. The key technical device is the 'switching principle': terms where N−pN-p has three or more prime factors p1p2p3⋯p_1p_2p_3\cdots are bounded above by fixing a middle-sized prime factor p1p_1 and switching to an upper-bound sieve on the primes p≡N(modp1)p \equiv N \pmod{p_1}, which can be controlled using the Bombieri–Vinogradov theorem on primes in arithmetic progressions. Combining the resulting lower bound on the weighted count of p+P2p+P_2 representations with the upper bound on the unwanted p1p2p3⋯p_1p_2p_3\cdots contributions shows the total is positive for all large NN. Chen announced the result in 1966 and published full details in 1973; P. M. Ross gave a simplified proof in 1975.

Stated by

Proved by

Topics that use this theorem

Related theorems

Step-by-step proofs

References

  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