I contend that 9+0.99999... is a less ambiguous interpretation of the "working" proof than 10*0.99999... because it doesn't in any way adjust the number of decimal places. That's where I think some implicit rounding occurs.
If you want to approach it quasi-arithmatically, then remember that multiplication is just a shorthand form of addition, so "10x" is exactly equivalent to writing "x+x+x+x+x+x+x+x+x+x," and therefore:
is in fact exactly the same as stating:
Code:
0.999...
0.999...
0.999...
0.999...
0.999...
0.999...
0.999...
0.999...
0.999...
+ 0.999...
--------
9.999...
which is in fact completely
different from stating:
Code:
0.999...
+ 9.000...
--------
9.999...
...which can be verified simply by inspection. If anything, you accidentally show that 9.999...
is the same as 9.999... (both methods produce the same result), which would actually prove that 9x0.999...=9 and therefore that 0.999...=1.
Now each of the ten terms in that tall addition problem above all have infinite significant digits. Thus it follows that there is no "lost" digit on the end, because every digit always has another 9 to the right of it to keep it from "rolling over" to zero. Your argument that you can make an equivalent by saying, "We are not multiplying by 10, we are adding a 9 in front of it" makes no sense for the same reason I can't arbitrarily say that "we are not multiplying by ten, we are adding a zero on the end." If that were true, then 10 x 0.999... would instead be 0.999...0 which is impossible (that rule has a hidden restriction, which is that the number you are multiplying by 10 can't have any significant digits after the decimal point). Even if you try and rationalize it by moving the decimal point and then sticking a zero into the spot which "opened up" (10x0.999... = 9.999...0) this "rule" still fails because there is no end, no terminus where you could stick that zero. The hard part to visualize is that the series of nines is not dynamically growing and pushing out into infinity faster and faster as you race to put your zero on the "end." Instead it is static. Its foreverness does not change since it was already forever when you started. You could count off a dozen
googolplexes of 9's as you try to reach the end, but once you had done so, you would literally be no closer to the "end" than when you started. Not "figuratively" no closer, but
literally. Even half of forever is still forever. This is what "Infinite" means.
You can convert it to other bases if you really want, but the result ends up being the same.
0.999... (base 10) is exactly equal to 0.222... (base 3) or 0.FFF... (base 16). It is easiest to see in (base 2) because 0.111... perfectly illustrates the concept of "there is no room for any number to exist between 0.111... and 1.000..."
If you want to look at this algorithmically instead of algebraically, the concept being stated is that a zero followed by an infinite series of digits-which-are-all-one-unit-less-than-the-base will always be the same as (or simplify to) one unit.
Infinity is a hard concept to grasp, and transcends such concepts as, "how many." In Mathematics, you say something is "Infinite" not because it would be
impractical to determine (like how many atoms exist in the Universe), but because it would be
impossible to quantify (like how many real numbers exist between 0 and 1).
--Patrick