Induktionsanfang sollte klar sein.
Induktionsvoraussetzung: Angenommen, die Aussage sei für ein beliebiges, aber festes, \(n\in \mathbb{N}_{\geq 1}\) wahr. Dann gilt auch nach der Distributivität:
$$ \sum_{k=1}^n k^3=\Bigg(\sum_{k=1}^n k\Bigg)^2=\Bigg(\sum_{k=1}^n k\Bigg)\cdot \Bigg(\sum_{j=1}^n j\Bigg)=\sum_{k=1}^n \Bigg(\sum_{j=1}^n k\cdot j\Bigg)\quad (IV).$$
Induktionsschritt: Dann gilt diese Aussage auch für n+1, also:
$$ \Bigg(\sum_{k=1}^{n+1} k\Bigg)^2=\sum_{k=1}^{n+1} k^3 .$$
Es gilt nun:
$$ \Bigg(\sum_{k=1}^{n+1} k\Bigg)^2=\Bigg(\sum_{k=1}^{n+1} k\Bigg)\cdot \Bigg(\sum_{j=1}^{n+1} j\Bigg)=\sum_{k=1}^{n+1} \Bigg(\sum_{j=1}^{n+1} k\cdot j\Bigg)\\[30pt]= \sum_{k=1}^{n} \Bigg(\sum_{j=1}^{n+1} k\cdot j\Bigg)+\underbrace{\Bigg(\sum_{j=1}^{n+1} (n+1)\cdot j\Bigg)}_{(n+1)-\text{tes Summenpaar}}\\[30pt]= \sum_{k=1}^{n} \Bigg(\Bigg(\sum_{j=1}^{n} k\cdot j\Bigg)+k\cdot (n+1)\Bigg)+\underbrace{\Bigg(\sum_{j=1}^{n+1} (n+1)\cdot j\Bigg)}_{(n+1)-\text{tes Summenpaar}}\\[30pt]=\Bigg(\sum_{k=1}^{n} \Bigg(\sum_{j=1}^{n} k\cdot j\Bigg)\Bigg)+\Bigg(\sum_{k=1}^n k\cdot (n+1)\Bigg)+\underbrace{\Bigg(\sum_{j=1}^{n+1} (n+1)\cdot j\Bigg)}_{(n+1)-\text{tes Summenpaar}}\\[30pt]\stackrel{(IV)}{=}\Bigg(\sum_{k=1}^n k^3\Bigg)+(n+1)\cdot\Bigg(\sum_{k=1}^n k\Bigg)+\underbrace{(n+1)\cdot\Bigg(\sum_{j=1}^{n+1} j\Bigg)}_{(n+1)-\text{tes Summenpaar}}\\[30pt]=\Bigg(\sum_{k=1}^n k^3\Bigg)+(n+1)\cdot \frac{n\cdot (n+1)}{2}+(n+1)\cdot \frac{(n+1)\cdot (n+2)}{2}\\[30pt]=\Bigg(\sum_{k=1}^n k^3\Bigg)+\frac{n\cdot (n+1)^2}{2}+\frac{(n+2)\cdot (n+1)^2}{2}\\[30pt]=\Bigg(\sum_{k=1}^n k^3\Bigg)+\frac{(n+n+2)\cdot (n+1)^2}{2}\\[30pt]=\Bigg(\sum_{k=1}^n k^3\Bigg)+(n+1)^3\\[30pt]=\sum_{k=1}^{n+1} k^3$$