Áp dụng BĐT Bunhiacopxki:
\(\left(a^2+bc+ca\right)\left(b^2+bc+ca\right)\ge\left(ab+bc+ca\right)^2\)
\(\Rightarrow\frac{ab}{a^2+bc+ca}\le\frac{ab\left(b^2+bc+ca\right)}{\left(ab+bc+ca\right)^2}\)
Tương tự: \(\frac{bc}{b^2+ca+ab}\le\frac{bc\left(c^2+ca+ab\right)}{\left(ab+bc+ca\right)^2}\) ; \(\frac{ac}{c^2+ab+bc}\le\frac{ac\left(a^2+ab+bc\right)}{\left(ab+bc+ca\right)^2}\)
Cộng vế với vế:
\(VT\le\frac{ab^3+bc^3+ca^3+2a^2bc+2ab^2c+2abc^2}{\left(ab+bc+ca\right)^2}\)
\(VT\le\frac{ab^3+bc^3+ca^3+2.a\sqrt{ab}.c\sqrt{ab}+2a\sqrt{bc}.b\sqrt{bc}+2c\sqrt{ac}.b\sqrt{ac}}{\left(ab+bc+ca\right)^2}\)
\(VT\le\frac{ab^3+bc^3+ca^3+a^3b+abc^2+b^3c+a^2bc+ac^3+ab^2c}{\left(ab+bc+ca\right)}=\frac{\left(ab+bc+ca\right)\left(a^2+b^2+c^2\right)}{\left(ab+bc+ca\right)^2}\)
\(VT\le\frac{a^2+b^2+c^2}{ab+bc+ca}\)
Dấu "=" xảy ra khi \(a=b=c\)
Áp dụng bất đẳng thức Bunyakovsky, ta được: \(\Sigma_{cyc}\frac{ab}{a^2+bc+ca}=\Sigma_{cyc}\frac{ab\left(b^2+bc+ca\right)}{\left(a^2+bc+ca\right)\left(b^2+bc+ca\right)}\le\Sigma_{cyc}\frac{ab\left(b^2+bc+ca\right)}{\left(ab+bc+ca\right)^2}\)
Ta có: \(\Sigma_{cyc}\frac{ab\left(b^2+bc+ca\right)}{\left(ab+bc+ca\right)^2}=\frac{ab^3+bc^3+ca^3+2a^2bc+2ab^2c+2abc^2}{\left(ab+bc+ca\right)^2}=\frac{ab^3+bc^3+ca^3+2.a\sqrt{ab}.c\sqrt{ab}+2.a\sqrt{bc}.b\sqrt{bc}+2.c\sqrt{ca}.b\sqrt{ca}}{\left(ab+bc+ca\right)^2}\le\frac{ab^3+bc^3+ca^3+a^3b+abc^2+a^2bc+b^3c+c^3a+ab^2c}{\left(ab+bc+ca\right)^2}=\frac{\left(a^2+b^2+c^2\right)\left(ab+bc+ca\right)}{\left(ab+bc+ca\right)^2}=\frac{a^2+b^2+c^2}{ab+bc+ca}\)
Đẳng thức xảy ra khi a = b = c
