Giả sử b=  min {a,b,c}

\(VT\ge\frac{a^3+b^3+c^3}{\frac{2\left(a+b+c\right)^3}{27}}+\frac{1}{2}\left(\Sigma\frac{\left(a+b\right)^2}{ab+c^2}+\Sigma\frac{\left(a-b\right)^2}{ab+c^2}\right)\)

\(\ge\left[\frac{27\left(a^3+b^3+c^3\right)}{2\left(a+b+c\right)^3}+\frac{2\left(a+b+c\right)^2}{\left(ab+bc+ca+a^2+b^2+c^2\right)}\right]\)

Sau khi quy đồng ta cần chứng minh biểu thức sau đây không âm:

Đó là điều hiển nhiên vì b = min {a,b,c}

ÁP dụng BĐT cô-si, ta có \(a^3+b^3+c^3\ge3abc\Rightarrow\frac{a^3+b^3+c^3}{2abc}\ge\frac{3}{2}\)

Mà \(ab\le\frac{a^2+b^2}{2}\Rightarrow\frac{a^2+b^2}{c^2+ab}\ge\frac{2\left(a^2+b^2\right)}{2c^2+a^2+b^2}\)

Tương tự, ta có 

\(\frac{a^2+b^2}{c^2+ab}+\frac{b^2+c^2}{a^2+bc}+\frac{c^2+a^2}{b^2+ac}\ge2\left(\frac{a^2+b^2}{a^2+c^2+b^2+c^2}+...\right)\)

Đặt \(\left(a^2+b^2;...\right)=\left(x;y;z\right)\)

Ta có VT\(\ge\frac{3}{2}+2\left(\frac{x}{y+z}+\frac{y}{x+z}+\frac{z}{x+y}\right)=\frac{3}{2}+2\left(\frac{x^2}{xy+zx}+\frac{y^2}{ỹ+yz}+\frac{z^2}{zx+zy}\right)\)

=> \(VT\ge\frac{3}{2}+2.\frac{\left(x+y+z\right)^2}{2\left(xy+yz+zx\right)}\ge\frac{3}{2}+3=\frac{9}{2}\)

=> \(A\ge\frac{9}{2}\left(ĐPCM\right)\)

Dấu = xảy ra <=> a=b=c>0

Áp dụng BĐT cô-si, ta có \(a^3+b^3+c^3\ge3abc\Rightarrow\frac{a^3+b^3+c^3}{2abc}\ge\frac{3}{2}\)

Mà \(\frac{a^2+b^2}{c^2+ab}\ge\frac{a^2+b^2}{c^2+\frac{a^2+b^2}{2}}=2\frac{a^2+b^2}{2c^2+a^2+b^2}\)

tương tự thì \(P\ge\frac{3}{2}+2\left(\frac{a^2+b^2}{2c^2+a^2+b^2}+\frac{b^2+c^2}{2a^2+b^2+c^2}+\frac{c^2+a^2}{2b^2+a^2+c^2}\right)\)

Đặt \(\hept{\begin{cases}a^2+b^2=x\\b^2+c^2=y\\c^2+a^2=z\end{cases}}\)

ta có \(P\ge\frac{3}{2}+2\left(\frac{x}{y+z}+\frac{y}{z+x}+\frac{z}{x+y}\right)=\frac{3}{2}+2\left(\frac{x^2}{xy+xz}+\frac{y^2}{yz+yx}+\frac{z^2}{zx+zy}\right)\)

=>\(P\ge\frac{3}{2}+2.\frac{\left(x+y+z\right)^2}{2\left(xy+yz+zx\right)}\ge\frac{3}{2}+2.\frac{3\left(xy+yz+zx\right)}{2\left(xy+yz+zx\right)}\ge\frac{3}{2}+3=\frac{9}{2}\)

dấu  xảy ra <>a=b=c>0 

Vậy ...

^_^