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.
* Bài này sử dụng cách đẳng thức:
\(a^2+b^2+c^2-ab-bc-ca=\frac{1}{2}.\Sigma\left(a-b\right)^2\)
\(27\left(a+b\right)\left(b+c\right)\left(c+a\right)-8\left(a+b+c\right)^3\)
\(=\Sigma\left(-4a-4b-c\right)\left(a-b\right)^2\)
--------------------------------------------------
\(BĐT\Leftrightarrow\frac{8\left(a^2+b^2+c^2-ab-bc-ca\right)}{ab+bc+ca}+\frac{27\left(a+b\right)\left(b+c\right)\left(c+a\right)-8\left(a+b+c\right)^3}{\left(a+b+c\right)^3}\ge0\) (tự hiểu:v)
\(\Leftrightarrow\frac{4.\frac{1}{2}\Sigma\left(a-b\right)^2}{ab+bc+ca}+\frac{\Sigma\left(-4a-4b-c\right)\left(a-b\right)^2}{\left(a+b+c\right)^3}\ge0\)
\(\Leftrightarrow\Sigma\left(a-b\right)^2\left(\frac{2}{ab+bc+ca}-\frac{4a+4b+c}{\left(a+b+c\right)^3}\right)\ge0\)
Ta chỉ cần chứng minh \(\frac{2}{ab+bc+ca}-\frac{4a+4b+c}{\left(a+b+c\right)^3}>0\) (rồi tương tự các biểu thức còn lại phía sau:v)
\(\Leftrightarrow\frac{2\left(a+b+c\right)^3-\left(4a+4b+c\right)\left(ab+bc+ca\right)}{\left(ab+bc+ca\right)\left(a+b+c\right)^3}>0\)
\(\Leftrightarrow\frac{2a^3+2a^2b+2a^2c+2ab^2+3abc+5ac^2+2b^3+2b^2c+5bc^2+2c^3}{\left(ab+bc+ca\right)\left(a+b+c\right)^3}>0\) (luôn đúng với mọi a, b, c > 0)
Như vậy tương tự các biểu thức còn lại phía sau ta có đpcm.
Đẳng thức xảy ra khi a = b = c
Ta thấy: \(\Sigma_{cyc}\sqrt[3]{\frac{a^2+bc}{abc\left(b^2+c^2\right)}}=\Sigma_{cyc}\frac{a^2+bc}{\sqrt[3]{\left(a^2b+b^2c\right)\left(bc^2+ca^2\right)\left(c^2a+ab^2\right)}}\)
Ta lại có: \(\sqrt[3]{\left(a^2b+b^2c\right)\left(bc^2+ca^2\right)\left(c^2a+ab^2\right)}\le\frac{\left(a^2b+b^2c\right)+\left(bc^2+ca^2\right)+\left(c^2a+ab^2\right)}{3}=\frac{1}{3}\Sigma_{cyc}\left(ab\left(a+b\right)\right)\)
\(\Leftrightarrow\Sigma_{cyc}\sqrt[3]{\frac{a^2+bc}{abc\left(b^2+c^2\right)}}\ge\frac{\Sigma_{cyc}\left(a^2+bc\right)}{\frac{1}{3}\Sigma_{cyc}\left(ab\left(a+b\right)\right)}=\frac{a^2+b^2+c^2+ab+bc+ca}{\frac{1}{3}\Sigma_{cyc}\left(ab\left(a+b\right)\right)}\)
Nhận thấy: \(A=\left(a+b+c\right)\left(a^2+b^2+c^2+ab+bc+ca\right)=a^3+b^3+c^3+3abc+2\Sigma_{cyc}\left(ab\left(a+b\right)\right)\)
Theo Schur: \(a^3+b^3+c^3+3abc\ge\Sigma_{cyc}\left(ab\left(a+b\right)\right)\)
\(\Leftrightarrow A\ge3\Sigma_{cyc}\left(ab\left(a+b\right)\right)\)
\(\Rightarrow\Sigma_{cyc}\sqrt[3]{\frac{a^2+bc}{abc\left(b^2+c^2\right)}}\ge\frac{3\Sigma_{cyc}\left(ab\left(a+b\right)\right)}{\frac{1}{3}\left(a+b+c\right)\Sigma_{cyc}\left(ab\left(a+b\right)\right)}=\frac{9}{a+b+c}\)
