(arctanx+arccotx)'=1/(x^2+1)-1/(x^2+1)=0
所以arctanx+arccotx为常数
x=0代入,得到arctanx+arccotx=pi/2