导数公式的证明(最全版)

导数公式证明大全导数是微积分中的重要概念，它描述了函数变化率的性质。

在这篇文章中，我们将给出一些导数的常用公式的证明。

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)来证明导数。

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并取极限。

导数公式证明大全导数的定义是函数变化率的极限。

下面将给出导数的一些重要公式的证明。

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$次方。

常用高阶导数公式证明一阶导数假设函数y=y(y)在y处可导，则函数y=y(y)在y处的导数为：$$ f'(x) = \\lim_{{\\Delta x}\\to0} \\frac{{f(x + \\Delta x) - f(x)}}{\\Delta x} $$二阶导数如果函数y=y(y)在y处可导，那么它的二阶导数为：$$ f''(x) = \\lim_{{\\Delta x}\\to0} \\frac{{f'(x + \\Delta x) - f'(x)}}{\\Delta x} $$高阶导数函数y=y(y)的y阶导数定义如下：$$ f^{(n)}(x) = \\lim_{{\\Delta x}\\to0} \\frac{{f^{(n-1)}(x + \\Delta x) - f^{(n-1)}(x)}}{\\Delta x} $$常用高阶导数公式证明二阶导数的公式一阶导数为：$$ f'(x) = \\lim_{{\\Delta x}\\to0} \\frac{{f(x + \\Delta x) - f(x)}}{\\Delta x} $$二阶导数为：$$ f''(x) = \\lim_{{\\Delta x}\\to0} \\frac{{f'(x + \\Delta x) - f'(x)}}{\\Delta x} $$将一阶导数y′(y)的定义代入二阶导数公式中，得到：$$ f''(x) = \\lim_{{\\Delta x}\\to0}\\frac{{\\left(\\lim_{{\\Delta x}\\to0} \\frac{{f(x + \\Delta x) - f(x)}}{\\Delta x}\\right)\\big|_{x+\\Delta x} - f'(x)}}{\\Delta x} $$根据导数的定义，上式可简化为：$$ f''(x) = \\lim_{{\\Delta x}\\to0} \\frac{{\\lim_{{\\Delta x}\\to0} \\frac{{f(x + \\Delta x) - f(x)}}{\\Delta x} -f'(x)}}{\\Delta x} $$由此可得到二阶导数的通用公式。

高中数学导数公式、定义证明、运算法则，实用干货，收藏好！导数，也叫导函数值。

那么，高中数学导数公式及运算法则有哪些呢？高中数学导数公式有哪些1.y=c(c为常数) y'=02.y=x^n y'=nx^(n-1)3.y=a^x y'=a^xlnay=e^x y'=e^x4.y=logax y'=logae/xy=lnx y'=1/x5.y=sinx y'=cosx6.y=cosx y'=-sinx7.y=tanx y'=1/cos^2x8.y=cotx y'=-1/sin^2x加（减）法则：[f(x)+g(x)]'=f(x)'+g(x)'乘法法则：[f(x)*g(x)]'=f(x)'*g(x)+g(x)'*f(x)除法法则：[f(x)/g(x)]'=[f(x)'*g(x)-g(x)'*f(x)]/g(x)^2根据导数定义证明数学导数运算法则由基本函数的和、差、积、商或相互复合构成的函数的导函数则可以通过函数的求导法则来推导。

基本的求导法则如下：1、求导的线性：对函数的线性组合求导，等于先对其中每个部分求导后再取线性组合（即①式）。

2、两个函数的乘积的导函数：一导乘二+一乘二导（即②式）。

3、两个函数的商的导函数也是一个分式：（子导乘母-子乘母导）除以母平方（即③式）。

4、如果有复合函数，则用链式法则求导。

导数的计算方法函数y=f（x）在x0点的导数f'（x0）的几何意义：表示函数曲线在点P0（x0,f（x0））处的切线的斜率（导数的几何意义是该函数曲线在这一点上的切线斜率）。

计算已知函数的导函数可以按照导数的定义运用变化比值的极限来计算。

在实际计算中，大部分常见的解析函数都可以看作是一些简单的函数的和、差、积、商或相互复合的结果。

只要知道了这些简单函数的导函数，那么根据导数的求导法则，就可以推算出较为复杂的函数的导函数。

