cotx的反三角函数公式

设arccotx=y，则coty=x两边求导

(-csc²y)·y′=1

即y′=-1/csc²y=-1/(1+cot²y)

因此，y′=f′(x)=-1/(1+x²)。