幂指函数
其中 a, c, n 都是常数:
dxd(c)=0
dxd(xn)=nxn−1
dxd(ax)=axln(a),(a>0)
dxd(logax)=xln(a)1,(a>0,a=1)
三角函数
dxd(sin(x))=cos(x)
dxd(cos(x))=−sin(x)
dxd(tan(x))=sec2(x)
dxd(cot(x))=−csc2(x)
dxd(sec(x))=sec(x)tan(x)
dxd(csc(x))=−csc(x)cot(x)
| 函数 | 主值/定义域 | 导数 |
|---|
| arcsinx | x∈(−1,1) | dxdarcsinx=1−x21 |
| arccosx | x∈(−1,1) | dxdarccosx=−1−x21 |
| arctanx | x∈R | dxdarctanx=1+x21 |
| arccotx | x∈R, arccot∈(0,π) | dxdarccotx=−1+x21 |
| arcsecx | x∈(−∞,−1)∪(1,∞) | $\displaystyle \frac{d}\operatorname{arcsec} x=\frac{1}{ |
| arccscx | x∈(−∞,−1)∪(1,∞) | $\displaystyle \frac{d}\operatorname{arccsc}x=-\frac{1}{ |
反双曲函数
| 函数 | 定义域 | 导数 |
|---|
| arshx 或 arsinhx | x∈R | dxdarshx=1+x21 |
| archx 或 arcoshx | x>1 | dxdarchx=x2−11 |
| arthx 或 artanhx | $ | x |
| arsechx | 0<x<1 | dxdarsechx=−x1−x21 |
| arcschx | x=0 | $\displaystyle \frac{d}\operatorname{arcsch}x=-\frac{1}{ |
导数与积分的配套验证
反三角与反双曲函数的导数与常见积分表相互一致。在同一主值分支下有
dxdarcsinx=1−x21⟺∫1−x21dx=arcsinx+C,
dxdarctanx=1+x21⟺∫1+x21dx=arctanx+C,
dxdarshx=1+x21⟺∫1+x21dx=arshx+C,
dxdarchx=x2−11⟺∫x2−a21dx=arcosh(x/a)+C, (a>0),
dxdarthx=1−x21⟺∫1−x21dx=arthx+C, (∣x∣<1).
端点与主值分支必须一致使用:arcsin,arccos 在端点 ±1 两侧极限可存在,但通常不再有有限导数;arcsec,arccsc,arch 等在定义域边界或分段区间交界处也按对应侧导数处理。
导数间的运算法则
线性
乘法定则
除法定则
链式法则
定义域约定
实幂 xn 在一般实指数下取 x>0;非负整数指数按多项式可扩展到全实轴。对数公式要求 x>0。三角函数公式使用弧度制,且应排除分母为零之处。
反三角函数采用常见主值区间:arcsin,arccos 取 x∈(−1,1) 时的导数公式;arctan,arccot 在 R;arcsec,arccsc 要求 ∣x∣>1 且按上表主值。反双曲函数按定义域:arsh∈R,arch∈(1,∞),arth∈(−1,1)。不同主值分支不可混用同一符号公式。导数公式在对应区间端点往往退化为一侧导数或不存在。
对应积分统一式见积分表 与反双曲余弦、反双曲正弦、反双曲正切。