Bạn ghi sai đề rồi nhé! Nếu ta lần lượt thay số vào các biến  \(x,y,z\) ở vế trái của bất đẳng thức trên (chẳng hạng như  \(\frac{1}{3}\)) kết hợp với chú ý rằng \(x=y=z\)  (sẽ được chứng minh ở các bước sau này), khi đó kết quả sẽ cho ra khác, tức là  \(\frac{3}{\sqrt{2}}\) (vô lý!). Đó là lý do mình phải 'viết lại' đề cộng với một chút chỉnh sửa hợp lý về phương diện toán học. Hmmm, vất vả vật lộn với bài này quá nya. \(3\)  \(s\) đi!

Đề: Cho ba số thực dương  \(x,y,z\)  thỏa mãn  \(x+y+z=1\)  

Chứng minh rằng: \(\sqrt{\frac{xy}{z+xy}}+\sqrt{\frac{yz}{x+yz}}+\sqrt{\frac{xz}{y+yz}}\le\frac{3}{2}\)  \(\left(\text{*}\right)\)

Lời giải:

Từ giả thiết đã cho ở trên, ta dễ dàng chứng minh được  \(1>x,y,z>0\)  với mọi  \(x,y,z\in R^+\)

\(\Rightarrow\)  \(1-x>0;\)  \(1-y>0;\)  \(1-z>0\)  

Khi đó, áp dụng bất đẳng thức  \(AM-GM\)  cho hai số không âm với chú ý rằng  \(x+y+z=1\)  (theo giả thiết), ta có: 

\(\sqrt{\frac{xy}{z+xy}}=\sqrt{\frac{xy}{1-x-y+xy}}=\sqrt{\frac{xy}{\left(1-x\right)\left(1-y\right)}}\le\frac{1}{2}\left(\frac{x}{1-y}+\frac{y}{1-x}\right)\)  \(\left(1\right)\)

Hoàn toàn tương tự với vòng hoán vị  \(y\)  \(\rightarrow\)  \(z\)  \(\rightarrow\)  \(x\), ta chứng minh được:

\(\sqrt{\frac{yz}{x+yz}}\le\frac{1}{2}\left(\frac{y}{1-z}+\frac{z}{1-y}\right)\)  \(\left(2\right)\)  và  \(\sqrt{\frac{xz}{y+xz}}\le\frac{1}{2}\left(\frac{z}{1-x}+\frac{x}{1-z}\right)\)  \(\left(3\right)\)

Cộng từng vế các bất đẳng thức \(\left(1\right);\)  \(\left(2\right);\)  và  \(\left(3\right),\)  ta được:

\(VT\left(\text{*}\right)\le\frac{1}{2}\left[\left(\frac{y}{1-x}+\frac{z}{1-x}\right)+\left(\frac{x}{1-y}+\frac{z}{1-y}\right)+\left(\frac{x}{1-z}+\frac{y}{1-z}\right)\right]=\frac{1}{2}\left(1+1+1\right)=\frac{3}{2}=VP\left(\text{*}\right)\)

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

ở mẫu phải là dấu cộng mới đúng chứ bạn

Áp dụng BĐT AM-GM ta có: 

\(VT=\sqrt{\frac{xy}{z+xy}}+\sqrt{\frac{xz}{y+xz}}+\sqrt{\frac{yz}{x+yz}}\)

\(=\sqrt{\frac{xy}{z\left(x+y+z\right)+xy}}+\sqrt{\frac{xz}{y\left(x+y+z\right)+xz}}+\sqrt{\frac{yz}{x\left(x+y+z\right)+yz}}\)

\(=\sqrt{\frac{xy}{\left(x+z\right)\left(y+z\right)}}+\sqrt{\frac{xz}{\left(x+y\right)\left(y+z\right)}}+\sqrt{\frac{yz}{\left(x+y\right)\left(x+z\right)}}\)

\(\le\frac{1}{2}\left(\frac{x}{x+z}+\frac{y}{y+z}+\frac{x}{x+y}+\frac{z}{y+z}+\frac{y}{x+y}+\frac{z}{x+z}\right)\)

\(=\frac{1}{2}\left(\frac{x+z}{x+z}+\frac{y+z}{y+z}+\frac{x+y}{x+y}\right)=\frac{3}{2}\)

Dấu "=" <=> \(x=y=z=\frac{1}{3}\)

Ủng hộ và kb với mình ha ^^

Đặt \(\left(x,y,z\right)\rightarrow\left(a,b,c\right)\) (chẳng có lý do j đâu mình gõ a,b,c quen hơn thôi)

Áp dụng BĐT Cauchy-Schwarz dạng Engel ta có: 

\(3P=\frac{3\sqrt{ab}}{c+3\sqrt{bc}}+\frac{3\sqrt{bc}}{a+3\sqrt{bc}}+\frac{3\sqrt{ca}}{b+3\sqrt{ca}}\)

