当前位置：搜档网 › 导数公式证明大全(更新版)

导数公式证明大全(更新版)

（麻烦那些盗取他人成果的人素质点，最近总有人把我的作品抄袭过去，改改标题就作为他的东西。愤怒啊！！！！！！）

导数的定义：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^n

lnf(x)=nlnx

(lnf(x))'=(nlnx)'

f'(x)/f(x)=n/x

f'(x)=n/x*f(x)

f'(x)=n/x*x^n

f'(x)=nx^(n-1)

（2）f(x)=sinx

f'(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)=cosx

f'(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^x

lnf(x)=xlna

[lnf(x)] '=[xlna] '

f' (x)/f(x)=lna

f' (x)=f(x)lna

f' (x)=a^xlna

若a=e，原函数f(x)=e^x

则f'(x)=e^x*lne=e^x

（5）f(x)=loga^x

f'(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)=tanx

f'(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)=cotx

f'(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)=secx

f'(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)=cscx

f'(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^x

lnf(x)=xlnx

(lnf(x))'=(xlnx)'

f'(x)/f(x)=lnx+1

f'(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→0（下面就不再标明Δx→0了）用定义求导数公式（1）f(x)=x^n 证法一：（n为自然数） For personal use only in study and research; not for commercial use 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 For personal use only in study and research; not for commercial use =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) For personal use only in study and research; not for commercial use 证法二：（n为任意实数） f(x)=x^n lnf(x)=nlnx (lnf(x))'=(nlnx)' f'(x)/f(x)=n/x f'(x)=n/x*f(x) f'(x)=n/x*x^n f'(x)=nx^(n-1) （2）f(x)=sinx

f'(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)=cosx f'(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

高等数学公式导数基本公式

高等数学公式导数公式：基本积分表：三角函数的有理式积分： 2 222122an 11cos 12sin u du dx x t u u u x u u x +==+-=+=，　，　，　 a x x a a a ctgx x x tgx x x x x x x a x x ln 1 )(log ln )(csc )(csc sec )(sec csc )(cot sec )(tan 22= '='?-='?='-='='2 2 22 11 )cot (11 )(arctan 11 )(arccos 11 )(arcsin x x arc x x x x x x +- ='+= '-- ='-= '? ?????????+±+=±+=+=+=+-=?+=?+-==+==C a x x a x dx C shx chxdx C chx shxdx C a a dx a C x xdx x C x dx x x C x xdx x dx C x xdx x dx x x )ln(ln csc cot csc sec tan sec cot csc sin tan sec cos 222 22 22 2C a x x a dx C x a x a a x a dx C a x a x a a x dx C a x a x a dx C x x xdx C x x xdx C x xdx C x xdx t +=-+-+=-++-=-+=++-=++=+=+-=????????arcsin ln 21ln 21arctan 1cot csc ln csc tan sec ln sec sin ln cot cos ln an 2 2222222? ????++-=-+-+--=-+++++=+-= ==-C a x a x a x dx x a C a x x a a x x dx a x C a x x a a x x dx a x I n n xdx xdx I n n n n arcsin 22ln 22)ln(221 cos sin 22 2222222 2222222 22 2 22 2 π π

导数公式及证明

编辑本段导数公式及证明这里将列举五类基本初等函数的导数以及它们的推导过程（初等函数可由之运算来）：基本导数公式 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 (a>0且a不等于1,x>0) ；熟记 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'=(u'v-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。主要应用导数定义与

常见导数公式

常见导数公式： ① C'=0(C为常数函数)； ② (x^n)'= nx^(n-1) (n∈Q*)； ③ (sinx)' = cosx； (cosx)' = - sinx； (tanx)'=1/(cosx)^2=(secx)^2=1+(tanx)^2 -(cotx)'=1/(sinx)^2=(cscx)^2=1+(cotx)^2 (secx)'=tanx·secx (cscx)'=-cotx·cscx ④ (sinhx)'=hcoshx (coshx)'=-hsinhx (tanhx)'=1/(coshx)^2=(sechx)^2 (coth)'=-1/(sinhx)^2=-(cschx)^2 (sechx)'=-tanhx·sechx (cschx)'=-cothx·cschx ⑤ (e^x)' = e^x； (a^x)' = a^xlna （ln为自然对数） (Inx)' = 1/x（ln为自然对数） (logax)' =(xlna)^(-1),(a>0且a不等于1) (x^1/2)'=[2(x^1/2)]^(-1) (1/x)'=-x^(-2) 另外就是复合函数的求导： ①(u±v)'=u'±v' ②(uv)'=u'v+uv' ③(u/v)'=(u'v-uv')/ v^2 后面这些高中用不到，但是多掌握点遇到时就可以直接写出来，不用再换算成常见函数来求解， (arcsinx)'=1/(1-x^2)^1/2 (arccosx)'=-1/(1-x^2)^1/2 (arctanx)'=1/(1+x^2) (arccotx)'=-1/(1+x^2) (arcsecx)'=1/(|x|(x^2-1)^1/2) (arccscx)'=-1/(|x|(x^2-1)^1/2) (arsinhx)'=1/(x^2+1)^1/2 (arcoshx)'=1/(x^2-1)^1/2 (artanhx)'=1/(x^2-1) (|x|<1) (arcothx)'=1/(x^2-1) (|x|>1) (arsechx)'=1/(x(1-x^2)^1/2) (arcschx)'=1/(x(1+x^2)^1/2) 1、x→0，sin(x)／x →1 2、x→0，（1 + x）^（1／x）→e x→∞ ，（1 + 1／x）^（1/x）→ 1 （其中e≈2.7182818... 是一个无理数）

导数公式证明大全(更新版)

（麻烦那些盗取他人成果的人素质点，最近总有人把我的作品抄袭过去，改改标题就作为他的东西。愤怒啊！！！！！！）导数的定义：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^n lnf(x)=nlnx (lnf(x))'=(nlnx)' f'(x)/f(x)=n/x f'(x)=n/x*f(x) f'(x)=n/x*x^n f'(x)=nx^(n-1) （2）f(x)=sinx f'(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)=cosx f'(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

函数导数公式及证明

复合函数导数公式

) ), ()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 n x x f x x f x x x x f x x x →→+-+-== 根据二项式定理展开()n x x + 011222110(...)lim n n n n n n n n n n n n n x C x C x x C x x C x x C x x x ----→+++++-= 消去0n n n C x x - 11222110...lim n n n n n n n n n n x C x x C x x C x x C x x ----→++++= 分式上下约去x 112211210 lim(...)n n n n n n n n n n x C x C x x C x x C x -----→=++++ 因0x →，上式去掉零项 111 n n n C x nx --== 12210()[()()...()]lim n n n n x x x x x x x x x x x x x x ----→+-+++++++=

