# The End of Pi?

**URL:** <https://boards.straightdope.com/t/the-end-of-pi/181227>\
**Category:** Factual Questions\
**Created:** [June 11, 2003, 11:37pm UTC](https://boards.straightdope.com/t/the-end-of-pi/181227 "2003-06-11T23:37:15Z")\
**Posts on this page:** 20\
**Page:** 1

<div class="post-metadata">

**Author:** ![Eirik](https://avatars.discourse-cdn.com/v4/letter/e/b19c9b/32.png) [@Eirik](https://boards.straightdope.com/u/Eirik)\
**Post date:** [June 11, 2003, 11:37pm UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/1 "2003-06-11T23:37:15Z")

</div>

I know that, to date, there has never been found an end to the numerical value of Pi, and recall from my high school and college days the notion that there wasn’t a final digit.

I was wondering what the implications would be, if any, if someone found that Pi did in fact have a definable mathmatical end. And could Pi have a final digit that we just haven’t yet calculated?

---

<div class="post-metadata">

**Author:** ![Exapno\_Mapcase](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/exapno_mapcase/32/1051_2.png) [@Exapno\_Mapcase](https://boards.straightdope.com/u/Exapno_Mapcase)\
**Post date:** [June 11, 2003, 11:42pm UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/2 "2003-06-11T23:42:41Z")

</div>

Nope, pi has been proved to be irrational and transcendental, so by definition it can never have a last digit.

This was proved in the 19th century, BTW, so you should have been taught in both high school and college that this was no notion.

---

<div class="post-metadata">

**Author:** ![Whack-a-Mole](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/whack-a-mole/32/141_2.png) [@Whack-a-Mole](https://boards.straightdope.com/u/Whack-a-Mole)\
**Post date:** [June 11, 2003, 11:47pm UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/3 "2003-06-11T23:47:34Z")

</div>

The current record for calculating Pi is 1.24 trillion decimal places and it hasn’t repeated yet.

Pi is an irrational number so it won’t repeat. Further it is a transcendental number\* (all transcendental numbers are also irrational). Pi was proven to be a transcedental number in 1882 by the German mathematician Ferdinand Lindemann. I won’t pretend to understand any of it but I trust the results since no one seems to have disputed it in the last 120+ years.

> [@](#):
>
> \*A number which is not the root of any polynomial equation with integer coefficients, meaning that it is not an algebraic number of any degree, is said to be transcendental. This definition guarantees that every transcendental number must also be irrational, since a rational number is, by definition, an algebraic number of degree one. A number x can then be tested to see if it is transcendental using the Mathematica command Not[Element[x, Algebraics]].
> 
> SOURCE: [http://mathworld.wolfram.com/TranscendentalNumber.html](http://mathworld.wolfram.com/TranscendentalNumber.html)

---

<div class="post-metadata">

**Author:** ![Squink](https://avatars.discourse-cdn.com/v4/letter/s/b5e925/32.png) [@Squink](https://boards.straightdope.com/u/Squink)\
**Post date:** [June 12, 2003, 12:10am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/4 "2003-06-12T00:10:01Z")

</div>

More Piey goodness here: [Are the digits of pi random, or not?](http://boards.straightdope.com/sdmb/showthread.php?threadid=80226)

---

<div class="post-metadata">

**Author:** ![Eirik](https://avatars.discourse-cdn.com/v4/letter/e/b19c9b/32.png) [@Eirik](https://boards.straightdope.com/u/Eirik)\
**Post date:** [June 12, 2003, 12:46am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/5 "2003-06-12T00:46:48Z")

</div>

> [@](#):
>
> \*Originally posted by Exapno Mapcase \*  
> \*\*Nope, pi has been proved to be irrational and transcendental, so by definition it can never have a last digit.
> 
> This was proved in the 19th century, BTW, so you should have been taught in both high school and college that this was no notion. \*\*

I might well have been taught that (I did recall that there was some notion that there couldn’t be an end to Pi, but couldn’t recall if it was proved.) but it just hasn’t been something I’ve had to think about for about 15 years…

---

<div class="post-metadata">

**Author:** ![Earl\_Snake-Hips\_Tucker](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/earl_snake-hips_tucker/32/3269_2.png) [@Earl\_Snake-Hips\_Tucker](https://boards.straightdope.com/u/Earl_Snake-Hips_Tucker)\
**Post date:** [June 12, 2003, 1:44am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/6 "2003-06-12T01:44:53Z")

</div>

One of the first proto-computer viruses was in the Star Trek TOS ep in which the captain or Spock instructs the computer to compute the last digit of pi. They figured that would tie it up for a while. Does nothing to further the OP, but I had never considered in that light (as a sort of virus).

---

<div class="post-metadata">

**Author:** ![CurtC](https://avatars.discourse-cdn.com/v4/letter/c/ce73a5/32.png) [@CurtC](https://boards.straightdope.com/u/CurtC)\
**Post date:** [June 12, 2003, 2:13am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/7 "2003-06-12T02:13:33Z")

</div>

I heard on NPR yesterday that there is a company that makes fake ATM slips, with a bogus balance printed on it, for those people really desperate to make an impression. The balance that they say is $314,159.26.

---

<div class="post-metadata">

**Author:** ![Trigonal\_Planar](https://avatars.discourse-cdn.com/v4/letter/t/0ea827/32.png) [@Trigonal\_Planar](https://boards.straightdope.com/u/Trigonal_Planar)\
**Post date:** [June 12, 2003, 5:14am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/8 "2003-06-12T05:14:31Z")

</div>

Well, I’ve memorized 350, and boy, it sure would be nice if it repeated!

---

<div class="post-metadata">

**Author:** ![Q.E.D](https://avatars.discourse-cdn.com/v4/letter/q/51bf81/32.png) [@Q.E.D](https://boards.straightdope.com/u/Q.E.D)\
**Post date:** [June 12, 2003, 5:16am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/9 "2003-06-12T05:16:59Z")

</div>

The last digit of pi is 6. So there.

---

<div class="post-metadata">

**Author:** ![Derleth](https://avatars.discourse-cdn.com/v4/letter/d/b9e5f3/32.png) [@Derleth](https://boards.straightdope.com/u/Derleth)\
**Post date:** [June 12, 2003, 7:02am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/10 "2003-06-12T07:02:37Z")

</div>

> [@](#):
>
> \*Originally posted by Q.E.D. \*  
> \*\*The last digit of pi is 6. So there. \*\*

No, it’s Inf. So saith IEEE.

---

<div class="post-metadata">

**Author:** ![Fang](https://avatars.discourse-cdn.com/v4/letter/f/96bed5/32.png) [@Fang](https://boards.straightdope.com/u/Fang)\
**Post date:** [June 12, 2003, 7:19am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/11 "2003-06-12T07:19:34Z")

</div>

> [@](#):
>
> \*Originally posted by Whack-a-Mole \*  
> \*\*The current record for calculating Pi is 1.24 trillion decimal places and it hasn’t repeated yet. \*\*

Aha, but what you (and they) don’t realize is that the **next** 1.24 trillion are a repeat of the first 1.24 trillion. 😃

---

<div class="post-metadata">

**Author:** ![Sock\_Munkey](https://avatars.discourse-cdn.com/v4/letter/s/aeb1de/32.png) [@Sock\_Munkey](https://boards.straightdope.com/u/Sock_Munkey)\
**Post date:** [June 12, 2003, 7:39am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/12 "2003-06-12T07:39:53Z")

</div>

When come back, calculate Pi.

---

<div class="post-metadata">

**Author:** ![SPOOFE](https://avatars.discourse-cdn.com/v4/letter/s/c5a1d2/32.png) [@SPOOFE](https://boards.straightdope.com/u/SPOOFE)\
**Post date:** [June 12, 2003, 8:15am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/13 "2003-06-12T08:15:40Z")

</div>

> [@](#):
>
> The last digit of pi is 6. So there.

That’s only if you round off to the nearest quadrillionth.

---

<div class="post-metadata">

**Author:** ![Dunderman](https://avatars.discourse-cdn.com/v4/letter/d/ecb155/32.png) [@Dunderman](https://boards.straightdope.com/u/Dunderman)\
**Post date:** [June 12, 2003, 9:32am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/14 "2003-06-12T09:32:29Z")

</div>

> [@](#):
>
> \*Originally posted by Exapno Mapcase \*  
> **Nope, pi has been proved to be irrational and transcendental, so by definition it can never have a last digit.**

I’ve tried to understand this on my own, but failed, so if anyone has the time and inclination, could you explain how you prove that a number is irrational and transcendental?

---

<div class="post-metadata">

**Author:** ![Coriolanus](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/coriolanus/32/18769_2.png) [@Coriolanus](https://boards.straightdope.com/u/Coriolanus)\
**Post date:** [June 12, 2003, 10:23am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/15 "2003-06-12T10:23:37Z")

</div>

transcendental?

A number is irrational if it cannot be represented as a fraction of any whole numbers. i.e. 22/7 used to be used for pi.

The (IMO) most elegant proof that Pi (or the square root of 2) are irrational is the Reverse Proof where you start off assuming that, yes - as sure as eggs is eggs, you can represent pi as a numerator divided by a denominator. As sure as I am **Priceguy** this will be proved.

The beauty of a reverse-proof is you end up with something like 1=2, hence the term “Good enough for government work”. :b

---

<div class="post-metadata">

**Author:** ![Jabba](https://avatars.discourse-cdn.com/v4/letter/j/b5e925/32.png) [@Jabba](https://boards.straightdope.com/u/Jabba)\
**Post date:** [June 12, 2003, 10:47am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/16 "2003-06-12T10:47:50Z")

</div>

Since you are trying to prove that something is not the case, you use proof by contradiction: you assume that the number is rational ( or algebraic) and show that this leads to two contradictory conclusions.

The classic example is the proof that [symbol]Ö[/symbol]2 is irrational. Suppose that it not. That means we can write it as a fraction, say  
[symbol]Ö[/symbol]2 = m/n  
Now it may be that m/n is not in its lowest terms, but if this is the case then we cancel it down until it is. Then  
[symbol]Ö[/symbol]2 = a/b  
and there is no number greater than 1 which goes into both a and b ( or we could cancel it down further).  
Now square both sides of the equation and multiply up by b[sup]2[/sup]. We now have  
a[sup]2[/sup] = 2b[sup]2[/sup] (\*)

The number 2b[sup]2[/sup] is clearly even. Therefore a[sup]2[/sup] is even. What does this tell us about a? Well, the square of any odd number is odd [(2m+1)[sup]2[/sup] = 4m[sup]2[/sup] + 4m + 1 = 2(2m[sup]2[/sup] + 2m) +1]. Since the square of a is even, it follows that a must be even as well ( if it were odd, its square would be as well).

By definition of even, this means we can write a = 2c, say. Substituting this into (\*) we have  
2b[sup]2[/sup] = a[sup]2[/sup] = (2c)[sup]2[/sup] = 4c[sup]2[/sup]  
Cancelling a factor of 2,  
b[sup]2[/sup] = 2c[sup]2[/sup]

This equation shows that b[sup]2[/sup] is even. By exactly the same reasoning as above, it follows that b is even. But now we are done, for a/b was in its lowest terms and we have shown that the numerator and denominator both have a factor of 2. These are the two contadictory conclusions mentioned above.

Note that it would be quite wrong to argue “Well, why not just cancel the factor of 2, and then the fraction might be in its lowest terms.” This would be wrong on two counts:  
(i) The above argument shows that after we had cancelled the factor of 2 from the fraction, there would still be a factor of 2 remaining.  
(ii) More importantly, the precise nature of the contradiction is unimportant. What matters is that the assumption that [symbol]Ö[/symbol]2 is rational leads inevitably to a contradiction. Therefore, that assumption is false.

Since being transcendental is a much stronger property than being irrational, proofs are naturally more difficult. We can spot some common themes, though.  
We assume that the number in question is algebraic, i.e. it is the root of a polynomial equation. By the exercise of great ingenuity, we deduce the existence of a number m having three properties:  
(a) m is an integer  
(b) m \> 0  
© m \< 1  
These three statements clearly produce a contradiction.

Using various forms of this strategy we can prove  
e is transcendental  
[symbol]p[/symbol] is irrational  
[symbol]p[/symbol] is transcendental  
The Gelfand-Schneider Theorem: Suppos that [symbol]a[/symbol] and [symbol]b[/symbol] are algebraic, that [symbol]a[/symbol] is not 0 or 1, and that [symbol]b[/symbol] is irrational. Then [symbol]a[/symbol][sup][symbol]b[/symbol][/sup] is transcendental.

---

<div class="post-metadata">

**Author:** ![Dunderman](https://avatars.discourse-cdn.com/v4/letter/d/ecb155/32.png) [@Dunderman](https://boards.straightdope.com/u/Dunderman)\
**Post date:** [June 12, 2003, 10:56am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/17 "2003-06-12T10:56:44Z")

</div>

Well, **Jabba** , thanks… I guess. I think I get it now. I’ll read through that a couple more times though.

---

<div class="post-metadata">

**Author:** ![Jabba](https://avatars.discourse-cdn.com/v4/letter/j/b5e925/32.png) [@Jabba](https://boards.straightdope.com/u/Jabba)\
**Post date:** [June 12, 2003, 11:04am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/18 "2003-06-12T11:04:57Z")

</div>

G. H. Hardy said that the proof above is one which any intelligent reader should be able to assimilate in an hour or two. You should never expect to grasp a proof fully in one go, so don’t worry if you haven’t.

---

<div class="post-metadata">

**Author:** ![muttrox](https://avatars.discourse-cdn.com/v4/letter/m/a8b319/32.png) [@muttrox](https://boards.straightdope.com/u/muttrox)\
**Post date:** [June 12, 2003, 11:57am UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/19 "2003-06-12T11:57:13Z")

</div>

> [@](#):
>
> \*Originally posted by Whack-a-Mole \*  
> \*\*The current record for calculating Pi is 1.24 trillion decimal places and it hasn’t repeated yet.  
> \*\*

Recent advances allow us to calculate the Nth digit of pi. I do not believe there are any restrictions on N. In other words, if 1.24 Trillion isn’t enough for you, go ahead and calculate the google’th digit. No? How about the googleplex’th digit? Graham’s numbers?

---

<div class="post-metadata">

**Author:** ![Algernon](https://avatars.discourse-cdn.com/v4/letter/a/a183cd/32.png) [@Algernon](https://boards.straightdope.com/u/Algernon)\
**Post date:** [June 12, 2003, 12:17pm UTC](https://boards.straightdope.com/t/the-end-of-pi/181227/20 "2003-06-12T12:17:14Z")

</div>

**Jabba** , I wish to congratulate and thank you for your explanation. Excellent, excellent job. Clear and concise. And fascinating.

I am obviously not a mathematician (though I had to take a _lot_ of math to obtain my Comp Sci degree). Following your post was the most enjoyment I’ve gotten out of math in many a year. I recall a special thrill when helping my young teenage daughter as she struggled with some mathematical concept (I forget precisely what it was), and when the “light went on” and her face lit up with a breakthrough understanding, it was a special moment.

I can’t really say that your post was _that_ rewarding of course, but it was enjoyable nonetheless.

[Next page](https://boards.straightdope.com/t/the-end-of-pi/181227.md?page=2)
