Ta có:[tex]\frac{1-a^2}{a^2+1}+\frac{1-b^2}{1+b^2}=\frac{1-a^2}{(a+b)(a+c)}+\frac{1-b^2}{(a+b)(b+c)}=\frac{(1-a^2)(b+c)+(1-b^2)(a+c)}{(a+b)(b+c)(c+a)}=\frac{b+c-a^2b-a^2c+c+a-b^2a-b^2c}{(a+b)(b+c)(c+a)}=\frac{a+b+2c-c(a^2+b^2)-ab(a+b)}{(a+b)(b+c)(c+a)}[/tex]
Lại có:[tex]\frac{2c(1+ab)}{\sqrt{(1+a^2)(1+b^2)(1+c^2)}}=\frac{2c(1+ab)}{(a+b)(b+c)(c+a)}[/tex]
Cần chứng minh:[tex]a+b+2c-c(a^2+b^2)-ab(a+b)=2c(1+ab)\Leftrightarrow a+b-c(a^2+b^2)-ab(a+b)=2abc\Leftrightarrow a+b-c(a^2+b^2)-2abc-ab(a+b)=0\Leftrightarrow (a+b)(1-ab)-c(a^2+b^2+2ab)=0\Leftrightarrow (a+b)(bc+ca)-c(a+b)^2=0\Leftrightarrow (a+b)^2c-c(a+b)^2=0(luôn đúng)[/tex]
Vậy ta có đpcm.