a1 = 2
an+1 = ((an)^2 + 1) / (2 * an)
a2 = 1.25
a3 = 1.025
Vermutung streng monoton fallend mit Grenzwert 1
an+1 < an
((an)^2 + 1) / (2 * an) < an
(an)^2 + 1 < an * (2 * an)
(an)^2 + 1 < 2 * (an)^2
- (an)^2 < - 1
(an)^2 > 1
Für an > 1 erfüllt.
----------------------------------------------------------------------------------------------------
((an)^2 + 1) / (2 * an) > 1
(an)^2 + 1 > 2 * an
(an)^2 - 2 * an + 1 > 0
(an - 1)^2 > 0
Für an > 1 erfüllt.
----------------------------------------------------------------------------------------------------
Grenzwert
an+1 = an
Wird wie obige ungleichung gelöst.