Nächste Seite: Invarianten (III)
Aufwärts: Ergänzungen (21. 11. 03)
Vorherige Seite: Schleifen-Invarianten
Beweis: Falls und gerade, dann
, also
.
Falls und ungerade: Übung.
Der Wert von vor der Schleife ist
,
der Wert von nach der Schleife ist
.
Johannes Waldmann
2004-01-30