17/08/03 19:23:58.55 Dkz1wYp5.net
>>371
a=y+z，b=z+x，c=x+y とおく。（Ravi変換）
(左辺) = 2{xy^3 +yz^3 +zx^3 -xyz(x+y+z)}
= 2xy(y-z)^2 + 2yz(z-x)^2 + 2zx(x-y)^2
≧ 0.
IMO-1983
佐藤［9］演習問題2.24
[第6章.793(71)，828，833]
17/08/03 19:23:58.55 Dkz1wYp5.net
>>371
a=y+z，b=z+x，c=x+y とおく。（Ravi変換）
(左辺) = 2{xy^3 +yz^3 +zx^3 -xyz(x+y+z)}
= 2xy(y-z)^2 + 2yz(z-x)^2 + 2zx(x-y)^2
≧ 0.
IMO-1983
佐藤［9］演習問題2.24
[第6章.793(71)，828，833]