The special case $k=3$: van der Corput's theorem
Statement
There are infinitely many 3-term arithmetic progressions of primes; in fact the number of such progressions with all terms is asymptotically for an explicit constant .
Why is it true?
This special case predates Green–Tao by 65 years and was settled by van der Corput in 1939 using the Hardy–Littlewood circle method directly on the primes, with no need for the transference machinery required for general . It shows why was long tractable by classical analytic number theory while longer progressions were completely open until 2004.
Proof sketch
Step 1 (weighted count via exponential sums). Write . The weighted count of 3-term progressions with all terms equals by orthogonality of the exponential.
Step 2 (major arcs). Near rationals with small, is well approximated using the prime number theorem in arithmetic progressions; summing these contributions gives the Hardy–Littlewood main term , where the singular series is a positive constant depending only on local (mod ) densities of primes.
Step 3 (minor arcs). Away from rationals with small denominator, Vinogradov's estimates bound by for any fixed , using cancellation in the sum over primes; integrating this bound over the minor arcs shows their total contribution is — negligible next to the major-arc main term.
Step 4 (conclusion). Since the major-arc main term dominates the negligible minor-arc error, the weighted count of 3-term progressions grows like , so there are infinitely many (and asymptotically many) 3-term arithmetic progressions of primes — a full 65 years before the general case was settled.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Ben Green, Terence Tao (2008). The primes contain arbitrarily long arithmetic progressions · arXiv:math/0404188
- Terence Tao, Tamar Ziegler (2008). The primes contain arbitrarily long polynomial progressions · arXiv:math/0610050
- David Conlon, Jacob Fox, Yufei Zhao (2015). A relative Szemerédi theorem · arXiv:1305.5440