A B C E F D O I

De dung la:

\(\Sigma_{cyc}\frac{1}{1+a^2+b^2}\le\frac{9}{5}\)

\(\Leftrightarrow\Sigma_{cyc}\frac{a^2+b^2}{1+a^2+b^2}\ge\frac{6}{5}\)

\(VT\ge\frac{\left(\Sigma_{cyc}\sqrt{a^2+b^2}\right)^2}{2\Sigma_{cyc}a^2+3}\left(M\right)\)

Consider:

\(VT_M\ge\frac{6}{5}\)

\(5\Sigma_{cyc}\sqrt{\left(a^2+b^2\right)\left(b^2+c^2\right)}\ge\Sigma_{cyc}a^2+9\)

Consider:

\(5\Sigma_{cyc}\sqrt{\left(a^2+b^2\right)\left(b^2+c^2\right)}\ge5\Sigma_{cyc}a^2+5\Sigma_{cyc}ab=5\Sigma_{cyc}a^2+5\)

Gio can cung minh:

\(5\Sigma_{cyc}a^2+5\ge\Sigma_{cyc}a^2+9\)

\(\Leftrightarrow\Sigma_{cyc}a^2\ge1\)

Ta lai co:

\(\Sigma_{cyc}a^2\ge\Sigma_{cyc}ab=1\)

Dau '=' xay ra khi \(a=b=c=\frac{1}{\sqrt{3}}\)

Dự đoán Max P = 81 nên ta chứng minh: \(P\le81=\left(a+b+c\right)^4\)

Ta có: \(P=a^4+b^4+c^4-3abc\le a^4+b^4+c^4+78abc\)

\(=a^4+b^4+c^4+26\left(a+b+c\right)abc\)

Vậy ta chứng minh: \(a^4+b^4+c^4+26abc\left(a+b+c\right)\le\left(a+b+c\right)^4\)

SOS là ra rồi :DD

Chứng minh:\(a^4+b^4+c^4+26abc\left(a+b+c\right)\le\left(a+b+c\right)^4\)

Giả sử \(a=max\left\{a,b,c\right\}\).Xét hiệu: 

Đẳng thức xảy ra khi \(\left(a;b;c\right)=\left(3;0;0\right)\) và các hoán vị.

\(P^2=a+b+c+a^2+b^2+c^2+2\sqrt{\left(a+b^2\right)\left(b+c^2\right)}+2\sqrt{\left(b+c^2\right)\left(c+a^2\right)}+2\sqrt{\left(a+b^2\right)\left(c+a^2\right)}.\)

Theo bđt Bunhiacopski ta có

\(2\sqrt{\left(a+b^2\right)\left(b+c^2\right)}\ge2\sqrt{b^3}\)(vì \(a,c\ge0\))

Tương tự \(2\sqrt{\left(b+c^2\right)\left(c+a^2\right)}\ge2\sqrt{c^3}\)

                \(2\sqrt{\left(c+a^2\right)\left(a+b^2\right)}\ge2\sqrt{a^3}\)

\(\Rightarrow P^2\ge a+b+c+a^2+b^2+c^2+2\sqrt{a^3}+2\sqrt{b^3}+2\sqrt{c^3}\)

Theo gt : \(\hept{\begin{cases}a,b,c\ge0\\a^2+b^2+c^2=1\end{cases}\Rightarrow0\le a,b,c\le1}\)

\(\Rightarrow\hept{\begin{cases}a\ge a^2,b\ge b^2,c\ge c^2\\a^3\ge a^4,b^3\ge b^4,c^3\ge c^4\end{cases}}\)

\(\Rightarrow\hept{\begin{cases}a+b+c\ge a^2+b^2+c^2=1\\2\sqrt{a^3}+2\sqrt{b^3}+2\sqrt{c^3}\ge2\left(a^2+b^2+c^2\right)=2\end{cases}}\)

\(\Rightarrow P^2\ge1+1+2=4\)\(\Rightarrow P\ge2\)

Dấu "=" xảy ra khi a=b=0,c=1 và các hoán vị của nó

