janmr blog

Where Did pi Come From?

The Catalan number denotes the number of forests with nodes. In fact, the Catalan numbers relate to many different structures, see, e.g., the pages linked to above and the references on those pages.

A formula for the Catalan numbers is given by

with the asymptotic behaviour

But where did that pi come from? What do trees have to do with pi? That was the subject of Donald E. Knuth's 16th Annual Christmas Tree Lecture, given on December 6, 2010.

As it turns out, a connection between the asymptotic behaviour of Catalan numbers and circle areas can be found through the Wallis product formula,

In 2007, Johan Wästlund from Linköping University published a paper called An Elementary Proof of the Wallis Product Formula for pi (The American Mathematical Monthly, 2007, volume 114, issue 10, pp. 914). He shows a beautiful elementary proof that relates the infinite product on the right-hand side above to the area of circles. The paper is also available online.

Knuth uses this result to show how pi appears in the asymptotic formula for Catalan numbers. In fact, the same result also explains why pi appears in Stirling's formula,

See, e.g., exercise 1.2.11.2–5 in The Art of Computer Programming, Volume 1.

You can watch the lecture by Knuth by going to the Computer Musings by Professor Donald E. Knuth page at Stanford University (update 2013-06-30: direct link no longer working). I highly recommend it.