Hãy nhập câu hỏi của bạn vào đây, nếu là tài khoản VIP, bạn sẽ được ưu tiên trả lời.
![](https://rs.olm.vn/images/avt/0.png?1311)
Dự đoán dấu bằng có khi (x,y,z)(x,y,z) là các hoán vị (0;1;1).
Từ đó ta đánh giá làm mất căn:
Ta có:
\(4\sqrt{2}.\sqrt{\frac{xy+yz+zx}{x^2+y^2+z^2}}=\frac{8\left(xy+yz+zx\right)}{\sqrt{\left(x^2+y^2+z^2\right).2\left(xy+yz+zx\right)}}\)\(\ge\frac{16\left(xy+yz+zx\right)}{\left(x+y+z\right)^2}\)
Do đó ta chỉ cần có
\(\frac{x}{y+z}+\frac{y}{z+x}+\frac{z}{x+y}+\frac{16\left(xy+yz+zx\right)}{\left(x+y+z\right)^2}\ge6\)
Không mất tính tổng quát, giả sử \(x\ge y\ge z\) suy ra \(x\ge y>0,z\ge0\)
Khi đó, ta chứng minh BĐT mạnh hơn
\(\frac{x}{y+z}+\frac{y}{z+x}+\frac{16\left(xy+yz+zx\right)}{\left(x+y+z\right)^2}\ge6\)
\(\Leftrightarrow\frac{x+y+z}{y+z}+\frac{x+y+z}{z+x}-\frac{8\left(x^2+y^2+z^2\right)}{\left(x+y+z\right)^2}\ge0\)
\(\Leftrightarrow\left(x+y+z\right)^3\left(x+y+2z\right)\ge8\left(x+z\right)\left(y+z\right)\left(x^2+y^2+z^2\right)\)
Hay \(\left(x+y+z\right)^4+z\left(x+y+z\right)^3\ge8z^2\left(x^2+y^2+z^2\right)+8\left(xy+yz+zx\right)\left(x^2+y^2+z^2\right)\)
Theo AM-GM:\(\left(x+y+z\right)^4=\left(x^2+y^2+z^2+2\left(xy+yz+zx\right)\right)^2\ge8\left(xy+yz+zx\right)\left(x^2+y^2+z^2\right)\)
Vậy ta chỉ cần chứng minh \(z\left(x+y+z\right)^3\ge8z^2\left(x^2+y^2+z^2\right)\)
\(BDT\Leftrightarrow\left(x+y+z\right)^3\ge8z\left(x^2+y^2+z^2\right)\)
Ta có:\(\left(x+y+z\right)^3=x^3+y^3+z^3+3x\left(y^2+z^2\right)+3y\left(z^2+x^2\right)+3z\left(x^2+y^2\right)+6xyz\ge x^3+y^3+z^3+3x^2y+3xy^2+5xyz+8z^3+3z\left(x^2+y^2\right)\)
Suy ra \(\left(x+y+z\right)^3-8z\left(x^2+y^2+z^2\right)\ge x^3+y^3+3x^2y+3xy^2+5xyz-5z\left(x^2+y^2\right)\)
\(=x^3+y^3+3x^2y+3xy^2+5z\left(xy-x^2-y^2\right)\ge x^3+y^3+3x^2y+3xy^2+5y\left(xy-x^2-y^2\right)\)
\(\ge x^3+y^3+3x^2y+3xy^2-5y\left(x^2+y^2\right)\)
\(=\left(x^2-y^2+4\right)\left(x-y\right)\ge0\)
BĐT được chứng minh.
![](https://rs.olm.vn/images/avt/0.png?1311)
Dễ dàng chứng minh được:
\(\frac{a^2}{x}+\frac{b^2}{y}+\frac{c^2}{z}\ge\frac{\left(a+b+c\right)^2}{x+y+z}\) với \(a,b,c>0\)(1)
Dấu bằng xảy ra \(\Leftrightarrow\frac{a}{x}=\frac{b}{y}=\frac{c}{z}\)
Theo đề bài, vì x, y, z > 0 nên áp dụng (1), ta có:
\(\frac{x^2}{x+\sqrt{yz}}+\frac{y^2}{y+\sqrt{zx}}+\frac{z^2}{z+\sqrt{xy}}\ge\)\(\frac{\left(x+y+z\right)^2}{x+y+z+\sqrt{xy}+\sqrt{yz}+\sqrt{zx}}\)(2)
Vì x y, z > 0 nên áp dụng bất đẳng thức Cô-si cho 2 số dương, ta được:
\(x+y\ge2\sqrt{xy}\)(3)
Chứng mih tương tự, ta được;
\(y+z\ge2\sqrt{yz}\)(4);
\(z+x\ge2\sqrt{zx}\)(5)
Từ (3), (4), (5), ta được:
\(2\left(x+y+z\right)\ge2\left(\sqrt{xy}+\sqrt{yz}+\sqrt{zx}\right)\)
\(\Leftrightarrow x+y+z\ge\sqrt{xy}+\sqrt{yz}+\sqrt{zx}\)
\(\Leftrightarrow2\left(x+y+z\right)\ge x+y+z+\sqrt{xy}+\sqrt{yz}+\sqrt{zx}\)
\(\Leftrightarrow\frac{1}{x+y+z+\sqrt{xy}+\sqrt{yz}+\sqrt{zx}}\ge\)\(\frac{1}{2\left(x+y+z\right)}\)
\(\Leftrightarrow\frac{\left(x+y+z\right)^2}{x+y+z+\sqrt{xy}+\sqrt{yz}+\sqrt{zx}}\ge\frac{x+y+z}{2}\)
Mà theo đề bài, \(x+y+z\ge3\) nên:
\(\frac{x+y+z}{2}\ge\frac{3}{2}\)
Suy ra \(\frac{\left(x+y+z\right)^2}{x+y+z+\sqrt{xy}+\sqrt{yz}+\sqrt{zx}}\ge\frac{3}{2}\left(6\right)\)
Từ (2) và (6), ta được:
\(\frac{x^2}{x+\sqrt{yz}}+\frac{y^2}{y+\sqrt{zx}}+\frac{z^2}{z+\sqrt{xy}}\ge\frac{3}{2}\)(điều phải chứng minh)
Dấu bằng xảy ra
\(\Leftrightarrow\hept{\begin{cases}x=y=z\\x+y+z=3\end{cases}\Leftrightarrow x=y=z=1}\)
Vậy nếu x, y, z > 0 và \(x+y+z\ge3\)thì \(\frac{x^2}{x+\sqrt{yz}}+\frac{y^2}{y+\sqrt{zx}}+\frac{z^2}{z+\sqrt{xy}}\ge\frac{3}{2}\)
![](https://rs.olm.vn/images/avt/0.png?1311)
\(VT=\frac{x}{\sqrt[3]{yz}}+\frac{y}{\sqrt[3]{xz}}+\frac{z}{\sqrt[3]{xy}}\)
\(\ge\frac{3x}{y+z+1}+\frac{3y}{x+z+1}+\frac{3z}{x+y+1}\)
\(=\frac{3x^2}{xy+xz+x}+\frac{3y^2}{xy+yz+y}+\frac{3z^2}{xz+yz+z}\)
\(\ge\frac{3\left(x+y+z\right)^2}{2\left(xy+yz+xz\right)+x+y+z}\)
\(\ge\frac{3\left(x+y+z\right)^2}{2\left(xy+yz+xz\right)+x^2+y^2+z^2}\)
\(\ge\frac{3\left(x+y+z\right)^2}{\left(x+y+z\right)^2}=3=x^2+y^2+z^2\ge xy+yz+xz=VP\)
Dấu "=" <=> x=y=z=1
![](https://rs.olm.vn/images/avt/0.png?1311)
Áp dụng BĐT Cô-si dạng Engel,ta có :
\(\frac{x^2}{x+\sqrt{yz}}+\frac{y^2}{y+\sqrt{xz}}+\frac{z^2}{z+\sqrt{xy}}\ge\frac{\left(x+y+z\right)^2}{x+y+z+\sqrt{xy}+\sqrt{yz}+\sqrt{xz}}\)
Mà \(\sqrt{xy}+\sqrt{yz}+\sqrt{xz}\le x+y+z\)
\(\Rightarrow\)\(\frac{\left(x+y+z\right)^2}{x+y+z+\sqrt{xy}+\sqrt{yz}+\sqrt{xz}}\ge\frac{\left(x+y+z\right)^2}{2\left(x+y+z\right)}=\frac{x+y+z}{2}\ge\frac{3}{2}\)
Dấu "=" xảy ra khi x = y = z = \(\frac{3}{2}\)
![](https://rs.olm.vn/images/avt/0.png?1311)
Áp dụng bất đẳng thức cộng mẫu số
\(\Rightarrow\frac{x^2}{x+\sqrt{yz}}+\frac{y^2}{y+\sqrt{xz}}+\frac{z^2}{z+\sqrt{xy}}\ge\frac{\left(x+y+z\right)^2}{x+y+z+\sqrt{yz}+\sqrt{xz}+\sqrt{xy}}\)
Xét \(\frac{\left(x+y+z\right)^2}{x+y+z+\sqrt{yz}+\sqrt{xz}+\sqrt{xy}}\)
Áp dụng bất đẳng thức Cauchy cho 2 bộ số thực không âm
\(\Rightarrow\left\{\begin{matrix}\sqrt{yz}\le\frac{y+z}{2}\\\sqrt{xz}\le\frac{x+z}{2}\\\sqrt{xy}\le\frac{x+y}{2}\end{matrix}\right.\)
\(\Rightarrow\sqrt{yz}+\sqrt{xz}+\sqrt{xy}\le\frac{y+z}{2}+\frac{x+z}{2}+\frac{x+y}{2}\)
\(\Rightarrow\sqrt{yz}+\sqrt{xz}+\sqrt{xy}\le\frac{2\left(x+y+z\right)}{2}\)
\(\Rightarrow\sqrt{yz}+\sqrt{xz}+\sqrt{xy}\le x+y+z\)
\(\Rightarrow x+y+z+\sqrt{xy}+\sqrt{yz}+\sqrt{xz}\le2\left(x+y+z\right)\)
\(\Rightarrow\frac{\left(x+y+z\right)^2}{x+y+z+\sqrt{xy}+\sqrt{xz}+\sqrt{yz}}\ge\frac{\left(x+y+z\right)^2}{2\left(x+y+z\right)}=\frac{x+y+z}{2}\)
Ta có: \(x+y+z\ge3\)
\(\Rightarrow\frac{x+y+z}{2}\ge\frac{3}{2}\)
\(\Rightarrow\frac{\left(x+y+z\right)^2}{x+y+z+\sqrt{xy}+\sqrt{xz}+\sqrt{yz}}\ge\frac{3}{2}\)
Vì \(\frac{x^2}{x+\sqrt{yz}}+\frac{y^2}{y+\sqrt{xz}}+\frac{z^2}{z+\sqrt{xy}}\ge\frac{\left(x+y+z\right)^2}{x+y+z+\sqrt{yz}+\sqrt{xz}+\sqrt{xy}}\)
\(\Rightarrow\frac{x^2}{x+\sqrt{yz}}+\frac{y^2}{y+\sqrt{xz}}+\frac{z^2}{z+\sqrt{xy}}\ge\frac{3}{2}\) ( đpcm )
![](https://rs.olm.vn/images/avt/0.png?1311)
Theo giả thiết xy + yz + zx = 1 nên ta có: \(VT=\frac{1}{1+x^2}+\frac{1}{1+y^2}+\frac{1}{1+z^2}=\frac{1}{xy+yz+zx+x^2}+\frac{1}{xy+yz+zx+y^2}+\frac{1}{xy+yz+zx+z^2}=\frac{1}{\left(x+y\right)\left(x+z\right)}+\frac{1}{\left(y+x\right)\left(y+z\right)}+\frac{1}{\left(z+x\right)\left(z+y\right)}=\frac{2\left(x+y+z\right)}{\left(x+y\right)\left(y+z\right)\left(z+x\right)}\)Theo bất đẳng thức Cauchy-Schwarz: \(\left(\frac{x}{\sqrt{1+x^2}}+\frac{y}{\sqrt{1+y^2}}+\frac{z}{\sqrt{1+z^2}}\right)^2\le\left(x+y+z\right)\left(\frac{x}{1+x^2}+\frac{y}{1+y^2}+\frac{z}{1+z^2}\right)=\left(x+y+z\right)\left(\frac{x}{\left(x+y\right)\left(x+z\right)}+\frac{y}{\left(y+z\right)\left(y+x\right)}+\frac{z}{\left(z+x\right)\left(z+y\right)}\right)=\frac{2\left(x+y+z\right)\left(xy+yz+zx\right)}{\left(x+y\right)\left(y+z\right)\left(z+x\right)}=\frac{2\left(x+y+z\right)}{\left(x+y\right)\left(y+z\right)\left(z+x\right)}\)\(\Rightarrow\frac{2}{3}\left(\frac{x}{\sqrt{1+x^2}}+\frac{y}{\sqrt{1+y^2}}+\frac{z}{\sqrt{1+z^2}}\right)^3\le\frac{4\left(x+y+z\right)}{3\left(x+y\right)\left(y+z\right)\left(z+x\right)}\left(\frac{x}{\sqrt{1+x^2}}+\frac{y}{\sqrt{1+y^2}}+\frac{z}{\sqrt{1+z^2}}\right)\)Ta cần chứng minh: \(\frac{2\left(x+y+z\right)}{\left(x+y\right)\left(y+z\right)\left(z+x\right)}\ge\frac{4\left(x+y+z\right)}{3\left(x+y\right)\left(y+z\right)\left(z+x\right)}\left(\frac{x}{\sqrt{1+x^2}}+\frac{y}{\sqrt{1+y^2}}+\frac{z}{\sqrt{1+z^2}}\right)\)
hay \(\frac{x}{\sqrt{1+x^2}}+\frac{y}{\sqrt{1+y^2}}+\frac{z}{\sqrt{1+z^2}}\le\frac{3}{2}\)
Bất đẳng thức cuối đúng theo AM - GM do: \(\frac{x}{\sqrt{1+x^2}}+\frac{y}{\sqrt{1+y^2}}+\frac{z}{\sqrt{1+z^2}}=\sqrt{\frac{x}{x+y}.\frac{x}{x+z}}+\sqrt{\frac{y}{y+z}.\frac{y}{x+y}}+\sqrt{\frac{z}{z+x}.\frac{z}{z+y}}\le\frac{\left(\frac{x}{x+y}+\frac{x}{x+z}\right)+\left(\frac{y}{y+z}+\frac{y}{x+y}\right)+\left(\frac{z}{z+x}+\frac{z}{z+y}\right)}{2}=\frac{3}{2}\)Đẳng thức xảy ra khi \(x=y=z=\frac{1}{\sqrt{3}}\)
![](https://rs.olm.vn/images/avt/0.png?1311)
Xét: \(\frac{1-x^2}{x+yz}+\frac{1-y^2}{y+xz}+\frac{1-z^2}{z+xy}\)
Thay thế \(x+y+z=1\)
\(\Leftrightarrow\frac{\left(x+y+z\right)^2-x^2}{x\left(x+y+z\right)+yz}+\frac{\left(x+y+z\right)^2-y^2}{y\left(x+y+z\right)+xz}+\frac{\left(x+y+z\right)^2-z^2}{z\left(x+y+z\right)+xy}\)
Áp dụng hằng đẳng thức hiệu 2 bình phương: \(a^2-b^2=\left(a-b\right)\left(a+b\right)\)
\(\Leftrightarrow\frac{\left(y+z\right)\left(2x+y+z\right)}{x^2+xy+xz+yz}+\frac{\left(x+z\right)\left(x+2y+z\right)}{xy+y^2+yz+xz}+\frac{\left(x+y\right)\left(x+y+2z\right)}{xz+zy+z^2+xy}\)
\(\Leftrightarrow\frac{\left(y+z\right)\left(2x+y+z\right)}{\left(x+y\right)\left(x+z\right)}+\frac{\left(x+z\right)\left(x+2y+z\right)}{\left(x+y\right)\left(y+z\right)}+\frac{\left(x+y\right)\left(x+y+2z\right)}{\left(x+z\right)\left(y+z\right)}\)
Áp dụng bất đẳng thức Cauchy cho 2 bộ số thực không âm
\(\Rightarrow\left\{\begin{matrix}\left(x+y\right)\left(x+z\right)\le\left(\frac{2x+y+z}{2}\right)^2=\frac{\left(2x+y+z\right)^2}{4}\\\left(x+y\right)\left(y+z\right)\le\left(\frac{x+2y+z}{2}\right)^2=\frac{\left(x+2y+z\right)^2}{4}\\\left(x+z\right)\left(y+z\right)\le\left(\frac{x+y+2z}{2}\right)^2=\frac{\left(x+y+2z\right)^2}{4}\end{matrix}\right.\)
\(\Rightarrow\left\{\begin{matrix}\frac{\left(y+z\right)\left(2x+y+z\right)}{\left(x+y\right)\left(x+z\right)}\ge\frac{4\left(y+z\right)\left(2x+y+z\right)}{\left(2x+y+z\right)^2}=\frac{4\left(y+z\right)}{2x+y+z}\\\frac{\left(x+z\right)\left(x+2y+z\right)}{\left(x+y\right)\left(y+z\right)}\ge\frac{4\left(x+z\right)\left(x+2y+z\right)}{\left(x+2y+z\right)^2}=\frac{4\left(x+z\right)}{x+2y+z}\\\frac{\left(x+y\right)\left(x+y+2z\right)}{\left(x+z\right)\left(y+z\right)}\ge\frac{4\left(x+y\right)\left(x+y+2z\right)}{\left(x+y+2z\right)^2}=\frac{4\left(x+y\right)}{x+y+2z}\end{matrix}\right.\)
\(\Rightarrow VT\ge\frac{4\left(y+z\right)}{2x+y+z}+\frac{4\left(x+z\right)}{x+2y+z}+\frac{4\left(x+y\right)}{x+y+2z}\)
\(\Rightarrow VT\ge4\left(\frac{y+z}{2x+y+z}+\frac{x+z}{x+2y+z}+\frac{x+y}{x+y+2z}\right)\)
Ta có: \(x+y+z=1\)
\(\Rightarrow\left\{\begin{matrix}y+z=1-x\\x+z=1-y\\x+y=1-z\end{matrix}\right.\) ( 1 )
\(\Rightarrow\left\{\begin{matrix}2x+y+z=1+x\\x+2y+z=1+y\\x+y+2z=1+z\end{matrix}\right.\) ( 2 )
Từ ( 1 ) và ( 2 )
\(\Rightarrow VT\ge4\left(\frac{1-x}{1+x}+\frac{1-y}{1+y}+\frac{1-z}{1+z}\right)\)
\(\Rightarrow VT\ge4\left(\frac{1+x-2x}{1+x}+\frac{1+y-2y}{1+y}+\frac{1+z-2z}{1+z}\right)\)
\(\Rightarrow VT\ge4\left[3-\left(\frac{2x}{1+x}+\frac{2y}{1+y}+\frac{2z}{1+z}\right)\right]\)
\(\Rightarrow VT\ge12-4\left(\frac{2x}{1+x}+\frac{2y}{1+y}+\frac{2z}{1+z}\right)\)
Chứng minh rằng \(12-4\left(\frac{2x}{1+x}+\frac{2y}{1+y}+\frac{2z}{1+z}\right)\ge6\)
\(\Leftrightarrow4\left(\frac{2x}{1+x}+\frac{2y}{1+y}+\frac{2z}{1+z}\right)\le6\)
\(\Leftrightarrow\frac{2x}{1+x}+\frac{2y}{1+y}+\frac{2z}{1+z}\le\frac{3}{2}\)
\(\Leftrightarrow\frac{x}{1+x}+\frac{y}{1+y}+\frac{z}{1+z}\le\frac{3}{4}\)
\(\Leftrightarrow\frac{1+x-1}{1+x}+\frac{1+y-1}{1+y}+\frac{1+z-1}{1+z}\le\frac{3}{4}\)
\(\Leftrightarrow1-\frac{1}{1+x}+1-\frac{1}{1+y}+1-\frac{1}{1+z}\le\frac{3}{4}\)
\(\Leftrightarrow3-\left(\frac{1}{1+x}+\frac{1}{1+y}+\frac{1}{1+z}\right)\le\frac{3}{4}\)
Áp dụng bất đẳng thức cộng mẫu số
\(\Rightarrow\frac{1}{1+x}+\frac{1}{1+y}+\frac{1}{1+z}\ge\frac{\left(1+1+1\right)^2}{3+x+y+z}=\frac{9}{4}\)
\(\Rightarrow3-\left(\frac{1}{1+x}+\frac{1}{1+y}+\frac{1}{1+z}\right)\le3-\frac{9}{4}\)
\(\Rightarrow3-\left(\frac{1}{1+x}+\frac{1}{1+y}+\frac{1}{1+z}\right)\le\frac{3}{4}\) ( đpcm )
Vì \(12-4\left(\frac{2x}{1+x}+\frac{2y}{1+y}+\frac{2z}{1+z}\right)\ge6\)
\(\Rightarrow VT\ge6\)
\(\Leftrightarrow\)\(\frac{1-x^2}{x+yz}+\frac{1-y^2}{y+xz}+\frac{1-z^2}{z+xy}\ge6\) ( đpcm )
Cách khác:
\(A=\frac{1-x^2}{x+yz}+\frac{1-y^2}{y+xz}+\frac{1-z^2}{z+xy}=\frac{1-x^2}{x(x+y+z)+yz}+\frac{1-y^2}{y(x+y+z)+xz}+\frac{1-z^2}{z(x+y+z)+xy}\)
\(\Leftrightarrow A=\frac{1-x^2}{(x+y)(x+z)}+\frac{1-y^2}{(y+z)(y+x)}+\frac{1-z^2}{(z+x)(z+y)}=\frac{2(x+y+z)-[xy(x+y)+yz(y+z)+xz(x+z)]}{(x+y)(y+z)(x+z)}\)
Có \(A\geq 6\Leftrightarrow 2-[xy(x+y)+yz(y+z)+xz(x+z)]\ge 6(x+y)(y+z)(x+z)\)
\(\Leftrightarrow 2+9xyz\geq 7(x+y+z)(xy+yz+xz)\)
\(\Leftrightarrow 2+9xyz\geq 7(xy+yz+xz)\) \((\star)\)
Theo BĐT Schur bậc 3 kết hợp AM-GM:
\(xyz\geq (x+y-z)(y+z-x)(x+z-y)=(1-2x)(1-2y)(1-2z)\)
\(\Leftrightarrow 9xyz\geq 4(xy+yz+xz)-1\)
\(\Rightarrow 2+9(xy+yz+xz)\geq 1+4(xy+yz+xz)=(x+y+z)^2+4(xy+yz+xz)\)\(\geq 7(xy+yz+xz)\)
Do đó \((\star)\) được CM. Bài toán hoàn tất. Dấu bằng xảy ra khi \(x=y=z=\frac{1}{3}\)