■算術幾何平均の不等式(その7)

(1)2数a0,b0をとり,a1=(a0+b0)/2,b1=√a0b0を計算する.次に,a2=(a1+b1)/2,b2=√a1b1とする.

 f=G,g=Aならば極限M(a,b)は楕円積分

  M(a,b)=1/(2/π∫(0,π/2)dφ/√{(acosφ)^2+(bsinφ)^2})

により表すことができる(ガウス).→算術幾何平均

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

 0<a<bのとき

 a=a0<a1<a2<・・・>b2>b1>b0>b

M(a,b)=liman=limbn

M(ra,rb)=rM(a,b)

M(a,b)=bM(a/b,1)

M(a,b)=aM(1,b/a)

k’=b/a,k^2=1−k’^2

  M(a,b)=1/(2/π∫(0,1)dx/√(1−x^2)(1−k^2x^2))

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