Da hatte ich das schon mal mit vollständiger Induktion gezeigt
Behauptung
2·n3 + 3·n2 + n ist durch 6 teilbar
Induktionsanfang: n = 1
2·13 + 3·12 + 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·(n3 + 3·n2 + 3·n + 1) + 3·(n2 + 2·n + 1) + (n + 1) ist durch 6 teilbar
2·n3 + 9·n2 + 13·n + 6 ist durch 6 teilbar
2·n3 + 3·n2 + 6·n2 + n + 12·n + 6 ist durch 6 teilbar
(2·n3 + 3·n2 + n) + (6·n2 + 12·n + 6) ist durch 6 teilbar
(2·n3 + 3·n2 + n) + 6·(n2 + 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.