先在左右两边同乘3,右边乘开将右边三次项消去只留下交叉项不妨设a>b>c则a∧2>b∧2>c∧2由排序不等式知a∧2*a+b∧2*b+c∧2*c+a∧2*a+b∧2*b+c∧2*c>=a∧2*b+b∧2*c+c∧2*a+a∧2*c+b∧2*a+c∧2*b故得证