Quadratwurzeln approximieren
Mit Hilfe der im November 2009 veröffentlichten Beweise zu den rekursiv gebrochenen Folgen lässt sich eine Möglichkeit zur Approximation1 von Quadratwurzeln herleiten.
Behauptung
Für alle reellen $z>0$ gilt für alle reellen $k>0$:
Beweis
Für $k^2=z$ nimmt der Bruch den trivialen Wert 0 an und es bleibt k als Lösung der Wurzel von z übrig. Im Folgenden wird der Fall $k^2\neq z$ betrachtet.
Nimm die Gleichung (1)
und ersetze darin
um folgende Gleichung (2) zu erhalten
Unter den mit den vorgenommenen Ersetzungen erfüllten Voraussetzungen $pq\neq 0$ und $p^2>4q$ sowie $|a|<|b|$, wobei a und b Lösungen der Gleichung (2) sind:
gilt gemäß dem Artikel „Grenzwerte zweier Folgen“:
Dann gilt auch mit den oben vorgenommenen Ersetzungen
oder anders ausgedrückt
Schon fertig. :-)
Anmerkung
Um mit dieser Formel die Quadratwurzel einer Zahl z anzunähern, kann man der Einfachheit halber $k:=1$ setzen, dann gilt $k=k^2$. Für eine rasche Konvergenz empfiehlt sich allerdings, mit $z-k^2$ der 1 möglichst nahe zu kommen. Dafür kann für $k^2$ die z am nächsten liegende bekannte Quadratzahl gewählt werden. Beispielsweise wäre zur Approximation der Quadratwurzel von 122 die Wahl $k:=11$, also $k^2=121$, optimal.
- Approximieren bezeichnet das Annähern.
Ein anderes Fachwort in diesem Zusammenhang ist „Radizieren“ fürs Wurzelziehen. Klingt sehr nach Radieschen, oder? Das ist kein Zufall – die Wurzel beider Worte liegt im lateinischen Wort radix: Wurzel.
Die präsentierte Formel ist als „Formel von Bombelli“ bekannt, siehe Splitter vom 19. Januar.