Proof. Since abc=1, we have
a5(b+2c)21=(ab+2ac)2b3c3b5(c+2a)21=(bc+2ba)2c3a3c5(a+2b)21=(ca+2cb)2a3b3
Therefore, we only need to prove
(ab+2ac)2b3c3+(bc+2ba)2c3a3+(ca+2cb)2a3b3⩾31.
By the AM-GM inequality,
⩾⟹(ab+2ac)2b3c3+27ab+2ac+27ab+2ac33(ab+2ac)2b3c3⋅27ab+2ac⋅27ab+2ac=31bc(ab+2ac)2b3c3⩾31bc−272ab+4ac
Similarly, we get
(bc+2ac)2c3a3⩾31ca−272bc+4ba(ca+2cb)2a3b3⩾31ab−272ca+4cb
Therefore,
⩾=(ab+2ac)2b3c3+(bc+2ba)2c3a3+(ca+2cb)2a3b331(bc+ca+ab)−272(ab+bc+ca)−274(ac+ba+cb)91(ab+bc+ca)⩾91⋅33ab⋅bc⋅ca=31.