Agayek said:
Rubashov said:
That doesn't make sense. You're saying that 10x-x is a number with an infinite number of decimal places occupied by nines, but the last decimal place is occupied by a one. Which means that you're essentially saying that 10x-x has both an infinite number of decimal places and a finite number of decimal places. That's a contradiction.
You cannot perform mathematical operations on an infinitely repeating number. Therefore, you must at some point terminate the string. At that point, you can then multiply it by 10 and proceed.
However once you do that, 9.9999...999 will have shifted to the left, so 0.999...999 will have one more significant digit. Thus, you get 8.999...991.
Edit:
havass said:
But it goes on to infinity, so technically there's no 1.
Same answer to you too.
Here's a more rigorous proof for you then:
An infinite decimal is defined to be:
lim(as n->infinity)sum(from k=1 to n) (a[sub]k[/sub] * 1/10[sup]k[/sup])
where a[sub]k[/sub] is the kth digit of the decimal.
Therefore, 0.999... is defined to be:
lim(as n->infinity)sum(from k=1 to n) (9 * 1/10[sup]k[/sup])
So all we need to do is show that that is equal to one.
Which is true iff for all e>0 there exists an N such that for all n>N |1 - sum(from k=1 to n) (9 * 1/10[sup]k[/sup])| < e
Now sum(from k=1 to n) (9 * 1/10[sup]k[/sup]) is a finite sum, and so we can calculate that
|1 - sum(from k=1 to n) (9 * 1/10[sup]k[/sup])| = |1/10[sup]n[/sup]|
So we need to show that for all e>0 there exists an N such that for all n>N |1/10[sup]n[/sup]| =1 then |1/10[sup]n[/sup]| e>0, then let N = 1/e and then |1/10[sup]n[/sup]| N
Hence the claim that, for all e>0 there exists an N such that for all n>N |1 - sum(from k=1 to n) (9 * 1/10[sup]k[/sup])| < e, is true.
So, by the definition of a limit, lim(as n->infinity)sum(from k=1 to n) (9 * 1/10[sup]k[/sup]) = 1
Therefore, by the definition of infinite decimals, 0.999... = 1
QED