Skip to main content
Log in

Proof of van der Waerden’s Theorem in Nine Figures

  • Research Exposition
  • Published:
Arnold Mathematical Journal Aims and scope Submit manuscript

Abstract

This note contains a proof of van der Waerden’s theorem, “one of the most elegant pieces of mathematics ever produced,” in nine figures. The proof follows van der Waerden’s original idea to establish the existence of what are now called van der Waerden numbers by using double induction. It also contains ideas and terminology introduced by I. Leader and T. Tao.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9

Similar content being viewed by others

Notes

  1. For the whole essay “How the proof of Baudet’s conjecture was found” see also (Soifer 2009), pages 310–318.

References

  • Bergelson, V., Leibman, A.: Polynomial extensions of van der Waerden and Szemerédi theorems. J. Amer. Math. Soc. 9, 725–753 (1996)

    Article  MathSciNet  Google Scholar 

  • Brown, T., Graham, R., Landman, B.: On the set of common differences in van der Waerden’s Theorem on arithmetic progressions. Can. Math. Bull 42, 25–36 (1999)

    Article  MathSciNet  Google Scholar 

  • de Bruijn, N.G.: Commentary. In: Bertin, E.M.J., Bos, H.J.M., Grootendorst, A.W. (eds.) Two Decades of Mathematics in the Netherlands 1920–1940, part I, pp. 116–124. Mathematical Centre, Amsterdam (1978)

    Google Scholar 

  • Furstenberg, H., Weiss, B.: Topological dynamics and combinatorial number theory. J. Anal. Math. 34, 61–85 (1978)

    Article  MathSciNet  Google Scholar 

  • Graham, R., Rothschild, B., Spencer, J.H.: Ramsey Theory. Wiley, New York (1980)

    MATH  Google Scholar 

  • Leader, I.: Ramsey Theory (2000) https://www.dpmms.cam.ac.uk/~par31/notes/ramsey.pdf. (Accessed on July 12, 2015.)

  • Robertson, A.: Down the large rabbit hole, to appear in Rocky Mountain J. Math.

  • Soifer, A.: The Mathematical Coloring Book. Springer, New York (2009)

    MATH  Google Scholar 

  • Tao, T.: The ergodic and combinatorial approaches to Szemerédi’s theorem, in Additive combinatorics, CRM Proc. Lecture Notes, vol. 43, Edited by Granville, A., Bernard, M., Nathanson, M., Solymosy, J. American Mathematical Society, Providence, RI, 145–193 (2007)

  • van Lint, J.H.: The van der Waerden conjecture: two proofs in 1 Year. Math Intell 4(5–6), 72–77 (1982)

    Article  MathSciNet  Google Scholar 

  • van der Waerden, B.L.: Beweis einer baudetschen vermutung. Nieuw Arch. Wisk. 15, 212–216 (1927)

    MATH  Google Scholar 

  • van der Waerden, B.L.: How the proof of Baudet’s conjecture was found. In: Mirsky, L. (ed.) Studies in Pure Mathematics, pp. 251–260. Academic Press, London (1971)

    Google Scholar 

  • Walters, M.: Combinatorial proofs of the polynomial van der Waerden Theorem and the polynomial Hales–Jewett Theorem. J. London Math. Soc. (2) 61, 12–12 (2000)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Veselin Jungić.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Blondal, A., Jungić, V. Proof of van der Waerden’s Theorem in Nine Figures. Arnold Math J. 4, 161–168 (2018). https://doi.org/10.1007/s40598-018-0090-5

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s40598-018-0090-5

Keywords

Navigation