Cho \(x,y\ge0\) . Chứng minh \(\frac{x}{y+z}+\frac{y}{x+z}+\frac{z}{x+y}+4\sqrt{2}\sqrt{\frac{xy+yz+xz}{x^2+y^2+z^2}}\ge6\)
Anh chị giúp em với ạ
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.
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}\)
\(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
Á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}\)
Á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 )
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}}\)
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.
v~ để cái này lp 9 thì ko hợp @@