>>186

n=3 のときは
Lhs - Rhs = 2(aa+bb+cc) +3GG -(a+b+c)^2
= aa+bb+cc -2ab -2bc -2ca +3GG
≧ A^3 + B^3 + C^3 -AB(A+B）-BC(B+C）-CA(C+A）+3ABC
= F_1(A,B,C)
≧ 0,
ここに、A=a^(2/3)，B=b^(2/3)，C=c^(2/3）とおいた。


>>187

8(Mhs - Lhs）
= 4(a+b+c)(ab+bc+ca) -（a+b+c)^3 + 8abc
=（a+b-c)(b+c-a)(c+a-b)
＞ 0,

abc ≦｛(a+b+c)/3}^3 = 8/27,　　（← AM-GM)
Mhs = ab+bc+ca ≦｛(a+b+c)^3 + 9abc}/{4(a+b+c)｝= 1 +（9/8)abc ≦ Rhs,