导数公式的证明(最全版)————————————————————————————————作者：————————————————————————————————日期：导数的定义：f'(x)=lim Δy/ΔxΔx→0（下面就不再标明Δx→0了）用定义求导数公式（1）f(x)=x^n证法一：（n为自然数）f'(x)=lim [(x+Δx)^n-x^n]/Δx=lim (x+Δx-x)[(x+Δx)^(n-1)+x*(x+Δx)^(n-2)+...+x^(n-2)*(x+Δx)+x^(n-1)]/Δx=lim [(x+Δx)^(n-1)+x*(x+Δx)^(n-2)+...+x^(n-2)*(x+Δx)+x^(n-1)]=x^(n-1)+x*x^(n-2)+x^2*x^(n-3)+ ...x^(n-2)*x+x^(n-1)=nx^(n-1)证法二：（n为任意实数）f(x)=x^nlnf(x)=nlnx(lnf(x))'=(nlnx)'f'(x)/f(x)=n/xf'(x)=n/x*f(x)f'(x)=n/x*x^nf'(x)=nx^(n-1)（2）f(x)=sinxf'(x)=lim (sin(x+Δx)-sinx)/Δx=lim (sinxcosΔx+cosxsinΔx-sinx)/Δx =lim (sinx+cosxsinΔx-sinx)/Δx=lim cosxsinΔx/Δx=cosx（3）f(x)=cosxf'(x)=lim (cos(x+Δx)-cosx)/Δx=lim (cosxcosΔx-sinxsinΔx-cosx)/Δx =lim (cosx-sinxsinΔx-cos)/Δx=lim -sinxsinΔx/Δx=-sinx（4）f(x)=a^x证法一：f'(x)=lim (a^(x+Δx)-a^x)/Δx=lim a^x*(a^Δx-1)/Δx（设a^Δx-1=m，则Δx=loga^(m+1)）=lim a^x*m/loga^(m+1)=lim a^x*m/[ln(m+1)/lna]=lim a^x*lna*m/ln(m+1)=lim a^x*lna/[(1/m)*ln(m+1)] =lim a^x*lna/ln[(m+1)^(1/m)] =lim a^x*lna/lne=a^x*lna证法二：f(x)=a^xlnf(x)=xlna[lnf(x)] '=[xlna] 'f' (x)/f(x)=lnaf' (x)=f(x)lnaf' (x)=a^xlna若a=e，原函数f(x)=e^x则f'(x)=e^x*lne=e^x（5）f(x)=loga^xf'(x)=lim (loga^(x+Δx)-loga^x)/Δx =lim loga^[(x+Δx)/x]/Δx=lim loga^(1+Δx/x)/Δx=lim ln(1+Δx/x)/(lna*Δx)=lim x*ln(1+Δx/x)/(x*lna*Δx)=lim (x/Δx)*ln(1+Δx/x)/(x*lna) =lim ln[(1+Δx/x)^(x/Δx)]/(x*lna) =lim lne/(x*lna)=1/(x*lna)若a=e，原函数f(x)=loge^x=lnx则f'(x)=1/(x*lne)=1/x（6）f(x)=tanxf'(x)=lim (tan(x+Δx)-tanx)/Δx=lim (sin(x+Δx)/cos(x+Δx)-sinx/cosx)/Δx=lim (sin(x+Δx)cosx-sinxcos(x+Δx)/(Δxcosxcos(x+Δx))=lim (sinxcosΔxcosx+sinΔxcosxcosx-sinxcosxcosΔx+sinxsinxsinΔx)/(Δxcosxcos(x+Δx))=lim sinΔx/(Δxcosxcos(x+Δx))=1/(cosx)^2=secx/cosx=(secx)^2=1+(tanx)^2（7）f(x)=cotxf'(x)=lim (cot(x+Δx)-cotx)/Δx=lim (cos(x+Δx)/sin(x+Δx)-cosx/sinx)/Δx=lim (cos(x+Δx)sinx-cosxsin(x+Δx))/(Δxsinxsin(x+Δx))=lim (cosxcosΔxsinx-sinxsinxsinΔx-cosxsinxcosΔx-cosxsinΔxcosx)/(Δxsinxsin(x+Δx))=lim -sinΔx/(Δxsinxsin(x+Δx))=-1/(sinx)^2=-cscx/sinx=-(secx)^2=-1-(cotx)^2（8）f(x)=secxf'(x)=lim(sec(x+Δx)-secx)/Δx=lim (1/cos(x+Δx)-1/cosx)/Δx=lim (cosx-cos(x+Δx)/(ΔxcosxcosΔx)=lim (cosx-cosxcosΔx+sinxsinΔx)/(Δxcosxcos(x+Δx))=lim sinxsinΔx/(Δxcosxcos(x+Δx))=sinx/(cosx)^2=tanx*secx（9）f(x)=cscxf'(x)=lim(csc(x+Δx)-cscx)/Δx=lim (1/sin(x+Δx)-1/sinx)/Δx=lim (sinx-sin(x+Δx))/(Δxsinxsin(x+Δx))=lim (sinx-sinxcosΔx-sinΔxcosx)/(Δxsinxsin(x+Δx)) =lim -sinΔxcosx/(Δxsinxsin(x+Δx))=-cosx/(sinx)^2=-cotx*cscx（10）f(x)=x^xlnf(x)=xlnx(lnf(x))'=(xlnx)'f'(x)/f(x)=lnx+1f'(x)=(lnx+1)*f(x)f'(x)=(lnx+1)*x^x（12）h(x)=f(x)g(x)h'(x)=lim (f(x+Δx)g(x+Δx)-f(x)g(x))/Δx=lim [(f(x+Δx)-f(x)+f(x))*g(x+Δx)+(g(x+Δx)-g(x)-g(x+Δx))*f(x)]/Δx=lim [(f(x+Δx)-f(x))*g(x+Δx)+(g(x+Δx)-g(x))*f(x)+f(x)*g(x+Δx)-f(x)*g(x+Δx)]/Δx=lim (f(x+Δx)-f(x))*g(x+Δx)/Δx+(g(x+Δx)-g(x))*f(x)/Δx=f'(x)g(x)+f(x)g'(x)（13）h(x)=f(x)/g(x)h'(x)=lim (f(x+Δx)/g(x+Δx)-f(x)g(x))/Δx=lim (f(x+Δx)g(x)-f(x)g(x+Δx))/(Δxg(x)g(x+Δx))=lim [(f(x+Δx)-f(x)+f(x))*g(x)-(g(x+Δx)-g(x)+g(x))*f(x)]/(Δxg(x)g(x+Δx))=lim [(f(x+Δx)-f(x))*g(x)-(g(x+Δx)-g(x))*f(x)+f(x)g(x)-f(x)g(x)]/(Δxg(x)g(x+Δx))=lim (f(x+Δx)-f(x))*g(x)/(Δxg(x)g(x+Δx))-(g(x+Δx)-g(x))*f(x)/(Δxg(x)g(x+Δx))=f'(x)g(x)/(g(x)*g(x))-f(x)g'(x)/(g(x)*g(x))=[f'(x)g(x)-f(x)g'(x)]/(g(x)*g(x))x（14）h(x)=f(g(x))h'(x)=lim [f(g(x+Δx))-f(g(x))]/Δx=lim [f(g(x+Δx)-g(x)+g(x))-f(g(x))]/Δx（另g(x)=u，g(x+Δx)-g(x)=Δu）=lim (f(u+Δu)-f(u))/Δx=lim (f(u+Δu)-f(u))*Δu/(Δx*Δu)=lim f'(u)*Δu/Δx=lim f'(u)*(g(x+Δx)-g(x))/Δx=f'(u)*g'(x)=f'(g(x))g'(x)(反三角函数的导数与三角函数的导数的乘积为1，因为函数与反函数关于y=x对称，所以导数也关于y=x对称，所以导数的乘积为1) （15）y=f(x)=arcsinx则siny=x(siny)'=cosy所以(arcsinx)'=1/(siny)'=1/cosy=1/√1-(siny)^2(siny=x)=1/√1-x^2即f'(x)=1/√1-x^2(16)y=f(x)=arctanx则tany=x(tany)'=1+(tany)^2=1+x^2所以(arctanx)'=1/1+x^2即f'(x)= 1/1+x^2总结一下（x^n）'=nx^(n-1)（sinx）'=cosx（cosx）'=-sinx（a^x）'=a^xlna（e^x）'=e^x（loga^x）'=1/(xlna)（lnx）'=1/x(tanx)'=(secx)^2=1+(tanx)^2 (cotx)'=-(cscx)^2=-1-(cotx)^2 (secx)'=tanx*secx(cscx)'=-cotx*cscx(x^x)'=(lnx+1)*x^x(arcsinx)'=1/√1-x^2(arctanx)'=1/1+x^2[f(x)g(x)]'=f'(x)g(x)+f(x)g'(x)[f(x)/g(x)]'=[f'(x)g(x)-f(x)g'(x)]/(g(x)*g(x)) [f(g(x))]'=f'(g(x))g'(x)。

导数的定义：f'(x)=lim Δy/Δx用定义求导数公式（1）f(x)=x n求：f'(x)（3）f(x)=cosx 求：f'(x)（5）f(x)=log a x（6）f(x)=tanxf'(x)=lim (tan(x+Δx)-tanx)/Δx=lim (sin(x+Δx)/cos(x+Δx)-sinx/cosx)/Δx=lim (sin(x+Δx)cosx-sinxcos(x+Δx)/(Δxcosxcos(x+Δx))=lim (sinxcosΔxcosx+sinΔxcosxcosx-sinxcosxcosΔx+sinxsinxsinΔx)/(Δxcosxcos(x+Δx))=lim sinΔx/(Δxcosxcos(x+Δx))=1/(cosx)^2=secx/cosx=(secx)^2=1+(tanx)^2（7）f(x)=cotxf'(x)=lim (cot(x+Δx)-cotx)/Δx=lim (cos(x+Δx)/sin(x+Δx)-cosx/sinx)/Δx=lim (cos(x+Δx)sinx-cosxsin(x+Δx))/(Δxsinxsin(x+Δx))=lim (cosxcosΔxsinx-sinxsinxsinΔx-cosxsinxcosΔx-cosxsinΔxcosx)/(Δxsinxsin(x+Δx))=lim -sinΔx/(Δxsinxsin(x+Δx))=-1/(sinx)^2=-cscx/sinx=-(secx)^2=-1-(cotx)^2（8）f(x)=secxf'(x)=lim(sec(x+Δx)-secx)/Δx=lim (1/cos(x+Δx)-1/cosx)/Δx=lim (cosx-cos(x+Δx)/(ΔxcosxcosΔx)=lim (cosx-cosxcosΔx+sinxsinΔx)/(Δxcosxcos(x+Δx)) =lim sinxsinΔx/(Δxcosxcos(x+Δx))=sinx/(cosx)^2=tanx*secx（9）f(x)=cscxf'(x)=lim(csc(x+Δx)-cscx)/Δx=lim (1/sin(x+Δx)-1/sinx)/Δx=lim (sinx-sin(x+Δx))/(Δxsinxsin(x+Δx))=lim (sinx-sinxcosΔx-sinΔxcosx)/(Δxsinxsin(x+Δx)) =lim -sinΔxcosx/(Δxsinxsin(x+Δx))=-cosx/(sinx)^2=-cotx*cscx（10）f(x)=x^xlnf(x)=xlnx(lnf(x))'=(xlnx)'f'(x)/f(x)=lnx+1f'(x)=(lnx+1)*f(x)f'(x)=(lnx+1)*x^x（12）h(x)=f(x)g(x)h'(x)=lim (f(x+Δx)g(x+Δx)-f(x)g(x))/Δx=lim [(f(x+Δx)-f(x)+f(x))*g(x+Δx)+(g(x+Δx)-g(x)-g(x+Δx))*f(x)]/Δx=lim [(f(x+Δx)-f(x))*g(x+Δx)+(g(x+Δx)-g(x))*f(x)+f(x)*g(x+Δx)-f(x)*g(x+Δx)]/Δx=lim (f(x+Δx)-f(x))*g(x+Δx)/Δx+(g(x+Δx)-g(x))*f(x)/Δx=f'(x)g(x)+f(x)g'(x)（13）h(x)=f(x)/g(x)h'(x)=lim (f(x+Δx)/g(x+Δx)-f(x)g(x))/Δx=lim (f(x+Δx)g(x)-f(x)g(x+Δx))/(Δxg(x)g(x+Δx))=lim [(f(x+Δx)-f(x)+f(x))*g(x)-(g(x+Δx)-g(x)+g(x))*f(x)]/(Δxg(x)g(x+Δx))=lim [(f(x+Δx)-f(x))*g(x)-(g(x+Δx)-g(x))*f(x)+f(x)g(x)-f(x)g(x)]/(Δxg(x)g(x+Δx))=lim (f(x+Δx)-f(x))*g(x)/(Δxg(x)g(x+Δx))-(g(x+Δx)-g(x))*f(x)/(Δxg(x)g(x+Δx))=f'(x)g(x)/(g(x)*g(x))-f(x)g'(x)/(g(x)*g(x))=[f'(x)g(x)-f(x)g'(x)]/(g(x)*g(x))x（14）h(x)=f(g(x))h'(x)=lim [f(g(x+Δx))-f(g(x))]/Δx=lim [f(g(x+Δx)-g(x)+g(x))-f(g(x))]/Δx（另g(x)=u，g(x+Δx)-g(x)=Δu）=lim (f(u+Δu)-f(u))/Δx=lim (f(u+Δu)-f(u))*Δu/(Δx*Δu)=lim f'(u)*Δu/Δx=lim f'(u)*(g(x+Δx)-g(x))/Δx=f'(u)*g'(x)=f'(g(x))g'(x)(反三角函数的导数与三角函数的导数的乘积为1，因为函数与反函数关于y=x对称，所以导数也关于y=x对称，所以导数的乘积为1) （15）y=f(x)=arcsinx则siny=x(siny)'=cosy所以(arcsinx)'=1/(siny)'=1/cosy=1/√1-(siny)^2(siny=x)=1/√1-x^2即f'(x)=1/√1-x^2(16)y=f(x)=arctanx则tany=x(tany)'=1+(tany)^2=1+x^2 所以(arctanx)'=1/1+x^2即f'(x)= 1/1+x^2总结一下（x^n）'=nx^(n-1) （sinx）'=cosx （cosx）'=-sinx（a^x）'=a^xlna（e^x）'=e^x（loga^x）'=1/(xlna)（lnx）'=1/x(tanx)'=(secx)^2=1+(tanx)^2(cotx)'=-(cscx)^2=-1-(cotx)^2(secx)'=tanx*secx(cscx)'=-cotx*cscx(x^x)'=(lnx+1)*x^x(arcsinx)'=1/√1-x^2(arctanx)'=1/1+x^2[f(x)g(x)]'=f'(x)g(x)+f(x)g'(x)[f(x)/g(x)]'=[f'(x)g(x)-f(x)g'(x)]/(g(x)*g(x)) [f(g(x))]'=f'(g(x))g'(x)。

导数的定义:：(x)=lim △ y/A x△ x—0 (下面就不再标明A x—0 了)用定义求导数公式1)f(x)=x A n证法一：n为自然数)f'(x)=lim [(x+A x)An-xAn]/A x=lim (x+ A x-x)[(x+ A x)A(n-1 )+x*(x+ A x)A(n -2)+...+xA(n-2)*(x+ A x)+xA(n -1 )]/ A x=lim [(x+A x)A(n-1)+x*(x+A x)A(n-2)+...+xA(n-2)*(x+A x)+xA(n-1)]=xA(n-1 )+x*xA(n -2)+xA2*xA(n -3)+ ...xA(n-2)*x+xA(n -1 )=nxA(n-1)证法二：n为任意实数)f(x)=xAnlnf(x)=nlnx(lnf(x))'=(nlnx)'f'(x)/f(x)=n/xf'(x)=n/x*f(x)f'(x)=n/x*xAn f'(x)=nxA(n -1)(2)f(x)=sinxf'(x)=lim (sin(x+A x)-sinx)/A x=lim (sinxcos A x+cosxsin A x-sinx)/ A x =lim (sinx+cosxsin A x-sinx)/A x=lim cosxsin A x/A x=cosx(3)f(x)=cosxf'(x)=lim (cos(x+A x)-cosx)/A x=lim (cosxcos A x-sinxsin A x-cosx)/A x =lim (cosx-sinxsin A x-cos)/A x=lim -sinxsin A x/A x=-sinx4)f(x)=a A xf'(x) =lim (aA(x+A x)-aAx)/A x=lim a A x*(a A△ x-1)/A x设"Ax-仁m,贝U A x=logaA(m+1))=lim aAx*m/logaA(m+1)=lim aAx*m/[ln(m+1)/lna]=lim aAx*lna*m/ln(m+1)=lim aAx*lna/[(1/m)*ln(m+1)]=lim aAx*lna/ln[(m+1)A(1/m)]=lim aAx*lna/lne=aAx*lna若a=e,原函数f(x)=eAx 贝f'(x)=eAx*lne=eAx(5)f(x)=logaAxf'(x)=lim (logaA(x+A x)-logaAx)/A x=lim logaA[(x+A x)/x]/A x=lim logaA(1+A x/x)/A x=lim ln(1+A x/x)/(lna* A x) =lim x*ln(1+ A x/x)/(x*lna* A x) =lim (x/A x)*ln(1+ △ x/x)/(x*Ina)=lim ln[(1+ A x/x)A(x/ A x)]/(x*Ina)=lim lne/(x*lna)=1/(x*lna)若a=e，原函数f(x)=logeAx=Inx则f'(x)=1/(x*lne)=1/x(6)f(x)=tanxf'(x)=lim (tan(x+A x)-tanx)/A x=lim (sin(x+A x)/cos(x+ A x)-sinx/cosx)/A x=lim (sin(x+A x)cosx-sinxcos(x+A x)/(A xcosxcos(x+A x))=lim (sinxcos A xcosx+sin A xcosxcosx-sinxcosxcos A x+sinxsinxsin A x)/(A xcosxcos(x+A x))=lim sin A x/(A xcosxcos(x+A x))=1/(cosx)A2=secx/cosx=(secx)A2=1+(tanx)A2(7)f(x)=cotx f'(x)=lim (cot(x+ △ x)- cotx)/ △ x=lim (cos(x+A x)/sin(x+ △ x) -cosx/sinx)/A x=lim (cos(x+A x)sinx-cosxsin(x+A x))/( A xsinxsin(x+ A x)) =lim (cosxcos A xsinx-sinxsinxsin A x-cosxsinxcos A x- cosxsin A xcosx)/(A xsinxsin(x+A x))=lim -sin A x/(A xsinxsin(x+A x))=-1/(s in x)A2= -cscx/si nx=-(secxF2二1-(cotxF28)f(x)=secx f'(x)=lim (sec(x+A x)-secx)/A x=lim (1/cos(x+A x)-1/cosx)/A x=lim (cosx-cos(x+A x)/(A xcosxcos A x)=lim (cosx-cosxcos A x+sinxsin A x)/(A xcosxcos(x+A x))=lim sinxsin A x/(A xcosxcos(x+A x))=sinx/(cosx)A2=tanx*secx9)f(x)=cscxf'(x) =lim (csc(x+A x)-cscx)/A x=lim (1/sin(x+ A x)-1/sinx)/A x=lim (sinx-sin(x+A x))/(A xsinxsin(x+A x))=lim (sinx-sinxcos A x-sin A xcosx)/(A xsinxsin(x+A x)) =lim -sin A xcosx/(A xsinxsin(x+A x))=-cosx/(s in x)A2=-cotx*cscx10)f(x)=x A x lnf(x)=xlnx (lnf(x))'=(xlnx)' f'(x)/f(x)=lnx+1 f'(x)=(lnx+1)*f(x) f'(x)=(lnx+1)*xAx(12)h(x)=f(x)g(x)h'(x)=lim (f(x+ A x)g(x+ A x)-f(x)g(x))/ A x =lim [(f(x+ A x)-f(x)+f(x))*g(x+A x)+(g(x+A x)-g(x)-g(x+A x))*f(x)]/ A x=lim [(f(x+ △x)-f(x))*g(x+ △x)+(g(x+ △ x)-g(x))*f(x)+f(x)*g(x+ △ x)-f(x)*g(x+ △ x)]/ A x=lim (f(x+ A x)-f(x))*g(x+ A x)/ A x+(g(x+ A x)-g(x))*f(x)/ A x=f'(x)g(x)+f(x)g'(x)(13)h(x)=f(x)/g(x)h'(x)=lim (f(x+ A x)/g(x+A x)-f(x)g(x))/A x=lim (f(x+A x)g(x)-f(x)g(x+A x))/(A xg(x)g(x+A x))=lim [(f(x+ A x)-f(x)+f(x))*g(x) -(g(x+ A x) -g(x)+g(x))*f(x)]/( A xg(x)g(x+A x))=lim [(f(x+ A x)-f(x))*g(x) -(g(x+ A x)-g(x))*f(x)+f(x)g(x) -f(x)g(x)]/(A xg(x)g(x+A x))=lim (f(x+ A x)-f(x))*g(x)/( A xg(x)g(x+A x))-(g(x+A x)-g(x))*f(x)/( A xg(x)g(x+A x))=f'(x)g(x)/(g(x)*g(x)) -f(x)g'(x)/(g(x)*g(x))=[f'(x)g(x) -f(x)g'(x)]/(g(x)*g(x))x(14)h(x)=f(g(x))h'(x)=lim [f(g(x+ A x))-f(g(x))]/ A x=lim [f(g(x+A x)-g(x)+g(x))-f(g(x))]/A x (另g(x)=u, g(x+A x)-g(x)= △ u)=lim (f(u+ A u)-f(u))/ A x=lim (f(u+ A u)-f(u))* A u/(A x*A u)=lim f'(u)* A u/A x=lim f'(u)*(g(x+ A x)-g(x))/A x=f'(u)*g'(x)=f'(g(x))g'(x)总结一下(A n )'=nx^( n-1)(sinx) '=cosx(cosx) '=-sinx(aAx) '=aAxlna(eAx) '=eAx(logaAx) '=1/(xlna)(lnx)'=1/x(tanx)'=(secx)A2=1+(tanx)A2(cotx)'=-(cscx)A2=-1-(cotx)A2(secx)'=tanx*secx(cscx)'=-cotx*cscx(xAx)'=(lnx+1)*xAx [f(x)g(x)]'=f'(x)g(x)+f(x)g'(x) [f(x)/g(x)]'=[f'(x)g(x) -f(x)g'(x)]/(g(x)*g(x))[f(g(x))]'=f'(g(x))g'(x)。

常用的求导公式有哪些（大全）常用的求导公式有哪些1、f(x)=lim(h-0)[(f(x+h)-f(x))/h]. 即函数差与自变量差的商在自变量差趋于0时的极限，就是导数的定义。

其它所有基本求导公式都是由这个公式引出来的。

包括幂函数、指数函数、对数函数、三角函数和反三角函数，一共有如下求导公式：2、f(x)=a的导数， f(x)=0, a为常数. 即常数的导数等于0;这个导数其实是一个特殊的幂函数的导数。

就是当幂函数的指数等于1的时候的导数。

可以根据幂函数的求导公式求得。

3、f(x)=x^n的导数， f(x)=nx^(n-1), n为正整数. 即系数为1的单项式的导数，以指数为系数，指数减1为指数. 这是幂函数的指数为正整数的求导公式。

4、f(x)=x^a的导数， f(x)=ax^(a-1), a为实数. 即幂函数的导数，以指数为系数，指数减1为指数.5、f(x)=a^x的导数， f(x)=a^xlna, a0且a不等于1. 即指数函数的导数等于原函数与底数的自然对数的积.6、f(x)=e^x的导数， f(x)=e^x. 即以e为底数的指数函数的导数等于原函数.7、f(x)=log_a x的导数， f(x)=1/(xlna), a0且a不等于1. 即对数函数的导数等于1/x与底数的自然对数的倒数的积.8、f(x)=lnx的导数， f(x)=1/x. 即自然对数函数的导数等于1/x.9、(sinx)=cosx. 即正弦的导数是余弦.10、(cosx)=-sinx. 即余弦的导数是正弦的相反数.11、(tanx)=(secx)^2. 即正切的导数是正割的平方.12、(cotx)=-(cscx)^2. 即余切的导数是余割平方的相反数.13、(secx)=secxtanx. 即正割的导数是正割和正切的积.14、(cscx)=-cscxcotx. 即余割的导数是余割和余切的积的相反数.15、(arcsinx)=1/根号(1-x^2).16、(arccosx)=-1/根号(1-x^2).17、(arctanx)=1/(1+x^2).18、(arccotx)=-1/(1+x^2).19、(f+g)=f+g. 即和的导数等于导数的和。

导数公式的证明最全版导数的定义是函数在特定点处的变化率，即斜率。

要证明导数的定义，需要使用极限的概念和微分的概念。

假设函数f(x)在点x=a处有导数，记为f'(a)。

我们可以通过极限定义来证明导数的公式。

1.导数的定义：函数f(x)在点x=a处的导数，记为f'(a)，定义为：f'(a) = lim┬(h→0)⁡〖(f(a+h)-f(a))/h〗2.应用极限的性质：根据极限的性质，我们可以将上述公式改写为：f'(a) = lim┬(h→0)⁡〖f(a+h)-f(a))/lim┬(h→0)⁡h〗3.差商：我们可以将差商(f(a+h)-f(a))/h理解为两点(x,y)间的斜率。

根据微积分的思想，我们可以通过使用两点间的切线来近似表示曲线的斜率。

4.切线近似：在点(x,y)处，我们可以使用切线来近似表示曲线的斜率，该切线与曲线相切于点(x,y)处，并且与曲线在该点的切线斜率相同。

5.切线方程：曲线在点x=a处的切线方程为：y=f(a)+f'(a)(x-a)其中，f'(a)表示导数，(x-a)表示函数的自变量变化量。

6.近似函数：对于足够小的自变量变化量h，我们可以使用切线方程近似表示函数f(x)在点x=a+h处的函数值：f(a+h)≈f(a)+f'(a)h7.导数公式推导：根据近似函数的表示，我们可以将差商(f(a+h)-f(a))/h表示为：(f(a)+f'(a)h-f(a))/h化简得到：f'(a) = lim┬(h→0)⁡(f(a+h)-f(a))/h8.推导细节：进一步化简上述式子，得到：f'(a) = lim┬(h→0)⁡(f(a+h)/h - f(a)/h)根据极限的性质，推出：f'(a) = lim┬(h→0)⁡(f(a+h)/h) - lim┬(h→0)⁡(f(a)/h)化简得到：f'(a) = lim┬(h→0)⁡(f(a+h)-f(a)/h)这与导数的定义一致，因此我们证明了导数的定义公式。

导数的定义：f'(x)=lim Δy/ΔxΔx→0（下面就不再标明Δx→0了）用定义求导数公式（1）f(x)=x^n证法一：（n为自然数）f'(x)=lim [(x+Δx)^n-x^n]/Δx=lim (x+Δx-x)[(x+Δx)^(n-1)+x*(x+Δx)^(n-2)+...+x^(n-2)*(x+Δx)+x^(n-1)]/Δx=lim [(x+Δx)^(n-1)+x*(x+Δx)^(n-2)+...+x^(n-2)*(x+Δx)+x^(n-1)]=x^(n-1)+x*x^(n-2)+x^2*x^(n-3)+ ...x^(n-2)*x+x^(n-1)=nx^(n-1)证法二：（n为任意实数）f(x)=x^nlnf(x)=nlnx(lnf(x))'=(nlnx)'f'(x)/f(x)=n/xf'(x)=n/x*f(x)f'(x)=n/x*x^nf'(x)=nx^(n-1)（2）f(x)=sinxf'(x)=lim (sin(x+Δx)-sinx)/Δx=lim (sinxcosΔx+cosxsinΔx-sinx)/Δx =lim (sinx+cosxsinΔx-sinx)/Δx=lim cosxsinΔx/Δx=cosx（3）f(x)=cosxf'(x)=lim (cos(x+Δx)-cosx)/Δx=lim (cosxcosΔx-sinxsinΔx-cosx)/Δx =lim (cosx-sinxsinΔx-cos)/Δx=lim -sinxsinΔx/Δx=-sinx（4）f(x)=a^x证法一：f'(x)=lim (a^(x+Δx)-a^x)/Δx=lim a^x*(a^Δx-1)/Δx（设a^Δx-1=m，则Δx=loga^(m+1)）=lim a^x*m/loga^(m+1)=lim a^x*m/[ln(m+1)/lna]=lim a^x*lna*m/ln(m+1)=lim a^x*lna/[(1/m)*ln(m+1)] =lim a^x*lna/ln[(m+1)^(1/m)] =lim a^x*lna/lne=a^x*lna证法二：f(x)=a^xlnf(x)=xlna[lnf(x)] '=[xlna] 'f' (x)/f(x)=lnaf' (x)=f(x)lnaf' (x)=a^xlna若a=e，原函数f(x)=e^x则f'(x)=e^x*lne=e^x（5）f(x)=loga^xf'(x)=lim (loga^(x+Δx)-loga^x)/Δx =lim loga^[(x+Δx)/x]/Δx=lim loga^(1+Δx/x)/Δx=lim ln(1+Δx/x)/(lna*Δx)=lim x*ln(1+Δx/x)/(x*lna*Δx)=lim (x/Δx)*ln(1+Δx/x)/(x*lna) =lim ln[(1+Δx/x)^(x/Δx)]/(x*lna) =lim lne/(x*lna)=1/(x*lna)若a=e，原函数f(x)=loge^x=lnx则f'(x)=1/(x*lne)=1/x（6）f(x)=tanxf'(x)=lim (tan(x+Δx)-tanx)/Δx=lim (sin(x+Δx)/cos(x+Δx)-sinx/cosx)/Δx=lim (sin(x+Δx)cosx-sinxcos(x+Δx)/(Δxcosxcos(x+Δx))=lim (sinxcosΔxcosx+sinΔxcosxcosx-sinxcosxcosΔx+sinxsinxsinΔx)/(Δxcosxcos(x+Δx))=lim sinΔx/(Δxcosxcos(x+Δx))=1/(cosx)^2=secx/cosx=(secx)^2=1+(tanx)^2（7）f(x)=cotxf'(x)=lim (cot(x+Δx)-cotx)/Δx=lim (cos(x+Δx)/sin(x+Δx)-cosx/sinx)/Δx=lim (cos(x+Δx)sinx-cosxsin(x+Δx))/(Δxsinxsin(x+Δx))=lim (cosxcosΔxsinx-sinxsinxsinΔx-cosxsinxcosΔx-cosxsinΔxcosx)/(Δxsinxsin(x+Δx))=lim -sinΔx/(Δxsinxsin(x+Δx))=-1/(sinx)^2=-cscx/sinx=-(secx)^2=-1-(cotx)^2（8）f(x)=secxf'(x)=lim(sec(x+Δx)-secx)/Δx=lim (1/cos(x+Δx)-1/cosx)/Δx=lim (cosx-cos(x+Δx)/(ΔxcosxcosΔx)=lim (cosx-cosxcosΔx+sinxsinΔx)/(Δxcosxcos(x+Δx))=lim sinxsinΔx/(Δxcosxcos(x+Δx))=sinx/(cosx)^2=tanx*secx（9）f(x)=cscxf'(x)=lim(csc(x+Δx)-cscx)/Δx=lim (1/sin(x+Δx)-1/sinx)/Δx=lim (sinx-sin(x+Δx))/(Δxsinxsin(x+Δx))=lim (sinx-sinxcosΔx-sinΔxcosx)/(Δxsinxsin(x+Δx)) =lim -sinΔxcosx/(Δxsinxsin(x+Δx))=-cosx/(sinx)^2=-cotx*cscx（10）f(x)=x^xlnf(x)=xlnx(lnf(x))'=(xlnx)'f'(x)/f(x)=lnx+1f'(x)=(lnx+1)*f(x)f'(x)=(lnx+1)*x^x（12）h(x)=f(x)g(x)h'(x)=lim (f(x+Δx)g(x+Δx)-f(x)g(x))/Δx=lim [(f(x+Δx)-f(x)+f(x))*g(x+Δx)+(g(x+Δx)-g(x)-g(x+Δx))*f(x)]/Δx=lim [(f(x+Δx)-f(x))*g(x+Δx)+(g(x+Δx)-g(x))*f(x)+f(x)*g(x+Δx)-f(x)*g(x+Δx)]/Δx=lim (f(x+Δx)-f(x))*g(x+Δx)/Δx+(g(x+Δx)-g(x))*f(x)/Δx=f'(x)g(x)+f(x)g'(x)（13）h(x)=f(x)/g(x)h'(x)=lim (f(x+Δx)/g(x+Δx)-f(x)g(x))/Δx=lim (f(x+Δx)g(x)-f(x)g(x+Δx))/(Δxg(x)g(x+Δx))=lim [(f(x+Δx)-f(x)+f(x))*g(x)-(g(x+Δx)-g(x)+g(x))*f(x)]/(Δxg(x)g(x+Δx))=lim [(f(x+Δx)-f(x))*g(x)-(g(x+Δx)-g(x))*f(x)+f(x)g(x)-f(x)g(x)]/(Δxg(x)g(x+Δx))=lim (f(x+Δx)-f(x))*g(x)/(Δxg(x)g(x+Δx))-(g(x+Δx)-g(x))*f(x)/(Δxg(x)g(x+Δx))=f'(x)g(x)/(g(x)*g(x))-f(x)g'(x)/(g(x)*g(x))=[f'(x)g(x)-f(x)g'(x)]/(g(x)*g(x))x（14）h(x)=f(g(x))h'(x)=lim [f(g(x+Δx))-f(g(x))]/Δx=lim [f(g(x+Δx)-g(x)+g(x))-f(g(x))]/Δx（另g(x)=u，g(x+Δx)-g(x)=Δu）=lim (f(u+Δu)-f(u))/Δx=lim (f(u+Δu)-f(u))*Δu/(Δx*Δu)=lim f'(u)*Δu/Δx=lim f'(u)*(g(x+Δx)-g(x))/Δx=f'(u)*g'(x)=f'(g(x))g'(x)(反三角函数的导数与三角函数的导数的乘积为1，因为函数与反函数关于y=x对称，所以导数也关于y=x对称，所以导数的乘积为1) （15）y=f(x)=arcsinx则siny=x(siny)'=cosy所以(arcsinx)'=1/(siny)'=1/cosy=1/√1-(siny)^2(siny=x)=1/√1-x^2即f'(x)=1/√1-x^2(16)y=f(x)=arctanx则tany=x(tany)'=1+(tany)^2=1+x^2所以(arctanx)'=1/1+x^2即f'(x)= 1/1+x^2总结一下（x^n）'=nx^(n-1)（sinx）'=cosx（cosx）'=-sinx（a^x）'=a^xlna（e^x）'=e^x（loga^x）'=1/(xlna)（lnx）'=1/x(tanx)'=(secx)^2=1+(tanx)^2 (cotx)'=-(cscx)^2=-1-(cotx)^2 (secx)'=tanx*secx(cscx)'=-cotx*cscx(x^x)'=(lnx+1)*x^x(arcsinx)'=1/√1-x^2(arctanx)'=1/1+x^2[f(x)g(x)]'=f'(x)g(x)+f(x)g'(x)[f(x)/g(x)]'=[f'(x)g(x)-f(x)g'(x)]/(g(x)*g(x)) [f(g(x))]'=f'(g(x))g'(x)。

导数的定义：f'(x)=lim △ y/ △ x△ X T0 (下面就不再标明△ X T0 了)用定义求导数公式(1)f(x)=x A n证法一： (n 为自然数)f'(x)=lim [(x+A x)An-xAn]/ △x=lim (x+A x-x)[(x+A X)A( n-1)+x*(x+A X)A( n-2)+…+xA(n-2)*(x+ △x)+xA(n-1)]/ △x=lim [(x+A x)A(n-1)+x*(x+A x)A(n-2)+…+xA(n-2)*(x+A x)+xA(n-1)] =xA(n-1)+x*xA(n-2)+xA2*xA(n-3)+ ...xA(n-2)*x+xA(n-1)=nxA(n-1)证法二：( n 为任意实数)f(x)=xAnlnf(x)=nlnx(lnf(x))'=(nlnx)'f'(x)/f(x)=n/xf'(x)=n/x*f(x)f'(x)=n/x*xAnf'(x)=nxA(n-1)(2)f(x)=sinxf'(x)=lim (sin(x+A x)-sinx)/ △x=lim (sin xcos^ x+cosxsin^ x-sin x)/ △x=lim (sin x+cosxsin A x-sin x)/ △x=lim cosxs 也x/ △ x=cosx(3)f(x)=cosx f'(x) =lim (cos(x+A x)-cosx)/ △x=lim (cosxcosA x-sinxsin A x-cosx)/^ x-cos)/ △x=lim (cosxs inxsin A x =lim -si nxsin A x/ △x=-s inx f(x)=a A x ) (4 证法一：f'(x)-a A x)/ △x=lim (aA(x+A x) 1)/ △x=lim aAx*(aA △x-92 /(设aA^x-1= 口，贝卩4 x=logaA(m+1))=lim aAx*m/logaA(m+1)=lim a A x*m/[l n(m+1)/l na]=lim aAx*l na*m/ln( m+1)=lim aAx*lna/[(1/m)*ln(m+1)]=lim aAx*lna/ln[(m+1)A(1/m)]=lim aAx*lna/lne=aAx*lna证法二：f(x)=aAxlnf(x)=xlna[lnf(x)] '=[xlna] 'f' (x)/f(x)=lnaf' (x)=f(x)lnaf' (x)=aAxlna若a=e,原函数f(x)=eAx则f'(x)=eAx*lne=eAx(5)f(x)=logaAxf'(x)3 / 9=lim (logaA(x+A x)-logaAx)/ △x=lim loga A[(x+A x)/x]/ △x=lim logaA(1 + △ x/x)/ △ x=lim In(〔+△ x/x)/(lna* △ x)=lim x*ln(1+ △ x/x)/(x*Ina* △ x)=lim (x/ △ x)* In (1+ △ x/x)/(x*l na)=lim ln[ (1 + △ x/x)A(x/ △ x)]/(x* In a)=lim lne/(x*lna)=1/(x*lna)若a=e，原函数f(x)=logeAx=lnx则f'(x)=1/(x*lne)=1/x(6)f(x)=tanxf'(x)=lim (ta n(x+A x)-ta nx)/ △x=lim (sin(x+A x)/cos(x+A x)-sinx/cosx)/A x=lim (sin(x+A x)cosxsinxcos(x+A x)/( △xcosxcos(x+X x))=lim(sinxcos A xcosx+sin A xcosxcosxsinxcosxcosX x+sinxsinxsin A x)/( △xcosxcos(x+X x))=lim si n A x/( △xcosxcos(x+X x))=1/(cosx)A2=secx/cosx=(secx)A2=1+(tanx)A27)f(x)=cotx f'(x)=lim (cot(x+ A x)-cotx)/ △x=lim (cos(x+A x)/si n(x+ A x)-cosx/si nx)/A x=lim (cos(x+A x)si nx~cosxs in (x+A x))/( A xsinxsin(x+A x))=lim(cosxcos A xsinx-sinxsinxsin A x-cosxsinxcos A x-cosxsin A xcosx)/(A xsinxsin(x+A x))=lim -sin A x/(A xsinxsin(x+A x))=-1/(si nx)八2二-cscx/si nx二(secx)八2=1-(cotx)八2(8)f(x)=secxf'(x)=lim (sec(x+A x)-secx)/A x=lim (1/cos(x+A x)-1/cosx)/A x=lim (cosx-cos(x+A x)/(A xcosxcos A x)=lim (cosx-cosxcos A x+sinxsin A x)/(A xcosxcos(x+A x))=lim sinxsin A x/(A xcosxcos(x+A x))=si nx/(cosx)八2二ta nx*secx9)f(x)=cscxf'(x) =lim (csc(x+A x)-cscx)/A x5 / 9=lim (1/sin(x+A x)-1/sinx)/ △x=lim (si n*si n(x+A x))/( △xsinxsin(x+A x))=lim (sin*sinxcos^ x-sin A xcosx)/(A xsinxsin(x+A x))=lim -sin △ xcosx/(A xs in xsi n(x+A x))=-cosx/(si nx)八2二cotx*cscx(10) f(x)=x A xlnf(x)=xlnx(lnf(x))'=(xlnx)'f'(x)/f(x)=lnx+1f'(x)=(lnx+1)*f(x)f'(x)=(lnx+1)*xAx( 12) h(x)=f(x)g(x)h'(x)=lim (f(x+ △x)g(x+A x)-f(x)g(x))/A x=lim [(f(x+ △x)-f(x)+f(x))*g(x+A x)+(g(x+A x)-g(x)-g(x+A x))*f(x)]/ △x =lim [(f(x+ △x)-f(x))*g(x+ △x)+(g(x+A x)-g(x))*f(x)+f(x)*g(x+ △x)-f(x)*g(x+△x)]/ △x=lim (f(x+ A x)-f(x))*g(x+ △x)/ △x+(g(x+A x)-g(x))*f(x)/ △x=f'(x)g(x)+f(x)g'(x)(13)h(x)=f(x)/g(x)6 / 9h'(x)=lim (f(x+A x)/g(x+A x)-f(x)g(x))/A x=lim (f(x+A x)g(x)-f(x)g(x+A x))/(A xg(x)g(x+A x))=lim [(f(x+A x)-f(x)+f(x))*g(x)-(g(x+A x)-g(x)+g(x))*f(x)]/(A xg(x)g(x+A x))=lim [(f(x+A x)-f(x))*g(x)-(g(x+A x)-g(x))*f(x)+f(x)g(x)-f(x)g(x)]/(Axg(x)g(x+A x))=lim (f(x+A x)-f(x))*g(x)/( A xg(x)g(x+A x))-(g(x+A x)-g(x))*f(x)/(Axg(x)g(x+A x))=f'(x)g(x)/(g(x)*g(x))-f(x)g'(x)/(g(x)*g(x))=[f'(x)g(x)-f(x)g'(x)]/(g(x)*g(x))x(14)h(x)=f(g(x))h'(x)=lim [f(g(x+A x))-f(g(x))]/A x=lim [f(g(x+A x)-g(x)+g(x))-f(g(x))]/A x (另g(x)=u，g(x+A x)-g(x)=A u) =lim (f(u+ A u)-f(u))/ △x=lim (f(u+ A u)-f(u))* A u/( A x* A u)=lim f(u)* A u/ A x=lim f'(u)*(g(x+A x)-g(x))/A x=f'(u)*g'(x)=f'(g(x))g'(x)(反三角函数的导数与三角函数的导数的乘积为1，因为函数与反函数关于y=x对称，所以导数也关于y=x对称，所以导数的乘积为1)(15)y=f(x)=arcsinx7 / 9siny二x 贝U(siny )'=cosy所以(arcsinx)'=1/(siny)'=1/cosy-(si ny )八2 =1/V 1(si ny=x)-x A2 =1/V 1-x A2 f(x)=1/ V1 即(16)y=f(x)=arcta nxtany=x贝(tany)'=1+(tany)A2=1+xA2所以(arcta nx)'=1/1+xA2f(x)= 1/1+xA2 即总结一下'二nxA(n-1) xAn) ('=cosx sin) ('=-sinx ) (cosx'=aAxlna ) (aAx'=eAx eAx) ('=1/(xlna))( logaAx8 / 9lnx) '=1/x(ta nx)'=(secx)八2=1+(ta nx)八2 (cotx)'=-(cscx)八2二1-(cotx)八2 (secx)'=tanx*secx (cscx)'=-cotx*cscx (x A x)'=(l nx+1)*x^x (arcs in x)'=1/V 1/2 (arctanx)'=1/1+xA2 [f(x)g(x)]'=f'(x)g(x)+f(x)g'(x)[f(x)/g(x)]'=[f'(x)g(x)-f(x)g'(x)]/(g(x)*g(x)) [f(g(x))]'=f'(g(x))g'(x)9 / 9。

反三角函数求导公式证明要证明反三角函数的导数公式，我们首先需要回顾一些基本的导数公式和三角函数的关系。

1.基本导数公式：(a) 若f(x)=cx^n (其中c为常数，n为正整数)，则f'(x)=ncx^(n-1)；(b)若f(x)=e^x，则f'(x)=e^x；(c) 若f(x)=ln(x)（其中ln表示自然对数），则f'(x)=1/x；2.三角函数和反三角函数的关系：(a) 若sin(x)=y，则x=arcsin(y)；(b) 若cos(x)=y，则x=arccos(y)；(c) 若tan(x)=y，则x=arctan(y)；现在我们逐个证明反三角函数的导数公式。

一、反正弦函数（arcsin）的导数：我们设y=arcsin(x)。

根据反函数的性质，我们有sin(y)=x。

对等式两边求导：d/dx[sin(y)] = d/dx[x]cos(y) * dy/dx = 1dy/dx = 1 / cos(y)我们知道sin^2(y) + cos^2(y) = 1，因此cos(y) = sqrt(1 -sin^2(y)) = sqrt(1 - x^2)。

将其代回上式，得到：dy/dx = 1 / sqrt(1 - x^2)因此，反正弦函数的导数公式为：d/dx[arcsin(x)] = 1 / sqrt(1 - x^2)二、反余弦函数（arccos）的导数：我们设y=arccos(x)。

根据反函数的性质，我们有cos(y)=x。

对等式两边求导：d/dx[cos(y)] = d/dx[x]-sin(y) * dy/dx = 1dy/dx = -1 / sin(y)我们知道sin^2(y) + cos^2(y) = 1，因此sin(y) = sqrt(1 -cos^2(y)) = sqrt(1 - x^2)。

将其代回上式，得到：dy/dx = -1 / sqrt(1 - x^2)因此，反余弦函数的导数公式为：d/dx[arccos(x)] = -1 / sqrt(1 - x^2)三、反正切函数（arctan）的导数：我们设y=arctan(x)。