以下为几种常见反三角函数导数的推导过程:
反正弦函数 y=arcsinx 的导数
已知 y=arcsinx,其定义域为[−1,1],值域为[−2π,2π],它是正弦函数 x=siny 的反函数。
对x=siny 两边关于y 求导,根据求导公式(siny)′=cosy,可得:dydx=cosy。
根据反函数求导法则,如果x=f(y) 在某区间内单调、可导且f′(y)=0,那么它的反函数 y=f−1(x) 在对应区间内也可导,且有(f−1(x))′=f′(y)1。
由于y∈[−2π,2π],cosy≥0,且cosy=1−sin2y
,又因为x=siny,所以cosy=1−x2
。
那么y=arcsinx 的导数为:y′=dxdy=dydx1=cosy1=1−x2
1
反余弦函数 y=arccosx 的导数
已知 y=arccosx,定义域为[−1,1],值域为[0,π],它是余弦函数 x=cosy 的反函数。
对x=cosy 两边关于y 求导,根据求导公式(cosy)′=−siny,可得dydx=−siny。
由反函数求导法则,y=arccosx 的导数为:y′=dxdy=dydx1=−siny1
因为y∈[0,π],siny≥0,且siny=1−cos2y
,又因为x=cosy,所以siny=1−x2
所以y′=−1−x2
1
反正切函数 y=arctanx 的导数
已知 y=arctanx,定义域为(−∞,+∞),值域为(−2π,2π),它是正切函数 x=tany 的反函数。
对x=tany 两边关于y 求导,根据求导公式(tany)′=sec2y=1+tan2y,可得dydx=1+tan2y。
由反函数求导法则,y=arctanx 的导数为:y′=dxdy=dydx1=1+tan2y1
因为x=tany,所以y′=1+x21
反余切函数 y=arccotx 的导数
已知 y=arccotx,定义域为(−∞,+∞),值域为(0,π),它是余切函数 x=coty 的反函数。
对x=coty 两边关于y 求导,根据求导公式(coty)′=−csc2y=−(1+cot2y),可得dydx=−(1+cot2y)。
由反函数求导法则,y=arccotx 的导数为:y′=dxdy=dydx1=−1+cot2y1
因为x=coty,所以y′=−1+x21