At the risk of not remotely understanding the answer, how? Surely there is no difference between 0.9... and 1, as there is no rational number between them?
Hmm. The Dedekind cut is one of those things that makes my head hurt. I have to think about just the definition for an hour before I can even start solving a problem. So, I don't think I would be able to be brief. My best explanation was the one I gave in my previous post - simply that because the two numbers are symbolically different, their value is different.
It doesn't matter that you can't find a rational number between them. A Dedekind cut focuses on the "gap" between two numbers. It defines a set "A" that is less than "B", and yet does not specify the greatest value for "A." Therefore, "A" is unbounded and yet less than "B" (I'm not sure I said that quite right). Anyway, the two sets (I think they're called "rings") "A" and "B" have no intersection. Therefore, it is impossible for any of their members to be equal. Richman then shows that a Dedekind cut of the number line puts 0.9... and 1.0... in two different sets. So, they are not equal.
If it helps, think of this. Blayz arbitrarily multiplied x by 10. You don't have to do that. What if you multiplied x by 9. The trick should still work, but it doesn't. How do you do the multiplication? Maybe someone would argue that you get:
-x = -0.9...
9x = 8.9...
----------
8x = 8
x = 1
But that's not right. Think of a truncated version:
-x = -0.999
9x = 8.991
-----------
8x = 7.992
x = 0.999
Since multiplication requires starting at the
right end of the number, you're actually
approximating the infinite series in that algebra trick in order to bootstrap the process. You're also depending on an artifact of a 10-based system to make the trick work. If we worked in a hexadecimal system (like computers do), the trick wouldn't work because you would be using the wrong approximation. In other words, you would have to use the hexadecimal equivalent to make the trick work, and you would end up proving a different result (even though they are very similar).
Did that actually help?