■有界な単調数列(その1)
a1=(b+a/b)
an=1/2・(an-1+a/an-1),n≧2と定める.
===================================
[1]相加平均・相乗平均不等式より
an=1/2・(an-1+a/an-1)≧√a
すなわち,下に有界である.
[2]an+1−an=1/2・(an+a/an)−an=1/2・(a−an^2)/2an<0
すなわち,単調減少である.
[3]極限をαとすると
α=1/2・(α+a/α),α→√a
すなわち,y=x^2,y=aのニュートン法と一致する.
===================================