n^3 + 5·n ist für alle n ∈ N durch 6 teilbar.
Induktionsanfang: n = 1
1^3 + 5·1 = 6
Induktionsschritt: n --> n + 1
(n + 1)^3 + 5·(n + 1)
= (n^3 + 3·n^2 + 3·n + 1) + (5·n + 5)
= n^3 + 3·n^2 + 8·n + 6
= (n^3 + 5·n) + 3·n^2 + 3·n + 6
= (n^3 + 5·n) + 3·(n^2 + n) + 6
= (n^3 + 5·n) + 3·n·(n + 1) + 6
Wir sehen jetzt 3 Summanden die alle durch 6 teilbar sind.