From what I can tell, proving that 0.9999... + 0.1111.... = 1.1111.... requires*** some way of working with sums of infinite geometric series, and if you can do that it's more straight forward to just directly prove that 0.9999... = 1.
***Maybe it doesn't but I suspect other methods would be even more esoteric