n(n²-1) = n(n+1)*(n-1)
Es sind 3 aufeinanderfolgende natürliche Zahlen.
Die sollen aber nicht den Satz möglichst elegant beweisen. Die Aufgabe wurde als Übungsaufgabe für das Beweisverfahren der vollständigen Induktion gestellt.
In Induktionsvoraussetzung ist 3|n(n²-n), also 3|n³-n
Behauptet wird nun 3|(n+1)((n+1)²-1), also 3|n³+3n²+2n.
Wenn man jetzt die Terme n³-n und n³+3n²+2n. vergleicht wird man feststellen, dass der zweite Term aus dem ersten Term durch Addition von 3n²+3n (bzw. durch Addition von 3(n²+1) entsteht.
n³-n ist laut Induktionsvoraussetzung durch 3 teilbar, und 3n²+3n ist dies (warum wohl?) ebenfalls.
Damit ist die Summe beider Terme auch durch 3 teilbar.