>>37 (1)
>>40
G1=a，G2=√(ab)，G3=(abc)^(1/3)，…とおく。
コーシーで
（a+a)(a+b）≧（G1+G2)^2,
（a+a+a)(a+G2+b)(a+b+c）≧（G1+G2+G3)^3,
（a+a+a+a)(a+a+b+b)(a+b+G3+c)(a+b+c+d）≧（G1+G2+G3+G4)^4,

>>39
チェビシェフで
｛c(a+b)+a(b+c)+b(c+a)} {2/(a+b)+2/(b+c)+2/(c+a)｝≦ 6(a+b+c),
∴　1／H(A(a,b)，A(b,c)，A(c,a)）≦ s/t,

｛(a+b)+(b+c)+(c+a)} {2ab/(a+b)+2bc/(b+c)+2ca/(c+a)｝≦ 6(ab+bc+ca),
∴　A(H(a,b)，H(b,c)，H(c,a)）≦ t/s,
　
よって
A(a,b,c)）= A(A(a,b),A(b,c),A(c,a))
≧ H(A(a,b),A(b,c),A(c,a))
≧ A(H(a,b),H(b,c),H(c,a))
≧ H(H(a,b),H(b,c),H(c,a)）= H(a,b,c),