Also der Anfang passt ja schonmal. Die IV funktioniert ein bisschen anders. Du sagst da quasi folgendes: Zunächst sei n irgendeine fest gewählte Zahl. Dann sei die Behauptung war für alle n>=1 - also für alle n. Wenn wir das voraussetzen könnten wäre ja nichts mehr zu zeigen. Korrekt sieht's so aus:
IV: Sei N eine natürliche Zahl. Die Behauptung sei wahr für alle n mit 1 => n => N. (kleinergleich, kein Folgepfeil :D )
Beim IS ist der Anfang nicht richtig - die Aussage, die wir zeigen wollen, ist nämlich
nicht 4*(n+1)=2*(n+1)^2+(n+1), sondern
3+7+11+...+(4n-1) + (4(n+1)+1) = 2*(n+1)^2+(n+1).
Dafür schauen wir uns die beiden Seiten der Gleichung genauer an, vereinfachen soweit wie möglich, nutzen irgendwo die IV und dann sind wir fertig. Die rechte Seite kannst du sicherlich selbst vereinfachen. In der linken müssen wir die IV benutzen. Siehst du, wie das klappen kann?