Prove that by eliminating the denominator and simplifying, the original inequality is equivalent to
a6(b3+c3)+b6(c3+a3)+c6(a3+b3)⩾2a2b2c2(a3+b3+c3)
Because
2a2b2c2(a3+b3+c3)⩽a5(b4+c4)+b5(c4+a4)+c5(a4+b4)
And
a6(b3+c3)+b6(c3+a3)+c6(a3+b3)a5(b4+c4)−b5(c4+a4)−c5(a4+b4)=a5b3(a−b)+a5c3(a−c)−b5a3(a−b)+b5c3(b−c)−c5a3(a−c)−c5b3(b−c)=(a−b)a5b3(a2−b2)+(a−c)a3c3(a2−c2)+(b−c)b3c3(b2−c2)=a3b3(a−b)2(a+b)+a3c3(a−c)2(a+c)+b3c3(b−c)2(b+c)⩾0
Therefore, inequality (1) holds.