17/09/05 11:21:44.67 3z9XJ0W/.net
>>894
〔補題〕（>>754 (2) のための）
a,b,c >0 とすると
(aa+bb+cc){2(aa+bb+cc）-（ab+bc+ca)｝≧（a+b+c)(a^3+b^3+c^3）≧（aa+bb+cc)^2,
(略証)
左側は
S2（S2+F_0）- s･S3 =｛(a-b)^2+cc}/2 (a-b)^2 + cyclic. ≧ 0,
右側がコーシーでしたね。
s･S3 -（S2)^2 = ab(a-b)^2 + bc(b-c)^2 + ca(c-a)^2 ≧ 0，（終）
あとは >>883 のとおり。