■算術幾何平均の不等式(その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))
====================================