gia thiet la = chu nhi, sao lai +.neu la bag thi ban nhan cheo roi phan h thanh nhan tu.(a+b)(c+b)(c+a)=0 thay vao la ra 

Áp dụng giả thiết và một đánh giá quen thuộc, ta được: \(16\left(a+b+c\right)\ge\frac{1}{a}+\frac{1}{b}+\frac{1}{c}=\frac{ab+bc+ca}{abc}=\frac{\left(ab+bc+ca\right)^2}{abc\left(ab+bc+ca\right)}\ge\frac{3\left(a+b+c\right)}{ab+bc+ca}\)hay \(\frac{1}{6\left(ab+bc+ca\right)}\le\frac{8}{9}\)

Đến đây, ta cần chứng minh \(\frac{1}{\left(a+b+\sqrt{2\left(a+c\right)}\right)^3}+\frac{1}{\left(b+c+\sqrt{2\left(b+a\right)}\right)^3}+\frac{1}{\left(c+a+\sqrt{2\left(c+b\right)}\right)^3}\le\frac{1}{6\left(ab+bc+ca\right)}\)

 Áp dụng bất đẳng thức Cauchy cho ba số dương ta có \(a+b+\sqrt{2\left(a+c\right)}=a+b+\sqrt{\frac{a+c}{2}}+\sqrt{\frac{a+c}{2}}\ge3\sqrt[3]{\frac{\left(a+b\right)\left(a+c\right)}{2}}\)hay \(\left(a+b+\sqrt{2\left(a+c\right)}\right)^3\ge\frac{27\left(a+b\right)\left(a+c\right)}{2}\Leftrightarrow\frac{1}{\left(a+b+2\sqrt{a+c}\right)^3}\le\frac{2}{27\left(a+b\right)\left(a+c\right)}\)

Hoàn toàn tương tự ta có \(\frac{1}{\left(b+c+2\sqrt{b+a}\right)^3}\le\frac{2}{27\left(b+c\right)\left(b+a\right)}\); \(\frac{1}{\left(c+a+2\sqrt{c+b}\right)^3}\le\frac{2}{27\left(c+a\right)\left(c+b\right)}\)

Cộng theo vế các bất đẳng thức trên ta được \(\frac{1}{\left(a+b+\sqrt{2\left(a+c\right)}\right)^3}+\frac{1}{\left(b+c+\sqrt{2\left(b+a\right)}\right)^3}+\frac{1}{\left(c+a+\sqrt{2\left(c+b\right)}\right)^3}\le\frac{4\left(a+b+c\right)}{27\left(a+b\right)\left(b+c\right)\left(c+a\right)}\)Phép chứng minh sẽ hoàn tất nếu ta chỉ ra được \(\frac{4\left(a+b+c\right)}{27\left(a+b\right)\left(b+c\right)\left(c+a\right)}\le\frac{1}{6\left(ab+bc+ca\right)}\)\(\Leftrightarrow\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge\frac{8}{9}\left(ab+bc+ca\right)\left(a+b+c\right)\)

Đây là một đánh giá đúng, thật vậy: đặt a + b + c = p; ab + bc + ca = q; abc = r thì bất đẳng thức trên trở thành \(pq-r\ge\frac{8}{9}pq\Leftrightarrow\frac{1}{9}pq\ge r\)*đúng vì \(a+b+c\ge3\sqrt[3]{abc}\); \(ab+bc+ca\ge3\sqrt[3]{\left(abc\right)^2}\))

Vậy bất đẳng thức được chứng minh

Đẳng thức xảy ra khi \(a=b=c=\frac{1}{4}\)

(

hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh

hhhhhhhhhhhhhhhhh

hhhhhhhhhhhhhhhhhh

hhhhhhhhhhhhhhh

hhhhhhhhhhhhh

\(\frac{1}{\left(1+a\right)^2}+\frac{1}{\left(1+b\right)^2}+\frac{1}{\left(1+b\right)^2}+\frac{2}{\left(1+a\right)\left(1+b\right)\left(1+c\right)}\ge1\)

<=> \(\left(1+b\right)^2\left(1+c\right)^2+\left(1+a\right)^2\left(1+b\right)^2+\left(1+a\right)\left(1+c\right)^2\)

\(+2\left(1+a\right)\left(1+b\right)\left(1+c\right)\ge\left(1+a\right)^2\left(1+b\right)^2\left(1+c\right)^2\)

<=> \(a^2+b^2+c^2\ge3\)đúng vì \(a^2+b^2+c^2\ge3\sqrt[3]{\left(abc\right)^2}=3\)

Dấu "=" xảy ra <=> a = b = c = 1

\(abc=1\Rightarrow\left(abc\right)^2=a^2b^2c^2=1\Rightarrow a^2=\frac{1}{b^2c^2}\Rightarrow\frac{1}{a^3\left(b+c\right)}=\frac{b^2c^2}{a\left(b+c\right)}=\frac{\left(bc\right)^2}{ab+ac}\)

Chứng minh tương tự ta có:  \(\frac{1}{b^3\left(c+a\right)}=\frac{\left(ca\right)^2}{bc+ba};\frac{1}{c^3\left(a+b\right)}=\frac{\left(ab\right)^2}{ca+cb}\)

=> \(\frac{1}{a^3\left(b+c\right)}+\frac{1}{b^3\left(c+a\right)}+\frac{1}{c^3\left(a+b\right)}=\frac{\left(ab\right)^2}{bc+ca}+\frac{\left(bc\right)^2}{ab+ca}+\frac{\left(ca\right)^2}{ab+bc}\)

Áp dụng bđt Cauchy-Schwarz dạng Engel: \(\frac{\left(ab\right)^2}{bc+ca}+\frac{\left(bc\right)^2}{ab+ca}+\frac{\left(ca\right)^2}{ab+bc}\ge\frac{\left(ab+bc+ca\right)^2}{bc+ca+ab+ca+ab+bc}=\frac{ab+bc+ca}{2}\)

Tiếp tục áp dụng bđt Cauchy với 3 số dương ta được: \(\frac{ab+bc+ca}{2}\ge\frac{3\sqrt[3]{ab.bc.ca}}{2}=\frac{3\sqrt[3]{\left(abc\right)^2}}{2}=\frac{3\sqrt[3]{1}}{2}=\frac{3}{2}\)

=> \(\frac{\left(ab\right)^2}{bc+ca}+\frac{\left(bc\right)^2}{ab+ca}+\frac{\left(ca\right)^2}{ab+bc}\ge\frac{ab+bc+ca}{2}\ge\frac{3}{2}\)

Dấu "=" xảy ra khi a=b=c=1

viết lại sigma 1/a³(b+c) = sigma 1/a²/a(b+c) 

đến đây dùng schwarz -> sigma 1/a³(b+c) >/ ab+bc+ac/2 >/ 3/2 (AM-GM cho ab,bc,ca)