The rational number 22/7 is a common approximation of the transcendental value π. It is a convergent in the simple continued fraction expansion of π. Its value is greater than π, as can be readily seen in the initial, established decimal places for these values:
Although many people know this numerical value of π as a result of having read it in innumerable books, far fewer know how to compute it.
What follows is a mathematical proof that 22/7 > π. It is simple in that it is short and straightforward, and requires only an introductory-level understanding of calculus.
The idea
The details
That the integral is positive follows from the fact that the integrand is a quotient whose numerator and denominator are both nonnegative, being sums or products of even powers of real numbers. So the integral from 0 to 1 is positive.
It remains to show that the integral in fact evaluates to the desired quantity:
(recall that arctan(1) = π/4)
Now we see the difference between 22/7 and π is greater than zero, so 22/7 > π.
Appearance in the Putnam Competition
The evaluation of this integral was the first problem in the 1968 Putnam Competition. If it seems trivially routine for a Putnam Competition problem, one may perhaps surmise that its inclusion was motivated by the conjunction of the punch line (summarized by the title of this article) with the fairly nice pattern in the integral itself.
See also
External links
