Cho a,b,c >0 và \(a+b+c=\frac{1}{abc}\). C/m\(\sqrt{\frac{\left(1+b^2+c^2\right)\left(1+c^2+a^2\right)}{c^2+a^2b^2c^2}}=a+b\)
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)
![](https://rs.olm.vn/images/avt/0.png?1311)
2/ Không mất tính tổng quát, giả sử \(c=min\left\{a,b,c\right\}\).
Nếu abc = 0 thì có ít nhất một số bằng 0. Giả sử c = 0. BĐT quy về: \(a^2+b^2\ge2ab\Leftrightarrow\left(a-b\right)^2\ge0\) (luôn đúng)
Đẳng thức xảy ra khi a = b; c = 0.
Nếu \(abc\ne0\). Chia hai vế của BĐT cho \(\sqrt[3]{\left(abc\right)^2}\)
BĐT quy về: \(\Sigma_{cyc}\sqrt[3]{\frac{a^4}{b^2c^2}}+3\ge2\Sigma_{cyc}\sqrt[3]{\frac{ab}{c^2}}\)
Đặt \(\sqrt[3]{\frac{a^2}{bc}}=x;\sqrt[3]{\frac{b^2}{ca}}=y;\sqrt[3]{\frac{c^2}{ab}}=z\Rightarrow xyz=1\)
Cần chúng minh: \(x^2+y^2+z^2+3\ge2\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\right)\)
\(\Leftrightarrow x^2+y^2+z^2+2xyz+1\ge2\left(xy+yz+zx\right)\) (1)
Theo nguyên lí Dirichlet thì trong 3 số x - 1, y - 1, z - 1 tồn tại ít nhất 2 số có tích không âm. Không mất tính tổng quát, giả sử \(\left(x-1\right)\left(y-1\right)\ge0\)
\(\Rightarrow2xyz\ge2xz+2yz-2z\). Thay vào (1):
\(VT\ge x^2+y^2+z^2+2xz+2yz-2z+1\)
\(=\left(x-y\right)^2+\left(z-1\right)^2+2xy+2xz+2yz\)
\(\ge2\left(xy+yz+zx\right)\)
Vậy (1) đúng. BĐT đã được chứng minh.
Đẳng thức xảy ra khi a = b = c hoặc a = b, c = 0 và các hoán vị.
Check giúp em vs @Nguyễn Việt Lâm, bài dài quá:(
Để đưa về chứng minh $(1)$ và $(2)$ ta dùng:
Định lí SOS: Nếu \(X+Y+Z=0\) thì \(AX^2+BY^2+CZ^2\ge0\)
khi \(\left\{{}\begin{matrix}A+B+C\ge0\\AB+BC+CA\ge0\end{matrix}\right.\)
Chứng minh: Vì \(\sum\left(A+C\right)=2\left(A+B+C\right)\ge0\)
Nên ta có thể giả sử \(A+C\ge0\). Mà $X+Y+Z=0$ nên$:$
\(AX^2+BY^2+CZ^2=AX^2+BY^2+C\left[-\left(X+Y\right)\right]^2\)
\(={\frac { \left( AX+CX+CY \right) ^{2}}{A+C}}+{\frac {{Y}^{2} \left( AB+AC+BC \right) }{A+C}} \geq 0\)
![](https://rs.olm.vn/images/avt/0.png?1311)
Đặt \(\left(\frac{1}{a},\frac{1}{b},\frac{1}{c}\right)=\left(x,y,z\right)\)
\(x+y+z\ge\frac{x^2+2xy}{2x+y}+\frac{y^2+2yz}{2y+z}+\frac{z^2+2zx}{2z+x}\)
\(\Leftrightarrow x+y+z\ge\frac{3xy}{2x+y}+\frac{3yz}{2y+z}+\frac{3zx}{2z+x}\)
\(\frac{3xy}{2x+y}\le\frac{3}{9}xy\left(\frac{1}{x}+\frac{1}{x}+\frac{1}{y}\right)=\frac{1}{3}\left(x+2y\right)\)
\(\Rightarrow\Sigma_{cyc}\frac{3xy}{2x+y}\le\frac{1}{3}\left[\left(x+2y\right)+\left(y+2z\right)+\left(z+2x\right)\right]=x+y+z\)
Dấu "=" xảy ra khi x=y=z
![](https://rs.olm.vn/images/avt/0.png?1311)
1) Áp dụng bunhiacopxki ta được \(\sqrt{\left(2a^2+b^2\right)\left(2a^2+c^2\right)}\ge\sqrt{\left(2a^2+bc\right)^2}=2a^2+bc\), tương tự với các mẫu ta được vế trái \(\le\frac{a^2}{2a^2+bc}+\frac{b^2}{2b^2+ac}+\frac{c^2}{2c^2+ab}\le1< =>\)\(1-\frac{bc}{2a^2+bc}+1-\frac{ac}{2b^2+ac}+1-\frac{ab}{2c^2+ab}\le2< =>\)
\(\frac{bc}{2a^2+bc}+\frac{ac}{2b^2+ac}+\frac{ab}{2c^2+ab}\ge1\)<=> \(\frac{b^2c^2}{2a^2bc+b^2c^2}+\frac{a^2c^2}{2b^2ac+a^2c^2}+\frac{a^2b^2}{2c^2ab+a^2b^2}\ge1\) (1)
áp dụng (x2 +y2 +z2)(m2+n2+p2) \(\ge\left(xm+yn+zp\right)^2\)
(2a2bc +b2c2 + 2b2ac+a2c2 + 2c2ab+a2b2). VT\(\ge\left(bc+ca+ab\right)^2\) <=> (ab+bc+ca)2. VT \(\ge\left(ab+bc+ca\right)^2< =>VT\ge1\) ( vậy (1) đúng)
dấu '=' khi a=b=c