The ole Euler proof for infinite series is based on mathematical induction for finite partial sums, then , with a grand leap of faith, POOF! We can conclude something for infinity!
Sorry to burst this bubble, but Euler incorrectly subtracted the 2 “numbers” in order to attain his desired result, fooling many of the mathematical community.
The Limit concept prevents this equality in the first place (as a sum). That is besides the point for now. Let’s show how the proof is flawed, shall we?
First, let’s try and apply the “proof” using infinity:
$$S = a + ar + ar² + … + arⁿ + … ar^∞$$
$$rS = ar + ar² + … + arⁿ + … ar^(∞+1)$$
Now what usually happens here is the magical INCORRECT subtracting of infinite series terms. You see, here is the correct way of subtracting infinite converging series: $$ Σ { a_i - b_i } = Σ a_i - Σ b_i $$
But you see in the proof, they subtract like this: $$a_i+1 - b_i:$$
$$S - rS = (a - 0) + (ar - ar) + (ar² - ar²) + … $$
This forces the results to be what is desired along with asinine things such as 2 different decimal numbers being the same decimal number, ie, 0.(9) = 1
The particular detail here is that rS has one more term in the sequence at all times since you are subtracting the “next term” in S from the “current term” in rS.
However, when done correctly, you get consistent results:
$$S = Σ a_i$$
$$rS = Σ r x a_i$$
$$S - rS = Σ {ra_i - a_i}$$
Apply to 9.(9) where a = 9, r = 1/10:
$$S = 9 + 9/10 + 9/100 + …$$
$$rS = (1/10) x S = 9/10 + 9/100 + …$$
$$S - rS = (9 - 9/10) + (9/10 - 9/100) + … = 8.1 + 0.81 + 0.081 + … = 8.999…$$
You are led to believe that S - rS = a, but clearly above:
$$S - rS = (a - ar) + (ar - ar²) + …$$
If a = 9, and r = 1/10, then S - rS = 9
But if we do it correctly, S - rS = 8.999…
As we can see, the proof is flawed using incorrect infinite series subtractions to achieve the results that were desired. The proof was not a proof at all since it is invalid… unless you assume 9 = 8.999… which is completely circular, that is, assuming $$S - rS = a$$ which is the basis of the entire “proof” of 0.(9) = 1.