bdt đã cho ⇔2(a3+b3+c3)abc+9(a2+b2+c2)+18(ab+bc+ca)a2+b2+c2≥33⇔a3+b3+c3abc+9(ab+bc+ca)a2+b2+c2≥12
⇔a3+b3+c3−3abcabc+9(ab+bc+ca−a2−b2−c2)a2+b2+c2≥0
⇔(a+b+c)(a2+b2+c2−ab−bc−ca)abc≥9(a2+b2+c2−ab−bc−ca)a2+b2+c2
⇔a+b+cabc≥9a2+b2+c2 (chia 2 vế cho ∑a2−∑ab≥0)
⇔(a+b+c)(a2+b2+c2)≥9abc
BDT cuối hiển nhiên đúng theo AM−GM :
(a+b+c)(a2+b2+c2)≥33√abc.33√a2b2c2=9abc
~~~~
BDT đc cm, dấu bằng xảy ra ⇔a=b=c=1