如果函数在区间内单调可导, 且, 则反函数也可导, 且

根据这个法则,可推导出反三角函数的导数:
,则 , 求过程如下

同理, 可推导出arccos(x), arctan(x). 计算时注意下定义域和值域