Ta có:
\(\frac{a}{2a+b+c}=\frac{a}{\left(a+b\right)\left(a+c\right)}\le\frac{a}{4}\left(\frac{1}{a+b}+\frac{1}{a+c}\right)\)
\(\frac{b}{a+2b+c}=\frac{b}{\left(a+b\right)\left(b+c\right)}\le\frac{b}{4}\left(\frac{1}{a+b}+\frac{1}{b+c}\right)\)
\(\frac{c}{a+b+2c}=\frac{c}{\left(a+c\right)\left(b+c\right)}\le\frac{c}{4}\left(\frac{1}{a+c}+\frac{1}{b+c}\right)\)
Cộng vế theo vế:
=> \(\frac{a}{2a+b+c}+\frac{b}{a+2b+c}+\frac{c}{a+b+2c}\le\frac{1}{4}\left(1+1+1\right)=\frac{3}{4}\)
Dấu "=" xảy ra <=> a = b = c
Cách 1:
Biến đổi tương đương bất đẳng thức cần chứng minh
\(1-\frac{a}{2b+b+c}+1-\frac{b}{a+2b+c}+1-\frac{c}{a+b+2c}\ge\frac{9}{4}\)
\(\Leftrightarrow\frac{a+b+c}{2a+b+c}+\frac{a+b+c}{a+2b+c}+\frac{a+b+c}{a+b+2c}\ge\frac{9}{4}\)
\(\Leftrightarrow4\left(a+b+c\right)\left(\frac{1}{2a+b+c}+\frac{1}{a+2b+c}+\frac{1}{a+b+2c}\right)\ge9\)
Đặt x=2a+b+c; y=a+2b+c; z=a+b+2c => x+y+z=4(a+b+c)
Khi đó đẳng thức trên trở thành
\(\left(x+y+z\right)\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\right)\ge9\)
\(\Leftrightarrow\left(\frac{x}{y}+\frac{y}{x}-2\right)+\left(\frac{y}{z}+\frac{z}{y}-2\right)+\left(\frac{x}{z}+\frac{z}{x}-2\right)\ge0\)
\(\Leftrightarrow\frac{\left(x-y\right)^2}{2xy}+\frac{\left(y-z\right)^2}{2yz}+\frac{\left(z-x\right)^2}{2xz}\ge0\)
BĐT cuối luôn đúng
Vậy BĐT được chứng minh. Dấu "=" xảy ra <=> a=b=c
Cách 2:
Đặt x=2a+b+c; y=a+2b+c; z=a+b+2c
=> \(\hept{\begin{cases}a=\frac{2x-y-z}{4}\\b=\frac{3y-x-z}{4}\\c=\frac{3z-x-y}{4}\end{cases}}\)
BĐT cần chứng minh được viết lại thành
\(\frac{3x-y-z}{4x}+\frac{3y-x-z}{4y}+\frac{3z-x-z}{4z}\le\frac{3}{4}\)
\(\Leftrightarrow\frac{1}{4}\left(\frac{x}{y}+\frac{y}{x}+\frac{y}{z}+\frac{z}{y}+\frac{z}{x}+\frac{z}{x}\right)\ge\frac{3}{2}\)
\(\Leftrightarrow\frac{x}{y}+\frac{y}{x}+\frac{y}{z}+\frac{z}{y}+\frac{z}{x}+\frac{z}{x}\ge6\)
\(\Leftrightarrow\left(\frac{x}{y}+\frac{y}{x}-2\right)+\left(\frac{y}{z}+\frac{z}{y}-2\right)+\left(\frac{x}{z}+\frac{z}{x}-2\right)\ge0\)
\(\Leftrightarrow\frac{\left(x-y\right)^2}{2xy}+\frac{\left(y-z\right)^2}{2yz}+\frac{\left(z-x\right)^2}{2zx}\ge0\)
BĐT cuối luôn đúng
Vậy BĐT được chứng minh. Dấu "=" <=> a=b=c
Một cách khác. Áp dụng BĐT Neibizt
Đặt x=b+c; y=a+c; z=a+b
=> \(\hept{\begin{cases}a=\frac{y+z-x}{2}\\b=\frac{x+z-y}{2}\\c=\frac{x+y-z}{2}\end{cases}}\)
BĐT cần chứng minh viết lại thành
\(\frac{y+z-x}{2\left(y+z\right)}+\frac{z+x-y}{2\left(z+x\right)}+\frac{x+y-z}{2\left(x+y\right)}\le\frac{3}{4}\)
<=> \(\frac{x}{y+z}+\frac{y}{z+x}+\frac{z}{x+y}\ge\frac{3}{2}\)
BĐT cuối cùng là BĐT Neibizt
Vậy BĐT được chứng minh. Dấu "=" xảy ra <=> a=b=c