① arccot(x) 的导数是 -1/(1+x^2)
② arctan(x) 的导数是 1/(1+x^2)
③所以(arccot(x))' = (-arctan(x))'
④所以,-1/(1+x^2)的原函数同时是arccot(x) 和 -arctan(x)