Danke an Tschakabumba für die Erhellung.
Zu zeigen:
n^3 + n + 2 ist durch 4 teilbar wenn n kein vielfaches von 4 ist.
Induktionsanfang: n = 1, 2, 3
1^3 + 1 + 2 = 4 ist durch 4 teilbar
2^3 + 2 + 2 = 12 ist durch 4 teilbar
3^3 + 3 + 2 = 32 ist durch 4 teilbar
Induktionsschritt: n → n + 4
(n + 4)^3 + (n + 4) + 2 ist durch 4 teilbar
(n^3 + 12·n^2 + 48·n + 64) + (n + 4) + 2 ist durch 4 teilbar
n^3 + 12·n^2 + 49·n + 70 ist durch 4 teilbar
n^3 + n + 2 + 12·n^2 + 48·n + 68 ist durch 4 teilbar
(n^3 + n + 2) + (12·n^2 + 48·n + 68) ist durch 4 teilbar
(n^3 + n + 2) + 4·(3·n^2 + 12·n + 17) ist durch 4 teilbar
wahr, da die Summe zweier durch 4 teilbarer Zahlen durch 4 teilbar ist.