Do tính thuần nhất ta có thể cho $c=1$. Khi đó bất đẳng thức cần chứng minh tương đươngcho a, b, c >0 chứng minh
$\frac{a}{a+b}+\frac{b}{b+c}+\frac{c}{c+a}\geq 1+\sqrt{\frac{2abc}{(a+b)(b+c)(c+a)}}$
$$a^2b+b^2+a+ab\geq \sqrt{2ab(a+b)(a+1)(b+1)}$$
Bình phương lên và biến đổi nó tương đương với $a^4b^2+b^4+a^2 \geq 3a^2b^2$
Đúng theo AM-GM