证明arctanx arccotx=π除以2