I am stubborn. Prove to me that 0.999 = 1

  • Thread starter Goldenwind
  • Start date
In summary, the two proofs presented are both flawed in their own way, but the limit of a function does in fact equal 1.
  • #1
Goldenwind
146
0

Homework Statement


This is not homework, this is me being stubborn. I have seen the proofs, I know that it is professionally accepted, but I still just don't agree.

Homework Equations


1 = 2
1 + 1 = 3 for very large values of 1
Squareroot of anything will lead to very sharp trees.


The Attempt at a Solution


One example of a proof:
1/3 = 0.333...
2/3 = 0.666...
3/3 = 0.999...
3/3 = 1
Therefore 0.999... = 1
My issue with this is, I don't consider 3/3 to be 0.999... I consider 3/3 to be 1/1 = 1. The reason this seems illusionary is because 2/3 isn't 0.666. THIS proof, I accept:
0.999 * (1/3) = 0.333
0.999 * (2/3) = 0.666
0.999 * (3/3) = 0.999

However, when you say that 2/3 = 0.666..., this is the same as 0.666 +(2/3)*0.001 (Or 0.667 if you round). However, when you denote the ellipsis after 0.666... to signify that the 6's go on forever, the fact is that 6 >= 5, therefore no matter how many 6's you have, it will still be over that (For example, 0.666... > 0.666). Therefore, 3/3 is 0.999+(3/3)*0.001, which = 1.

