Bài này không đúng nhé. Với a = b = c = 1 thì bất đẳng thức sai. Tuy nhiên bài này đúng theo chiều ngược lại.

Ta sẽ chứng minh bất đẳng thức phụ sau đây \(x^2+y^2+z^2\ge xy+yz+zx\)

\(< =>2\left(x^2+y^2+z^2\right)\ge2\left(xy+yz+zx\right)\)

\(< =>2x^2+2y^2+2z^2-2xy-2yz-2zx\ge0\)

\(< =>\left(x-y\right)^2+\left(y-z\right)^2+\left(z-x\right)^2\ge0\)*đúng*

Đặt \(\left\{2a+2b-c;2b+2c-a;2c+2a-b\right\}\rightarrow\left\{x;y;z\right\}\)

Vì a,b,c là ba cạnh của 1 tam giác nên x,y,z dương 

Ta có : \(x^2+y^2+z^2=9\left(a^2+b^2+c^2\right)\)

\(x+y=c+a+4b\); \(y+z=a+b+4c\); \(z+x=b+c+4a\)

Bất đẳng thức cần chứng minh quy về : \(\frac{x^3}{y+z}+\frac{y^3}{x+z}+\frac{z^3}{x+y}\ge\frac{x^2+y^2+z^2}{2}\)

Áp dụng bất đẳng thức AM-GM ta có : 

\(\frac{x^3}{y+z}+\frac{x\left(y+z\right)}{4}\ge2\sqrt{\frac{x^3.x\left(y+z\right)}{\left(y+z\right)4}}=2\sqrt{\frac{x^4}{4}}=2\frac{x^2}{2}=x^2\)

\(\frac{y^3}{x+z}+\frac{y\left(x+z\right)}{4}\ge2\sqrt{\frac{y^3.y\left(x+z\right)}{\left(x+z\right)4}}=2\sqrt{\frac{y^4}{4}}=2\frac{y^2}{2}=y^2\)

\(\frac{z^3}{x+y}+\frac{z\left(x+y\right)}{4}\ge2\sqrt{\frac{z^3.z\left(x+y\right)}{\left(x+y\right)4}}=2\sqrt{\frac{z^4}{4}}=2\frac{z^2}{2}=z^2\)

Cộng theo vế các bất đẳng thức cùng chiều ta được :

\(\frac{x^3}{y+z}+\frac{y^3}{x+z}+\frac{z^3}{x+y}+\frac{x\left(y+z\right)}{4}+\frac{y\left(x+z\right)}{4}+\frac{z\left(x+y\right)}{4}\ge x^2+y^2+z^2\)

\(< =>\frac{x^3}{y+z}+\frac{y^3}{x+z}+\frac{z^3}{x+y}+\frac{xy+yz+zx+xy+yz+zx}{4}\ge x^2+y^2+z^2\)

\(< =>\frac{x^3}{y+z}+\frac{y^3}{x+z}+\frac{z^3}{x+y}+\frac{xy+yz+zx}{2}\ge x^2+y^2+z^2\)

\(< =>\frac{x^3}{y+z}+\frac{y^3}{x+z}+\frac{z^3}{x+y}\ge x^2+y^2+z^2-\frac{xy+yz+zx}{2}\)

Sử dụng bất đẳng thức phụ \(x^2+y^2+z^2\ge xy+yz+zx\)khi đó ta được :

\(\frac{x^3}{y+z}+\frac{y^3}{x+z}+\frac{z^3}{y+x}\ge x^2+y^2+z^2-\frac{x^2+y^2+z^2}{2}\)

\(< =>\frac{x^3}{y+z}+\frac{y^3}{z+x}+\frac{z^3}{x+y}\ge\frac{x^2+y^2+z^2}{2}\left(đpcm\right)\)

Đẳng thức xảy ra khi và chỉ khi \(x=y=z< =>a=b=c\)

Vậy ta có điều phải chứng minh

Lời giải:

Áp dụng BĐT Bunhiacopkxy:

\((2a^2+b^2)(2a^2+c^2)=(a^2+a^2+b^2)(a^2+c^2+a^2)\geq (a^2+ac+ab)^2\)

\(=[a(a+b+c)]^2\)

\(\Rightarrow \frac{a^3}{(2a^2+b^2)(2a^2+c^2)}\leq \frac{a^3}{[a(a+b+c)]^2}=\frac{a}{(a+b+c)^2}\)

Hoàn toàn tương tự với các phân thức còn lại và cộng theo vế thu được:

\(\sum \frac{a^3}{(2a^2+b^2)(2a^2+c^2)}\leq \frac{a+b+c}{(a+b+c)^2}=\frac{1}{a+b+c}\) (đpcm)

Dấu "=" xảy ra khi $a=b=c$

Áp dụng Bất đẳng thức Cauchy Schwarz dạng Engel ta có :

\(\frac{a^2}{a+2b}+\frac{b^2}{b+2a}\ge\frac{\left(a+b\right)^2}{a+2b+b+2a}=\frac{\left(a+b\right)^2}{3\left(a+b\right)}\)

\(2\left(\frac{a^2}{2a+b}+\frac{b^2}{2b+a}\right)\ge2\left(\frac{\left(a+b\right)^2}{2a+b+2b+a}\right)=2.\frac{\left(a+b\right)^2}{3\left(a+b\right)}\)

Cộng theo vế các bất đẳng thức cùng chiều ta được :

\(\left(\frac{a^2}{a+2b}+\frac{b^2}{b+2a}\right)+2\left(\frac{a^2}{2a+b}+\frac{b^2}{2b+a}\right)\ge\frac{\left(a+b\right)^2}{3\left(a+b\right)}+2.\frac{\left(a+b\right)^2}{3\left(a+b\right)}\)

Vậy ta có ngay điều phải chứng minh

đúng rồi

 chó điên