Đẳng thức quen thuộc: \(a^2+ab+bc+ca=\left(a+b\right)\left(a+c\right)\) và tương tự cho các mẫu số còn lại
Ta có:
\(\sum\dfrac{1}{a^2+1}=\sum\dfrac{1}{\left(a+b\right)\left(a+c\right)}=\dfrac{2\left(a+b+c\right)}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}=\dfrac{2\left(ab+bc+ca\right)\left(a+b+c\right)}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}\)
Mặt khác:
\(2\left(ab+bc+ca\right)\left(a+b+c\right)=\left[a\left(b+c\right)+b\left(c+a\right)+c\left(a+b\right)\right]\left(a+b+c\right)\)
\(\ge\left(a\sqrt{b+c}+b\sqrt{c+a}+c\sqrt{a+b}\right)^2\) (Bunhiacopxki)
\(\Rightarrow\sum\dfrac{1}{a^2+1}\ge\dfrac{\left(a\sqrt{b+c}+b\sqrt{c+a}+c\sqrt{a+b}\right)^2}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}\)
\(=\left(\dfrac{a}{\sqrt{\left(a+b\right)\left(b+c\right)}}+\dfrac{b}{\sqrt{\left(a+b\right)\left(b+c\right)}}+\dfrac{c}{\sqrt{\left(a+c\right)\left(b+c\right)}}\right)^2\)
\(=\left(\dfrac{a}{\sqrt{a^2+1}}+\dfrac{b}{\sqrt{b^2+1}}+\dfrac{c}{\sqrt{c^2+1}}\right)^2\)
Do đó ta chỉ cần chứng minh:
\(\dfrac{a}{\sqrt{a^2+1}}+\dfrac{b}{\sqrt{b^2+1}}+\dfrac{c}{\sqrt{c^2+1}}\le\dfrac{3}{2}\)
\(\Leftrightarrow\dfrac{a}{\sqrt{\left(a+b\right)\left(a+c\right)}}+\dfrac{b}{\sqrt{\left(a+b\right)\left(b+c\right)}}+\dfrac{c}{\sqrt{\left(a+c\right)\left(b+c\right)}}\le\dfrac{3}{2}\)
Đúng theo AM-GM:
\(\sum\dfrac{a}{\sqrt{\left(a+b\right)\left(a+c\right)}}\le\dfrac{1}{2}\sum\left(\dfrac{a}{a+b}+\dfrac{a}{a+c}\right)=\dfrac{3}{2}\)
Dấu "=" xảy ra khi \(a=b=c=\dfrac{1}{\sqrt{3}}\)
