函数导数公式及证明

复合函数导数公式

)

()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

--==

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

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 →+=，于是

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

证：

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

→→→+++===

00ln(1)ln(1)

lim lim ln ln x

x x x x x x

x x x a x a

→→++==

根据e 的定义1lim(1)x

x e x

→∞=+ ，则0lim ln(1)x x x x e x →+

=，于是 0ln(1)

ln 1

lim

ln ln ln x

x x e x x a

x a x a

→+==

4．证明正弦函数()sin f x x =的导数为''()(sin )cos f x x x ==

证：

0()()sin()sin ()lim

lim x x f x x f x x x x

f x x x

→→+-+-== 根据两角和差公式sin()sin cos cos sin x x x x x x +=+

00sin()sin sin cos cos sin sin lim

lim x x x x x x x x x x x x

→→+-+-==

因0

lim(sin cos )sin x x x x →=，约去sin cos sin x x x -，于是

0cos sin lim

x x x

→=

因0sin lim

1x x

x →=，于是

sin lim(cos )cos x x

x x

→==

5．证明余弦函数()cos f x x =的导数为''()(cos )sin f x x x ==-

证：

0()()cos()cos ()lim

lim x x f x x f x x x x

f x x x

→→+-+-== 根据两角和差公式cos()cos cos sin sin x x x x x x +=-

00cos()cos cos cos sin sin cos lim

lim x x x x x x x x x x

x x

→→+---==

因0

lim(cos cos )cos x x x x →=，约去cos cos cos x x x -，于是

0sin sin lim

x x x

→-=

因0sin lim

1x x

x →=，于是

sin sin lim()sin x x x

x x

→=-

6．证明正切函数()tan f x x =的导数为''21

()(tan )cos f x x x

证：

0()()tan()tan ()lim

lim x x f x x f x x x x

f x x x

→→+-+-==

00sin()sin sin()cos sin cos()cos()cos lim lim cos()cos x x x x x

x x x x x x x x x

x 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 )

lim

cos()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 )

lim

lim 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

→→--+==++ 因2

cos sin 1x x +=

sin lim

cos()cos x x

x x x x →=+

因0sin lim

1x x

→=，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

==-

证：

0()()cot()cot ()lim

lim x x f x x f x x x x

f x x x

→→+-+-==

00cos()cos cos()sin cos sin()sin()sin lim lim sin()sin x x x x x

x x x x x x x x x

x 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 )

lim

sin()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

→→---+==++ 因2

sin cos 1x x +=,且0sin lim

1x x

→=，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 x

g 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 的导数

解: 令x

u x =

ln ln u x x =

等式左边求导为()'

ln u u u

等式右边求导为

()'

ln 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 x

x 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 的导数为'2

(arctan )1x x =

+ 证:

令arctan y x =,则

tan y x =

对上式两边求导,等式右边'

1x =

等式右边(根据复合函数求导公式),其导数为()'

2'tan (1tan )y y y =+

于是有2

(1tan )1y y +=,整理后如下：

1tan y y

+ 再将arctan y x =代入上式

'22

