∑ (i=1 bis n) a^{i - 1} = (a^n - 1) / (a - 1)
Induktionsanfang n = 1
a^0 = (a^1 - 1) / (a - 1)
1 = 1
Jetzt ist zu zeigen dass es für n+1 gilt, wenn es für n gilt.
∑ (i=1 bis n) a^{i - 1} + a^{(n + 1) - 1} = (a^{n + 1} - 1) / (a - 1)
(a^n - 1) / (a - 1) + a^n = (a * a^n - 1) / (a - 1)
a^n - 1 + a^n * (a - 1) = a * a^n - 1
a^n - 1 + a^n * a - a^n * 1 = a * a^n - 1
a * a^n - 1 = a * a^n - 1
qed.