求证arctanx arccotx=π 2