The sum of finite geometric series is a(r-r^n)/(1-r).
Now, to derive the sum of infinite series from the sum of finite series above, we are using the fact that r^n => 0 for n => infinity, if |r| < 1.
Then the formula becomes ar/(1-r). Great, and this is then how you prove using the sum of infinite geometric series, that 0.9 recurring = 1.
But wait a moment! r^n will never ever be 0 unless r=0. We just threw it away and used the result to prove what we wanted it to be.
That r^n that we threw away is in fact the difference between 0.9 recurring and 1, (if you divide it by (1-r)). This actually proves that we can never accurately determine the sum of that series unless we know what n is, which also highlights the error in the 10x = 9.9 recurring theory.
So once again, it gets very close, but it just isnt.
I think where the cofusion comes in, is around whether or not 0.9 recurring is a constant number or a number that converges.
Lets take (x-1)/(x+1). We could easily prove using L'Hospitals rule that this converges to 1 as x => infinity.
The reason is because the value of this expression actually changes as x gets larger and larger.
But what happens to 0.9 recurring as x goes to infinity. Well, nothing. 0.9 recurring is not dependant on any variable.
So, in fact you could argue that it does not converge to anything at all. The limit of 0.9 recurring is 0.9 recurring.
It just feels to me that saying 0.9 recurring = 1 is turning mathematics into some form of fancy trickery.
Look I can prove that this hat contains a rabbit, as long as nobody checks my sleeve.