Why Do People Say That 1 and .999 Are Equal? - Comments

  • Insights
  • Thread starter Multiple_Authors
  • Start date
In summary, the conversation discusses various arguments and proofs for the claim that 1 and 0.999... are equal. Some of these arguments involve unstated assumptions, while others use mathematical concepts such as geometric series. Ultimately, the proof by contradiction is considered the most rigorous and convincing. The conversation also addresses the use of surreal numbers in these proofs and questions the validity of certain assumptions made in the arguments.
  • #1
Multiple_Authors
9
6
Multiple_Authors submitted a new PF Insights post

Why Do People Say That 1 And .999 Are Equal?

999equals1-80x80.png


Continue reading the Original PF Insights Post.
 
Mathematics news on Phys.org
  • #2
While there are several arguments here that people might accept as proofs, they all, as stated, are non-rigorous, involving some basic, unstated assumptions. For example, in argument two, it is assumed that multiplying x= 0.999... by 10 gives 10x= 9.999... and then that subtracting x give 9x= 0.999... again. Both of those assume the usual arithmetic properties are true for 0.999... That is true but exactly the sort of thing people who object to "0.999...= 1" would object to anyway. In argument four, it is accepted that 0.333...= 1/3. Why would a person who objects to "0.999...= 1" accept that?

It is not too difficult to give a rigorous proof using "geometric series". It is easily shown that the sum [itex]\sum_{i= 0}^n ar^i[/itex] is [tex]\frac{a(1- r^n)}{1- r}[/tex]. To do that, let [itex]S_n= \sum_{i= 0}^n ar^i= a+ ar+ ar^2+ \cdot\cdot\cdot+ ar^n)[/itex]. Since that is a finite sum, the usual properties of arithmetic hold and we can write [itex]S_n- a= ar+ ar^2+ \cdot\cdot\cdot+ ar^n= r(a+ ar+ \cdot\cdot\cdot+ ar^{n-1})[/itex]. The quantity in the last parentheses is almost [itex]S_n[/itex] itself. It is only missing the last term, [itex]ar^n[/itex]. Restore that by adding [itex]ar^{n+1}[/itex] to both sides: [itex]S_n- a+ ar^n= r(a+ ar+ \cdot\cdot\cdot+ ar^{n-1})+ ar^{n+ 1}[/itex]. Taking that last term inside the parentheses we have [itex]S_n- a+ ar^n= r(a+ ar+ \cdot\cdot\cdot+ ar^{n-1}+ ar^n)= rS_n[/itex]. We can write that as [itex]rS_n- S_n= (r- 1)S)_n= ar^n- a= a(r^n- 1)[/itex] and dividing both sides by r- 1, [itex]S_n= \frac{a(r^n- 1)}{r- 1}[/itex] which, for r< 1 can be written more as [itex]S_n= \frac{a(1- r^n)}{1- r}[/itex]

The geometric series, [itex]\sum_{i= 0}^\infty ar^i[/itex], is, by definition, the limit of the "partial sums", [itex]S_n= \sum_{i= 0}^n ar^i[/itex], as n goes to infinity. As long as [itex]|r|< 1[/itex], [itex]\lim_{n\to\infty} r^n= 0[/itex] so that limit is easily calculated as [itex]\sum_{i= 0}^\infty ar^i= \frac{a}{1- r}[/itex].

Now, turning to the problem at hand. 0.999... is, by definition of the decimal numeration system, [itex]0.9+ 0.09+ 0.009+ \cdot\cdot\cdot= 0.9+ 0.9(0.1)+ 0.9(0.01)+ \cdot\cdot\cdot= 0.9+ 0.9(.1)+ 0.9(.1^2)+ \cdot\cdot\cdot[/itex], precisely a geometric series with a= 0.9 and r= 0.1. So the sum, and the value of 0.9999..., is [itex]\frac{0.9}{1- 0.1}= \frac{0.9}{0.9}= 1[/itex].
 
Last edited by a moderator:
  • Like
Likes albertrichardf, Cthulhumon, NascentOxygen and 2 others
  • #4
