Induktionsschluss zu der Kleine Gauss:
Erster Schritt. Finde \(A_n\) in \(A_{n+1}\) wieder:
$$\underbrace{1+\cdots+(n+1)}_{=A_{n+1}}=\underbrace{\underbrace{(1+\cdots+n)}_{=A_n}+(n+1)}_{=\Phi(A_n,n+1)}=\ldots$$
Zweiter Schritt. Benutze die Induktionsvoraussetzung \(A_n=B_n\), d.h. ersetze \(A_n\) durch \(B_n\):
$$\ldots=\underbrace{\underbrace{\frac{1}{2}n(n+1)}_{=B_n}+(n+1)}_{=\Phi(B_n,n+1)}=\ldots$$
Dritter Schritt. Forme das erhaltene zu \(B_{n+1}\) um:
$$\ldots=\frac{1}{2}(n+1)(n+2).$$