\(\left(a+b\right)\left(b+c\right)\left(c+a\right)+abc\)

\(=abc+a^2b+ab^2+a^2c+ac^2+b^2c+bc^2+abc+abc\)

\(=\left(a+b+c\right)\left(ab+bc+ca\right)\)( phân tích nhân tử các kiểu )

\(\Rightarrow\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge\left(a+b+c\right)\left(ab+bc+ca\right)-abc\left(1\right)\)

\(a+b+c\ge3\sqrt[3]{abc};ab+bc+ca\ge3\sqrt[3]{a^2b^2c^2}\Rightarrow\left(a+b+c\right)\left(ab+bc+ca\right)\ge9abc\)

\(\Rightarrow-abc\ge\frac{-\left(a+b+c\right)\left(ab+bc+ca\right)}{9}\)

Khi đó:\(\left(a+b+c\right)\left(ab+bc+ca\right)-abc\)

\(\ge\left(a+b+c\right)\left(ab+bc+ca\right)-\frac{\left(a+b+c\right)\left(ab+bc+ca\right)}{9}\)

\(=\frac{8\left(a+b+c\right)\left(ab+bc+ca\right)}{9}\left(2\right)\)

Từ ( 1 ) và ( 2 ) có đpcm

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

sai rồi nhé bạn 

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}\)

\(\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

\(sigma\frac{a^2+b^2}{ab\left(a+b\right)^3}\ge sigma\frac{\frac{\left(a+b\right)^2}{2}}{\left(a+b\right)^2\left(a^3+b^3\right)}=sigma\frac{1}{2\left(a^3+b^3\right)}\ge\frac{9}{4\left(a^3+b^3+c^3\right)}=\frac{9}{4}\)

Dấu "=" xảy ra khi \(a=b=c=\frac{1}{\sqrt[3]{3}}\)