Proofs #2 & #3 are what convinced me that 1 and .999... are NOT equal. It's just insulting to assume that .333... = 1/3 in this context. And why assume that .999... and 9.999... have different numbers of nines when this would never happen for any finite number?
 
  • #5
I alread covered this in blog a while ago, though it's in spanish: https://preguntaspococientificas.wordpress.com
 
  • #6
If they are different, how different are they? Suppose you say that they are different by more than 0.0001. Then 1 - 0.99999 is closer and the more 9's you add, the closer it gets. So you can not say there is any difference.
 
  • #7
FactChecker said:
If they are different, how different are they? Suppose you say that they are different by more than 0.0001. Then 1 - 0.99999 is closer and the more 9's you add, the closer it gets. So you can not say there is any difference.
I'm not an expert on these things, but you can easily tell that a proof is wrong when it proves 0.9999...=1 on surreal numbers. Which most of the above do.
I'm not entirely sure about HallsofIvy's proof, it might be OK, even if I think it's swapping ##\infty## with ##\omega## somewhere along the way.
 
  • #8
SlowThinker said:
I'm not an expert on these things, but you can easily tell that a proof is wrong when it proves 0.9999...=1 on surreal numbers. Which most of the above do.
I'm not entirely sure about HallsofIvy's proof, it might be OK, even if I think it's swapping ##\infty## with ##\omega## somewhere along the way.
You can easily prove it by contradiction, as I indicated. Once that is done, you know that they are equal. Then I would to be careful about saying that other proofs are wrong unless I completely understood the other proofs and can pinpoint the error.
 
  • #9
Algr said:
Proofs #2 & #3 are what convinced me that 1 and .999... are NOT equal. It's just insulting to assume that .333... = 1/3 in this context.
How is this assumption insulting. Just by ordinary division you can show that the 3 digit keeps repeating.
Algr said:
And why assume that .999... and 9.999... have different numbers of nines when this would never happen for any finite number?
To the right of the decimal point, both have the same number of 9 digits. Also I don't understand what you are saying about "finite numbers". Both .999... and 9.999... are finite numbers; i.e., strictly less than infinity.
SlowThinker said:
I'm not an expert on these things, but you can easily tell that a proof is wrong when it proves 0.9999...=1 on surreal numbers. Which most of the above do.
I did a quick scan of all of the proofs. None of them mentioned surreal numbers. If you can point out where I might have missed this, I would appreciate it.
SlowThinker said:
I'm not entirely sure about HallsofIvy's proof, it might be OK, even if I think it's swapping ##\infty## with ##\omega## somewhere along the way.
Please show me where.
 
Last edited:
  • #10
Mark44 said:
I did a quick scan of all of the proofs. None of them mentioned surreal numbers. If you can point out where I might have missed this, I would appreciate it.
My idea was: if the proof, applied over surreal numbers, proves that 0.9999...=1, then the proof is not correct. There must be some implicit assumption.
Mark44 said:
Please show me where.
HallsofIvy said:
Now, turning to the problem at hand. 0.999... is, by definition of the decimal numeration system, ##0.9+ 0.09+ 0.009+ \cdot\cdot\cdot## = ##0.9+ 0.9(0.1)+ 0.9(0.01)+ \cdot\cdot\cdot## = ##0.9+ 0.9(.1)+ 0.9(.1^2)+ \cdot\cdot\cdot##, precisely a geometric series with a= 0.9 and r= 0.1. So the sum, and the value of 0.9999..., is [itex]\frac{0.9}{1- 0.1}= \frac{0.9}{0.9}= 1[/itex].
I would say that, by definition of the decimal numeration system, 0.9999...=##\sum_{n=1}^\omega{}9\ 0.1^n## rather than ##\sum_{n=1}^\infty{}9\ 0.1^n##. The difference is, obviously, 0 in real numbers.
 
  • #11
