证明:只要证明2(a^2b^2+b^2c^2+c^2a^2)>=2(a^2bc+ab^2c+abc^2)即证a^2(b^2+c^2)+b^2(a^2+c^2)+c^2(a^2+b^2)>=a^2(2bc)+b^2(2ac)+c^2(2ab)也即a^2(b-c)^2+b^2(a-c)^2+c^2(a-b)^2>=0显然成立,所以原不等式成立
(ab-bc)^2+(ac-bc)^2+(ac-ab)^2≥0,展开整理则a^2b^2+b^2c^2+c^2a^2≥abc(a+b+c)abc为正数,a2b2+b2c2+c2a2/a+b+c>=abc
两边乘a+b+c,=>a2b2+b2c2+c2a2=a2bc+b2ac+c2ab由a2b2+b2c2>2acb2轮换对称得b2c2+c2a2>2bac2c2a2+a2b2>2cba2三个相加即可