证明:只要证明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
显然成立,所以原不等式成立
证明:只要证明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
显然成立,所以原不等式成立