导数公式及证明.doc

编辑本段导数公式及证明 　　这里将列举五类基本初等函数的导数以及它们的推导过程（初等函数可由之运算来）： ?? 基本导数公式 1.y=c(c为常数) y=0 　　2幂函数。y=x^n, y=nx^(n-1)(n∈Q*) 熟记1/X的导数 　　3.(1)y=a^x ,y=a^xlna ；(2)熟记y=e^x y=e^x唯一一个导函数为本身的函数 　　4.(1)y=logaX, y=1/xlna (a0且a不等于1,x0) ；熟记y=lnx ,y=1/x 　　5.y=(sinx ）y=cosx 　　6.y=（cosx） y=-sinx 　　7.y=(tanx） y=1/(cosx)^2 　　8.y=（cotx） y=-1/(sinx)^2 　　9.y=（arcsinx） y=1/√1-x^2 　　10.y=（arccosx） y=-1/√1-x^2 　　11.y=（arctanx） y=1/(1+x^2) 　　12.y=（arccotx） y=-1/(1+x^2) 　　在推导的过程中有这几个常见的公式需要用到： 　　1.y=f[g(x)],y=f[g(x)]·g(x)『f[g(x)]中g(x）看作整个变量，而g(x)中把x看作变量』 　　2.y=u/v,y=(uv-uv)/v^2 　　3. 原函数与反函数导数关系（由三角函数导数推反三角函数的）：y=f(x)的反函数是x=g(y），则有y=1/x 　　证：1.显而易见，y=c是一条平行于x轴的直线，所以处处的切线都是平行于x的，故斜率为0。用导数的定义做也是一样的：y=c,Δy=c-c=0,limΔx→0Δy/Δx=0。 　　2.这个的推导暂且不证，因为如果根据导数的定义来推导的话就不能推广到n为任意实数的一般情况，只能证其为整数Q。主要应用导数定义与N次方差公式。在得到 y=e^x y=e^x和y=lnx y=1/x这两个结果后能用复合函数的求导给予证明。 　　3.y=a^x, 　　Δy=a^(x+Δx)-a^x=a^x(a^Δx-1) 　　Δy/Δx=a^x(a^Δx-1)/Δx 　　如果直接令Δx→0，是不能导出导函数的，必须设一个辅助的函数β=a^Δx-1通过换元进行计算。由设的辅助函数可以知道：Δx=loga(1+β)。 　　所以(a^Δx-1)/Δx=β/loga(1+β)=1/loga(1+β)^1/β 　　显然，当Δx→0时，β也是趋向于0的。而limβ→0(1+β)^1/β=e,所以limβ→01/loga(1+β)^1/β=1/logae=lna。 　　把这个结果代入limΔx→0Δy/Δx=limΔx→0a^x(a^Δx-1)/Δx后得到limΔx→0Δy/Δx=a^xlna。 　　可以知道，当a=e时有y=e^x y=e^x。 　　4.y=logax 　　Δy=loga(x+Δx)-logax=loga(x+Δx)/x=loga[(1+Δx/x)^x]/x 　　Δy/Δx=loga[(1+Δx/x)^(x/Δx)]/x 　　因为当Δx→0时，Δx/x趋向于0而x/Δx趋向于∞，所以limΔx→0loga(1+Δx/x)^(x/Δx)=logae,所以有 　　limΔx→0Δy/Δx=logae/x。 　　也可以进一步用换底公式 　　limΔx→0Δy/Δx=logae/x=lne/(x*lna)=1/(x*lna)=(x*lna)^(-1) 　　可以知道，当a=e时有y=lnx y=1/x。 　　这时可以进行y=x^n y=nx^(n-1)的推导了。因为y=x^n,所以y=e^ln(x^n)=e^nlnx, 　　所以y=e^nlnx·(nlnx)=x^n·n/x=nx^(n-1)。 　　5.y=sinx 　　Δy=sin(x+Δx)-sinx=2cos(x+Δx/2)sin(Δx/2) 　　Δy/Δx=2cos(x+Δx/2)sin(Δx/2)/Δx=cos(x+Δx/2)sin(Δx/2)/(Δx/2) 　　所以limΔx→0Δy/Δx=limΔx→0cos(x+Δx/2)·limΔx→0sin(Δx/2)/(Δx/2)=cosx 　　6.类似地，可以导出y=cosx y=-sinx。 　　7.y=tanx=sinx/cosx 　　y=[(sinx)cosx-sinx(cosx)]/cos^2x=(cos^2x+sin^2x)/cos^2x=1/cos^2x 　　8.y=cotx=cosx/sinx 　　y=[(cosx)sinx-cosx(sinx)]/sin^2x=-1/sin^2x 　　9.y=arcsinx 　　x=siny 　　x=cosy 　　y