左边对x求导 导数为零 说明为常值 再取特殊值如pai/4 得证
tan(arctanx)=x=tan(π/2-arccotx)arctanx=π/2-arccotxarctanx+arccotx=π/2