# .9~=1?

**URL:** <https://boards.straightdope.com/t/9-1/248387>\
**Category:** Cecil's Columns/Staff Reports\
**Created:** [June 3, 2004, 2:56am UTC](https://boards.straightdope.com/t/9-1/248387 "2004-06-03T02:56:25Z")\
**Posts on this page:** 20\
**Page:** 1

<div class="post-metadata">

**Author:** ![Skadi](https://avatars.discourse-cdn.com/v4/letter/s/e274bd/32.png) [@Skadi](https://boards.straightdope.com/u/Skadi)\
**Post date:** [June 3, 2004, 2:56am UTC](https://boards.straightdope.com/t/9-1/248387/1 "2004-06-03T02:56:25Z")

</div>

Ok, so Cecil did a pretty good job explaining why 0.999~=1, now I’m here to explain why it doesn’t

First, I’m gonna give you a little proof 🙂

x=0.999~  
If you multiply by 10  
10x=9.999~  
Subtract x from each…  
9x=9 (because x=0.999~)  
divide both by 9 to find x  
x=1

However, there is one problem with that proof, and that is it treats infinity as if it is not an actual number. What we must remember is that infinity if a number, just a number we cannot express.

When we multiplied both sides by ten, it was 9.999continuing infinitely-1. In an equation, infinity must remain the same number, so multiplying by ten would remove a decimal at the end just like 0.99\*10=9.9, NOT 9.99. Therefore, this argument is false.

Regarding fractions, 1/3 DOES NOT=0.333~. That is the best way we can put in it non-fractional form. The only true equal of 1/3 is 1/3. Saying 1/3=0.33~ is like saying 22/7=pi. It’s pretty damn close, but not quite right (perhaps the most accurate way of expressing 1/3 would be to say 0.333~+0.000~1, meaning that it ends in a four.)

Anyway I hope this has been helpful, and the original column can be found [here](http://www.straightdope.com/columns/030711.html) . Now I just have to finish my explanation of Stairway to Heaven, last time the forum deleted it when I tried to post…

---

<div class="post-metadata">

**Author:** ![Call\_me\_Frank](https://avatars.discourse-cdn.com/v4/letter/c/90ced4/32.png) [@Call\_me\_Frank](https://boards.straightdope.com/u/Call_me_Frank)\
**Post date:** [June 3, 2004, 3:18am UTC](https://boards.straightdope.com/t/9-1/248387/2 "2004-06-03T03:18:58Z")

</div>

I’m a believer. I have no factual or mathematical basis on which to base my belief, but I just can’t accept that .999…=1. However, I do understand why the non-believers say .333…=1/3. IF .999… _does_ equal one, then .999 divided by 3 would be equal to 1/3. But that is, of course, contingent upon .999… being equal to 1.000…

---

<div class="post-metadata">

**Author:** ![Moe](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/moe/32/2972_2.png) [@Moe](https://boards.straightdope.com/u/Moe)\
**Post date:** [June 3, 2004, 4:07am UTC](https://boards.straightdope.com/t/9-1/248387/3 "2004-06-03T04:07:32Z")

</div>

oh boy, here we go again.

not that I’m knocking your OP. Just that this has been discussed ad infinitum (snicker) here and looks like it will continue to be. Personally, I always enjoy them so please, carry on.

---

<div class="post-metadata">

**Author:** ![Hyperelastic](https://avatars.discourse-cdn.com/v4/letter/h/a3d4f5/32.png) [@Hyperelastic](https://boards.straightdope.com/u/Hyperelastic)\
**Post date:** [June 3, 2004, 4:09am UTC](https://boards.straightdope.com/t/9-1/248387/4 "2004-06-03T04:09:31Z")

</div>

You are confusing equality with identity. Look at it this way. If x=0.999…, then no matter how small a quantity you name, I can show that the difference between x and 1 is smaller still. Thus there is no limit to the closeness of 0.999… and 1. That meets any reasonable definition of equality you care to propose.

---

<div class="post-metadata">

**Author:** ![Mbossa](https://avatars.discourse-cdn.com/v4/letter/m/73ab20/32.png) [@Mbossa](https://boards.straightdope.com/u/Mbossa)\
**Post date:** [June 3, 2004, 4:26am UTC](https://boards.straightdope.com/t/9-1/248387/5 "2004-06-03T04:26:38Z")

</div>

[Infinity is **not** a number.](http://www.galactic-guide.com/articles/8R69.html)  
[Infinity is **not** a number.](http://members.cox.net/mathmistakes/infinity.htm)  
[Infinity is **not** a number.](http://mathforum.org/dr.math/faq/faq.large.numbers.html)

If you disagree, could you please expand on why you believe infinity to be a number?

> [@](#):
>
> perhaps the most accurate way of expressing 1/3 would be to say 0.333~+0.000~1, meaning that it ends in a four.

No. The decimal expansion of 1/3 does not end in a four. The decimal expansion of 1/3 does not _end_. Assuming that the “~” means an unterminated string of zeros, “0.000~1” is simply nonsensical. How can you tack a 1 on the end of something that doesn’t even have an end?

You’re correct in saying that 22/7 does not equal pi. In fact, I’d argue that 22/7 is _nowhere near_ pi (althought this is purely subjective). We can see that by performing the decimal expansion to a few decimal places (where “~=” means “approximately equal” - not a precise concept, admittedly, but adequate for our purposes):

pi ~= 3. 1416  
22/7 ~= 3.1429

However, you’re incorrect in saying that 0.333… does not equal 1/3 (assuming that “…” means something along the lines of “an unterminated string of 3s”). Saying “1/3 = 0.333…” is the same as saying “the sum of 3/10[sup]n[/sup], where n takes the value of each positive integer, is 1/3”, which can be proven to be true. I can’t be bothered proving it, but I’m certain someone else can.

---

<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 3, 2004, 7:21am UTC](https://boards.straightdope.com/t/9-1/248387/6 "2004-06-03T07:21:06Z")

</div>

0.333~ is a limit. So is 1.000~ and 0.5000~ and every other number in the set of the reals. It is not ‘infinity’ or ‘infinite’ or any other incomprehensible babble you come up with. It is a limit, and therefore it works like every other real in the set of all reals.

0.999~ is a limit as well, and so it works the same way as everything else. It obeys all the same rules without exception. One of the rules of the set of the reals is that for two real numbers to be unequal, there must exist a real number strictly between them. (That is, it must be strictly less than one of the two and strictly greater than one of the two and unequal to both of the two.) Another rule is that you can only obtain the additive identity (0.000~) from x-y if x is equal to y. So, what real number lies between 0.999~ and 1.000~?

```auto

 1.000~
-0.999~
----------
 0.000~

```

Well, look at that: 0.000~ is the result of the subtraction, so 0.999~ must equal 1.000~.

This is not surprising. 0.999~ can be seen as a convergent series, and a convergent series is equal to its limit. The limit of summing 9e-n as n goes from 1 to infinity is 1.000~, so 0.999~ must equal 1.000~.

This equality is not approximate. There are no approximations in mathematics.

---

<div class="post-metadata">

**Author:** ![Mathochist](https://avatars.discourse-cdn.com/v4/letter/m/c89c15/32.png) [@Mathochist](https://boards.straightdope.com/u/Mathochist)\
**Post date:** [June 3, 2004, 8:03am UTC](https://boards.straightdope.com/t/9-1/248387/7 "2004-06-03T08:03:26Z")

</div>

> [@Derleth](#):
>
> 0.333~ is a limit. So is 1.000~ and 0.5000~ and every other number in the set of the reals.

Maybe they need the definition of **R**.

The set of real numbers, **R** , is the unique complete extension field of the rational numbers. This means it’s constructed from the set **Q** as a subquotient of all sequences of elements of **Q**.

Given a sequence {x[sub]n[/sub]}[sub]n in **N** [/sub], if for every e\>0 there exists a k(e) such that for all n,m\>k, |x[sub]n[/sub]-x[sub]m[/sub]|\<e we call the ssequence Cauchy. Roughly, a sequence is Cauchy if all the numbers in the sequence get close together as n increases. Take the collection of Cauchy sequences of elements of **Q**.

Now, given two Cauchy sequences, {x[sub]n[/sub]}[sub]n in **N** [/sub] and {y[sub]n[/sub]}[sub]n in **N** [/sub], interleave them to define {z[sub]n[/sub]}[sub]n in **N** [/sub]. That is, z[sub]2k[/sub]=x[sub]k[/sub] and z[sub]2k+1[/sub]=y[sub]k[/sub]. If z is also Cauchy, we consider the sequences x and y to be equivalent. The set of Cauchy sequences of elements of **Q** modulo this equivalence relation is **R**. That is: every real number is instantiated as an equivalence class of sequences of rational numbers, such as the sequence of its decimal approximations.

That there is a unique field structure on **R** extending that of **Q** is left as an exercise for the reader. 😉

---

<div class="post-metadata">

**Author:** ![Xiphos](https://avatars.discourse-cdn.com/v4/letter/x/48db29/32.png) [@Xiphos](https://boards.straightdope.com/u/Xiphos)\
**Post date:** [June 3, 2004, 10:45am UTC](https://boards.straightdope.com/t/9-1/248387/8 "2004-06-03T10:45:15Z")

</div>

I think I speak for everyone when I say… huh

---

<div class="post-metadata">

**Author:** ![SCSimmons](https://avatars.discourse-cdn.com/v4/letter/s/e495f1/32.png) [@SCSimmons](https://boards.straightdope.com/u/SCSimmons)\
**Post date:** [June 3, 2004, 12:53pm UTC](https://boards.straightdope.com/t/9-1/248387/9 "2004-06-03T12:53:11Z")

</div>

> [@Skadi](#):
>
> Regarding fractions, 1/3 DOES NOT=0.333~. That is the best way we can put in it non-fractional form. The only true equal of 1/3 is 1/3. Saying 1/3=0.33~ is like saying 22/7=pi.

No, it’s not. It’s like saying that 4/1 - 4/3 + 4/5 - 4/7 + 4/9 … (and so on endlessly) equals pi. Which it does, as does .33333 … = 1/3.

---

<div class="post-metadata">

**Author:** ![zut](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/zut/32/2875_2.png) [@zut](https://boards.straightdope.com/u/zut)\
**Post date:** [June 3, 2004, 2:21pm UTC](https://boards.straightdope.com/t/9-1/248387/10 "2004-06-03T14:21:30Z")

</div>

As a public service:  
[if .999,=1 does .999,+.999,= 2 or 1.999,8?](http://boards.straightdope.com/sdmb/showthread.php?t=256497)  
[1=.999…](http://boards.straightdope.com/sdmb/showthread.php?t=196745)  
[.999~](http://boards.straightdope.com/sdmb/showthread.php?t=242396)  
[1 = 999…](http://boards.straightdope.com/sdmb/showthread.php?t=196745)  
[Why doesn’t .9999~ = 1?](http://boards.straightdope.com/sdmb/showthread.php?t=187902)  
[Math: .99repeating = 1?](http://boards.straightdope.com/sdmb/showthread.php?t=15863)  
[.99999 repeating = 1? Whats your opinion?](http://boards.straightdope.com/sdmb/showthread.php?s=&threadid=90944)  
[Does .99(repeating) = 1](http://boards.straightdope.com/sdmb/showthread.php?t=179452)  
[.99999999 equal to 1 ???](http://boards.straightdope.com/sdmb/showthread.php?s=&threadid=82064)  
[.999 = 1?](http://boards.straightdope.com/sdmb/showthread.php?t=32760)  
[Stupid math question](http://boards.straightdope.com/sdmb/showthread.php?s=&threadid=71810)  
[Is 0.999…=1 ?](http://boards.straightdope.com/sdmb/showthread.php?t=15832)  
And probably some other I’ve missed. Go thou, and read.

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [June 3, 2004, 4:32pm UTC](https://boards.straightdope.com/t/9-1/248387/11 "2004-06-03T16:32:43Z")

</div>

In any Archimedean field, .9… = 1. The reals are an Archimedean field, so in the reals, .9… = 1. If you don’t understand what that means, don’t try to debate it.

---

<div class="post-metadata">

**Author:** ![Giles](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/giles/32/60_2.png) [@Giles](https://boards.straightdope.com/u/Giles)\
**Post date:** [June 3, 2004, 4:35pm UTC](https://boards.straightdope.com/t/9-1/248387/12 "2004-06-03T16:35:03Z")

</div>

> [@](#):
>
> The only true equal of 1/3 is 1/3

So, 2/6 is a different number, then? And 3/9 must be something else, and 4/12 a fourth number, and so on?

---

<div class="post-metadata">

**Author:** ![kabbes](https://avatars.discourse-cdn.com/v4/letter/k/e99b99/32.png) [@kabbes](https://boards.straightdope.com/u/kabbes)\
**Post date:** [June 3, 2004, 4:45pm UTC](https://boards.straightdope.com/t/9-1/248387/13 "2004-06-03T16:45:06Z")

</div>

AAAAARGH!

So what is the decimal representation of 1/3 in base 12 then? And what do three of these sum to? So why do you think that the same number in different bases magically becomes different?

This has been done so MANY times before that it’s like the “drive on the parkway” question. If you’re serious about debating it, go find each and every argument in those threads and THEN come back to us with arguments against them.

---

<div class="post-metadata">

**Author:** ![SCSimmons](https://avatars.discourse-cdn.com/v4/letter/s/e495f1/32.png) [@SCSimmons](https://boards.straightdope.com/u/SCSimmons)\
**Post date:** [June 3, 2004, 5:15pm UTC](https://boards.straightdope.com/t/9-1/248387/14 "2004-06-03T17:15:51Z")

</div>

> [@Xiphos](#):
>
> I think I speak for everyone when I say… huh

**Mathochist** just repeated the first two sentences of **Derleth** ’s post immediately preceding, translated into ‘mathese’. The reason he did this can be inferred from his user name. 😃

---

<div class="post-metadata">

**Author:** ![C\_K\_Dexter\_Haven](https://avatars.discourse-cdn.com/v4/letter/c/b2d939/32.png) [@C\_K\_Dexter\_Haven](https://boards.straightdope.com/u/C_K_Dexter_Haven)\
**Post date:** [June 3, 2004, 5:16pm UTC](https://boards.straightdope.com/t/9-1/248387/15 "2004-06-03T17:16:08Z")

</div>

The problem here is a difference between the theoretical and the practical.

In the theoretical realm, the mathematician has no problem dealing with infinite decimals. In the practical realm, of course, there’s no such thing. After a couple of dozen decimal points, you’re way past a point where anyone can measure or verify or validate anything, and the non-mathematical mind can’t grasp the idea of “infinite decimal.”

So, the mathematical mind thinks on a theoretic plane and obviously .9999… = 1 as .333… = 1/3. The practical mind thinks that .9999999999[a zillion more 9’s]999 stops and is obviously different from 1, as .33333333333333333333 is obviously different from 1/3.

---

<div class="post-metadata">

**Author:** ![sturmhauke](https://avatars.discourse-cdn.com/v4/letter/s/e47c2d/32.png) [@sturmhauke](https://boards.straightdope.com/u/sturmhauke)\
**Post date:** [June 3, 2004, 5:40pm UTC](https://boards.straightdope.com/t/9-1/248387/16 "2004-06-03T17:40:24Z")

</div>

> [@Call me Frank](#):
>
> I’m a believer.

Stop right there. This isn’t religion, it’s math. There is no room for belief here, only logic.

Now then, here’s a proof that 0.9… = 1

Let us assume that 0.9… != (not equal to) 1. But there are an infinite number of 9s, so it must be infinitely close to 1; that is, there is no number x such that

0.9… \< x \< 1

Now let x = square root (0.9…)

Because 0 \< 0.9… \< 1, therefore 0.9… \< x \< 1

But this contradicts the statement that there is no x such that 0.9… \< x \< 1, which folllows directly from the assumption that 0.9… != 1

Therefore, 0.9… = 1

---

<div class="post-metadata">

**Author:** ![Giles](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/giles/32/60_2.png) [@Giles](https://boards.straightdope.com/u/Giles)\
**Post date:** [June 3, 2004, 6:16pm UTC](https://boards.straightdope.com/t/9-1/248387/17 "2004-06-03T18:16:20Z")

</div>

There is no way to understand what 0.999… means unless you understand limits of sequences. It is defined as the limit of the sequence:  
{0.9, 0.99, 0.999, 0.9999, 0.99999, … }, adding an extra 9 at the end of each item in the sequence to get the next member of the sequence.

The limit of this sequence is 1, because you can get as close as you like to 1 by going far enough along the sequence, even though no member of the sequence is equal to 1.

(Similarly, the limit of the sequence:  
{1/2, 1/4, 1/8, 1/16, 1/32, …}  
is 0, even though no member of the sequence is equal to 0).

Of course, many sequences do not have limits: examples of sequences without a limit are:  
{1, 2, 3, 4, 5, …}  
{0, 1, 0, 1, 0, 1, …}

It’s fairly natural to assume that you can do the usual sort of arithmetic in sequences, e.g.:  
0.333… + 0.333… + 0.333… = 0.999…  
but because we are talking about infinite sequences here, you need to do some pretty rigorous mathematics to show that you can do operations like this. However, you can only do it with sequences that have limits – but since these infinite decimal fractions always have a limit that’s not a problem

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [June 3, 2004, 7:56pm UTC](https://boards.straightdope.com/t/9-1/248387/18 "2004-06-03T19:56:56Z")

</div>

Did y’all see [this](http://boards.straightdope.com/sdmb/showthread.php?t=259628)?

---

<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 4, 2004, 12:50am UTC](https://boards.straightdope.com/t/9-1/248387/19 "2004-06-04T00:50:54Z")

</div>

I’ve had a brilliant idea.

All the Charter Members have seen the 0.999… does not equal 1 threads ad nauseam. So only new Members and Guests are posting this nonsense.

Can we do something about this? Yes, we can.

There already is an [Questions we refuse to answer](http://www.straightdope.com/faq/lamequestions.html) page in the FAQ. And it sorta works. I mean, we don’t see many people ask these questions anymore.

So, as part of the registration agreement process, we force people signing up to go through a page called Questions Already Answered Too Damn Many Times. And they have to check each box, stating that they will not ask the third word that ends in “gry” or… that 0.999 is not equal to 1. And there will be a link to the relevant threads, which will be locked so that they cannot post to them.

Think of it! We can beat ignorance to a pulp before it appears!

I may cry.

---

<div class="post-metadata">

**Author:** ![Skadi](https://avatars.discourse-cdn.com/v4/letter/s/e274bd/32.png) [@Skadi](https://boards.straightdope.com/u/Skadi)\
**Post date:** [June 4, 2004, 2:58am UTC](https://boards.straightdope.com/t/9-1/248387/20 "2004-06-04T02:58:51Z")

</div>

Ok Ok, I retract my statement of 1/3=whatever i posted. I did the math and it makes no sense. I DO NOT however retract my statement 0.999~/=1. Anyway keep up the discussion, even it is going way over my head…

[Next page](https://boards.straightdope.com/t/9-1/248387.md?page=2)
