0.999.../Proof by equality of Dedekind cuts
In the Dedekind cut approach, the real number 1 is the set of all rational numbers that are less than 1.
Meanwhile, the real number 0.999... is the set of rational numbers r such that r < 0, or r < 0.9, or r < 0.99, or r is less than some other number of the form
The proof that these two Dedekind cuts are equal then relies on proving that these two set conditions are equivalent.
It can be shown that any number rational number smaller than 0.999... is also smaller than 1, since any non-negative n will give a value of 1-(1/10)^n which is smaller than 1.
All that remains is to prove that if a rational is smaller than 1, that it is always in 0.999... that:
for any r in Q
Substituting r for a natural fraction a/b
And letting n in the Quantification equal the denominator b gives
cross-multiplication by 10^b gives
and since we know that a is smaller than b, and 10 is positive, this will always be true.
Thus the two sets are equivalent, and 0.999... = 1.