12210 lim[()()...()]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 x x x f x x f x a a f x x x +→→+--== 0(1)lim x x x a a x →-= 令1x a m -=，则有log (1)a x m =-，代入上式 00(1)lim lim log (1)x x x x x a a a a m x m →→-==+ 1000 ln ln lim lim lim ln(1)1ln(1)ln(1)ln x x x x x x m a m a a a a m m m a m →→→===+++ 根据e 的定义1lim(1)x x e x →∞ =+ ，则1 0lim(1)m x m e →+=，于是 1 ln ln lim ln ln ln(1) x x x x m a a a a a a e m →===+ 3．证明对数函数()log a f x x =的导数为''1 ()(log )ln a f x x x a == 证： '0 0log ()log ()() ()lim lim a a x x x x x f x x f x f x x x →→+-+-== 00log log (1)ln(1) lim lim lim ln a a x x x x x x x x x x x x x a →→→+++===

高中导数公式大全

C'=0(C为常数函数)； (x^n)'= nx^(n-1) (n∈Q*)；熟记1/X的导数 (sinx)' = cosx； (cosx)' = - sinx； (tanx)'=1/(cosx)^2=(secx)^2=1+(tanx)^2 -(cotx)'=1/(sinx)^2=(cscx)^2=1+(cotx)^2 (secx)'=tanx·secx (cscx)'=-cotx·cscx (arcsinx)'=1/(1-x^2)^1/2 (arccosx)'=-1/(1-x^2)^1/2 (arctanx)'=1/(1+x^2) (arccotx)'=-1/(1+x^2) (arcsecx)'=1/(|x|(x^2-1)^1/2) (arccscx)'=-1/(|x|(x^2-1)^1/2) (sinhx)'=hcoshx (coshx)'=-hsinhx (tanhx)'=1/(coshx)^2=(sechx)^2 (coth)'=-1/(sinhx)^2=-(cschx)^2 (sechx)'=-tanhx·sechx (cschx)'=-cothx·cschx (arsinhx)'=1/(x^2+1)^1/2 (arcoshx)'=1/(x^2-1)^1/2 (artanhx)'=1/(x^2-1) (|x|<1) (arcothx)'=1/(x^2-1) (|x|>1) (arsechx)'=1/(x(1-x^2)^1/2) (arcschx)'=1/(x(1+x^2)^1/2) (e^x)' = e^x； (a^x)' = a^xlna （ln为自然对数） (Inx)' = 1/x（ln为自然对数） (logax)' =(xlna)^(-1),(a>0且a不等于1) (x^1/2)'=[2(x^1/2)]^(-1) (1/x)'=-x^(-2) .y=c(c为常数) y'=0 .y=x^n y'=nx^(n-1) .y=a^x y'=a^xlna y=e^x y'=e^x y=lnx y'=1/x .y=sinx y'=cosx .y=cosx y'=-sinx .y=tanx y'=1/cos^2x .y=cotx y'=-1/sin^2x

常用的基本求导公式

1．基本求导公式 ⑴ 0)(='C （C 为常数）⑵ 1)(-='n n nx x ；一般地，1)(-='αααx x 。特别地：1)(='x ，x x 2)(2='，21 )1(x x -='，x x 21)(='。 ⑶ x x e e =')(；一般地，)1,0( ln )(≠>='a a a a a x x 。 ⑷ x x 1)(ln ='；一般地，)1,0( ln 1 )(log ≠>='a a a x x a 。 2．求导法则 ⑴ 四则运算法则设f (x )，g (x )均在点x 可导，则有：（Ⅰ）)()())()((x g x f x g x f '±'='±；（Ⅱ）)()()()())()((x g x f x g x f x g x f '+'='，特别)())((x f C x Cf '='（C 为常数）；（Ⅲ）)0)(( ,) ()()()()())()(( 2≠'-'='x g x g x g x f x g x f x g x f ，特别21() ()()()g x g x g x ''=-。 3．微分函数()y f x =在点x 处的微分：()dy y dx f x dx ''== 常用的不定积分公式（1） ?????+==+=+=-≠++=+c x dx x x dx x c x xdx c x dx C x dx x 4 3 ,2,),1( 114 3 32 21αααα ；（2） C x dx x +=?||ln 1 ； C e dx e x x +=?； )1,0( ln ≠>+=?a a C a a dx a x x ；（3）??=dx x f k dx x kf )()(（k 为常数） 5、定积分 ()()|()()b b a a f x dx F x F b F a ==-? ⑴ ??? +=+b a b a b a dx x g k dx x f k dx x g k x f k )()()]()([2121 ⑵ 分部积分法设u (x )，v (x )在[a ，b ]上具有连续导数)(),(x v x u ''，则