Chứng minh rằng nếu \(\left|a\right|\ge\left|b\right|\) thì \(\left|a+b\right|+\left|a-b\right|=\left|a+\sqrt{a^2-b^2}\right|+\left|a-\sqrt{a^2-b^2}\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)
Á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)
Đặt \(x=a+b+c;y=ab+bc+ac;z=abc\)
Suy ra : \(2\left(1+abc\right)+\sqrt{2\left(1+a^2\right)\left(1+b^2\right)\left(1+c^2\right)}\ge\left(1+a\right)\left(1+b\right)\left(1+c\right)\)
\(\Leftrightarrow2\left(1+z\right)+\sqrt{2\left(x^2+y^2+z^2-2xz-2y+1\right)}\ge x+y+z+1\)
\(\Leftrightarrow2\left(x^2+y^2+z^2-2xz-2y+1\right)\ge\left(x+y-z-1\right)^2\)
\(\Leftrightarrow x^2+y^2+z^2-2xy-2xz+2x+2yz-2y-2z+1\ge0\)
\(\Leftrightarrow\left(x-y-z+1\right)^2\ge0\) (luôn đúng)
Vậy bđt ban đầu được chứng minh
![](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ó:\(\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)
\(VT=\sqrt{\left(2+2a^2\right)\left(1+b^2\right)\left(1+c^2\right)}\)
\(VT=\sqrt{\left[a^2-2a+1+a^2+2a+1\right]\left[b^2+2bc+c^2+b^2c^2-2bc+1\right]}\)
\(VT=\sqrt{\left[\left(1-a\right)^2+\left(a+1\right)^2\right]\left[\left(bc-1\right)^2+\left(b+c\right)^2\right]}\)
Bunhiacopxki:
\(VT\ge\left(1-a\right)\left(bc-1\right)+\left(a+1\right)\left(b+c\right)=\left(1+a\right)\left(1+b\right)\left(1+c\right)-2\left(1+abc\right)\)
![](https://rs.olm.vn/images/avt/0.png?1311)
\(BĐT\Leftrightarrow\sqrt{\left(a^2b+b^2c+c^2\right)\left(ab^2+bc^2+ca^2\right)}\ge abc\)
\(+\sqrt[3]{abc\left(a^2+bc\right)\left(b^2+ca\right)\left(c^2+ab\right)}\)
Đặt \(P=\sqrt{\left(a^2b+b^2c+c^2\right)\left(ab^2+bc^2+ca^2\right)}\)
Áp dụng BĐT Bunhiacopski:
\(\left(a^2b+b^2c+c^2a\right)\left(ab^2+bc^2+ca^2\right)\ge\left(\text{ Σ}_{cyc}ab\sqrt{ab}\right)^2\)
\(\Rightarrow P\ge ab\sqrt{ab}+bc\sqrt{bc}+ca\sqrt{ca}\)(1)
Lại áp dụng BĐT Bunhiacopski:
\(\left(a^2b+b^2c+c^2a\right)\left(bc^2+ca^2+ab^2\right)\ge\left(3abc\right)^2\)
\(\Rightarrow P\ge3abc\)(2)
Tiếp tục áp dụng BĐT Bunhiacopski:
\(\left(a^2b+b^2c+c^2a\right)\left(ca^2+b^2a+c^2b\right)\ge\left(\text{Σ}_{cyc}a^2\sqrt{bc}\right)^2\)
\(\Rightarrow P\ge a^2\sqrt{bc}+b^2\sqrt{ca}+c^2\sqrt{ab}\)(3)
Từ (1), (2), (3) suy ra \(3P\ge3abc+\left[\text{Σ}_{cyc}\left(a^2\sqrt{bc}+bc\sqrt{bc}\right)\right]\)
Sử dụng một số phép biến đổi và bđt Cô - si cho 3 số , ta được:
\(3P\ge3abc+3\sqrt[3]{abc\left(a^2+bc\right)\left(b^2+ca\right)\left(c^2+ab\right)}\)
\(\Rightarrow P\ge abc+\sqrt[3]{abc\left(a^2+bc\right)\left(b^2+ca\right)\left(c^2+ab\right)}\)
hay \(\sqrt{\left(a^2b+b^2c+c^2\right)\left(ab^2+bc^2+ca^2\right)}\)
\(\ge abc+\sqrt[3]{abc\left(a^2+bc\right)\left(b^2+ca\right)\left(c^2+ab\right)}\)
Dấu "=" khi a = b = c > 0
P/S: Không biết đúng không nữa, chưa check lại
![](https://rs.olm.vn/images/avt/0.png?1311)
Ap dung bdt AM-GM cho 2 so ko am A,B ta co
\(\sqrt{A}+\sqrt{B}\)\(\le\)\(2\sqrt{\frac{A+B}{2}}\)
VP =\(\sqrt{AB}.\left(\sqrt{A}+\sqrt{B}\right)\le\frac{A+B}{2}.2\sqrt{\frac{A+B}{2}}\)
=>VP2 \(\le4.\frac{\left(A+B\right)^3}{4}=\left(A+B\right)^3\left(3\right)\)
Tu (2),(3) => DPCM