Cho a, b, c > 0 và a + b + c = 3. Chứng minh rằng \(\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge\left(ab+c\right)\left(bc+a\right)\left(ca+b\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)
Theo bđt Cauchy - Schwart ta có:
\(\text{Σ}cyc\frac{c}{a^2\left(bc+1\right)}=\text{Σ}cyc\frac{\frac{1}{a^2}}{b+\frac{1}{c}}\ge\frac{\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)^2}{\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+a+b+c}\)\(=\frac{\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)^2}{\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+3}\)
\(=\frac{\left(ab+bc+ca\right)^2}{abc\left(ab+bc+ca\right)+3a^2b^2c^2}\)
Đặt \(ab+bc+ca=x;abc=y\).
Ta có: \(\frac{x^2}{xy+3y^2}\ge\frac{9}{x\left(1+y\right)}\Leftrightarrow x^3+x^3y\ge9xy+27y^2\)
\(\Leftrightarrow x\left(x^2-9y\right)+y\left(x^3-27y\right)\ge0\) ( luôn đúng )
Vậy BĐT đc CM. Dấu '=' xảy ra <=> a=b=c=1
![](https://rs.olm.vn/images/avt/0.png?1311)
\(\frac{a}{bc\left(c+a\right)}+\frac{b}{ca\left(a+b\right)}+\frac{c}{ab\left(b+c\right)}\)
\(=\frac{1}{abc}\left(\frac{a^2}{c+a}+\frac{b^2}{a+b}+\frac{c^2}{b+c}\right)\)
\(\ge\frac{1}{abc}.\frac{\left(a+b+c\right)^2}{2\left(a+b+c\right)}=\frac{1}{abc}.\frac{\left(a+b+c\right)}{2}\)
\(\ge\frac{27}{\left(a+b+c\right)^3}.\frac{a+b+c}{2}=\frac{27}{2\left(a+b+c\right)^2}\)
![](https://rs.olm.vn/images/avt/0.png?1311)
Đặt \(\left\{{}\begin{matrix}a^2-bc=x\\b^2-ca=y\\c^2-ab=z\end{matrix}\right.\)
\(\Rightarrow x+y+z\ge0\)
\(\)Đẳng thức cần c/m trở thành: \(x^3+y^3+z^3\ge3xyz\left(1\right)\)
Áp dụng Bất đẳng thức AM-GM cho 3 số x,y,z, ta có:
\(x^3+y^3+z^3\ge3\sqrt[3]{x^3.y^3.z^3}=3xyz\)
=> Đẳng thức (1) luôn đúng với mọi x
Dấu = xảy ra khi: x=y=z hay \(a^2-bc=b^2-ca=c^2-ab\)
và \(a^2+b^2+c^2-\left(ab+bc+ca\right)=0\)\(\Rightarrow a=b=c\)
![](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