BĐT cần chứng minh tương đương với :
\(\left(a^2b+b^2c+c^2a\right)\left(2+\frac{1}{a^2b^2c^2}\right)\ge9\)
\(\Leftrightarrow2\left(a^2b+b^2c+c^2a\right)+\frac{1}{ab^2}+\frac{1}{bc^2}+\frac{1}{ca^2}\ge9\)
Áp dụng BĐT Cô-si cho 3 số dương ,ta có :
\(a^2b+a^2b+\frac{1}{ab^2}\ge3\sqrt[3]{a^2b.a^2b.\frac{1}{ab^2}}=3a\)
tương tự : \(b^2c+bc^2+\frac{1}{bc^2}\ge3b\), \(\left(c^2a+ca^2+\frac{1}{ca^2}\right)\ge3c\)
Cộng 3 BĐT trên theo vế, ta được :
\(2\left(a^2b+b^2c+c^2a\right)+\frac{1}{ab^2}+\frac{1}{bc^2}+\frac{1}{ca^2}\ge3\left(a+b+c\right)=9\)
Dấu "=" xảy ra khi a = b = c = 1