推导arccot1/x的导数,求过程