Misplaced Pages

Proof that 22/7 exceeds π: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 23:16, 22 July 2004 editNeutrality (talk | contribs)Autopatrolled, Administrators165,397 editsNo edit summary← Previous edit Revision as of 20:16, 23 July 2004 edit undoPaul August (talk | contribs)Autopatrolled, Administrators205,014 editsmNo edit summaryNext edit →
Line 1: Line 1:
{{merge}} ] {{MergeDisputed}} ]


The following argument that '''22/7 > π''' will be readily understood by persons with no knowledge of ] beyond first-year ]. The following argument that '''22/7 > π''' will be readily understood by persons with no knowledge of ] beyond first-year ].

Revision as of 20:16, 23 July 2004

It has been suggested that this article be merged with a page that has not been specified. If you are the editor who added this template, please specify. (Discuss)

pi

The following argument that 22/7 > π will be readily understood by persons with no knowledge of mathematics beyond first-year calculus.

Some non-mathematicians have suggested that it is "well-known" that π = 3.14159..., and therefore it must be less than 22/7 = 3.142857... . But in order to know that π = 3.14159..., as opposed to believing it because all of the textbooks say so, we would need to go through a process of computation much more complicated than the argument below.

The idea

0 < 0 1 x 4 ( 1 x ) 4 1 + x 2 d x = 22 7 π . {\displaystyle 0<\int _{0}^{1}{\frac {x^{4}(1-x)^{4}}{1+x^{2}}}\,dx={\frac {22}{7}}-\pi .}

The details

It's not hard to see the integral is positive. Observe that the integrand is a quotient whose numerator and denominator are both nonnegative, being sums or products of even powers of real numbers. Thus the integrand is nonnegative, and evaluating it at 1/2 gives a positive value, so the integral from 0 to 1 is positive.

It remains to show that the integral in fact evaluates to the desired quantity:

0 < 0 1 x 4 ( 1 x ) 4 1 + x 2 d x {\displaystyle 0<\int _{0}^{1}{\frac {x^{4}(1-x)^{4}}{1+x^{2}}}\,dx}
= 0 1 x 4 4 x 5 + 6 x 6 4 x 7 + x 8 1 + x 2 d x {\displaystyle =\int _{0}^{1}{\frac {x^{4}-4x^{5}+6x^{6}-4x^{7}+x^{8}}{1+x^{2}}}\,dx}
= 0 1 ( x 6 4 x 5 + 5 x 4 4 x 2 + 4 4 1 + x 2 ) d x {\displaystyle =\int _{0}^{1}\left(x^{6}-4x^{5}+5x^{4}-4x^{2}+4-{\frac {4}{1+x^{2}}}\right)\,dx}
= x 7 7 2 x 6 3 + x 5 4 x 3 3 + 4 x 4 arctan x | 0 1 {\displaystyle =\left.{\frac {x^{7}}{7}}-{\frac {2x^{6}}{3}}+x^{5}-{\frac {4x^{3}}{3}}+4x-4\arctan {x}\,\right|_{0}^{1}}
= 1 7 2 3 + 1 4 3 + 4 π   {\displaystyle ={\frac {1}{7}}-{\frac {2}{3}}+1-{\frac {4}{3}}+4-\pi \ } (recall that arctan(1) = π/4)
= 22 7 π . {\displaystyle ={\frac {22}{7}}-\pi .}

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 once one of the problems set in the 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