Mark44 said:
I did a quick scan of all of the proofs. None of them mentioned surreal numbers. If you can point out where I might have missed this, I would appreciate it.
SlowThinker said:
My idea was: if the proof, applied over surreal numbers, proves that 0.9999...=1, then the proof is not correct. There must be some implicit assumption.
Why would the proof need to invoke surreal numbers? The proofs are all concerned with two representations of the same real number.
Mark44 said:
Please show me where.
HallsofIvy said:
Now, turning to the problem at hand. 0.999... is, by definition of the decimal numeration system, ##0.9+ 0.09+ 0.009+ \cdot\cdot\cdot## = ##0.9+ 0.9(0.1)+ 0.9(0.01)+ \cdot\cdot\cdot## = ##0.9+ 0.9(.1)+ 0.9(.1^2)+ \cdot\cdot\cdot##, precisely a geometric series with a= 0.9 and r= 0.1. So the sum, and the value of 0.9999..., is [itex]\frac{0.9}{1- 0.1}= \frac{0.9}{0.9}= 1[/itex].
SlowThinker said:
I would say that, by definition of the decimal numeration system, 0.9999...=##\sum_{n=1}^\omega{}9\ 0.1^n## rather than ##\sum_{n=1}^\infty{}9\ 0.1^n##. The difference is, obviously, 0 in real numbers.
And that's the set we're concerned with here.
 
  • #12
Mark44 said:
Why would the proof need to invoke surreal numbers? The proofs are all concerned with two representations of the same real number.
If the proof can be used to prove a false statement, then the proof must be wrong.
0.9999...##\neq##1 in surreal numbers, so if the proof works with them too, then it's wrong.
I dare say that all of the "informal proofs" from the article immediately work with surreal numbers, so they must be wrong.

This quote from the original article,
Can we define number systems such that 1=0.999… does not hold? Of course!
seems to be the answer that people are looking for, together with "Real numbers are defined in such a way that 0.999...=1".
 
  • #13
So does this mean that .99999... = .99999...8 ?
 
  • #14
Ernest S Walton said:
So does this mean that .99999... = .99999...8 ?
No, because the right hand side is nonsense. You can't have a non-terminating run of nines and then terminate it.
 
  • #15
pwsnafu said:
No, because the right hand side is nonsense. You can't have a non-terminating run of nines and then terminate it.
Okay... but it seems like to make .999 = 1 you also have to terminate the run of nines. Anyway I know this has been discussed several times so I'll read up some more.
 
  • #16
Ernest S Walton said:
So does this mean that .99999... = .99999...8 ?
As already mentioned, the right side is meaningless for two reasons. On the left side the ellipsis (...) means that the pattern you see repeats endlessly. On the right side, it is not known how many 9s there are in front of the final 8 digit.

Ernest S Walton said:
Okay... but it seems like to make .999 = 1 you also have to terminate the run of nines.
Don't confuse .999 with .999... They mean two very different things. The first is identical to 999/1000 which is smaller than 1, and the second is equal to 1.
Ernest S Walton said:
Anyway I know this has been discussed several times so I'll read up some more.
 
  • #17
Mark44 said:
Algr said:
Proofs #2 & #3 are what convinced me that 1 and .999... are NOT equal. It's just insulting to assume that .333... = 1/3 in this context.
How is this assumption insulting. Just by ordinary division you can show that the 3 digit keeps repeating.
Algr said:
And why assume that .999... and 9.999... have different numbers of nines when this would never happen for any finite number?
To the right of the decimal point, both have the same number of 9 digits. Also I don't understand what you are saying about "finite numbers". Both .999... and 9.999... are finite numbers; i.e., strictly less than infinity.
SlowThinker said:
I'm not an expert on these things, but you can easily tell that a proof is wrong when it proves 0.9999...=1 on surreal numbers. Which most of the above do.
I did a quick scan of all of the proofs. None of them mentioned surreal numbers. If you can point out where I might have missed this, I would appreciate it.
SlowThinker said:
I'm not entirely sure about HallsofIvy's proof, it might be OK, even if I think it's swapping ##infty## with ##omega## somewhere along the way.
Please show me where.
*Both .999… and 9.999… are finite numbers; i.e., strictly less than infinity.*

