Heron-Verfahren/Quadratische Streckung/Aufgabe

Es sei ein Element in einem angeordneten Körper und sei die Heron-Folge zur Berechnung von mit dem Startwert . Es sei , , und die Heron-Folge zur Berechnung von mit dem Startwert . Zeige

für alle .