Bất đẳng thức cần chứng minh được viết lại: $\sum\limits_{sym} \dfrac{(a-1)^2}{a^2+1} \ge \dfrac{6}{5}$
Theo nguyên lý Dirichlet, giả sử $(3b-1)(3c-1) \ge 0 \leftrightarrow b^2+c^2\le \dfrac{1}{9}+\left(b+c-\dfrac{1}{3}\right)^2$
Áp dụng bất đẳng thức Cauchy-Schwarz:
$LHS \ge \dfrac{(a-1)^2}{a^2+1} + \dfrac{(b+c-2)^2}{b^2+c^2+2}\ge \dfrac{(a-1)^2}{a^2+1}+\dfrac{9(b+c-2)^2}{9(b^2+c^2)+18} \ge \dfrac{(a-1)^2}{a^2+1}+\dfrac{9(a+1)^2}{19+(2-3a)^2}$
Vậy mà ta cần chứng minh:
$\dfrac{(a-1)^2}{a^2+1}+\dfrac{9(a+1)^2}{19+(2-3a)^2} \ge \dfrac{6}{5}\leftrightarrow (3a-1)^2[(2a+1)^2+21] \ge 0$
Bất đẳng thức cuối cùng hiển nhiên đúng cho a điều phải chứng minh.