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 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 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 *is* rational: in particular, suppose for some integers and . We’ll then use these values of and to define a special function , about which we will show the following:

is an integer, AND

.

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 —was false.

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

##
About Brent

Assistant Professor of Computer Science at Hendrix College. Functional programmer, mathematician, teacher, pianist, follower of Jesus.

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.

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

Looking forward to it!

Pingback: Twitter Trackbacks for Irrationality of pi « The Math Less Traveled [mathlesstraveled.com] on Topsy.com

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!

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!

Pingback: A semana nos arXivs… « Ars Physica

Pingback: Irrationality of pi: the unpossible function « The Math Less Traveled

Pingback: Irrationality of pi: curiouser and curiouser « The Math Less Traveled

Pingback: Pi Day Post on Irrational Numbers « Ramblings of a Math Mom

Pingback: Proof that pi is irrational « Division by Zero

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

Hi Bonita, you can find all the information here:

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

Good luck with your paper!

Pingback: Irrationality of pi: the unpossible function | The Math Less Traveled