arccotx的导数-(1/1+X^2)的证明过程