Da alles positiv ist, reicht es zu zeigen: \( x_n^2 - a \ge 0 \)
Betrachte \( x_{n+1}^2 - a = ( \frac{1}{2} \cdot\left(x_{n}+\frac{a}{x_{n}}\right) )^2 - a \)
\( = \frac{1}{4} \cdot\left(x_{n}^2 + 2a +(\frac{a}{x_{n}})^2\right) ) - \frac{1}{4}\cdot 4a \)
\( = \frac{1}{4} \cdot\left(x_{n}^2 -2a +(\frac{a}{x_{n}})^2\right) ) \)
\( = ( \frac{1}{2} \cdot\left(x_{n}-\frac{a}{x_{n}}\right) )^2 \)
und Quadrate sind nie negativ. q.e.d.