6 ms·
>Intuitively, it may feel like the number 0.999... gets closer and closer 1 to without ever reaching 1. The actual proof is almost never discussed, but it is h
by constantcrying 4y ago
>Intuitively, it may feel like the number 0.999... gets closer and closer 1 to without ever reaching 1.
The actual proof is almost never discussed, but it is hidden in that statement. By definition of the equality of real numbers two real numbers either are the same, or they differ by a fixed positive ammount. It is easy to except that 0.999... nears 1 arbitrarily close, but that is already proof that they are the same.
- kbrkbr 4y agoRight. Thanks for that thoughtful comment, now I remember epsilon and delta. Just want to add that this way of looking at it is only helpful if reals are the agreed upon number set. If we talk about rational numbers the 1/3 + 1/3 + 1/3 proof is not so bad, is it? Rational numbers can be expressed using repeated decimal notation.
- constantcrying 4y ago>If we talk about rational numbers the 1/3 + 1/3 + 1/3 proof is not so bad, is it? It's not a proof at all, as the author acknowledges. In fact it essentially assumes the consequent. The issue is that writing down 0.333... essentially already assumes that you are working with real numbers. 0.333... should be thought of as an infinite series and you really want to use analysis in that case. You can do analysis on the rationals, but that is a very bad idea. But in the end you would still define equality the same way, which already is the proof.