How can you call 0.999... or 9.999... as finite?
If these are finite then infinity can also be considered finite!
 
  • #18
Nemika said:
*Both .999… and 9.999… are finite numbers; i.e., strictly less than infinity.*

How can you call 0.999... or 9.999... as finite?
If these are finite then infinity can also be considered finite!

Please look up the definition of a finite number. There is a difference between an infinite _decimal expansion_ and an infinite number.
 
  • #19
Nemika said:
*Both .999… and 9.999… are finite numbers; i.e., strictly less than infinity.*

How can you call 0.999... or 9.999... as finite?
If these are finite then infinity can also be considered finite!

WWGD said:
Please look up the definition of a finite number. There is a difference between an infinite _decimal expansion_ and an infinite number.
WWGD is correct. Finite numbers are bounded; infinite numbers are unbounded.
 
  • #20
They are clearly different but if you're approximating, they're almost equal.
 
  • #21
mathexam said:
They are clearly different but if you're approximating, they're almost equal.
Who are "they"? Are you referring to .999 and .999... ?

Clearly these two numbers are close, but that's not the point. What we're saying is that .999... is identically equal to 1, and .999 is smaller than 1 by .001.
 
  • #22
I have no way to say this is true for sure, but it appears to me as though proof #3 is based off an incorrect assumption. Wouldn't the difference between .999... and 1 be infinitesimal, not 0. Isn't this one of the reasons we have the concept of infinity, and in this case an infinitesimal value. If something infinitesimal is just considered 0, wouldn't a Riemann sum not mater at all, and just be equal to zero? Wouldn't that make anything using dx, dy, etc. represent a change of zero, as they are defined as an infinitesimaly small change in their respective variable? This is just my thinking, I am not being ignorent, I just want to understand.
 
  • #23
Isaac0427 said:
Wouldn't the difference between .999... and 1 be infinitesimal, not 0.
something infinitesimal is just considered 0
Both are true. The important part is that real numbers are not precise enough to distinguish an infinitesimal difference - which is, in fact, the reason why we can use infinitesimals to integrate and derive expressions containing real numbers.

I would think this whole theme is answered by:
The definition of real numbers says that $$0.999..._{\text{as real number}} \ =_{\text{acting on real numbers}} \ 1_{\text{as real number}}$$
If you don't like it, use other numbers.
 
  • #24
I think equivalence is more intuitive if you simply state that the limit of 0.999... as we keep adding more decimal places is 1. I think this is also a closer translation of the mathematical statement into plain english.
 
  • #25
madness said:
I think equivalence is more intuitive if you simply state that the limit of 0.999... as we keep adding more decimal places is 1. I think this is also a closer translation of the mathematical statement into plain english.
I think that is exactly my point. If we call limits being equal to, in the equation for derivatives, lim Δx→0 (f(x+Δx)-f(x))/Δx (I know I may not have written it right), the answer would be undefined.
 
  • #26
mathexam said:
They are clearly different but if you're approximating, they're almost equal.

No, they are not different as Real numbers using the definition of Real numbers in terms of Cauchy sequences. This is a technical point that requires the use of precise definitions.
 
  • #27
this question never dies. this is basically why people cannot tell the difference between a good car and a car that says "BMW" on the side, i.e. its not all about the notation. but for some reason they are willing to allow the same car to be called a bmw or a beemer, but a number can't have two names. still the same people who admit that .33333... = 1/3, will not accept the result of multiplying this equation by 3.
 
  • #28
I agree with Mathwonk. It is a very narrow view of what a number is. A number is not a unique object, but instead an equivalence class of objects. Under this equivalence relation, the two, 0.99999... and 1 are equivalent, and so considered equal. Maybe similar to the fact that if today is Wednesday, then every day that is ## \pm 7k ## days from today is also a Wednesday, and not just that today , 12/9/2015 is Wednesday, so no other day can be a Wednesday . Equivalence is very close conceptually to equality but it is not quite the exact same thing.
 
  • #29
I think a key point is that .999... is by definition a limit, and that limit is equal to 1.
 
  • #30
