Long division using non-unique/dual representations.
I am not good enough at numerical analysis to prove this but intuition (and facts, tbh) would indicate that long division using, for example 7 dividing 1 would be equivalent to 7 dividing 0.99…. This would be a useful way to teach long division (althought students might get confused by 0.9…=1 so the whole thing is moot)
ANYWAY my question is how does one formally prove that division using a dual representation will be exactly the same from a numerical standpoint, without taking it for granted that 0.9…=1. I suppose it would be sufficient to prove 0.9…=1, thought wouldn’t it.