>>311
(a^2 +b^2)/{2(a+b)} ≧ (a+b)/4 と変形できるから、循環的に足して、

a^2/(a+b) + b^2/(b+c) + c^2/(c+a) ≧ (a+b+c)/2

となったけど、

{(√2)/4}*{√(a^2 + b^2) + √(b^2 + c^2) +√(c^2 + a^2)}

と、どっちが大きいん？