09/05/12 02:26:44
>>891
ab+bc+ca ≦ (1/3)s^2,
f(x) = 1/{(s/3)+2x} は単調減少かつ下に凸。
(左辺) = a･f(b) + b･f(c) + c･f(a) ≧ s･f((ab+bc+ca)/s) ≧ s･f(s/3) = 1,
09/05/12 02:26:44
>>891
ab+bc+ca ≦ (1/3)s^2,
f(x) = 1/{(s/3)+2x} は単調減少かつ下に凸。
(左辺) = a･f(b) + b･f(c) + c･f(a) ≧ s･f((ab+bc+ca)/s) ≧ s･f(s/3) = 1,