Subtract 9 from both sides and use the well-known identity
a3+b3+c3−3abc=(a+b+c)(a2+b2+c2−ab−bc−ca).
abca3+b3+c3−3≥9⋅ab+bc+caa2+b2+c2−9⇔abc(a+b+c)(a2+b2+c2−ab−bc−ca)+3abc−3≥9⋅ab+bc+caa2+b2+c2−9⇔
abc(a+b+c)(a2+b2+c2−ab−bc−ca)+3abc−3abcabc(a+b+c)(a2+b2+c2−ab−bc−ca)abc(ab+bc+ca)(a2+b2+c2−ab−bc−ca)((a+b+c)(ab+bc+ca)−9abc)≥ab+bc+ca9(a2+b2+c2−ab−bc−ca)⟺≥ab+bc+ca9(a2+b2+c2−ab−bc−ca)⟺≥0.
The last inequality holds, since
a2+b2+c2−ab−bc−ca≥0and(a+b+c)(ab+bc+ca)−9abc≥0.
By the inequality with the sum of three squares:
(a−b)2+(b−c)2+(c−a)2≥0(a+b+c)2≥3(ab+bc+ca)(a+b+c)3⟺a2+b2+c2≥ab+bc+ca⇒(a+b+c)6≥33(ab+bc+ca)3≥27⋅27(abc)2≥27abc.
Moreover, (31(x+y+z))3≥xyz⇒(ab+bc+ca)3≥27a2b2c2.
Hence (a+b+c)3(ab+bc+ca)3≥(9abc)3.