导数证明
- 格式:doc
- 大小:191.57 KB
- 文档页数:2
导数公式证明大全导数是微积分中的重要概念,它描述了函数变化率的性质。
在这篇文章中,我们将给出一些导数的常用公式的证明。
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)来证明导数。
导数基本公式的证明导数是微积分中非常重要的概念,它描述了函数在其中一点附近的变化率。
导数的基本公式是微积分中的基础知识,本文将为您证明导数的基本公式。
我们先来回顾导数的定义。
对于一个函数f(x),在其中一点x=a处可导,如果该点的导数存在,即该函数在x=a的邻域内极限f'(a) = lim [f(x) - f(a)] / (x - a)x→a存在,那么f'(a)即为函数f(x)在点x=a处的导数。
我们现在来证明导数的基本公式。
1.导数的和法则对于函数f(x)和g(x),假设f(x)和g(x)在x=a处可导,那么(f+g)(a)在x=a处的导数为:(f+g)'(a)=f'(a)+g'(a)证明:根据导数的定义,我们有:(f+g)'(a) = lim [(f+g)(x) - (f+g)(a)] / (x - a)x→a我们展开(f+g)(x)并进行简化:(f+g)'(a) = lim [f(x) + g(x) - f(a) - g(a)] / (x - a)x→a= lim [f(x) - f(a)] / (x - a) + lim [g(x) - g(a)] / (x - a) x→ax→a根据导数的定义,上式等于f'(a)+g'(a),即得证。
2.导数的差法则对于函数f(x)和g(x),假设f(x)和g(x)在x=a处可导,那么(f-g)(a)在x=a处的导数为:(f-g)'(a)=f'(a)-g'(a)证明:根据导数的定义,我们有:(f-g)'(a) = lim [(f-g)(x) - (f-g)(a)] / (x - a)x→a我们展开(f-g)(x)并进行简化:(f-g)'(a) = lim [f(x) - g(x) - f(a) + g(a)] / (x - a)x→a= lim [f(x) - f(a)] / (x - a) - lim [g(x) - g(a)] / (x - a) x→ax→a根据导数的定义,上式等于f'(a)-g'(a),即得证。
导数的四则运算证明本文讲解了求导数四则运算如何进行证明,包括加法运算、减法运算、乘法运算和除法运算。
一、加法运算求解导数的加法运算是基于拉格朗日准则:“两个曲线的切线的斜率的和等于这两条曲线的斜率的和”,可以通过它来进行证明。
如果有两个函数y1=f1(x),y2=f2(x),则其和函数y1+y2=f1(x)+f2(x),证明的形式如下:∂/∂x(f1(x)+f2(x))=∂/∂x(f1(x))+∂/∂x(f2(x))即求得,两个函数的导数的和等于这两个函数之和的导数二、减法运算假设有两个函数y1=f1(x),y2=f2(x),减法运算后y1-y2=f1(x)-f2(x),求其导数的证明如下:∂/∂x(f1(x)-f2(x))=∂/∂x(f1(x))-∂/∂x(f2(x))即求得,两个函数的导数的差等于这两个函数之差的导数三、乘法运算假设有两个函数f1(x),f2(x),它们的乘积函数为f1(x)×f2(x),对其导数求解如下:∂/∂x(f1(x)×f2(x))=f1(x)×∂/∂x(f2(x))+∂/∂x(f1(x))×f2(x)即求得,两个函数的导数的乘积等于这两个函数之乘积的导数四、除法运算假设有两个函数f1(x),f2(x),它们的积除函数为f1(x)÷f2(x),对其导数求解如下:∂/∂x(f1(x)÷f2(x))=[(f2(x))×∂/∂x(f1(x))-(f1(x))×∂/∂x(f2(x))]÷(f2(x))^2即求得,两个函数的导数的商等于这两个函数之商的导数以上就是求导数四则运算的证明,可以看出,四则运算都满足拉格朗日准则,即函数的性质不变,斜率的和等于总斜率。
用定义证明导数的四则运算在微积分中,导数是表示函数变化率的数学概念。
导数能够帮助我们了解函数在某一点的变化速率,以及函数的斜率。
为了证明导数的四则运算规则,我们可以利用导数的定义来进行推导。
定义导数设函数f(f)在f=f处可导,那么f(f)在f=f处的导数f′(f)定义为:$$ f'(a) = \\lim_{{h \\to 0}} \\frac{f(a + h) - f(a)}{h} $$这个定义告诉我们函数在f=f处的导数是函数在f=f 处的变化率。
现在,我们将利用这个定义证明导数的四则运算规则。
导数的四则运算1. 和差法则设f(f)和f(f)是两个函数,它们在f=f处可导。
我们来证明 $(f(x) \\pm g(x))'$ 等于 $f'(a) \\pm g'(a)$。
根据导数的定义,我们有:$$ \\begin{aligned} (f(x) \\pm g(x))'(a) &= \\lim_{{h \\to 0}} \\frac{(f(a + h) \\pm g(a + h)) - (f(a) \\pm g(a))}{h} \\\\ &= \\lim_{{h \\to 0}} \\left(\\frac{f(a + h) - f(a)}{h} \\pm\\frac{g(a + h) - g(a)}{h}\\right) \\\\ &= f'(a) \\pm g'(a)\\end{aligned} $$2. 积法则设f(f)和f(f)是两个函数,它们在f=f处可导。
我们来证明 $(f(x) \\cdot g(x))'$ 等于 $f'(a) \\cdot g(a) + f(a)\\cdot g'(a)$。
根据导数的定义,我们有:$$ \\begin{aligned} (f(x) \\cdot g(x))'(a) &= \\lim_{{h \\to 0}} \\frac{f(a + h)g(a + h) - f(a)g(a)}{h} \\\\ &= \\lim_{{h \\to 0}} \\left(\\frac{f(a + h) - f(a)}{h}g(a + h) + \\frac{g(a + h) -g(a)}{h}f(a)\\right) \\\\ &= f'(a) \\cdot g(a) + f(a) \\cdot g'(a) \\end{aligned} $$3. 商法则设f(f)和f(f)是两个函数,且f(f)ff0。
常用高阶导数公式证明一阶导数假设函数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} $$由此可得到二阶导数的通用公式。
用导数定义证明导数公式的方法在微积分中,导数是描述函数变化速率的重要工具。
证明导数公式是微积分学习中的关键内容之一。
本文将介绍一种用导数定义证明导数公式的方法,帮助读者更深入理解导数的概念和应用。
在证明导数公式时,我们通常会使用基本的导数定义:假设函数f(f)在某一点f可导,那么f(f)在该点的导数f′(f)定义为:$$ f'(x) = \\lim_{\\Delta x \\to 0} \\frac{f(x + \\Delta x) -f(x)}{\\Delta x} $$基于这一定义,我们可以推导出各种导数的计算公式。
以下以常见的导数公式为例,介绍如何用导数定义证明这些公式。
1. 常数函数的导数首先考虑常数函数f(f)=f的导数。
根据导数定义,我们有:$$ f'(x) = \\lim_{\\Delta x \\to 0} \\frac{f(x + \\Delta x) -f(x)}{\\Delta x} = \\lim_{\\Delta x \\to 0} \\frac{C -C}{\\Delta x} = \\lim_{\\Delta x \\to 0} 0 = 0 $$因此,常数函数的导数恒为0。
2. 幂函数的导数考虑幂函数f(f)=f f的导数。
根据导数定义,我们有:$$ f'(x) = \\lim_{\\Delta x \\to 0} \\frac{(x+\\Delta x)^n -x^n}{\\Delta x} $$为了证明这一式子,我们可以使用二项式定理将$(x +\\Delta x)^n$展开,最终可以得到导数的计算公式。
通过以上的方法,可以用导数定义证明各种函数的导数公式。
这种方法不仅有助于加深对导数概念的理解,还可以帮助我们更好地理解微积分中的基本原理。
希望读者通过这种方法,能够更加熟练地运用导数来分析和解决实际问题。
结论通过以上方法,我们可以用导数定义证明各种导数公式,从常数函数到复杂函数,都可以通过导数的定义来推导和证明其导数公式。
导数证明不等式步骤
1. 确认要证明的不等式的形式。
导数证明不等式一般都是基于单调性的变化,因此需要确认不等式的形式是“小于等于”还是“大于等于”。
2. 取函数的导数。
导数证明不等式要取函数的导数,因此需要首先找到函数的导数表达式。
如果函数的导数表达式比较难求,可以先将函数化简为更易求导的形式,再求导。
3. 找到函数的极值点。
导数证明不等式的核心是单调性分析,因此需要先找到函数的极值点,即导数为0的点。
对于一次函数,其导数恒为定值,没有极值点;而对于二次函数、三次函数等一些复杂的函数,极值点可以是最高次项系数为正时的最小值,或者最高次项系数为负时的最大值。
4. 利用极值点进行函数的单调性分析。
根据极值点,可以将整个函数的定义域分成若干段。
在每一段内,函数的单调性可能存在增加、减少或不变。
因此需要分别考虑每一段函数的单调性。
5. 比较函数值。
在每一段函数的单调性分析之后,可以比较函数在不同点的值。
根据不等式的形式,可以进行大小的比较,进而得到证明。
如果比较函数值比较麻烦,可以考虑对函数关于某个点进行泰勒展开,通过展开式的系数进行比较。
6. 总结证明过程,得出结论。
对于导数证明不等式,一般的证明过程都是通过分析函数的单调性,最后得到证明结论的。
因此,在整合证明过程的过程中,要注意明确函数的单调性,清晰地展示每一个分段函数的单调性分析,以及通过比较函数值来得到证明结论。
最后,需要总结证明过程,得出不等式的正确性结论。
16个基本导数公式详解在微积分中,导数是指函数在其中一点的切线斜率或变化率。
它在计算斜率、切线和极值时起着重要作用。
以下是16个基本导数公式的详解。
1. 常数函数导数:对于常数函数y=c,导数为dy/dx = 0。
这是因为常数函数在任何点的斜率都是零。
2. 幂函数导数:对于幂函数y=x^n(这里n是常数),其导数为dy/dx = nx^(n-1)。
这个公式可以通过使用极限定义导数来证明。
例如,对于y=x^2,导数为dy/dx = 2x。
3. 指数函数导数:对于指数函数y=a^x(这里a是常数且a>0),其导数为dy/dx = a^x * ln(a)。
这个公式可以通过使用极限定义导数和对数函数的导数来证明。
4. 对数函数导数:对于自然对数函数y=ln(x),其导数为dy/dx =1/x。
对数函数的导数是指数函数导数的倒数。
这个公式也可以通过使用极限定义导数来证明。
5. 正弦函数导数:对于正弦函数y=sin(x),其导数为dy/dx =cos(x)。
这个公式可以通过使用极限定义导数和三角函数的定义来证明。
6. 余弦函数导数:对于余弦函数y=cos(x),其导数为dy/dx = -sin(x)。
这个公式可以通过使用极限定义导数和三角函数的定义来证明。
7. 正切函数导数:对于正切函数y=tan(x),其导数为dy/dx =sec^2(x)。
这个公式可以通过使用sin(x)和cos(x)的导数公式来证明。
8. 反正弦函数导数:对于反正弦函数y=arcsin(x),其导数为dy/dx = 1/√(1 - x^2)。
这个公式可以通过使用反三角函数的定义和导数的链式法则来证明。
9. 反余弦函数导数:对于反余弦函数y=arccos(x),其导数为dy/dx = -1/√(1 - x^2)。
这个公式可以通过使用反三角函数的定义和导数的链式法则来证明。
10. 反正切函数导数:对于反正切函数y=arctan(x),其导数为dy/dx = 1/(1 + x^2)。
利用导数证明不等式的四种常用方法方法一:使用函数的单调性如果函数f(x)在区间[a,b]上单调递增(或递减),则对于任意的x1,x2∈[a,b],有f(x1)≤f(x2)(或f(x1)≥f(x2))。
举例说明:证明当x>0时,e^x>1+x。
我们考虑函数f(x)=e^x-(1+x),取f'(x)=e^x-1、如果f'(x)≥0,则f(x)在x>0上单调递增,且f(x)在x=0处取到最小值。
通过计算可得f'(x)≥0,所以f(x)在x>0上单调递增,即e^x-(1+x)≥0。
即e^x>1+x。
方法二:使用函数的极值点如果函数f(x)在一些点x0处取得极小值(或极大值),则该点附近的函数值也有相应的性质。
举例说明:证明(1+x)^n > 1+nx,其中n为自然数。
我们考虑函数f(x) = (1+x)^n - (1+nx),取f'(x) = n(1+x)^(n-1) - n。
令f'(x) = 0,可得x = -1/(n-1)。
我们先考虑x ∈ (-∞, -1/(n-1)),在此区间上f'(x) > 0,所以f(x)在此区间上单调递增。
当x < -1/(n-1)时,有f(x) > f(-1/(n-1)) = 0。
所以在此区间上(1+x)^n > 1+nx。
同理可得,当x ∈ (-1/(n-1), +∞)时,也有(1+x)^n > 1+nx。
方法三:使用函数的凹凸性如果函数f(x)在一些区间上是凹的(或凸的),则函数的函数值也有相应的性质。
举例说明:证明当a>0时,有√a≤(a+1)/2我们考虑函数f(x) = √x,取f''(x) = -x^(-3/2)。
我们知道,当f''(x)≥0时,函数f(x)在该区间上为凹函数。
计算可得f''(x)≥0,所以f(x)在[0, +∞)上为凹函数。
导数公式的证明(最全版)————————————————————————————————作者:————————————————————————————————日期:导数的定义: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)。
3 利用导数证明不等式
① 函数不等式的证明
a. 构造辅助函数
1 移项构造
例10 ()x x <+1ln ,()0>x 经典不等式 2 变形构造
例11 已知()()x a ax x x f ln 12
12-+-= ,51<<a ,求证对任意1x ,2x ∈()+∞,0, 21x x ≠,()()12
121->--x x x f x f 3 换元构造
4 控制变量构造
例12 若()2ln 2x mx x x f -+=有两个零点1x ,2x ()21x x <,且2210x x x +=。
求证()00<'x f
例13 已知()x e x f =,设b a <,试比较⎪⎭
⎫ ⎝⎛+2b a f 与()()a b a f b f --的大小,并说明理由.
b. 利用充分性证明
例14 证明0>x 时,ex
e x x 21ln -> 例15 已知函数()x x x
f ln -=,()x x x
g ln =
,证明()()21+>x g x f . 正整数不等式的证明
1 直接构造函数证明
例16 证明*∈N n ,n
n n n +<+11ln
2 比较通项构造证明 例17 证明*∈N n ,2≥n 时,n n
ln 13121<+++
例18 证明()1
1ln 13ln 12ln 1+>++++n n n 例19 证明()1
11ln 43ln 32ln 2+-<++++n n n n 例20 证明()()()
12121ln 33ln 22ln 222222++-<+++n n n n n 3 利用经典不等式证明
例21 求证e n <⎪⎭
⎫ ⎝⎛+⎪⎭⎫ ⎝⎛+⎪⎭⎫ ⎝⎛+⎪⎭⎫ ⎝⎛+2222211811411211 4 零点问题
分类讨论 分离参数 数形结合 例22 已知函数()ax x x f -=ln 有两个零点,求a 的范围. 例23 已知函数mx ex x x +-=232ln 有两个零点,求a 的范围. 5 恒成立,存在性问题
① 单变量问题
1 分离参数
2 分类讨论
3 找充分证充要 例2
4 已知函数()ax x x f -=ln ,对0>∀x ,()0<x f 恒成立,求a 的取值范围. 例24 已知函数()x x e e x f --=,若0≥x ,()ax x f ≥恒成立,求a 的取值范围. 例2
5 已知函数()()()1ln 1++=x x x f ,若0≥x ,()ax x f ≥恒成立,求a 的取值范围.。