Áp dụng bất đẳng thức Cauchy-Schwarz dạng phân thức, ta được: \(VT=\frac{a^4}{a^2+a^2b-a^3}+\frac{b^4}{b^2+b^2c-b^3}+\frac{c^4}{c^2+c^2a-c^3}\)\(\ge\frac{\left(a^2+b^2+c^2\right)^2}{\left(a^2+b^2+c^2\right)+\left(a^2b+b^2c+c^2a\right)-\left(a^3+b^3+c^3\right)}\) \(=\frac{1}{1+\left(a^2b+b^2c+c^2a\right)-\left(a^3+b^3+c^3\right)}\)
Ta cần chứng minh \(\frac{1}{1+\left(a^2b+b^2c+c^2a\right)-\left(a^3+b^3+c^3\right)}\ge1\)hay \(a^3+b^3+c^3\ge a^2b+b^2c+c^2a\)
Đây là bất đẳng thức quen thuộc có nhiều cách chứng minh:
** Cách 1: Áp dụng AM - GM, ta được: \(a^3+a^3+b^3\ge3a^2b\); \(b^3+b^3+c^3\ge3b^2c\); \(c^3+c^3+a^3\ge3c^2a\)
Cộng từng vế ba bất đẳng thức trên
** Cách 2: Giả sử \(a\le b\le c\)
Có: \(a^3+b^3+c^3=a^2b+b^2c+c^2a+\left(c^2-a^2\right)\left(b-a\right)+\left(c^2-b^2\right)\left(c-b\right)\ge a^2b+b^2c+c^2a\)
Vậy bất đẳng thức được chứng minh
Đẳng thức xảy ra khi \(a=b=c=\frac{1}{\sqrt{3}}\).
Or the following SOS: 
* Hoặc mạnh hơn với a,b,c thực thỏa mãn \(a+b\ge0,b+c\ge0,c+a\ge0\)
\(a^3+b^3+c^3-a^2b-b^2c-c^2a\)
\(=\frac{\left(a^2+b^2-2c^2\right)^2+3\left(a^2-b^2\right)^2+\Sigma_{cyc}4\left(a+b\right)\left(c+a\right)\left(a-b\right)^2}{8\left(a+b+c\right)}\ge0\)
Hoặc còn 2 kiểu SOS khác (by tth_new)
Giả sử \(c=min\left\{a,b,c\right\}\)
\(VT-VP=\frac{\left(4b+3b-c\right)\left(a-b\right)^2+\left(b+c\right)\left(a+b-2c\right)^2}{4}\ge0\)
Or 
Kiệt Nguyễn : 3 cái đó em chưa học cái nào
