Ta có BĐT cần chứng minh tương đương với:
\(\frac{a}{2}-\frac{a^2}{2a+1}+\frac{b}{2}-\frac{b^2}{2b+1}+\frac{c}{2}-\frac{c^2}{2c+1}\ge\frac{a+b+c}{2}-\frac{a^2+b^2+c^2}{\sqrt{a^2+b^2+c^2+6}}\)
Hay: \(\frac{a}{2a+1}+\frac{b}{2b+1}+\frac{c}{2c+1}+\frac{2\left(a^2+b^2+c^2\right)}{\sqrt{a^2+b^2+c^2+6}}\ge3\)
Áp dụng BĐT Bunhiacopxki dạng dạng p.thức ta được:
\(\frac{a}{2a+1}+\frac{b}{2b+1}+\frac{c}{2c+1}\ge\frac{\left(a+b+c\right)^2}{2\left(a^2+b^2+c^2\right)+3}\)
Khi đó ta cần chứng minh:
\(\frac{9}{2\left(a^2+b^2+c^2\right)+3}+\frac{2\left(a^2+b^2+c^2\right)}{\sqrt{a^2+b^2+c^2+6}}\ge3\)
Đặt: \(t=a^2+b^2+c^2\ge3\) ta có:
\(\frac{9}{2t+3}+\frac{2t}{\sqrt{t+6}}\ge3\Leftrightarrow\frac{9}{2t+3}-1+\frac{2t}{\sqrt{t+6}}-2\ge0\)
\(\Leftrightarrow\frac{2\left(3-t\right)}{2t+3}+\frac{2t-2\sqrt{t+6}}{\sqrt{t+6}}\ge0\)
\(\Leftrightarrow\left(t-3\right)\left[\frac{t+2}{\sqrt{t+6}\left(t+\sqrt{t+6}\right)}-\frac{1}{2t+3}\right]\ge0\)
\(\Leftrightarrow\left(t+2\right)\left(2t+3\right)-\sqrt{t+6}\left(t+\sqrt{t+6}\right)\ge0\)
\(\Leftrightarrow t\left(2t+6-\sqrt{t+6}\right)\ge0\)
Vì: \(t\ge3\) nên BĐT luôn đúng.
BĐT xảy ra \(\Leftrightarrow a=b=c=1\)
Sử dụng Bunhiacopxki:
\(\sqrt{\left(\Sigma_{cyc}\frac{a^2}{\sqrt{a^2+b^2+c^2+6}}\right)\left(\Sigma_{cyc}\frac{a^2\sqrt{a^2+b^2+c^2+6}}{\left(2a+1\right)^2}\right)}\ge\Sigma_{cyc}\frac{a^2}{2a+1}=VT\)
Hay: \(\sqrt{VP.\left(\Sigma_{cyc}\frac{a^2\sqrt{a^2+b^2+c^2+6}}{\left(2a+1\right)^2}\right)}\ge VT\)
Vậy ta chỉ cần chứng minh: \(VP\ge\sqrt{VP.\left(\Sigma_{cyc}\frac{a^2\sqrt{a^2+b^2+c^2+6}}{\left(2a+1\right)^2}\right)}\)
\(\Leftrightarrow VP\ge\Sigma_{cyc}\frac{a^2\sqrt{a^2+b^2+c^2+6}}{\left(2a+1\right)^2}\)
\(\Leftrightarrow\frac{a^2+b^2+c^2}{a^2+b^2+c^2+6}\ge\Sigma_{cyc}\frac{a^2}{\left(2a+1\right)^2}\)
BĐT cuối chứng minh như sau (theo lời giải bên AoPS)
\(\frac{a^2+b^2+c^2}{a^2+b^2+c^2+6}=1-\frac{6}{a^2+b^2+c^2+6}\ge1-\frac{6}{\frac{\left(a+b+c\right)^2}{3}+6}=\frac{1}{3}\)
\(=\Sigma_{cyc}\left(\frac{2a}{27}+\frac{1}{27}\right)\ge\Sigma_{cyc}\frac{a^2}{\left(2a+1\right)^2}=VP\)
Vậy ta có đpcm.