Wohl eher so:
3 * ∑ (k=1 bis n+1) über (2k-1)2 = 4n3+12n2+11n+3
für n=0 nur 1 Summand 3 * (2*0-1)^2 = 4*0+12*0+11*0+3 Passt!.
Sei es gültig für ein n, dann gilt
3 * ∑ (k=1 bis n+1) über (2k-1)^2 = 4n^3+12n2+11n+3
<=> ∑ (k=1 bis n+1) über (2k-1)^2 = 4/3n^3+4n^2+11/3^n+1
also gilt auch (Jetzt muss man es ja für n+1 zeigen):
3 * ∑ (k=1 bis (n+1)+1) über (2k-1)^2 =
3*( ∑ (k=1 bis n+1 über (2k-1)^2 + (n+2)-ter Summand ) =
3*( ∑ (k=1 bis n+1 über (2k-1)^2 + (2*(n+2) - 1 )^2
dann Ind.annahme einsetzen
= 3 * ( 4/3n^3+4n^2+11/3*n+1 + (2n+3)^2 )
= 3 * ( 4/3n^3+4n^2+11/3*n+1 + 4n^2 + 12n + 9 )
= 4n^3+12n^2 +11n +3 + 12n^2 + 36n + 27
= 4n^3+24n^2 +47n +30
Und nun prüfen, ob dies das gleiche ist wie :
4(n+1)^3+12(n+1)^2+11(n+1)+3..
Klammern auflösen zeigt: Das passt auch !