17/09/02 20:18:37.53 VhdcIBK0.net
>>754
(1)
Holder の不等式
(b^2+b^2+a^2)(b^2+c^2+c^2)(a^2+c^2+a^2)(a^2+b^2+c^2) >= (ab+bc+ca)^4
から明らか
(2)
LHS >= sqrt(3(a^2+ab+b^2)(b^2+bc+c^2)(c^2+ca+a^2)) >= RHS
(3)
和積版並べ替え不等式から明らか
(a+x)(b+y)(c+z) >= (a+x’)(b+y’)(c+z’) >= (a+z)(b+y)(c+x)
for any positive a >= b >= c and x <= y <= z, {x’, y’, z’} = {x, y, z}
(5)
LHS >= 27/64 ((a+b)(b+c)(c+a)^2 >= RHS