∑(k = 0 bis n) (3·k + 1) = (n + 1)·(3·n + 2)/2
Induktionsanfang
∑(k = 0 bis 0) (3·k + 1) = (0 + 1)·(3·0 + 2)/2
1 = 1
Induktionsschritt
∑(k = 0 bis n+1) (3·k + 1) = ((n + 1) + 1)·(3·(n + 1) + 2)/2
∑(k = 0 bis n) (3·k + 1) + (3·(n + 1) + 1) = (n + 2)·(3·n + 5)/2
(n + 1)·(3·n + 2)/2 + (3·n + 4) = (n + 2)·(3·n + 5)/2
(n + 1)·(3·n + 2) + 2·(3·n + 4) = (n + 2)·(3·n + 5)
(3·n^2 + 5·n + 2) + (6·n + 8) = (3·n^2 + 11·n + 10)
3·n^2 + 11·n + 10 = 3·n^2 + 11·n + 10