axmls said:
I think a key point is that .999... is by definition a limit, and that limit is equal to 1.

True, it is the limit of a Cauchy sequence, which converges by the fact that the Reals are a complete metric space, and the sequence, as you said, converges to 1.
 
  • #31
SlowThinker said:
I would think this whole theme is answered by:
The definition of real numbers says that $$0.999..._{\text{as real number}} \ =_{\text{acting on real numbers}} \ 1_{\text{as real number}}$$
If you don't like it, use other numbers.
I have no idea what you're trying to say in the equation above.

madness said:
I think equivalence is more intuitive if you simply state that the limit of 0.999... as we keep adding more decimal places is 1. I think this is also a closer translation of the mathematical statement into plain english.
There's a difference between what you say above and what I think you're trying to say.
First: limit of .999 ... is meaningless, as you aren't saying what is changing.
Second, ##\lim_{n \to \infty}\sum_{j = 1}^n \frac 9 {10^j} = 1##. The sum can be made arbitrarily close to 1 just by taking more terms in the sum.
 
  • #32
Isaac0427 said:
I have no way to say this is true for sure, but it appears to me as though proof #3 is based off an incorrect assumption. Wouldn't the difference between .999... and 1 be infinitesimal, not 0.
There is no need that I can see to bring infinitesimals into the argument. By definition of the notation, .999 ... means an infinitely long string of 9s. If there is a difference between .999 ... and 1, there has to be a digit somewhere in the difference that isn't 0. Which digit is that?
Isaac0427 said:
Isn't this one of the reasons we have the concept of infinity, and in this case an infinitesimal value. If something infinitesimal is just considered 0, wouldn't a Riemann sum not mater at all, and just be equal to zero? Wouldn't that make anything using dx, dy, etc. represent a change of zero, as they are defined as an infinitesimaly small change in their respective variable? This is just my thinking, I am not being ignorent, I just want to understand.
 
  • #33
Isaac0427 said:
I have no way to say this is true for sure, but it appears to me as though proof #3 is based off an incorrect assumption. Wouldn't the difference between .999... and 1 be infinitesimal, not 0. Isn't this one of the reasons we have the concept of infinity, and in this case an infinitesimal value. If something infinitesimal is just considered 0, wouldn't a Riemann sum not mater at all, and just be equal to zero? Wouldn't that make anything using dx, dy, etc. represent a change of zero, as they are defined as an infinitesimaly small change in their respective variable? This is just my thinking, I am not being ignorent, I just want to understand.
Like someone pointed out, there are no infinitesimals in the Standard Real numbers; these exist only on non-standard models of the Reals. Your other questions are good, let me think about them some more. I think the point is that the rectangles, while going to 0, are uniformly bounded , by compactness of the region of integration, so these widths do not become indefinitely-close to 0; they become close to 0 in a controlled way. Good point, though.
 
  • #34
Isaac0427 said:
If something infinitesimal is just considered 0, wouldn't a Riemann sum not mater at all, and just be equal to zero? Wouldn't that make anything using dx, dy, etc. represent a change of zero, as they are defined as an infinitesimaly small change in their respective variable? This is just my thinking, I am not being ignorent, I just want to understand.
In the Riemann definition of a definite integral, you have the number of rectangles n approaching infinity (i.e., increasing without bound), where the area of each rectangle is approaching zero.
In effect, what you have is the indeterminate form ##[0 \cdot \infty]##. Indeterminate forms are a way to categorize limits that involve a product or quotient or other operation in which one or more of the quantities is unbounded. Indeterminate forms are not number, and different instances of the same indeterminate form can come out to be literally any real number or ##\infty## or ##-\infty##. With Reimann sums, if you have a well-behaved function, the limit comes out to a real number.
WWGD said:
Like someone pointed out, there are no infinitesimals in the Standard Real numbers; these exist only on non-standard models of the Reals. Your other questions are good, let me think about them some more. I think the point is that the rectangles, while going to 0, are uniformly bounded , by compactness of the region of integration, so these widths do not become indefinitely-close to 0; they become close to 0 in a controlled way. Good point, though.
See above...
 
  • #35
