证明arctanx arccotx π 2