Hallo gggirl,
In der 5. zeile muss natürlich 9 ≥ 9 stehen.
Bei IS bist du in der Zeile n2 ≥ 4 eigentlich fast fertig:
(n+1)2 ≥ 2*(n+1) + 3 ⇔ .... ⇔ n2 ≥ 4 ⇔ n ≥ 2
Der IS funktioniert also für n ≥2 "von allein" (ohne IV) und nach Voraussetzung ist n ≥ 3
Die Voraussetzung n≥3 brauchst du nur bei IA.
Dass der IS hier ohne die Induktionsvoraussetzung funktioniert, liegt daran, dass man die Ausgangsungleichung ( = IV für ein n) hier für n ≥ 3 in gleicher Weise auch direkt beweisen kann:
n2 ≥ 2n + 3 | - 2n | +1
⇔ n2 - 2n + 1 ≥ 4
⇔ (n-1)2 ≥ 4
⇔n≥3 n-1≥ 2
⇔ n ≥ 3
Gruß Wolfgang