\(=3-\left(\frac{a}{a+3\sqrt{bc}}+\frac{b}{b+3\sqrt{ca}}+\frac{c}{c+3\sqrt{ab}}\right)\)

\(\le3-\left[\frac{\left(a+b+c\right)^2}{a^2+b^2+c^2+3\sqrt{abc}\left(\sqrt{a}+\sqrt{b}+\sqrt{c}\right)}\right]\)

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

\(\le3-\left[\frac{\left(a+b+c\right)^2}{\left(a^2+b^2+c^2\right)+\frac{\left(a+b+c\right)^2}{3}}\right]=3-\frac{9}{4}=\frac{3}{4}\)

Xảy ra khi \(a=b=c\)

lý do đặt x,y,z= a,b,c 

chỉ để copy nhanh hơn thôi :))  

\(3=x^2+y^2+z^2\ge3\sqrt[3]{x^2y^2z^2}\)

\(\Rightarrow xyz\le1\)

\(\sqrt[3]{x^2}+\sqrt[3]{y^2}+\sqrt[3]{z^2}\le\frac{x^2+1+1}{3}+\frac{y^2+1+1}{3}+\frac{z^2+1+1}{3}=3\)

Ta co:

\(A=\frac{x}{\sqrt[3]{yz}}+\frac{y}{\sqrt[3]{xz}}+\frac{z}{\sqrt[3]{xy}}=\frac{x\sqrt[3]{x}}{\sqrt[3]{xyz}}+\frac{y\sqrt[3]{y}}{\sqrt[3]{xyz}}+\frac{z\sqrt[3]{z}}{\sqrt[3]{xyz}}\)

\(\ge x\sqrt[3]{x}+y\sqrt[3]{y}+z\sqrt[3]{z}\)

\(\Rightarrow3A\ge3\left(x\sqrt[3]{x}+y\sqrt[3]{y}+z\sqrt[3]{z}\right)\ge\left(x\sqrt[3]{x}+y\sqrt[3]{y}+z\sqrt[3]{z}\right)\left(\sqrt[3]{x^2}+\sqrt[3]{y^2}+\sqrt[3]{z^2}\right)\)

\(\ge\left(x+y+z\right)^2\ge3\left(xy+yz+zx\right)\)

\(\Rightarrow A\ge xy+yz+zx\)

Áp dụng BĐT Cauchy - Schwarz, ta có: \(3\left(x^2+y^2+z^2\right)=\left(1^2+1^2+1^2\right)\left(x^2+y^2+z^2\right)\ge\left(x+y+z\right)^2\)

\(\Rightarrow x+y+z\le\sqrt{3\left(x^2+y^2+z^2\right)}=3=x^2+y^2+z^2\)(Do \(x^2+y^2+z^2=3\))

Ta có: \(\frac{x}{\sqrt[3]{yz}}+\frac{y}{\sqrt[3]{zx}}+\frac{z}{\sqrt[3]{xy}}=\frac{x}{\sqrt[3]{yz.1}}+\frac{y}{\sqrt[3]{zx.1}}+\frac{z}{\sqrt[3]{xy.1}}\)

\(\ge\frac{x}{\frac{y+z+1}{3}}+\frac{y}{\frac{z+x+1}{3}}+\frac{z}{\frac{x+y+1}{3}}\)\(=\frac{3x}{y+z+1}+\frac{3y}{z+x+1}+\frac{3z}{x+y+1}\)

\(=\frac{3x^2}{xy+zx+x}+\frac{3y^2}{yz+xy+y}+\frac{3z^2}{zx+yz+z}\)\(\ge\frac{3\left(x+y+z\right)^2}{2\left(xy+yz+zx\right)+\left(x+y+z\right)}\)(Theo BĐT Cauchy - Schwarz dạng Engle)

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

\(\ge xy+yz+zx\)

Đẳng thức xảy ra khi x = y = z = 1

\(\sqrt[3]{yz\cdot1}\le\frac{y+z+1}{3};\sqrt[3]{xz\cdot1}\le\frac{x+z+1}{3};\sqrt[3]{yx\cdot1}\le\frac{y+x+1}{3}\)

Nên \(A=\frac{x}{\sqrt[3]{yz}}+\frac{y}{\sqrt[3]{xz}}+\frac{z}{\sqrt[3]{xy}}\ge3\left(\frac{x}{y+z+1}+\frac{y}{x+z+1}+\frac{z}{y+x+1}\right)\)\(=3\left(\frac{x^2}{xy+yz+x}+\frac{y^2}{xy+yz+y}+\frac{z^2}{yz+xz+z}\right)=B\)

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

do \(\left(x+y+z\right)^2\le3\left(x^2+y^2+z^2\right)=9\Rightarrow x+y+z\le3=x^2+y^2+z^2;xy+yz+zx\le x^2+y^2+z^2=3\)

