# .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:** 6\
**Page:** 3

<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 4, 2004, 10:05pm UTC](https://boards.straightdope.com/t/9-1/248387/41 "2004-06-04T22:05:13Z")

</div>

> [@Giles](#):
>
> Derleth, I think you are confusing “sequence” and “series”. (It’s easy to do, and I just checked in a mathematics dictionary to make sure I got it right.) When you are tralking about sums, you are talking about a series. A series is the sum of the terms given in a sequence. For example, the sequence that I gave:  
> {1/2, 1/4, 1/8, 1/16. 1/32, … }  
> can be treated as a series, where the partial sums (the sums of the first n terms) are the sequence:  
> {1/2, 3/4, 7/8, 15/16, 31/32, … }  
> And, in this case, it is a convergent series, with limit 1.

This makes sense. Thanks.

Interestingly, it was obvious that it must converge to 1: Representing the fractions as binary fractions gives you:  
{ 0.1, 0.01, 0.001, 0.0001, 0.00001, … }  
or, as a sequence of partial sums:  
{ 0.1, 0.11, 0.111, 0.1111, 0.11111, … }  
which is very similar to 0.999~ in base 10.

---

<div class="post-metadata">

**Author:** ![tim314](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/tim314/32/3468_2.png) [@tim314](https://boards.straightdope.com/u/tim314)\
**Post date:** [June 5, 2004, 7:38pm UTC](https://boards.straightdope.com/t/9-1/248387/42 "2004-06-05T19:38:22Z")

</div>

> [@ultrafilter](#):
>
> The sum is 1, and the product is 0. How weird is that?

1 + 0 = 1  
1 \* 0 = 0

The sum is one and the product is zero. I’m not sure why you consider this any weirder when it happens for a sequence than when it happens for two numbers.  
Everyone seems to have already thoroughly explained why 0.999… = 1. (But I can’t resist adding my 2 cents). I think the key is in understanding that a repeating decimal is defined to be the limit of a sequence.

However, if I could try to put the flaw in the original poster’s reasoning into plain English, I would say this:  
He assumes that infinity minus one is not equal to infinity. (So if there were infinity nines to start with, there would be less than infinity in the end.) But this is false, since infinity minus one is still infinity. If you consider that impossible for “numbers”, then it simply means infinity isn’t a number.

This argument isn’t really relevant, though, because really 0.999… = 1 because that’s what it is defined to be. We define repeating decimals to be the limit of sequences, and in this case the corresponding sequence is one whose limit is one. The mistake some people make is in thinking that it is not necessary to have a separate definition for repeating decimals – that they instead can be defined in the same way as terminating decimals. In other words, people think that because 0.237 has a meaning, then the same definition can be used to define 0.3333… But if you think about how you define 0.237, this isn’t the case. To determine what fraction corresponds to 0.237, you count the number of digits after the decimal point, call that number n, and then define this decimal expression as being equal to the fraction whose numerator is the integer that appeared to the right of the decimal point (in this case, 237), and whose denominator is 10^n. Thus, in this case the fraction is 237/1000. My point is that this procedure fails for non-terminating decimals, because you can’t count the number of digits after the decimal place. So a new definition is required to give these expressions meaning, and the definition that mathematicians have agreed to use automatically makes 0.999… = 1.

---

<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 5, 2004, 7:56pm UTC](https://boards.straightdope.com/t/9-1/248387/43 "2004-06-05T19:56:36Z")

</div>

> [@tim314](#):
>
> He assumes that infinity minus one is not equal to infinity. (So if there were infinity nines to start with, there would be less than infinity in the end.) But this is false, since infinity minus one is still infinity. If you consider that impossible for “numbers”, then it simply means infinity isn’t a number.

Well, as covered in an earlier thread it depends what you mean by “infinity”. In Conway’s numbers, the appropriate notion of “infinity” is the first transfinite number “omega”, and omega-1 is actually less than omega. On the other hand, 1-1/omega is “infinitesimally” less than 1 so the “infinitesimally less than” argument might seem to go through. Even so, Conways numbers are a proper ordered extension field of **R** and so have .999~ = 1.

---

<div class="post-metadata">

**Author:** ![I\_Love\_Me\_Vol.I](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/i_love_me_vol.i/32/521_2.png) [@I\_Love\_Me\_Vol.I](https://boards.straightdope.com/u/I_Love_Me_Vol.I)\
**Post date:** [June 5, 2004, 8:31pm UTC](https://boards.straightdope.com/t/9-1/248387/44 "2004-06-05T20:31:27Z")

</div>

One question: What is

```
.999~ + .111~ ?
```

---

<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 5, 2004, 9:24pm UTC](https://boards.straightdope.com/t/9-1/248387/45 "2004-06-05T21:24:43Z")

</div>

> [@I Love Me](#):
>
> One question: What is
> 
> ```
> .999~ + .111~ ?
> 
> ```

1.111~, or 10/9.

---

<div class="post-metadata">

**Author:** ![RM\_Mentock](https://avatars.discourse-cdn.com/v4/letter/r/e274bd/32.png) [@RM\_Mentock](https://boards.straightdope.com/u/RM_Mentock)\
**Post date:** [June 7, 2004, 3:37am UTC](https://boards.straightdope.com/t/9-1/248387/46 "2004-06-07T03:37:19Z")

</div>

> [@Skadi](#):
>
> Ok Ok, I retract my statement of 1/3=whatever i posted. I did the math and it makes no sense.

I had to go back to the OP to check, but you said 1/3 = 1/3

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