-arccotx=arctanx对么,为什么?