Dễ dàng chứng minh được với \(a,b>0:\)
\(a^3+b^3\ge ab\left(a+b\right)\) \(\Leftrightarrow\) \(\frac{a^3}{b}+b^2\ge a\left(a+b\right)\) \(\left(1\right)\)
Hoàn toàn tương tự với vòng hoán vị theo bđt trên, ta có:
\(\frac{b^3}{c}+c^2\ge b\left(b+c\right)\) \(\left(2\right)\) và \(\frac{c^3}{a}+a^2\ge c\left(c+a\right)\) \(\left(3\right)\)
Cộng \(\left(1\right);\) \(\left(2\right)\) và \(\left(3\right)\) vế theo vế, ta được:
\(\frac{a^3}{b}+\frac{b^3}{c}+\frac{c^3}{a}+\left(a^2+b^2+c^2\right)\ge a\left(a+b\right)+b\left(b+c\right)+c\left(c+a\right)=ab+bc+ca+\left(a^2+b^2+c^2\right)\)
Vì \(a,b,c>0\) nên \(a^2+b^2+c^2\ne0\)
Do đó, trừ cả hai vế của bđt trên cho \(a^2+b^2+c^2\) ta được bất đẳng thức cần phải chứng minh, tức là:
\(\frac{a^3}{b}+\frac{b^3}{c}+\frac{c^3}{a}\ge ab+bc+ca\)
Dấu \("="\) xảy ra \(\Leftrightarrow\) \(a=b=c\)
a3/b+b3/c+c3/a=a4/ab+b4/bc+c4/ca>=(a2+b2+c2)2/ab+bc+ac>=(ab+bc+ca)2/ab+bc+ca=ab+bc+ca
dấu đẳng thức xảy ra<=>x=y=z