Irrationality of pi « The Math Less Traveled

Irrationality of pi

Everyone knows that $\pi$ —the ratio of any circle’s diameter to its circumference—is irrational, that is, cannot be written as a fraction a/b . This also means that $\pi$ ’s decimal expansion goes on forever and never repeats …but have you ever seen a proof of this fact, or did you just take it on faith?

The irrationality of $\pi$ was first proved (according to modern standards of rigor) in 1768 by Lambert, but his proof was rather complicated. A more elementary proof, using only basic calculus, was given in 1947 by Ivan Niven. You can read his original paper here, but it’s rather terse! Just as I did for Calkin and Wilf’s paper, Recounting the Rationals, I plan to write a series of posts explaining Niven’s proof in a bit more detail, with some accompanying intuition. I’ll assume a basic knowledge of calculus; if you don’t know calculus, just hang tight for a few posts!

Here’s the basic outline of the proof. We begin by supposing that $\pi$ is rational: in particular, suppose $\pi = a/b$ for some integers and . We’ll then use these values of and to define a special function f(x) , about which we will show the following:

$\int_0^\pi f(x) \sin(x) dx$ is an integer, AND

$0 < \int_0^\pi f(x) \sin(x) dx < 1$ .

But this is absurd! There are no integers greater than zero and less than one. The inescapable conclusion will be that our initial assumption—that $\pi = a/b$ —was false.

In my next post, we’ll define the special function f(x) and begin exploring some of its properties.

| Next in series »

Tags: irrational, Ivan Niven, pi, proof

This entry was posted on Monday, December 7th, 2009 at 7:49 am and is filed under calculus, famous numbers, proof. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

13 Responses to “Irrationality of pi”

Sue VanHattum says:

7 December, 2009 at 10:31 am

Thank you!

I have long wanted to understand this proof. I’ve looked it up online maybe a year ago, and then just a few days ago. I couldn’t follow the proofs I saw. (‘Couldn’t’ is probably not the right word. I wasn’t willing to put in the effort, when I wasn’t sure I’d make it out the other end.)

I already like your intro. Yep, easy (for me) to see that showing those two things will show a contradiction, and prove our premise wrong.
Brent says:

7 December, 2009 at 12:25 pm

Sue: Great! Please keep commenting as the series proceeds if there’s anything you find unclear.
Dave says:

7 December, 2009 at 12:27 pm

Looking forward to it!
Twitter Trackbacks for Irrationality of pi « The Math Less Traveled [mathlesstraveled.com] on Topsy.com says:

7 December, 2009 at 4:18 pm

[...] Irrationality of pi « The Math Less Traveled http://www.mathlesstraveled.com/?p=548 – view page – cached Everyone knows that —the ratio of any circle’s diameter to its circumference—is irrational, that is, cannot be written as a fraction . This also means that ’s decimal expansion goes… Read moreEveryone knows that —the ratio of any circle’s diameter to its circumference—is irrational, that is, cannot be written as a fraction . This also means that ’s decimal expansion goes on forever and never repeats …but have you ever seen a proof of this fact, or did you just take it on faith? View page [...]
david says:

8 December, 2009 at 6:43 am

AARRGGHH…

I just found this site by accident.

I can, for some reason, never remember the explanation for ’sigma’ – as it was always explained in such complex language – but not on your site…. great stuff …. you had my attention……

I saw “famous numbers” on the right, and clicked on it… to get this ‘PI’ page….

How dare you create a new page yesterday that I have navigated too…. now I’ve got to come back to see the rest of the article (and probably waste more of my time on your site)

My boss won’t be happy, (but it is my lunch break!)….

but I will!

Great site I look forward to the second instalment of ‘PI’

David.

ps I love and hate the net in equal proportions!
Mike Manganello says:

8 December, 2009 at 3:27 pm

Very few things make me sit up and go, “Oh!” like this post did. I can’t wait to follow the rest of the problem!
A semana nos arXivs… « Ars Physica says:

8 December, 2009 at 5:10 pm

[...] Irrationality of π [...]
Irrationality of pi: the unpossible function « The Math Less Traveled says:

12 December, 2009 at 12:42 pm

[...] The Math Less Traveled Explorations in mathematical beauty « Irrationality of pi [...]
Irrationality of pi: curiouser and curiouser « The Math Less Traveled says:

30 January, 2010 at 4:49 pm

[...] as the ratio of two integers (and hence its decimal expansion goes on forever without repeating). My first post just gave some background and an outline of the general argument. In my second post, we began by [...]
Pi Day Post on Irrational Numbers « Ramblings of a Math Mom says:

7 February, 2010 at 10:59 am

[...] Traveled has a nice series of posts up going through the proof of the irrationality of pi, starting here. Possibly related posts: (automatically generated)Elementary Problem Solving — Making [...]
Proof that pi is irrational « Division by Zero says:

11 February, 2010 at 9:00 pm

[...] Have you ever seen the proof that is irrational? If not, I highly recommend heading over to The Math Less Traveled. Blogger Brent Yorgey just posted the last of his six part series in which he gives Ivan [...]
Bonita says:

3 May, 2010 at 5:38 pm

Could you provide me with author and date information on “Irrationality of pi.” I and writing a paper on pi and would like to cite this…

Thanks
Bonita
Brent says:

3 May, 2010 at 10:33 pm

Hi Bonita, you can find all the information here:

http://projecteuclid.org/euclid.bams/1183510788

Good luck with your paper!