Lösung.

Induktionsanfang. Für $ \mbox{$n = 0$}$ ist $ \mbox{$\sum_{i=0}^{-1} i^3 = 0$}$ und $ \mbox{$0^2 (0-1)^2/4 = 0$}$.

Induktionsschritt. Sei die Aussage für $ \mbox{$n$}$ als wahr angenommen, und sei sie für $ \mbox{$n+1$}$ zu zeigen. Wir erhalten

$ \mbox{$\displaystyle \begin{array}{rcl} \sum_{i=0}^n i^3 & = & \left(\sum_{i=... ...& n^4/4 + n^3/2 + n^2/4 \\ & = & (n+1)^2 ((n+1)-1)^2/4\; . \\ \end{array}$}$