chứng minh rằng :\(\sqrt{2\left(a^2+b^2\right)}+\sqrt{2\left(b^2+c^2\right)}+\sqrt{2\left(a^2+c^2\right)}>2\left(a+b+c\right)\)
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)
Ta có:\(\left(a^2+bc\right)\left(b+c\right)=b\left(a^2+c^2\right)+c\left(a^2+b^2\right)\)
\(\Rightarrow\sqrt{\frac{\left(a^2+bc\right)\left(b+c\right)}{a\left(b^2+c^2\right)}}=\sqrt{\frac{b\left(a^2+c^2\right)+c\left(a^2+b^2\right)}{a\left(b^2+c^2\right)}}\)
Tương tự\(\Rightarrow\)VT=\(\Sigma\sqrt{\frac{b\left(a^2+c^2\right)+c\left(a^2+b^2\right)}{a\left(b^2+c^2\right)}}\)
Đặt \(x=a\left(b^2+c^2\right)\);\(y=b\left(a^2+c^2\right)\);\(z=c\left(b^2+a^2\right)\)
VT=\(\sqrt{\frac{x+y}{z}}+\sqrt{\frac{y+z}{x}}+\sqrt{\frac{x+z}{y}}\ge3\sqrt[6]{\frac{\left(x+y\right)\left(y+z\right)\left(z+x\right)}{xyz}}\ge3\sqrt{2}\)(BĐT Cô-si)
Dấu''='' xra\(\Leftrightarrow\)a=b=c
![](https://rs.olm.vn/images/avt/0.png?1311)
Áp dụng BĐT Bunhiacopxki:
\(\sqrt{\left(a^2+c^2\right)\left(b^2+c^2\right)}\ge\sqrt{\left(ac+bc\right)^2}=ac+bc\)
CMTT : \(\sqrt{\left(a^2+d^2\right)\left(b^2+d^2\right)}\ge ad+bd\)
Ta có :\(\sqrt{\left(a^2+c^2\right)\left(b^2+c^2\right)}+\sqrt{\left(a^2+d^2\right)\left(b^2+d^2\right)}\ge ac+bc+ad+bd=\left(a+b\right)\left(c+d\right)\)
![](https://rs.olm.vn/images/avt/0.png?1311)
\(\Leftrightarrow\left(\Sigma a\right)^4\left(\Sigma a^4b^4\right)\left[\Sigma c^2\left(a^2+b^2\right)^2\right]\ge54^2\left(abc\right)^6\)
Giả sử \(c=\text{min}\left\{a,b,c\right\}\)và đặt \(a=c+u,b=c+v\) thì nhận được một BĐT hiển nhiên :P
Theo BĐT AM-GM ta có:
\(c^2\left(a^2+b^2\right)^2+a^2\left(b^2+c^2\right)^2+b^2\left(c^2+a^2\right)\ge3\sqrt[3]{\left(abc\right)^2\left[\left(a^2+b^2\right)\left(b^2+c^2\right)\left(c^2+a^2\right)\right]^2}\)
\(\ge3\sqrt[3]{\left(abc\right)^264\left(abc\right)^4}=12\left(abc\right)^2\)
=> \(\sqrt{c^2\left(a^2+b^2\right)^2+a^2\left(b^2+c^2\right)^2+b^2\left(a^2+c^2\right)^2}\ge2\sqrt{3}abc\)
Cũng theo BĐT AM-GM \(\left(ab\right)^4+\left(bc\right)^4+\left(ca\right)^4\ge3\sqrt[3]{\left(ab\right)^4\left(bc\right)^4\left(ca\right)^4}=3\left(abc\right)^2\sqrt[3]{\left(abc\right)^2}\)
=> \(\sqrt{\left(ab\right)^4+\left(bc\right)^4+\left(ca\right)^4}\ge\sqrt{3}\cdot abc\sqrt[3]{abc}\)và \(\left(a+b+c\right)^2\ge9\sqrt[3]{\left(abc\right)^2}\)
=> \(\sqrt{c^2\left(a^2+b^2\right)^2+a^2\left(b^2+c^2\right)^2+b^2\left(c^2+a^2\right)^2}\cdot\left(a+b+c\right)^2\cdot\sqrt{\left(ab\right)^4+\left(bc\right)^4+\left(ca\right)^4}\)
\(\ge2\sqrt{3}\left(abc\right)\cdot\sqrt{3}\left(abc\right)\sqrt[3]{abc}\cdot9\sqrt[3]{\left(abc\right)^2}\ge54\left(abc\right)^3\)
Dấu "=" xảy ra <=> a=b=c
![](https://rs.olm.vn/images/avt/0.png?1311)
Ta có \(\sqrt{2022a+\dfrac{\left(b-c\right)^2}{2}}\)
\(=\sqrt{2a\left(a+b+c\right)+\dfrac{b^2-2bc+c^2}{2}}\)
\(=\sqrt{\dfrac{4a^2+b^2+c^2+4ab+4ac-2bc}{2}}\)
\(=\sqrt{\dfrac{\left(2a+b+c\right)^2-4bc}{2}}\)
\(\le\sqrt{\dfrac{\left(2a+b+c\right)^2}{2}}\)
\(=\dfrac{2a+b+c}{\sqrt{2}}\).
Vậy \(\sqrt{2022a+\dfrac{\left(b-c\right)^2}{2}}\le\dfrac{2a+b+c}{\sqrt{2}}\). Lập 2 BĐT tương tự rồi cộng vế, ta được \(VT\le\dfrac{2a+b+c+2b+c+a+2c+a+b}{\sqrt{2}}\)
\(=\dfrac{4\left(a+b+c\right)}{\sqrt{2}}\) \(=\dfrac{4.1011}{\sqrt{2}}\) \(=2022\sqrt{2}\)
ĐTXR \(\Leftrightarrow\) \(\left\{{}\begin{matrix}ab=0\\bc=0\\ca=0\\a+b+c=1011\end{matrix}\right.\) \(\Leftrightarrow\left(a;b;c\right)=\left(1011;0;0\right)\) hoặc các hoán vị. Vậy ta có đpcm.
Ta chứng minh :\(\sqrt{2\left(a^2+b^2\right)}\ge a+b\)
\(\sqrt{2\left(a^2+b^2\right)}\ge a+b\Leftrightarrow2\left(a^2+b^2\right)\ge\left(a+b\right)^2\)
Đúng theo BĐT Cauchy-Schwarz
Tương tự cho 2 BĐT còn lại cũng có:
\(\sqrt{2\left(b^2+c^2\right)}\ge b+c;\sqrt{2\left(a^2+c^2\right)}\ge a+c\)
Cộng theo vế 3 BĐT trên ta có:
\(VT\ge a+b+b+c+c+a=2\left(a+b+c\right)=VP\)
Đẳng thức xảy ra khi \(a=b=c\)