■有界な単調数列(その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のニュートン法と一致する.

===================================