\(3=a+b+c\ge3\sqrt[3]{abc}\Rightarrow abc\le1\)
BĐT tương đương:
\(3\left(ab+bc+ca\right)\ge abc\left[\left(a+b+c\right)^2-2\left(ab+bc+ca\right)+6\right]\)
\(\Leftrightarrow3\left(ab+bc+ca\right)\ge abc\left[15-2\left(ab+bc+ca\right)\right]\)
\(\Leftrightarrow\left(ab+bc+ca\right)\left(2abc+3\right)\ge15abc\)
\(\Leftrightarrow\left(ab+bc+ca\right)^2\left(2abc+3\right)^2\ge225\left(abc\right)^2\)
Do \(\left(ab+bc+ca\right)^2\ge3abc\left(a+b+c\right)=9abc\)
Nên ta chỉ cần chứng minh:
\(\left(2abc+3\right)^2\ge25abc\)
\(\Leftrightarrow\left(1-abc\right)\left(9-4abc\right)\ge0\) (luôn đúng với \(0< abc\le1\))
Dấu "=" xảy ra khi \(a=b=c=1\)