Tìm Max

Theo bđt Bunhiacopski ta có

\(P^2\le\left(1+1+1\right)\left(a+b+c+a^2+b^2+c^2\right)\)

    \(=3\left(a+b+c+a^2+b^2+c^2\right)\)\(\le3\left(\sqrt{3\left(a^2+b^2+c^2\right)}+a^2+b^2+c^2\right)\)

      \(=3\left(1+\sqrt{3}\right)\)

\(\Rightarrow P\le\sqrt{3\left(1+\sqrt{3}\right)}\)

Dấu "=" xảy ra khi \(a=b=c=\frac{1}{\sqrt{3}}\)

Ta có: \(\left(x-\sqrt{yz}\right)^2\ge0\Rightarrow x^2+yz\ge2x\sqrt{yz}\)(Dấu "="\(\Leftrightarrow x^2=yz\))

Theo đề: x + y + z = 3\(\Rightarrow3x+yz=\left(x+y+z\right)x+yz=x^2+yz+x\left(y+z\right)\)\(\ge x\left(y+z\right)+2x\sqrt{yz}\)

Suy ra \(\sqrt{3x+yz}\ge\sqrt{x\left(y+z\right)+2x\sqrt{yz}}=\sqrt{x}\left(\sqrt{y}+\sqrt{z}\right)\)

và \(x+\sqrt{3x+yz}\ge\sqrt{x}\left(\sqrt{x}+\sqrt{y}+\sqrt{z}\right)\)

\(\Rightarrow\frac{x}{x+\sqrt{3x+yz}}\le\frac{\sqrt{x}}{\sqrt{x}+\sqrt{y}+\sqrt{z}}\)

Tương tự ta có: \(\frac{y}{y+\sqrt{3y+zx}}\le\frac{\sqrt{y}}{\sqrt{x}+\sqrt{y}+\sqrt{z}}\);\(\frac{z}{z+\sqrt{3z+xy}}\le\frac{\sqrt{z}}{\sqrt{x}+\sqrt{y}+\sqrt{z}}\)

Cộng từng vế của các BĐT trên,ta được:

\(\frac{x}{x+\sqrt{3x+yz}}\)\(+\frac{y}{y+\sqrt{3y+zx}}\)\(+\frac{z}{z+\sqrt{3z+xy}}\le1\)

(Dấu "="\(\Leftrightarrow x=y=z=1\))

We have:

\(VT=\Sigma_{cyc}\frac{x}{x+\sqrt{3x+yz}}=\Sigma_{cyc}\frac{x}{x+\sqrt{\left(x+y\right)\left(x+z\right)}}=\Sigma_{cyc}\frac{\frac{x}{\sqrt{\left(x+y\right)\left(z+x\right)}}}{\frac{x}{\sqrt{\left(x+y\right)\left(x+z\right)}}+1}\)

Dat \(\left(\frac{x}{\sqrt{\left(x+y\right)\left(x+z\right)}};\frac{y}{\sqrt{\left(x+y\right)\left(y+z\right)}};\frac{z}{\sqrt{\left(x+z\right)\left(y+z\right)}}\right)=\left(a;b;c\right)\)

Consider:

\(\Sigma_{cyc}\frac{x}{\sqrt{\left(x+y\right)\left(x+z\right)}}\le\Sigma_{cyc}\frac{\frac{x}{x+y}+\frac{x}{x+z}}{2}=\frac{3}{2}\)

\(\Rightarrow a+b+c\le\frac{3}{2}\)

Now we need to prove:

\(\Sigma_{cyc}\frac{a}{a+1}\le1\)

\(\Leftrightarrow\Sigma_{cyc}\frac{1}{a+1}\ge2\left(M\right)\)

\(VT_M\ge\frac{9}{a+b+c+3}\ge\frac{9}{\frac{3}{2}+3}=2\)

Sign '=' happen when \(\hept{\begin{cases}x=y=z=1\\a=b=c=\frac{1}{2}\end{cases}}\)

Để hàm sốm đồng biến thì m-3>0 => m>3