Lời giải:
Ba số thực $a,b,c$ cần có thêm điều kiện không âm mới đúng.
BĐT cần chứng minh tương đương với:
$ab^3+bc^3+ca^3+2abc(a+b+c)\leq a^3b+b^3c+c^3a+ab^3+bc^3+ca^3+abc(a+b+c)$
$\Leftrightarrow abc(a+b+c)\leq a^3b+b^3c+c^3a(*)$
Áp dụng BĐT Bunhiacopxky:
$(a^3b+b^3c+c^3a)(abc^2+bca^2+cab^2)\geq (a^2bc+b^2ca+c^2ab)^2$
$\Rightarrow a^3b+b^3c+c^3a\geq abc(a+b+c)$
BĐT $(*)$ đúng nên ta có đpcm.
Dấu "=" xảy ra khi $a=b=c$
SOS là ra, khá đơn giản. Ta có:
$$\text{VP}-\text{VT}=ab \left( -c+a \right) ^{2}+ca \left( b-c \right) ^{2}+cb \left( a-b
\right) ^{2}\geqq 0.$$
Đẳng thức xảy ra khi $a=b=c.$