$a \ge b \ge c \to \dfrac{1}{{a^2 + 1}} \le \dfrac{1}{{b^2 + 1}} \le \dfrac{1}{{c^2 + 1}}$
$ \Rightarrow \sum\limits_{cyc} { \dfrac{{a + 1}}{{b{}^2 + 1}}} \ge \sum\limits_{} {\dfrac{{a + 1}}{{a^2 + 1}}} = f(a,b,c)$ (bđt xắp xếp lại)
$f(t,t,c) = 2\dfrac{{t + 1}}{{t^2 + 1}} + \dfrac{{c + 1}}{{c^2 + 1}},t = \dfrac{{a + b}}{2}$
ta cm $f(a,b,c) \ge f(t,t,c) \Leftrightarrow \dfrac{{a + 1}}{{a^2 + 1}} + \dfrac{{b + 1}}{{c^2 + 1}} \ge 2\dfrac{{t + 1}}{{t^2 + 1}}$ $
$
xét hàm $g(x) = \dfrac{{x + 1}}{{x^2 + 1}}$ nhận thấy nó lồi trên $[0; + \infty ]$
theo Jensen ta có $
$ đúng
Vậy theo định lí dồn biến ta có $f(a,b,c) \ge f(\dfrac{k}{3},\dfrac{k}{3},\dfrac{k}{3})$