Soraryuu said:
Ok, blank slates now. New angle of attack. So, 0.999_ is a number that has "infinite" nines? You're using infinity in a number?
The point is that the 9s continue forever, you can choose to call that concept infinity, or to just call it "continuing forever".
Infinity is not a number.
Actually, in some number systems, such as the Riemann Sphere [http://en.wikipedia.org/wiki/Riemann_sphere] infinity
is a number. But that's fairly irrelevant here.
1/3 is impossible to make into a complete number, same for all other fractions that lead to repeating. All of this 0.999_ stuff is a mathematical mistake on par with 1/0.
0.333... and 0.999... aren't defined using infinity, but using limits as they tend to infinity. So there is absolutely no need to manipulate infinity when discussing them.
See the following proof:
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