(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 内也可导，并且'

()()

f x y ?=。证：

因为()y f x =连续，所以当0x →时，0y →

''0

011()lim

lim ()

x x y f x x x y y

?→→=== 即'

()()

f x y ?= 举例：

'11(arcsin )(sin )cos x y y =

====

基本初等函数的导数公式的推导过程

基本初等函数的导数公式的推导过程 Document serial number【UU89WT-UU98YT-UU8CB-UUUT-UUT108】

基本初等函数的导数公式推导过程一、幂函数()f x x α=（α∈Q *）的导数公式推导过程命题若()f x x α=（α∈Q *），则()1f x x αα-'=．推导过程 ()f x ' ()()()()()()000112220011222011222011220 lim lim C C C C lim C C C C lim C C C lim lim C C C x x x x x x f x x f x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x αα αααααα ααααααααααααααααααα αααααα?→?→--?→--?→--?→--?→+?-=?+?-=?+?+?++?-=?-+?+?++?=??+?++?=?=+?++()1111 C x x x ααααα αα---?== 所以原命题得证．

命题若()sin f x x =，则()cos f x x '=．推导过程 ()f x ' ()() ()()()()0000020lim sin sin lim sin cos cos sin sin lim cos sin sin cos sin lim cos sin sin cos 1lim cos 2sin cos sin 12sin 1222lim x x x x x x f x x f x x x x x x x x x x x x x x x x x x x x x x x x x x x x ?→?→?→?→?→?→+?-=?+?-=??+?-=??+?-=??+?-=???????????+?-- ? ????????=2 00002sin cos cos 2sin sin 222lim 2sin cos cos sin sin 222lim 2sin cos 22lim sin 2lim cos 22x x x x x x x x x x x x x x x x x x x x x x x x x ?→?→?→?→????????- ???=???????- ???=?????+ ???=?????????=+??? ???????? 当0x ?→时，sin 22 x x ??=，所以此时sin 212x x ?=?．所以()0lim cos cos 2x x f x x 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

常用基本初等函数求导公式积分公式

基本初等函数求导公式 (1) 0)(='C (2) 1 )(-='μμμx x (3) x x cos )(sin =' (4) x x sin )(cos -=' (5) x x 2 sec )(tan =' (6) x x 2csc )(cot -=' (7) x x x tan sec )(sec =' (8) x x x cot csc )(csc -=' (9) a a a x x ln )(=' (10) (e )e x x '= (11) a x x a ln 1 )(log = ' (12) x x 1)(ln = '， (13) 211)(arcsin x x -= ' (14) 211)(arccos x x -- =' (15) 21(arctan )1x x '= + (16) 21(arccot )1x x '=- + 函数的和、差、积、商的求导法则设)(x u u =，)(x v v =都可导，则（1） v u v u '±'='±)( （2） u C Cu '=')(（C 是常数）（3） v u v u uv '+'=')( （4） 2v v u v u v u '-'=' ??? ?? 反函数求导法则若函数)(y x ?=在某区间y I 内可导、单调且0)(≠'y ?，则它的反函数)(x f y =在对应区间 x I 内也可导，且 )(1)(y x f ?'= ' 或 dy dx dx dy 1= 复合函数求导法则

设)(u f y =，而)(x u ?=且)(u f 及)(x ?都可导，则复合函数)]([x f y ?=的导数为 dy dy du dx du dx = 或２. 双曲函数与反双曲函数的导数. 双曲函数与反双曲函数都是初等函数，它们的导数都可以用前面的求导公式和求导法则求出．可以推出下表列出的公式：

反角函数求导公式的证明

反三角函数求导公式的证明 §2.3 反函数的导数，复合函数的求导法则一、反函数的导数设)(y x ?=是直接函数，)(x f y =是它的反函数，假定)(y x ?=在I y 内单调、可导，而且0)(≠'y ?，则反函数)(x f y =在间},)(|{y x I y y x x I ∈==?内也是单调、可导的，而且 )(1 )(y x f ?'=' (1) 证明： ?∈x I x ，给x 以增量x ?),0(x I x x x ∈?+≠? 由 )(x f y = 在 I x 上的单调性可知 0)()(≠-?+=?x f x x f y 于是 y x x y ??=??1因直接函数)(y x ?=在I y 上单调、可导，故它是连续的，且反函数)(x f y =在I x 上也是连续的，当0→?x 时，必有0→?y )(11lim lim 00y y x x y y x ?'=??=??→?→?即：)(1)(y x f ?'=' 【例1】试证明下列基本导数公式 ().(arcsin )().()().(log )ln 11 1211312 2 x x arctgx x a x a x '=-'=+'=

证1、设y x sin =为直接函数，x y arcsin =是它的反函数函数 y x sin =在 )2,2(ππ-=y I 上单调、可导，且 '=≠x y cos 0 因此，在 )1,1(-=x I 上，有 y x cos 1)arcsin (= ' 注意到，当)2,2(π π-∈y 时，0cos >y ，221sin 1cos x y y -=-= 因此， 211)arcsin (x x -= ' 证2 设x tgy =，)2,2(ππ-=y I 则y arctgx =，I x =-∞+∞(,) tgy x = 在 I y 上单调、可导且 0cos 12>='y x 故 2221111cos )(1)(x y tg y tgy arctgx +=+=='= ' 证3 a x a a a a y y x ln 1ln 1)(1)log (=='= ' 类似地，我们可以证明下列导数公式：

导数公式及证明

编辑本段导数公式及证明这里将列举五类基本初等函数的导数以及它们的推导过程（初等函数可由之运算来）：基本导数公式 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。主要应用导数定义与

基本初等函数的导数公式表

导数基本知识汇总试题基本知识点：知识点一、基本初等函数的导数公式表（须掌握的知识点） 1、=c '0 2、 =n n x nx -1'（）（n 为正整数） 3、 ln =x x a a a '（） =x x e e '（） 4、ln =a long x x a 1'（） 5、ln =x x 1 '（） 6、sin cos =x x '（） 7、 cos sin =-x x '（） 8、=-x x 211'（）知识点二：导数的四则运算法则 1、v =u v u '''±±（） 2、 =u v uv v u '''+（） 3、(=Cu Cu '' ） 4、u -v =u v u v v 2'''（）知识点三：利用函数导数判断函数单调性的法则 1、如果在(,)a b ，()f x '>0，则()f x 在此区间是增区间，(,)a b 为()f x 的单调增区间。 2、如果在(,)a b ，()f x '<0，则()f x 在此区间是减区间，(,)a b 为()f x 的单调减区间。一、计算题 1、计算下列函数的导数；（1）y x 15= （2） )-y x x 3=≠0（（3）)y x x 54=0 （（4）)y x x 23=0 （（5）)-y x x 23 =0 （（6）y x 5=

