We all know that $\frac{1}{3} = 0.\overline{3}$, and that when we multiply it by $3$, we get $1$. But, $3\times \frac{1}{3} = 0.\overline{9}$.
Are there any ideas on how to prove that $0.\overline{9}= 1$? I have no ideas, I only wrote down that $0.\overline{9}+x= 1$ for $x\neq 0$, but I don't know how to proceed.
Classical proof:
Let $x=0.999...$ Then $$10x=9.999...\implies 10x-x=9.999...-0.999...$$ so $$9x=9\implies x=1$$