Another proof says that:
c = 0.999...
10c = 9.999... (My issue lies with this line right here, I'll explain below)
10c - c = 9.999... - 0.999...
9c = 9
c = 1
0.999... = 1

The problem here? Multiplying by 10 in this case is the same as just adding 9c. However, when you add 9c, you have already made the ASSUMPTION that c = 1 (Therefore when you add 9c, you just add 9), while first off assuming that c = 0.999...

To demonstrate how I see this as a flaw, here's a proof that 10 = 5
c = 10
10c = 55 (See the assumption here? I assumed that c already equaled 5, and then just added 9c to each side, but that contradicts the first statement, rendering the proof invalid.)
10c - c = 55 - 10
9c = 45
c = 5
10 = 5


Edit:
And as a third note, this proof here:
6fa510b44742046a167b4b8515162825.png

My problem with this is that the limit of something IS NOT that something, unless it can be done directly.

The limit of 2n+5 as n approaches 10 = 25. This is fine.

However, say we have function F (Too lazy to find a valid function for this). F has the variable n in it, and when you plug in n = 0, the whole thing breaks apart (Divide by zero, or squareroot of negative thing). However, due to factoring, L'hopal's rule, or some other trick, we can figure out the limit anyway.

The limit of F as n approaches 0 = 2.
The problem here? As n APPROACHES 0, the value of the function APPROACHES 2.
The LIMIT equals 2. The value of F when n = 0, is not 2.

Unless the question can be done without limits at all (Such as 2n+5), the limit will only tell you what the value WOULD be, IF it existed. Using the proof above shows that as 0.999 adds on more 9s, the value APPROACHES 1.. this is fine. But it does not equal.
 
Last edited:
Physics news on Phys.org
  • #2
It is good that you are stubborn and refuse to accept such facts without proof. I think the problem lies with the concept of "infinity", as I conclude from quotes like
However, when you denote the ellipsis after 0.666... to signify that the 6's go on forever, the fact is that 6 >= 5, therefore no matter how many 6's you have, it will still be over that (For example, 0.666... > 0.666).
(which is, by the way, that we mean by the ellipsis and which is true: 2 / 3 is strictly greater than 0.666 ( = 0.6660000000...)).

Note that
-- c = 10
-- 10c = 55
is flawed because 55 is not equal to 10 x 10.
On the other hand,
-- c = 0.999...
-- 10c = 9.999...
can be obtained by multiplying both sides by 10, in the same fashion as
-- c = 12.34
-- 10c = 10(12.34) = 123.4

Next, I can always subtract the first equation from the second, as in;
-- c = 12.34
-- 10c = 123.4
-- 9c = (10c - c) = (123.4 - 12.34) = 111.06
They key in the 0.99... = 1 proof is indeed that "Multiplying by 10 in this case is the same as just adding 9c." as you write.

But if you're still not satisfied, what about a mathematically rigorous argument?

Define
[tex]a_n = \sum_{i = 1}^n \left( 9 \times 10^{-n} \right)[/tex]
The limit
[tex]\lim_{n \to \infty} a_n = a[/tex]
has a rigorous meaning, for it is defined as: for each number [itex]\epsilon > 0[/itex] there exists an integer N such that [itex]|a_n - a| < \epsilon[/itex] for all [itex]n \ge N[/itex].
Now you can try to prove that
[tex]\lim_{n \to \infty} a_n = 1[/tex]
and hopefully you also see that this limit just means adding more and more nines to the end of 0.99999...
 
Last edited:
  • #3
I edited my post to address the limit-of-the-sum proof. For the sake of not spamming, refer to the original post for my response to that one.
 
  • #4
What, then, is your definiition of 0.9999...?

The only definition I know of an decimal number with an infinite number of digits, say [itex]0.a_1a_2a_3\cdot\cdot\cdot a_n\cdot\cdot\cdot[/itex] is that it is the infinite sum [itex]\sum_{n=1}^\infty a_n/10^n[/itex].

No one is claiming "the limit of something IS that something" but that your decimal 0.99999... IS the limit of 0.9+ 0.09+ 0.009+ .. BY DEFINITION of decimal numeration.

However, say we have function F (Too lazy to find a valid function for this). F has the variable n in it, and when you plug in n = 0, the whole thing breaks apart (Divide by zero, or squareroot of negative thing). However, due to factoring, L'hopal's rule, or some other trick, we can figure out the limit anyway.

The limit of F as n approaches 0 = 2.
The problem here? As n APPROACHES 0, the value of the function APPROACHES 2.
The LIMIT equals 2. The value of F when n = 0, is not 2.
And no one said it was. The point is that while it is true that the sequence 0.9, 0.99, 0.999, 0.9999, ... approaches 1, it's limit is 1. And the number 0.99999... is, again, by definition of the base 10 numeration system, the limit not the sequence!

[/quote]Unless the question can be done without limits at all (Such as 2n+5), the limit will only tell you what the value WOULD be, IF it existed. Using the proof above shows that as 0.999 adds on more 9s, the value APPROACHES 1.. this is fine. But it does not equal.[/quote]
You can't answer it without limits because limits are what infinite decimals are.

Once again, the number 0.999999... is not the sequence 0.9, 0.99, 0.999, ..., it is the limit of that sequence.

If you disagree with that, then I will ask again, what is your definition of infinite decimals in the base 10 numeration system?
 
  • #5
I think I see something here.
'cause, I can accept that the limit of this approaches 1... and if that's what the definition of 0.999... is (That it is a notation to express an otherwise unexpressable limit), then that I can see.

But as far as 0.999... meaning just a number where the 9's go on forever... not agreed.

What's the difference? One (The limit) says what it would equal, if such a thing could be reached. The other is a flat concept, which doesn't equal 1, far as I can see.

If the elipsis notation is just another way to say the limit, then we agree.
 
  • #6
OK, I'm going to do one more attempt to (re)state a proof. After that I give up, as the point of a prove is to convince someone that a statement is true because the proof shows it, while you seem to be convinced that the proofs are flawed because the statement is false.

I'll enumerate my steps, so you can more easily refer to them
  1. Let us agree that 0.999... is the notation for a zero with infinitely many nines behind the decimal
  2. Let us agree that 0.999... is (by definition because it can be expressed in decimal form) a real number -- if you disagree the whole discussion is vacuous anyway
  3. Let us agree that we can define the distance between two real numbers x and y as d(x, y) = |x-y| and that two real numbers x and y are the same if and only if d(x, y) = 0.
  4. Since [itex]0.999\ldots \le 1[/itex], there is a number [itex]\epsilon \ge 0[/itex] such that |1 - 0.999...| = 1 - 0.999... = [itex]\epsilon[/itex].
  5. Now by basic arithmetic, add 0.999... to both sides of this equation, getting 1 = 0.999... + [itex]\epsilon[/itex].
  6. If you reject the statement 0.999... = 1, you automatically claim that [itex]\epsilon > 0[/itex]. For example, you say that [itex]\epsilon = 0.001[/itex]. Then I add the numbers and show to you that
    Code:
    0.9999999999...
    0.0010000000...  +
    --------------------
    1.0009999999...
    which I hope you agree is not equal to one -- in fact, it is larger so the epsilon you gave me was too large.
  7. Since I can play this trick for any positive non-zero epsilon you give me, and you accepted that 0.999... <= 1 so epsilon cannot be negative, wouldn't you have to agree that epsilon must be exactly equal to zero?

if that's what the definition of 0.999... is (That it is a notation to express an otherwise unexpressable limit)
It's not otherwise inexpressible, we can use the symbol 1 (with its usual meaning) :-p But let's not get caught in circular arguments :smile:

However, say we have function F (Too lazy to find a valid function for this). F has the variable n in it, and when you plug in n = 0, the whole thing breaks apart (Divide by zero, or squareroot of negative thing). However, due to factoring, L'hopal's rule, or some other trick, we can figure out the limit anyway.
You are making it sound like L'Hopitals rule is inferior to plugging in the value. So you don't consider
[tex]\lim_{x \to 0} \frac{\sin x}{x} = 1[/tex]
by L'Hopitals rule to be obtained in a agreeable/favourable/valid way?

Unless the question can be done without limits at all
It cannot, because, as HallsOfIvy explained, 0.999... is a limit by definition.

By the way, how about this statement?
The average of 0.99999(infinitely many nines) and 1.00000(infinitely many zeroes)1 is 1. Mathematically,
[tex]
\tfrac12 \left[ \left( \lim_{n \to \infty} 9 \times 10^{-n} \right) + \left( 1 + \lim_{n \to \infty} 10^{-n} \right) \right] =
\lim_{n \to \infty} \tfrac12 \left[ 9 \times 10^{-n} + \left( 1 + 10^{-n} \right) \right] = 1[/tex].
 
Last edited:
  • #7
First off, I will point out that the decimal numerals ...000.999... and ...0001.000... are different.


There are two primary ways to define the notion of a decimal number.

Method 1
(1) Define the real numbers.
(2) For each (left-terminating) decimal numeral S, define it's value to be the value

[tex]S = \sum_{n = -\infty}^{+\infty} S_n b^n[/tex]

where b is i + i + i + i + i + i + i + i + i + i, and i denotes the multiplicative identity. (i.e. b = 10, but I'm trying to avoid using decimal numbers to say that)


In this method, it's easy to see that the infinite sums that define the values of ...0001.000... and ...000.999... are equal, and so those numerals are equal when interpreted as decimal numbers.


Method 2
Provide 'algorithms' for directly computing all elementary arithmetic operations and relations on decimal numbers.

In this method, the algorithm for computing equality explicitly states that
Sx999... = Sy000...​
(where S is any left-infinite string of symbols, x is a decimal digit less than 9, and y is the digit after x)

If you apply the algorithm for computing equality to
...0001.000... = ...000.999...​
you will calculate that the equation is true.
 
  • #8
Goldenwind said:
I think I see something here.
'cause, I can accept that the limit of this approaches 1... and if that's what the definition of 0.999... is (That it is a notation to express an otherwise unexpressable limit), then that I can see.
No, the sequence "approaches" 1. The limit is 1. The limit of a sequence is a number- it doesn't "approach" anything.

But as far as 0.999... meaning just a number where the 9's go on forever... not agreed.

What's the difference? One (The limit) says what it would equal, if such a thing could be reached. The other is a flat concept, which doesn't equal 1, far as I can see.

If the elipsis notation is just another way to say the limit, then we agree.
Then I can only suggest that you review the concept of limit. If you agree that the limit of a sequence is a number, then you agree that [itex]0.\overline{999}[/itex] is equal to 1.

I used a different notation for a repeating decimal because I want to emphasise that the "ellipsis" is not the crux of the matter- it is the definition of "decimal notation" that says the number is a limit.
 
  • #9
If Goldenwind hasn't accepted the all the proofs presented to him already, perhaps he wants proof that the reals is a linear continuum (i.e. for every distinct points x and y, there exists z such that x < z < y). Is that what you are looking for?

Because there is no number between 0.999999... and 1 so they must be equal ASSUMING that each real number has no immediate successor.
 
  • #10
andytoh said:
If Goldenwind hasn't accepted the all the proofs presented to him already, perhaps he wants proof that the reals is a linear continuum (i.e. for every distinct points x and y, there exists z such that x < z < y). Is that what you are looking for?
That's the definition of "densely ordered"; the property of being a continuum is far stronger.
 
  • #11
andytoh said:
If Goldenwind hasn't accepted the all the proofs presented to him already, perhaps he wants proof that the reals is a linear continuum (i.e. for every distinct points x and y, there exists z such that x < z < y). Is that what you are looking for?

Because there is no number between 0.999999... and 1 so they must be equal ASSUMING that each real number has no immediate successor.
"Properties of the reals", including being a continuum, is not relevant. Every number involved is a rational number.
 
  • #12
something I always remember in schoolwork:

if you really don't get a proof after considerable work, and it doesn't look like a big problem, then you're probably just missing some definition or theorem.
 

Related to I am stubborn. Prove to me that 0.999 = 1

1. Is 0.999 equal to 1?

Yes, 0.999 is equal to 1. This is a mathematical fact that has been proven and accepted by the mathematical community.

2. How can 0.999 be equal to 1?

0.999 is equal to 1 because it is a decimal representation of the number 1. Just like how 0.5 is equal to 1/2, 0.999 is equal to 1. This is because 0.999 is the sum of 9/10 + 9/100 + 9/1000, which is equivalent to 1.

3. Can you demonstrate that 0.999 is equal to 1?

Yes, we can demonstrate this using algebraic manipulation. We can start with the equation 0.999 = x and multiply both sides by 10, which gives us 9.999 = 10x. Then, we can subtract 9 from both sides, resulting in 0.999 = 10x - 9. Simplifying further, we get 0.999 = 9x. Finally, dividing both sides by 9 gives us x = 1, showing that 0.999 is indeed equal to 1.

4. How is 0.999 equal to 1 relevant or applicable in real life?

While this may seem like a purely theoretical concept, it has practical applications in various fields such as mathematics, physics, and engineering. It is used to solve equations and make calculations in various scientific and engineering problems. In fact, many real-world phenomena can be accurately described using decimal representations such as 0.999, and understanding that it is equal to 1 is crucial for accurate calculations and predictions.

5. Is there any room for doubt or debate in the fact that 0.999 is equal to 1?

While there may be some room for philosophical debates about the nature of numbers and their representations, the mathematical proof that 0.999 is equal to 1 is widely accepted and undisputed. It is a fundamental concept in mathematics and has been tested and proven countless times. Therefore, there should be no doubt or debate about this fact in the scientific community.

Similar threads

  • Introductory Physics Homework Help
Replies
12
Views
393
  • Calculus and Beyond Homework Help
Replies
15
Views
3K
  • Calculus and Beyond Homework Help
Replies
2
Views
551
  • Calculus and Beyond Homework Help
Replies
1
Views
499
  • Calculus and Beyond Homework Help
Replies
2
Views
438
  • Calculus and Beyond Homework Help
Replies
4
Views
578
  • Precalculus Mathematics Homework Help
Replies
15
Views
2K
  • Calculus and Beyond Homework Help
Replies
6
Views
2K
  • Calculus and Beyond Homework Help
Replies
15
Views
2K
  • Calculus and Beyond Homework Help
Replies
3
Views
700
Back
Top