（7）sin y x = （8）cos y x = （9）x y =2 （10）ln y x = （11）x y e = 2、求下列函数在给定点的导数；（1）y x 1 4= ，x =16 （2）sin y x = ，x π =2 （3）cos y x = ，x π=2 （4）sin y x x = ，x π =4 （5）3y x = ，11 28（，）（6）+x y x 2=1 ，x =1 （7）y x 2 = ，,24（）

函数导数公式及证明

复合函数导数公式

) ), ()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 →→→+++===

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

（麻烦那些盗取他人成果的人素质点，最近总有人把我的作品抄袭过去，改改标题就作为他的东西。愤怒啊！！！！！！）导数的定义：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

反三角函数求导公式证明

§ 反函数的导数，复合函数的求导法则一、反函数的导数设)(y x ?=是直接函数，)(x f y =是它的反函数，假定)(y x ?=在I y 内单调、可导，而且0)(≠'y ?，则反函数)(x f y =在间 },)(|{y x I y y x x I ∈==?内也是单调、可导的，而且 )(1 )(y x f ?'=' (1) 证明： ?∈x I x ，给x 以增量x ?),0(x I x x x ∈?+≠? 由 )(x f y = 在 I x 上的单调性可知 0)()(≠-?+=?x f x x f y 于是 y x x y ??=??1因直接函数)(y x ?=在I y 上单调、可导，故它是连续的，且反函数)(x f y =在I x 上也是连续的，当0→?x 时，必有0→?y )(11lim lim 00y y x x y y x ?'=??=??→?→?即：)(1)(y x f ?'=' 【例1】试证明下列基本导数公式 ().(arcsin )().()().(log )ln 11 1211312 2 x x arctgx x a x a x '=-'=+'= 证1、设y x sin =为直接函数，x y arcsin =是它的反函数函数 y x sin =在 )2,2(ππ-=y I 上单调、可导，且 '=≠x y cos 0 因此，在 )1,1(-=x I 上，有 y x cos 1)arcsin (= ' 注意到，当)2,2(ππ-∈y 时，0cos >y ，221sin 1cos x y y -=-= 因此， 211)arcsin (x x -= ' 证2 设x tgy =，)2,2(ππ-=y I 则y arctgx =，I x =-∞+∞(,) tgy x = 在 I y 上单调、可导且 0cos 12>='y x 故 2221111cos )(1)(x y tg y tgy arctgx +=+=='= ' 证3 a x a a a a y y x ln 1ln 1)(1)log (=='= '

基本初等函数的导数公式的推导过程

基本初等函数的导数公式推导过程一、幂函数()f x x α=（α∈Q *）的导数公式推导过程命题若()f x x α=（α∈Q *），则()1f x x αα-'=．推导过程 ()f x ' ()()()()()()000112220 011222011222011220 lim lim C C C C lim C C C C lim C C C lim lim C C C x x x x x x f x x f x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x αα αααααααααααααααααααααααα ααααααα?→?→--?→--?→--?→--?→+?-=?+?-=?+?+?++?-=?-+?+?++?=??+?++?=?=+?++L L L L ()11 11 C x x x ααααααα---?== 所以原命题得证．二、正弦函数()sin f x x =的导数公式推导过程命题

推导过程 ()f x ' ()() ()()()()0000020lim sin sin lim sin cos cos sin sin lim cos sin sin cos sin lim cos sin sin cos 1lim cos 2sin cos sin 12sin 1222lim x x x x x x f x x f x x x x x x x x x x x x x x x x x x x x x x x x x x x x ?→?→?→?→?→?→+?-=?+?-=??+?-=??+?-=??+?-=???????????+?-- ? ????????=2 00002sin cos cos 2sin sin 222lim 2sin cos cos sin sin 222lim 2sin cos 22lim sin 2lim cos 22x x x x x x x x x x x x x x x x x x x x x x x x x ?→?→?→?→????????- ???=???????- ???=?????+ ???=?????????=+??? ???????? 当0x ?→时，sin 22 x x ??=，所以此时sin 212x x ?=?．所以()0lim cos cos 2x x f x x x ?→???'=+= ??? ，所以原命题得证．三、余弦函数()cos f x x =的导数公式推导过程命题