I do not know enough mathematics to judge whether the proof is valid or not but, if valid, it appears to generate a paradox which, so far as I know, has not been commented on in the forums.
Given that the conclusion 0.999… = 1 is valid, it is easy to prove, in like fashion, that an infinitely small fraction must be equal to zero, thus:
1 - 0.99… = 0.0…1
(where the number of zeroes between the decimal point and the ‘1’ is assumed to be infinite).
But 1 - 0.99… = 1 - 1 = 0; therefore,
0.0…1 = 0
We can see immediately that if 0.0…1 = 0, then -0.0…1 must also be equal to zero. We thus have three values (so far) which, although logically distinguishable, are equally entitled to the name of ‘0’.
Another moment’s thought will suggest that the set of such numbers must be infinite. Since 0.0…2 differs from 0.0…1 by the same magnitude which differentiates the latter from zero, then it too must be equal to zero. And so on ad infinitum.
The set of numbers which are equal to zero is thus infinite, and every member of the set is a logically unique value.
I suppose the paradox does not arise if it can be shown that 0.0…1 (an infinity of zeroes, bounded at one extreme by a decimal point, and at the other by the number 1) is not an allowable number – not a ‘legal’ number, as Microsoft would say. Is this in fact the case?
This paradox is bothering me. Can anyone help me resolve it?