a1 = s1 und an = Sn - Sn - 1 für alle n > 1.
Beh.: \( \sum \limits_{k=1}^{n} a_k = S_n \)
n=1 : Da ist es \( \sum \limits_{k=1}^{1} a_k = S_1 \)
also \( a_1 = S_1 \) und so ist ja a1 definiert .
Angenommen es gilt für ein n∈ℕ, also \( \sum \limits_{k=1}^{n} a_k = S_n \)
Dann gilt nach Def. von an+1 auch \( a_{n+1}=S_{n+1} -S_n \)
Jetzt für Sn die Induktionsannahme einsetzen gibt
\( a_{n+1}=S_{n+1} - \sum \limits_{k=1}^{n} a_k \)
Summe auf die andere Seite:
\( a_{n+1} + \sum \limits_{k=1}^{n} a_k =S_{n+1} \)
==> \( \sum \limits_{k=1}^{n+1} a_k =S_{n+1} \) q.e.d.