prove that tan-1x + cot-1(x+1) = tan-1( 1 + x + X^2)