Mark44 said:
In the Riemann definition of a definite integral, you have the number of rectangles n approaching infinity (i.e., increasing without bound), where the area of each rectangle is approaching zero.
In effect, what you have is the indeterminate form ##[0 \cdot \infty]##. Indeterminate forms are a way to categorize limits that involve a product or quotient or other operation in which one or more of the quantities is unbounded. Indeterminate forms are not number, and different instances of the same indeterminate form can come out to be literally any real number or ##\infty## or ##-\infty##. With Reimann sums, if you have a well-behaved function, the limit comes out to a real number.
See above...
Yes, what I meant is for a specific Riemann sum, the widths are uniformly bounded; the function Min width is a continuous function on a compact set -- integration is done on a compact interval [a,b] -- so it assumes an actual minimum value on [a,b]. Now, we can consider what happens as we let the widths go to 0, but for a _specific_ Riemann sum, the widths do not go to 0. And then we define convergence using nets.
 
<h2>1. Why do people say that 1 and .999 are equal?</h2><p>Some people believe that 1 and .999 are equal because they are both representations of the same number, which is 1. This is known as the concept of mathematical equality.</p><h2>2. Is there any evidence to support the claim that 1 and .999 are equal?</h2><p>Yes, there is evidence to support this claim. One way to understand this is through the concept of limits in mathematics. As the decimal places of .999 continue infinitely, it approaches 1. Therefore, it can be said that 1 and .999 are equal in the limit.</p><h2>3. Are there any real-life applications of the concept of 1 and .999 being equal?</h2><p>Yes, there are real-life applications of this concept in fields such as physics and engineering. In these fields, it is common to use approximations and round numbers for convenience, which can lead to the use of 1 and .999 as equal values.</p><h2>4. Why do some people find it hard to accept that 1 and .999 are equal?</h2><p>Some people may find it hard to accept this concept because it goes against their intuition and common understanding of numbers. In our daily lives, we are used to thinking of 1 and .999 as separate and distinct values, so the idea of them being equal can be difficult to grasp.</p><h2>5. Can 1 and .999 be considered exactly equal?</h2><p>No, 1 and .999 cannot be considered exactly equal in the traditional sense. They are only equal in the limit, meaning that as the decimal places of .999 continue infinitely, it approaches 1. However, in practical terms, they can be considered equal for many purposes.</p>

1. Why do people say that 1 and .999 are equal?

Some people believe that 1 and .999 are equal because they are both representations of the same number, which is 1. This is known as the concept of mathematical equality.

2. Is there any evidence to support the claim that 1 and .999 are equal?

Yes, there is evidence to support this claim. One way to understand this is through the concept of limits in mathematics. As the decimal places of .999 continue infinitely, it approaches 1. Therefore, it can be said that 1 and .999 are equal in the limit.

3. Are there any real-life applications of the concept of 1 and .999 being equal?

Yes, there are real-life applications of this concept in fields such as physics and engineering. In these fields, it is common to use approximations and round numbers for convenience, which can lead to the use of 1 and .999 as equal values.

4. Why do some people find it hard to accept that 1 and .999 are equal?

Some people may find it hard to accept this concept because it goes against their intuition and common understanding of numbers. In our daily lives, we are used to thinking of 1 and .999 as separate and distinct values, so the idea of them being equal can be difficult to grasp.

5. Can 1 and .999 be considered exactly equal?

No, 1 and .999 cannot be considered exactly equal in the traditional sense. They are only equal in the limit, meaning that as the decimal places of .999 continue infinitely, it approaches 1. However, in practical terms, they can be considered equal for many purposes.

Similar threads

  • General Math
Replies
9
Views
4K
  • General Math
Replies
27
Views
3K
  • General Math
Replies
8
Views
2K
  • General Math
Replies
13
Views
2K
  • General Math
Replies
5
Views
2K
Replies
25
Views
5K
  • General Math
Replies
26
Views
4K
Replies
24
Views
3K
  • General Math
4
Replies
105
Views
11K
  • General Math
Replies
12
Views
2K
Back
Top