\(\frac{xy\sqrt{z-1}+xz\sqrt{y-2}+yz\sqrt{x-3}}{xyz}\\ =\frac{xy\sqrt{z-1}}{xyz}+\frac{xz\sqrt{y-2}}{xyz}+\frac{yz\sqrt{x-3}}{xyz}\\ =\frac{\sqrt{z-1}}{z}+\frac{\sqrt{y-2}}{y}+\frac{\sqrt{x-3}}{x}\\ =\frac{2\sqrt{z-1}}{2z}+\frac{2\sqrt{2}\sqrt{y-2}}{2\sqrt{2}y}+\frac{2\sqrt{3}\sqrt{x-3}}{2\sqrt{3}x}\)

Áp dụng BDT Cô-si với 2 số không âm:

\(\Rightarrow\frac{2\sqrt{z-1}}{2z}+\frac{2\sqrt{2}\sqrt{y-2}}{2\sqrt{2}y}+\frac{2\sqrt{3}\sqrt{x-3}}{2\sqrt{3}x}\\ \le\frac{1+\left(z-1\right)}{2z}+\frac{2+\left(y-2\right)}{2\sqrt{2}y}+\frac{3+\left(x-3\right)}{2\sqrt{3}x}\\ =\frac{1}{2}+\frac{1}{2\sqrt{2}}+\frac{1}{2\sqrt{3}}=\frac{1}{2}+\frac{\sqrt{2}}{4}+\frac{\sqrt{3}}{6}\)

Dấu "=" xảy ra \(\Leftrightarrow\left\{{}\begin{matrix}z-1=1\\y-2=2\\x-3=3\end{matrix}\right.\Leftrightarrow\left\{{}\begin{matrix}z=2\\y=4\\x=6\end{matrix}\right.\)

Vậy.......

Thay 2020=x+y+z vao mẫu đc

\(\frac{xy}{\sqrt{xy+zx+zy+z^2}}=\frac{xy}{\sqrt{\left(x+z\right)\left(y+z\right)}}\le\frac{xy}{2}\left(\frac{1}{x+z}+\frac{1}{y+z}\right)\)(Cauchy)

Làm tương tự mấy cái kia sau đó ghép mấy cái cũng mẫu lại là ra

\(\Sigma\left(\frac{xy}{\sqrt{xy+2020z}}\right)=\Sigma\left[\frac{xy}{\sqrt{xy+z\left(x+y+z\right)}}\right]=\Sigma\left[\frac{xy}{\sqrt{\left(y+z\right)\left(z+x\right)}}\right]\)

\(=\Sigma\left[\sqrt{\frac{xy}{y+z}\cdot\frac{xy}{z+x}}\right]\le\Sigma\left[\frac{1}{2}\cdot\left(\frac{xy}{y+z}+\frac{xy}{z+x}\right)\right]\)

\(=\frac{1}{2}\cdot\left(\frac{xy}{y+z}+\frac{xy}{z+x}+\frac{yz}{x+y}+\frac{yz}{z+x}+\frac{zx}{x+y}+\frac{zx}{y+z}\right)\)

\(=\frac{1}{2}\cdot\left[\frac{x\left(y+z\right)}{y+z}+\frac{y\left(z+x\right)}{z+x}+\frac{z\left(x+y\right)}{x+y}\right]\)

\(=\frac{1}{2}\cdot\left(x+y+z\right)=\frac{2020}{2}=1010\)

Dấu "=" xảy ra \(\Leftrightarrow x=y=z=\frac{2020}{3}\)

sao co ten giong minh qua

thay 2016=xy+yz+xz vào các mẫu 
dùng Cô-Si đảo vào từng phân số 
sẽ dễ dàng chứng minh đc :D

Ta có

\(\sqrt{\frac{yz}{x^2+2016}}=\sqrt{\frac{yz}{x^2+yz+xy+xz}}\)

                              =\(\sqrt{\frac{yz}{\left(x+z\right)\left(x+y\right)}}\)\(\le\frac{1}{2}.\frac{y}{x+y}+\frac{1}{2}.\frac{z}{x+z}\)

Tương tự \(\sqrt{\frac{xy}{y^2+2016}}\le\)\(\frac{1}{2}\left(\frac{x}{y+x}+\frac{y}{y+z}\right)\)

              \(\sqrt{\frac{xz}{z^2+2016}}\le\)\(\frac{1}{2}\left(\frac{x}{z+x}+\frac{z}{z+y}\right)\)

=> \(VT\)\(\le\)\(\frac{1}{2}\)(\(\frac{x}{x+y}+\frac{y}{x+y}+\frac{x}{x+z}+\frac{z}{x+z}\)+\(\frac{y}{y+z}+\frac{z}{y+z}\))

                       =\(\frac{3}{2}\)(\(ĐPCM\))