Da hatte ich das schon mal mit vollständiger Induktion gezeigt
Behauptung
2·n^3 + 3·n^2 + n ist durch 6 teilbar
Induktionsanfang: n = 1
2·1^3 + 3·1^2 + 1 = 6
wahr, da 6 durch 6 teilbar ist
Induktionsschritt: n --> n + 1
2·(n + 1)^3 + 3·(n + 1)^2 + (n + 1) ist durch 6 teilbar
2·(n^3 + 3·n^2 + 3·n + 1) + 3·(n^2 + 2·n + 1) + (n + 1) ist durch 6 teilbar
2·n^3 + 9·n^2 + 13·n + 6 ist durch 6 teilbar
2·n^3 + 3·n^2 + 6·n^2 + n + 12·n + 6 ist durch 6 teilbar
(2·n^3 + 3·n^2 + n) + (6·n^2 + 12·n + 6) ist durch 6 teilbar
(2·n^3 + 3·n^2 + n) + 6·(n^2 + 2·n + 1) ist durch 6 teilbar
Der linke Summand ist wegen der Induktionsannahme durch 6 teilbar und der rechte Summand ist durch 6 teilbar weil er den Faktor 6 enthält.