为什么arctanx+arccotx= π/2 导数为0,原函数为常数.把1代入为 π/2,而把