Beweise, dass für n ≥ 1 {\displaystyle n\geq 1} gilt:
Aussageform, deren Allgemeingültigkeit für n ∈ N ≥ 1 {\displaystyle n\in \mathbb {N} _{\geq 1}} bewiesen werden soll:
1. Induktionsanfang:
2. Induktionsschritt:
2a. Induktionsvoraussetzung:
2b. Induktionsbehauptung:
2c. Beweis des Induktionsschritts:
![{\displaystyle {\begin{aligned}\sum _{k=0}^{n}(n+1+k)\cdot (n+1-k)&=\sum _{k=0}^{n}\left((n+1)^{2}-k^{2}\right)\\[5px]&=\sum _{k=0}^{n}\left(n^{2}+2n+1-k^{2}\right)\\[5px]&=\sum _{k=0}^{n}\left(2n+1\right)+\sum _{k=0}^{n}\left(n^{2}-k^{2}\right)\\[5px]&\ {\color {Gray}\downarrow 2n+1{\text{ ist in der ersten Summe ein konstanter Summand}}}\\[5px]&=\left(2n+1\right)\cdot \sum _{k=0}^{n}1+\sum _{k=0}^{n}\left(n^{2}-k^{2}\right)\\[5px]&=(2n+1)\cdot (n+1)+\sum _{k=0}^{n}\left(n^{2}-k^{2}\right)\\[5px]&{\color {Gray}\downarrow {\text{ Der letzte Summand der Summe ist }}0}\\[5px]&=(2n+1)\cdot (n+1)+\sum _{k=0}^{n-1}\left(n^{2}-k^{2}\right)\\[5px]&=2n^{2}+3n+1+{\color {OliveGreen}\sum _{k=0}^{n-1}(n+k)\cdot (n-k)}\\[5px]&\qquad \qquad \qquad \qquad \quad {\color {OliveGreen}\downarrow {\text{ Induktionsvoraussetzung einsetzen }}}\\[5px]&=2n^{2}+3n+1+{\color {OliveGreen}{{n\cdot (n+1)\cdot (4n-1)} \over 6}}\\[5px]&={{6(2n^{2}+3n+1)+n\cdot (n+1)\cdot (4n-1)} \over 6}\\[5px]&={{12n^{2}+18n+6+4n^{3}-n^{2}+4n^{2}-n} \over 6}\\[5px]&={{4n^{3}+15n^{2}+17n+6} \over 6}\\[5px]&={{4n^{3}+11n^{2}+6n+4n^{2}+11n+6} \over 6}\\[5px]&={{(n+1)(4n^{2}+11n+6)} \over 6}\\[5px]&={{(n+1)\cdot (n+2)\cdot (4n+3)} \over 6}\\[5px]\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dad58b054fd189a111fc0d7dc22694d34d2dbdee)
Summenformel mit Induktionsvariable in der Summe.svg){kind=small}
