答案:在条件 a, b, c>0下
通分以后,可以等价证明:
a^4+b^4 +c^4 -a^2bc -b^2ac-c^2ab >0
然而此式又可以写成
a^2 (a^2 -bc) +b^2 (b^2 -ac) +c^2 (c^2 -ab) >0
现在,我们用排序不等式。我们不失一般性可以设 a>b>c>0, 易知
a^2 -bc > b^2 -ac >c^2 -ab
所以根据排序不等式,我们有
a^2 (a^2 -bc) +b^2 (b^2 -ac) +c^2 (c^2 -ab) 〉(a^2 +b^2 +c^2 )(a^2 +b^2 +c^2 -ab-bc-ac) /3 >0
因为 a^2 +b^2 +c^2 -ab-bc-ac 〉0
等式成立当且仅当a=b=c