(1) Stelle zunächst fest, dass \(a_n>0\) für alle \(n\in\N\) gilt.
(2) Zeige, dass die Folge nach unten durch \(3\) beschränkt ist: Es ist \(a_1=9>3\), sowie$$a_{n+1}-3=\frac12\left(a_n+\frac9{a_n}\right)-3=\frac{(a_n-3)^2}{2a_n}\ge0.$$(3) Zeige, dass die Folge monoton fallend ist:$$a_n-a_{n+1}=a_n-\frac12\left(a_n+\frac9{a_n}\right)=\frac{a_n^2-9}{2a_n}\ge0.$$(4) Die Folge ist monoton fallend und nach unten beschränkt also konvergent.
(5) Der Grenzwert \(a\) ist die positive Lösung der Gleichung \(a=\frac12\left(a+\frac9a\right)\), also \(a=3\).