函数导数公式及证明
导数公式证明大全
导数公式证明大全导数是微积分中的重要概念，它描述了函数变化率的性质。
在这篇文章中，我们将给出一些导数的常用公式的证明。
1.一次函数的导数证明：我们考虑一条一次函数的图像，其方程为y = ax + b，其中a和b是常数。
假设我们有两个点(x, y)和(x + h, y + kh)在图像上，其中h是一个趋近于0的非零常数。
由直线的斜率公式知道，两点之间的斜率为k = (y + kh - y) / (x + h - x) = k。
函数的导数定义为函数曲线上任意一点切线的斜率，我们需要证明这个斜率与常数a相等。
根据定义，导数为dy / dx = lim(h -> 0) [(y + kh - y) / (x + h - x)] = lim(h -> 0) (kh / h) = a。
因此，一次函数y = ax + b的导数为dy / dx = a。
2.幂函数的导数证明：考虑一个幂函数y=x^n，其中n是常数。
我们仍然用限制h趋近于0的两个点(x, y)和(x + h, y + kh)来证明这个导数。
根据定义，导数为dy / dx = lim(h -> 0) [(y + kh - y) / (x + h - x)] = lim(h -> 0) [(x + h)^n - x^n] / h。
我们可以使用二项式定理展开(x + h)^n = x^n + nx^(n-1)h + ... + h^n，并取消掉所有除以h的项：dy / dx = lim(h -> 0) [nx^(n-1)h + ... + h^n] / h = lim(h -> 0) [nx^(n-1) + ... + h^(n-1)] = nx^(n-1)。
因此，幂函数y = x^n的导数为dy / dx = nx^(n-1)。
3.指数函数的导数证明：考虑一个指数函数y=a^x，其中a是常数。
我们仍然使用限制h趋近于0的两个点(x, y)和(x + h, y + kh)来证明导数。
求导公式知识点总结
求导公式知识点总结一、求导的基本概念1. 导数的定义在微积分中，函数f(x)在点x0处的导数定义为：f'(x0) = lim┬(h→0)〖(f(x0+h) - f(x0))/h 〗其中f'(x0)表示函数在点x0处的导数，h表示x的增量。
这个定义可以理解为，当x的增量趋向于0时，函数在点x0处的变化率趋向于某个确定的值，这个值就是函数在点x0处的导数。
2. 导数的几何意义导数的几何意义是函数曲线在某一点处的斜率。
换句话说，导数告诉我们函数在某一点处的变化率，即函数曲线在这一点的切线斜率。
3. 求导的符号表示通常情况下，函数f(x)的导数可以表示为f'(x)，也可以表示为dy/dx或者y’。
这些符号都代表函数对自变量x的导数。
二、求导的公式1. 常数函数的求导公式对于常数函数c，它的导数为0，即：(d/dx)(c) = 0这个公式的含义是，常数函数的斜率始终为0，因为它在任何点处都保持不变。
2. 幂函数的求导公式对于幂函数x^n，它的导数为nx^(n-1)，即：(d/dx)(x^n ) = nx^(n-1)这个公式可以通过极限的定义进行证明，其中利用了幂函数的导数的推导过程。
3. 指数函数的求导公式对于指数函数e^x，它的导数依然是e^x，即：(d/dx)(e^x ) = e^x这个公式的含义是，指数函数的斜率始终等于自己，这是指数函数独特的性质。
4. 对数函数的求导公式对数函数ln(x)的导数为1/x，即：(d/dx)(ln(x)) = 1/x这个公式可以通过对数函数的定义和求导的推导过程来证明。
5. 三角函数的求导公式三角函数sin(x)和cos(x)的导数分别为cos(x)和-sin(x)，即：(d/dx)(sin(x)) = cos(x)(d/dx)(cos(x)) = -sin(x)这两个公式可以通过三角函数的定义和求导的推导过程来证明。
6. 复合函数的求导公式对于复合函数f(g(x))，它的导数可以通过链式法则进行求导，即：(d/dx)(f(g(x))) = f’(g(x)) * g’(x)这个公式是复合函数求导的基本公式，它告诉我们如何对复合函数进行求导。
16个基本导数公式推导过程
16个基本导数公式推导过程推导过程如下：1.常数函数：f(x)=c求导结果：f'(x)=0。
证明过程：由导数定义可得，当函数为常数时，无论x取任何值，函数的增量都为0，即f(x + Δx) - f(x) = 0。
所以，f'(x) =lim(Δx→0) [f(x + Δx) - f(x)] / Δx = 0。
2.幂函数：f(x)=x^n，其中n为正整数。
求导结果：f'(x) = nx^(n-1)。
证明过程：利用定义求导。
计算f(x + Δx) = (x + Δx)^n与f(x) = x^n的差值，然后除以Δx，当Δx趋于0时求极限。
利用二项式展开，可以得出f'(x) = nx^(n-1)。
3.指数函数：f(x)=e^x。
求导结果：f'(x)=e^x。
证明过程：由指数函数的性质可知，e^0 = 1，且(d(e^x)/dx) = e^x。
因此，可以据此推导出f'(x) = e^x。
4. 对数函数：f(x) = ln(x)。
求导结果：f'(x)=1/x。
证明过程：由导数定义可得f'(x) = lim(Δx→0) [ln(x + Δx) - ln(x)] / Δx。
利用对数的性质，将差值化简为ln((x + Δx)/x)，再除以Δx并取极限，最终得出f'(x) = 1/x。
5. 正弦函数：f(x) = sin(x)。
求导结果：f'(x) = cos(x)。
证明过程：利用极限定义求导。
计算f(x + Δx) - f(x) = sin(x + Δx) - sin(x)，然后除以Δx并取极限。
应用三角函数的合角公式并利用三角恒等式可得f'(x) = cos(x)。
6. 余弦函数：f(x) = cos(x)。
求导结果：f'(x) = -sin(x)。
证明过程：同样应用极限定义。
计算f(x + Δx) - f(x) = cos(x + Δx) - cos(x)，然后除以Δx并取极限。
导数公式的证明
导数公式的证明导数是微积分中的一个重要概念，它描述了函数随着自变量的变化率。
导数通常被用来求解函数的极值点，以及描述函数的斜率。
下面，将给出导数公式的证明，其中包括了常见的导数基本公式和导数的非常量倍率公式的推导。
首先，我们定义函数f(x)在x点的导数为：f'(x) = lim(h→0) [f(x+h) - f(x)] / h其中，lim(h→0)表示当h趋近于0时的极限。
证明导数公式时，我们将使用一些基本的极限性质和导数的定义。
我们来逐个证明常见的导数公式：1.常数导数公式：f(x)=c，其中c为常数根据导数的定义：f'(x) = lim(h→0) [f(x+h) - f(x)] / h由于f(x)为常数，那么f(x+h)也为常数，所以上述式子变为：f'(x) = lim(h→0) [c - c] / h当分母h趋近0时，分子恒为0，因此整个式子的极限为0，即：f'(x)=02.幂函数导数公式：f(x)=x^n，其中n为自然数根据导数的定义：f'(x) = lim(h→0) [f(x+h) - f(x)] / h将f(x)带入以上式子，得：f'(x) = lim(h→0) [(x+h)^n - x^n] / h使用二项式定理展开(x+h)^n：f'(x) = lim(h→0) [C(0,n)h^n + C(1,n)h^(n-1)x + ... +C(i,n)h^(n-i)x^i + ... + C(n,n)x^n - x^n] / h上述式子中，所有含有h的项在极限h趋近0时都会趋于0，只剩下一项C(1,n)h^(n-1)x，即：f'(x) = lim(h→0) C(1,n)h^(n-1)x = nx^(n-1)使用类似的方法可以证明其他的幂函数导数公式。
现在，我们来证明导数的非常量倍率公式：设函数g(x) = cf(x)，其中c为常数，f(x)为原函数的导数。
导数公式证明大全
导数公式证明大全导数的定义是函数变化率的极限。
下面将给出导数的一些重要公式的证明。
1.常数函数的导数：设常数函数$f(x)=c$，其中$c$为常数。
由导数的定义可知：\[\begin{aligned} f'(x) &= \lim_{h\to 0}\frac{f(x+h)-f(x)}{h} \\ &= \lim_{h\to 0}\frac{c-c}{h} \\ &= \lim_{h\to 0}0 \\ &= 0\end{aligned}\]因此，常数函数的导数为0。
2.幂函数的导数：设幂函数$f(x)=x^n$，其中$n$为正整数。
由导数的定义可知：\[\begin{aligned} f'(x) &= \lim_{h\to 0}\frac{f(x+h)-f(x)}{h} \\ &= \lim_{h\to 0}\frac{(x+h)^n-x^n}{h} \end{aligned}\]将$(x+h)^n$展开为二项式，有：\[(x+h)^n = x^n + \binom{n}{1}x^{n-1}h + \binom{n}{2}x^{n-2}h^2 + \ldots + \binom{n}{n-1}xh^{n-1} + h^n\]代入上式，消去$x^n$，并除以$h$，得：\[\begin{aligned} f'(x) &= \lim_{h\to0}\left(\binom{n}{1}x^{n-1} + \binom{n}{2}x^{n-2}h + \ldots +\binom{n}{n-1}xh^{n-2} + h^{n-1}\right) \\ &= \binom{n}{1}x^{n-1} + \binom{n}{2}x^{n-2}\cdot 0 + \ldots + \binom{n}{n-1}x\cdot 0 + 0^{n-1} \\ &= n\cdot x^{n-1} \end{aligned}\]因此，幂函数的导数为$n$倍的$x$的$n-1$次方。
常见函数求导公式
常见函数求导公式一、导数的定义和意义导数是微积分学中的重要概念，表示函数在某一点处变化的快慢，其定义如下：设函数f(x)在点x0处可导，则函数f(x)在点x0处的导数为：f'(x0)=lim (h->0) (f(x0+h)-f(x0))/hh表示x0点向右或向左趋近的增量，也称为步长。
导数表示的是函数在x0处的瞬时变化率，即刻画函数在x0点处的局部行为。
在实际应用中，导数可以用来求函数的最值、零点、凸凹性、极值等，是研究函数性质的重要工具。
二、常见函数的导数公式及解释1. 常数函数对于常数函数f(x)=C（C为常数），其导数为0。
这是因为常数函数在任意点处的增量都为0，所以导数就表示为其在该点的变化率，即为0。
实际应用中，常数函数的导数可以用来判断函数是否恒定，以及在一些积分问题中作为常数项的处理。
2. 幂函数对于幂函数f(x)=xn（n为常数），其导数为f'(x)=n * xn-1。
这是因为在求导过程中，对于给定的x0，我们可以将函数f(x)在x0处取其切线来近似描述该点处的变化情况，并将变化率表示为该切线的斜率。
而对于幂函数f(x)=xn来说，它的切线斜率即为f'(x)=n * xn-1。
实际应用中，幂函数可以用来描述物理量之间的关系，例如速度与时间的关系v=t^n，其中v为速度，t为时间，n为常数，求导可得到加速度a=dv/dt=n * t^(n-1)。
3. 指数函数对于指数函数f(x)=a^x（a>0且a≠1），其导数为f'(x)=ln(a) * a^x。
这是因为指数函数与自然对数函数e^x有着紧密联系，在求导过程中我们可以对指数函数应用链式法则，即将函数f(x)=a^x表示为f(x)=e^(xlna)，然后对自然对数函数求导得到f'(x)=ln(a) * a^x。
实际应用中，指数函数可以用来描述物质的衰变规律，例如放射性元素衰变规律可以表示为N=N0e^(-λt)，其中N为元素个数，N0为初始值，λ为衰变常数，t为时间，求导可得到衰变速率为dN/dt=-λN。
导数的基本公式及运算法则
2.2.1基本初等函数的导数公式
c' 0 (c为任意常数)
(x ) = x -1 .
(ax) = ax lna . (ex) = ex.
1 (log a x) x ln a .
(ln x) 1 . x
(sin x) = cos x.
(cos x) = - sin x.
2.2.3 高阶导数
如果可以对函数 f(x) 的导函数 f (x) 再求导，
所得到的一个新函数，称为函数 y = f(x) 的二阶导数，
记作 f (x) 或 y 或
d2 y dx2 .
如对二阶导数再求导，则
称三阶导数，记作 f (x) 或
d3 y dx 3
.
四阶或四阶以上导
数记为 y(4)，y(5)，···，y(n) 或
推论 设 y = f (u) ， u = (v)， v = (x) 均 可导，则复合函数 y = f [ ( (x))] 也可导，
yx yu uv vx .
以上法则说明：复合函数对自变量的导数等于复合 函数对中间变量的导数乘以中间变量对自变量的导数.
例4.求下列函数的导数：
1）y (3x2 1)3;
的二阶偏导数.
依照对变量的不同求导次序， 二阶偏导数有四
个：（用符号表示如下）
z x
x
x
z x
2z x2
f xx( x, y) zxx;
z x
y
y
z x
2z x y
f xy ( x, y)
zxy;
z y
x
x
z y
2z y x
f yx ( x, y)
zyx ;
导数的基本公式14个推导
导数的基本公式14个推导导数是微积分中的一个重要概念，它描述了函数在某一点的变化率。
导数的基本公式有14个，它们可以通过推导得出。
在本文中，我们将简要介绍这些基本公式。
1. 常数函数的导数：对于任何常数c，常数函数f(x) = c的导数为0。
这是因为常数函数的斜率为零，即在任何点上它的变化率都为零。
2. 幂函数的导数：对于幂函数f(x) = x^n（其中n是常数），它的导数为f'(x) = nx^(n-1)。
这可以通过使用极限和基本的代数运算法则来推导。
3. 指数函数的导数：指数函数f(x) = e^x的导数为f'(x) = e^x。
这个公式的推导中需要使用指数函数的定义和一些性质。
4. 对数函数的导数：对数函数f(x) = ln(x)的导数为f'(x) =1/x。
这个公式可以通过使用指数函数的导数和链式法则来推导。
5. 三角函数的导数：三角函数（包括正弦、余弦和正切函数）的导数可按照以下规律推导得出：- 正弦函数f(x) = sin(x)的导数为f'(x) = cos(x)。
- 余弦函数f(x) = cos(x)的导数为f'(x) = -sin(x)。
- 正切函数f(x) = tan(x)的导数为f'(x) = sec^2(x)。
其中sec(x)表示secant函数，它是余弦函数的倒数。
6. 反三角函数的导数：反三角函数是三角函数的反函数，其导数可以按照以下规律推导得出：- 反正弦函数f(x) = arcsin(x)的导数为f'(x) = 1/√(1-x^2)。
- 反余弦函数f(x) = arccos(x)的导数为f'(x) = -1/√(1-x^2)。
- 反正切函数f(x) = arctan(x)的导数为f'(x) = 1/(1+x^2)。
7. 基本初等函数的求导规则：基本初等函数是由常数函数、幂函数、指数函数、对数函数、三角函数和反三角函数通过有限次的四则运算和复合运算（即求导运算）得到的函数。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
函数导数公式及证明复合函数导数公式)),()0g x ≠'''2)()()()()()()f x g x f x g x g x g x ⎤-=⎥⎦())()x g x ,1．证明幂函数()a f x x =的导数为''1()()a a f x x ax -==证：'00()()()()lim lim n nx x f x x f x x x x f x x x→→+-+-==根据二项式定理展开()nx x +011222110(...)lim n n n n n n n nn n n n n x C x C x x C x x C x x C x x x----→+++++-= 消去0n nn C x x -11222110...lim n n n n n nn n n n x C x x C x x C x x C x x----→++++= 分式上下约去x112211210lim(...)n n n n n n n n n n x C x C x x C x x C x -----→=++++ 因0x →，上式去掉零项111n n n C xnx--==12210()[()()...()]lim n n n n x x x x x x x x x x x x x x----→+-+++++++=12210lim[()()...()]n n n n x x x x x x x x x x ----→=+++++++1221...n n n n x x x x x x ----=++++ 1n n x -=2．证明指数函数()x f x a =的导数为'ln ()x x a a a =证：'00()()()lim lim x x xx x f x x f x a a f x x x+→→+--==0(1)lim x x x a a x→-= 令1xam -=，则有log (1)a x m =-，代入上式00(1)lim limlog (1)x x x x x aa a a mx m →→-==+1000ln ln lim lim lim ln(1)1ln(1)ln(1)ln x x x x x x ma m a a a a m m m a m→→→===+++ 根据e 的定义1lim(1)xx e x→∞=+ ，则10lim(1)m x m e →+=，于是1ln ln limln ln ln(1)x x x x ma a a a a a em →===+3．证明对数函数()log a f x x =的导数为''1()(log )ln a f x x x a==证：'00log ()log ()()()limlim a a x x x x x f x x f x f x x x →→+-+-==00log log (1)ln(1)limlim lim ln aa x x x x x x x x x x x x x a→→→+++===00ln(1)ln(1)lim lim ln ln xxx x x x x xx x x a x a→→++==根据e 的定义1lim(1)xx e x→∞=+ ，则0lim ln(1)x x x x e x →+=，于是 0ln(1)ln 1limln ln ln xxx x e x x ax a x a→+===4．证明正弦函数()sin f x x =的导数为''()(sin )cos f x x x ==证：'00()()sin()sin ()limlim x x f x x f x x x xf x x x→→+-+-== 根据两角和差公式sin()sin cos cos sin x x x x x x +=+00sin()sin sin cos cos sin sin limlim x x x x x x x x x x x x→→+-+-==因0lim(sin cos )sin x x x x →=，约去sin cos sin x x x -，于是0cos sin limx x xx→=因0sin lim1x xx →=，于是sin lim(cos )cos x xxx x→==5．证明余弦函数()cos f x x =的导数为''()(cos )sin f x x x ==-证：'00()()cos()cos ()limlim x x f x x f x x x xf x x x→→+-+-== 根据两角和差公式cos()cos cos sin sin x x x x x x +=-00cos()cos cos cos sin sin cos limlim x x x x x x x x x xx x→→+---==因0lim(cos cos )cos x x x x →=，约去cos cos cos x x x -，于是0sin sin limx x xx→-=因0sin lim1x xx →=，于是sin sin lim()sin x x xx x→=-=-6．证明正切函数()tan f x x =的导数为''21()(tan )cos f x x x==证：'00()()tan()tan ()limlim x x f x x f x x x xf x x x→→+-+-==00sin()sin sin()cos sin cos()cos()cos lim lim cos()cos x x x x xx x x x x x x x xx x x x x →→+-+-++==+根据两角和差公式sin()sin cos cos sin x x x x x x +=+, cos()cos cos sin sin x x x x x x +=-代入上式0(sin cos cos sin )cos sin (cos cos sin sin )limcos()cos x x x x x x x x x x x x x x x→+--=+00cos cos sin (sin sin sin )sin (cos cos sin sin )limlim cos()cos cos()cos x x x x x x x x x x x x x x x x x x x x x→→--+==++ 因22cos sin 1x x +=sin limcos()cos x xx x x x →=+因0sin lim1x xx→=，0lim cos()cos x x x x →+=，上式为20sin 11lim cos()cos cos x x x x x x x →⎡⎤==⎢⎥+⎣⎦7．证明余切函数()cot f x x =的导数为''21()(cot )sin f x x x==-证：'00()()cot()cot ()limlim x x f x x f x x x xf x x x→→+-+-==00cos()cos cos()sin cos sin()sin()sin lim lim sin()sin x x x x xx x x x x x x x xx x x x x →→+-+-++==+根据两角和差公式sin()sin cos cos sin x x x x x x +=+, cos()cos cos sin sin x x x x x x +=-代入上式0(cos cos sin sin )sin cos (sin cos cos sin )limsin()sin x x x x x x x x x x x x x x x→--+=+222200sin sin cos sin sin (sin cos )lim lim sin()sin sin()sin x x x x x x x x x x x x x x x x x→→---+==++ 因22sin cos 1x x +=,且0sin lim1x xx→=，0lim sin()sin x x x x →+=，代入上式20sin 11lim sin()sin sin x x x x x x x →⎡⎤=-=-⎢⎥+⎣⎦8．证明复合函数()()f x g x +的导数为[]'''()()()()f x g x f x g x +=+证:[]'0()()()()()()lim x f x x g x x f x g x f x g x x →+++--⎡⎤+=⎢⎥⎣⎦0()()()()lim x f x x f x g x x g x x x →+-+-⎡⎤=+⎢⎥⎣⎦''()()f x g x =+9．证明复合函数()()f x g x 的导数为[]'''()()()()()()f x g x f x g x f x g x =+证:[]'0()()()()()()lim x f x x g x x f x g x f x g x x →++-⎡⎤=⎢⎥⎣⎦[][]0()()()()()()()()lim x f x x f x f x g x x f x g x x g x x g x x →⎡⎤++-+++-+-=⎢⎥⎣⎦[][]0()()()()()()()()()()lim x f x x f x g x x f x g x x f x g x x f x g x x g x x →⎡⎤+-+++-+++-=⎢⎥⎣⎦[][]0()()()()()()lim x f x x f x g x x f x g x x g x x →⎡⎤+-+++-=⎢⎥⎣⎦0()()()()lim ()()x f x x f x g x x g x g x x f x x x →+-+-⎡⎤=++⎢⎥⎣⎦''()()()()f x g x f x g x =+10．证明复合函数()()f x g x 的导数为'''2()()()()()()()f x f x g x f x g x g x g x ⎡⎤-=⎢⎥⎣⎦证:'0()()()()()lim ()x f x x f x f x g x x g x g x x →+⎡⎤-⎢⎥⎡⎤+=⎢⎥⎢⎥⎢⎥⎣⎦⎢⎥⎣⎦0()()()()lim ()()x f x x g x f x g x x xg x g x x →⎡⎤+-+=⎢⎥+⎣⎦[][]0()()()()()()()()lim ()()x f x x f x f x g x f x g x x g x g x xg x g x x →⎡⎤+-+-+-+=⎢⎥+⎣⎦[][]0()()()()()()()()()()lim ()()x f x x f x g x f x g x f x g x x g x f x g x xg x g x x →⎡⎤+-+-+--=⎢⎥+⎣⎦[][]0()()()()()()lim ()()x f x x f x g x f x g x x g x xg x g x x →⎡⎤+--+-=⎢⎥+⎣⎦[][]0()()()()()()lim ()()x f x x f x g x x g x g x f x x x g x g x x →⎡⎤+-+--⎢⎥=⎢⎥+⎢⎥⎢⎥⎣⎦'''2()()()()()f xg x f x g x g x -= 11．证明复合函数[]()f g x 的导数为[]'''()(())()f g x f g x g x =证:[]'0(())(())(())lim x f g x x f g x f g x x →+-⎡⎤=⎢⎥⎣⎦令()u g x = ,则有()()u g x x g x =+-0())()lim x f u u f u x →+-⎡⎤=⎢⎥⎣⎦ 0())()lim x f u u f u u u x →+-⎡⎤=⎢⎥⎣⎦0())()()()lim x f u u f u g x x g x u x →+-+-⎡⎤=⎢⎥⎣⎦ ''()()f u g x =''(())()f g x g x =12．证明复合函数[]ln ()f x 的导数为[]''()ln ()()f x f x f x =证:令()u f x =,[][]'''ln ()ln f x u u =''1()()f x u u f x == 13．求复合函数x x 的导数解: 令xu x =ln ln u x x =等式左边求导为()''ln u u u=等式右边求导为()'''1ln ln (ln )ln ln 1x x x x x x x x x x=+=+=+ 于是有'ln 1u x u=+,'(ln 1)u x u =+则'()(ln 1)x xx x x =+14. 证明反三角函数arcsin x 的导数为'(arcsin )x =证:令arcsin y x =,则sin y x =对上式两边求导,等式右边'1x =等式左边(根据复合函数求导公式),其导数为''(sin )(cos )y y y = 于是有'(cos )1y y ='1(cos )y y ==再将arcsin y x =代入上式'(arcsin )x ==15. 证明反三角函数arccos x 的导数为'(arccos )x =证:令arccos y x =,则 cos y x =对上式两边求导,等式右边'1x =等式右边(根据复合函数求导公式),其导数为()''cos (sin )y y y =-于是有'(sin )1y y -=,整理后如下： '1(sin )y y =-= 再将arccos y x =代入上式'(arccos )x == 16. 证明反三角函数arctan x 的导数为'21(arctan )1x x =+ 证:令arctan y x =,则 tan y x =对上式两边求导,等式右边'1x =等式右边(根据复合函数求导公式),其导数为()'2'tan (1tan )y y y =+于是有2'(1tan )1y y +=,整理后如下： '211tan y y=+ 再将arctan y x =代入上式'2211(arctan )1tan arctan 1x x x ==++ 17. 证明:反函数的导数为原函数导数的倒数'1''1(),(()0)()f y f x f x -⎡⎤=≠⎣⎦ 如果函数()x y ϕ= 在某区间y I 内单调、可导且'()0y ϕ≠ ，那么它的反函数()y f x =在对应区间 x I 内也可导，并且''1()()f x y ϕ=。