arctanx + arccotx = π/2arccotx = π/2 - arctanx所以结果是arccotx + C还是π/2 - arctanx + C都可以。同时C表示任意常数，所以可以和π/2合并，就是-arctanx + C了。
