Wegen
\(f(\sqrt{a})=\frac{a+a}{2\sqrt{a}}=\sqrt{a}\)
ist \(\sqrt{a}\) ein Fixpunkt von \(f\). Damit konvergiert die Folge \(x_{n+1}=f(x_n)\) nach dem Banachschen Fixpunktsatz gegen diesen Wert.
Da \(f\) wegen \(|f'(x)|=\left|\frac{1}{2}-\frac{a}{2x^2}\right|<1\) für \(x\geq \sqrt{a}\) auf \([\sqrt{a};\infty[\)
eine Kontraktion ist, ist der Banachsche Fixpunktsatz anwendbar.
Weiter ist \(f'(x)=0\) für \(x=\sqrt{a}\), das heißt \(f(x)\geq f(\sqrt{a})=\sqrt{a}\) für alle \(x>0\)
(wegen \(f''(x)=\frac{a}{x^3}\) ist \(f\) für \(x>0\) konvex und es liegt ein globales Minimum vor).
Ist der Startwert \(x_0\) also kleiner als \(\sqrt{a}\), so gilt bereits nach dem ersten Schritt \(f(x_0)\geq\sqrt{a}\) und das Verfahren konvergiert aufgrund der Kontraktionseigenschaft.