Induktionsanfang:
a1 = 3 = 12-1+3 = 3
Induktionsvoraussetzung:
Wir wissen also, dass es für ein n gilt, also können wir ausgehen, dass die Aussage für ein beliebiges, aber festes n gilt.
Wir nehmen also:
an+1 = an + 2 * n
Und wollen am Ende zeigen, dass gilt: an+1 = (n+1)^2 - (n+1) + 3 = n^2 + 2n + 1 - (n+1) +3 = n^2 + n + 3
Also wenden wir die Induktionsvoraussetzung an und setzen anstelle von an die bekannte Formel ein:
an+1 = (n2 − n + 3 )+ 2 * n = n^2 + n + 3
Und damit ist die Aussage gezeigt.