习 题 4.

4 复合函数求导法则及其应用

⒈ 求下列函数的导数：

⑴ y = (2 x 2 − x + 1) 2 ； ⑵ y = e 2 x sin 3x ；

1 ln x
⑶ y= ； ⑷ y= ；
1 + x3 x

⑸ y = sin x 3 ； ⑹ y = cos x ；

⑺ y = x + 1 − ln( x + x + 1 ) ； ⑻ y = arcsin (e − x ) ；
2

⎛ 2 1 ⎞ 1
⑼ y = ln⎜ x − ⎟； ⑽ y = ( 2 x 2 + sin x ) 2 ；
⎝ x2 ⎠

1 + ln 2 x x
⑾ y= ； ⑿ y= ；
x 1 − x2 1 + csc x 2

2 3
⒀ y= + ； ⒁ y = e − sin x ；
2
3
2x 2 − 1 4
3x 3 + 1

x
⒂ y = x a2 − x2 + .
a − x2
2

解 （1） y ' = 2(2 x 2 − x + 1)(2 x 2 − x + 1)' = 2(2 x 2 − x + 1)(4 x − 1) 。

（2） y ' = e 2 x (sin 3x)'+(e 2 x )' sin 3x = e 2 x (3 cos 3x + 2 sin 3x) 。

3 3
1 − 3 −
（3） y ' = − (1 + x 3 ) 2 (1 + x 3 )' = − x 2 (1 + x 3 ) 2 。
2 2
1 1
1 x ⎞ 2 ⎛ ln x ⎞ 1 − ln x ⎛ x ⎞ 2
'

（4） y ' = ⎛⎜ ⎟ ⎜ ⎟ = ⎜ ⎟ 。
2 ⎝ ln x ⎠ ⎝ x ⎠ 2 x 2 ⎝ ln x ⎠

（5） y ' = cos x 3 ( x 3 )' = 3x 2 cos x 3 。

sin x
（6） y ' = − sin x ( x )' = − 。
2 x

70
 1 ( x + 1) ' ( x + x + 1) ' 1 1+ 2 1+ x
（7） y ' = ⋅ − = −
2 x +1 x + x +1 2 x +1 2 1+ x (x + 1+ x )

x −1− 1+ x
= 。
2 1+ x (x + 1+ x )

(e− x ) ' −2 x e− x
2 2
− 2x
（8） y ' = = = 。
1 − (e− x )2 1 − e−2 x
2 2
2 x2
e −1

( x 4 − 1) ' 1 2 x4 + 2
（9） y ' = [ln( x 4 − 1) − ln( x 2 ]' = − 2 = 。
x4 −1 x x( x 4 − 1)

−2(2 x 2 + sin x) ' − 2(4 x + cos x)

（10） y ' = = 。
(2 x 2 + sin x)3 (2 x 2 + sin x) 3

(1 + ln 2 x) ' x 1 − x 2 − (1 + ln 2 x)( x 1 − x 2 ) '

（11） y ' =
x 2 (1 − x 2 )
2(1 − x 2 ) ln x − (1 + ln 2 x)(1 − 2 x 2 )
= 3
。
x (1 −
2 2 2
x )

x ' 1 + csc x 2 − x( 1 + csc x 2 ) '

（12） y ' =
1 + csc x 2

1 (− cot x 2 csc x 2 ) ⋅ (2 x)
1 + csc x 2 − x ⋅ ⋅
=
2 1 + csc x 2
1 + csc x 2

1 + csc x 2 + x 2 csc x 2 cot x 2

= 3
。
(1 + csc x ) 2 2

2 3
（13） y ' = ( 3 ) '+ ( )'
2x −12 4
3x3 + 1

4 5
1 − 1 −
= 2(− )(2 x 2 − 1) 3 (4 x) + 3(− )(3x 3 + 1) 4 (9 x 2 )
3 4

4 5
8 − 27 2 3 −
= − x(2 x − 1) −
2 3
x (3 x + 1) 4 。
3 4

（14） y ' = e− sin x (− sin 2 x) ' = − sin 2 x ⋅ e− sin x 。

2 2

71
 1
x(a 2 − x 2 + 1) ⋅ (− ) ⋅ (−2 x)
x(a 2 − x 2 ) + x a 2 − 3x 2 + 1 2
（15） y ' = ( )' = +
a2 − x2 a2 − x2 ( a −x )
2 2 3

2 x 4 − 3a 2 x 2 + a 4 + a 2
= 3
。
(a − x )
2 2 2

⒉ 求下列函数的导数：

⑴ y = ln sin x ； ⑵ y = ln(csc x − cot x) ；

⎛ 1 ⎞ x
⑶ y = 2 ⎜ x a − x + a arcsin a ⎟ ； ⑷ y = ln( x + x 2 + a 2 ) ；
2 2 2

⎝ ⎠
1
⑸ y = ( x x 2 − a 2 − a 2 ln( x + x 2 − a 2 ) .
2
1
解 （1） y ' = (sin x ) ' = cot x 。
sin x
(csc x − cot x ) ' − cot x csc x − (− csc2 x)
（2） y ' = = = csc x 。
csc x − cot x csc x − cot x

（3） y ' = 1 ⎛⎜ x ' a 2 − x 2 + x( a 2 − x 2 ) '+ a 2 (arcsin x ) ' ⎞⎟

2⎝ a ⎠

⎛ ⎞
⎟ ⎧ a −x , a > 0,
2 2
⎜ 1
1⎜ 2 1 ( −2 x ) ⎟= ⎪
= ⎜ a − x 2 + x( ) + a2 a
⎟ ⎨− x2 。
<
⎟ ⎪
2 2 a2 − x2 ⎛x⎞
2 , a 0.
⎜ 1− ⎜ ⎟ a2 − x2
⎜ ⎝a⎠ ⎟ ⎩
⎝ ⎠
2x
1+
(x + x + a ) ' 2 2
2 x2 + a2 = 1
（4） y ' = = 。
x+ x +a 2 2
x + x2 + a2 x + a2
2

( x + x2 − a2 ) '
（5） y ' = 1 [ x ' x 2 − a 2 + x( x 2 − a 2 ) '− a 2 ]
2 x + x2 − a2

⎡ x ⎤
⎢ 1+ ⎥
1 ⎛ x ⎞ 2 x − a2
2
⎥= x −a 。
2 2
= ⎢ x2 − a2 + x ⎜ ⎟ −a ⋅
2⎢ ⎝ x −a ⎠
2 2
x + x2 − a2 ⎥
⎢⎣ ⎥⎦

⒊ 设 f ( x ) 可导，求下列函数的导数：

72
 ⎛ 1 ⎞
⑴ f (3 x 2 ) ； ⑵ f⎜ ⎟；
⎝ ln x ⎠

⑶ f (x) ； ⑷ arc tan f ( x) ；

⑸ f ( f ( e x )) ；
2
⑹ sin ( f (sin x )) ；

⎛ 1 ⎞ 1
⑺ f ⎜⎜ ⎟⎟ ； ⑻ f ( f ( x )) .
⎝ f ( x) ⎠

1 2
2 −
解 （1） f ( x ) ' = f '( x )( x ) ' = x 3 f ' ( x 3 ) 。
3 2 3 2 3 2

1 ⎞′ ⎛ 1 ⎞⎛ 1 ⎞′
（2） f ⎛⎜
1 1
⎟ = f '⎜ ⎟⎜ ⎟ =− f '( )。
⎝ ln x ⎠ ⎝ ln x ⎠⎝ ln x ⎠ 2
x ln x ln x

1 f ' ( x)
（3） [ f ( x)]' = [ f ( x)]' = 。
2 f ( x) 2 f ( x)

1 f ' ( x)
（4） [arctan f ( x)]' = [ f ( x)]' = 。
1 + [ f ( x)]2
1 + f 2 ( x)

（5） [ f ( f (e x ))]' = f '( f (e x ))[ f (e x )]' = f '( f (e x )) f '(e x )(e x ) '

2 2 2 2 2 2

2 2 2
= 2 xe x f ' (e x ) f ' ( f (e x )) 。

（6） [sin ( f (sin x))]' = cos( f (sin x))( f (sin x)) ' = cos( f (sin x )) f '(sin x)(sin x) '

= cos( f (sin x)) f ' (sin x) cos x 。

⎡ ⎛ 1 ⎞ ⎤′ ⎛ 1 ⎞⎛ 1 ⎞′ f ' ( x) ⎛ 1 ⎞
（7） ⎢ f ⎜ ⎟⎥ = f ' ⎜ ⎟⎜ ⎟ =− 2 f '⎜ ⎟。
⎣ ⎝ f ( x) ⎠ ⎦ ⎝ f ( x) ⎠⎝ f ( x) ⎠ f ( x) ⎜⎝ f ( x) ⎟⎠

⎛ 1 ⎞′ f '( f ( x)) f ' ( f ( x)) f ' ( x)

（8） ⎜ ⎟ =− 2 [ f ( x)]' = − 。
⎝ f ( f ( x)) ⎠ f ( f ( x)) ( f ( f ( x)))2
⒋ 用对数求导法求下列函数的导数：

⑵ y = (x 3 + sin x ) x ；
1
⑴ y = xx ；

⑶ y = cos x x ； ⑷ y = ln x ( 2 x + 1) ；

73
 1− x2 n
⑸ y=x ； ⑹ y = ∏ ( x − xi ) ；
1 + x3 i =1

⑺ y = sin x x .

y'
解 由于 (ln y ) ' = ，所以 y ' = y (ln y ) ' 。
y

（1） ln y = x ln x ,

y ' = y (ln y ) ' = y[ x 'ln x + x(ln x) '] = (1 + ln x) x x 。

（2） ln y = ln ( x3 + sin x ) ，
1
x
⎡ 1 ′ ⎤
⎛ ⎞ ⎛1⎞
y ' = y (ln y ) ' = y ⎢⎜ ⎟ ln ( x 3 + sin x ) + ⎜ ⎟ ln ( x 3 + sin x ) '⎥
⎢⎝ x ⎠ ⎝ x⎠ ⎥
⎣ ⎦
⎡ 3 x 2 + cos x ln( x 3 + sin x) ⎤
1
= ( x + sin − ⎥。
3
x) x ⎢
⎣ x( x + sin x)
3
x2 ⎦

（3） ln y = x ln cos x ，

y ' = y ( x ln cos x ) ' = y[ x 'ln cos x + x (ln cos x ) '] = (ln cos x − x tan x )cos x x 。

（4） ln y = x ln ln(2 x + 1) ，

y ' = y[ x 'ln ln(2 x + 1) + x(ln ln(2 x + 1)) ']

⎡ 2x ⎤ x
= ⎢ln ln(2 x + 1) + ln (2 x + 1) 。
⎣ (2 x + 1) ln(2 x + 1) ⎥⎦
1 1
（5） ln y = ln x + ln(1 − x 2 ) − ln(1 + x3 ) ，
2 2
1 1
y ' = y[(ln x) '+ (ln(1 − x 2 )) '− (ln(1 + x3 )) ']
2 2
x 1− x2 ⎡ 1 x 3x 2 ⎤
= ⎢ − − ⎥。
1 + x3 ⎣ x 1 − x 2(1 + x 3 ) ⎦
2

n
（6） ln y = ∑ ln( x − xi ) ，
i =1

74
 n n n 1
y ' = y[∑ ln'( x − xi )] = ∏ ( x − xi ) ⋅ ∑ 。
i =1 i =1 i =1 x − xi

（7）令 u = x x , ln u = x ln x ，则

ln x 1 2 + ln x
u ' = u[( x ) 'ln x + x (ln x) '] = u ( + ) = u( ) ，于是，
2 x x 2 x

2 + ln x
y ' = (sin u ) '(u ) ' = x x
cos x x
。
2 x
dy
⒌ 对下列隐函数求 ：
dx

⑴ y = x + arc tan y ； ⑵ y + x ey = 1；

⑶ x − cos y = sin y − x ； ⑷ xy − ln( y + 1) = 0 ；

⑸ e x + y − xy 2 = 0 ；
2
⑹ tan( x + y ) − xy = 0 ；

⑺ 2 y sin x + x ln y = 0 ； ⑻ x 3 + y 3 − 3axy = 0 .

解 （1）在等式两边对 x 求导，得到

y'
y ' = x '+ (arctan y ) ' = 1 + ，
1+ y2

解得

1+ y2
y'= 。
y2

（2）在等式两边对 x 求导，得到

y '+ x ' e y + xe y y ' = y '(1 + xe y ) + e y = 0 ，

解得

ey
y'= − 。
1 + xe y

（3）等式两边平方，再对 x 求导，得到

75
 1 + sin y ⋅ ( y ) ' = 2(sin y − x)(cos y ⋅ ( y ) '− 1) ，

解得

1 + 2(sin y − x)
y'= 。
2(sin y − x) cos y − sin y

（4）在等式两边对 x 求导，得到

1
x ' y + xy '− [ln( y + 1)]' = y + xy '− y' = 0，
1+ y

解得

y2 + y
y'= 。
1 − x − xy

（5）在等式两边对 x 求导，得到
+y +y
( x 2 + y ) '− ( xy 2 ) ' = e x (2 x + y ') − ( y 2 + 2 xyy ') = 0 ，
2 2
ex

解得
+y
− y2
2
2 xe x
y' = − +y
。
− 2 xy
2
ex

（6）在等式两边对 x 求导，得到

sec 2 ( x + y )( x + y ) '− ( xy ) ' = sec 2 ( x + y )(1 + y ') − ( y + xy ') = 0 ，

解得

sec2 ( x + y ) − y
y' = 。
x − sec2 ( x + y )

（7）在等式两边对 x 求导，得到

y'
2 y 'sin x + 2 y (sin x) '+ ( x ln y ) ' = 2 y 'sin x + 2 y cos x + ln y + x ⋅ = 0，
y

解得

76
 2 y 2 cos x + y ln y
y' = − 。
x + 2 y sin x

（8）在等式两边对 x 求导，得到

3x 2 + 3 y 2 y '− 3ax ' y − 3axy ' = 3( x 2 + y 2 y '− ay − axy ') = 0 ，

解得

ay − x 2
y' = 。
y 2 − ax

6． 设所给的函数可导，证明：

⑴ 奇函数的导函数是偶函数；偶函数的导函数是奇函数；

⑵ 周期函数的导函数仍是周期函数。

证 ⑴设 f ( x) 为奇函数，则
f ( − x + ∆x ) − f ( − x ) [− f ( x − ∆x)] − [− f ( x)]
f '(− x) = lim = lim
∆x → 0 ∆x ∆x → 0 ∆x
f ( x + (−∆x)) − f ( x)
= lim = f '( x) ；
−∆x → 0 (−∆x)

设 f ( x) 为偶函数，则
f ( − x + ∆x ) − f ( − x ) f ( x − ∆x ) − f ( x )
f '(− x) = lim = lim
∆x → 0 ∆x ∆ x → 0 ∆x
f ( x + (−∆x)) − f ( x)
= − lim = − f '( x) 。
−∆x →0 (−∆x)

（2）设 f ( x) 是周期为 T 的函数，则

f (( x + T ) + ∆x) − f ( x + T ) f ( x + ∆x ) − f ( x )
f '( x + T ) = lim = lim = f '( x) 。
∆x → 0 ∆x ∆ x → 0 ∆x
7．求曲线 xy + ln y = 1 在 M (1,1) 点的切线和法线方程。

y' y2
解 对方程两边求导，得到 y + xy '+ = 0 ，解得 y ' = − ，将 (1,1) 代
y xy + 1
1 1
入得到 y '(1) = − 。于是切线方程为 y − 1 = − ( x − 1) ，即
2 2

77
 x + 2y −3 = 0，

法线方程为 y − 1 = 2( x − 1) ，即

2x − y −1 = 0 。
dy
8． 对下列参数形式的函数求 ：
dx

⎧ x = at 2 , ⎧x = 1− t2,
⑴ ⎨ ⑵ ⎨
⎩ y = bt ; ⎩y = t −t ;
3 3

⎧ x = t 2 sin t , ⎧ x = a e −t ,
⑶ ⎨ ⑷ ⎨
⎩ y = t cos t ; ⎩y = be ;
2 t

⎧ x = a cos 3 t , ⎧ x = sh at ,
⑸ ⎨ ⑹ ⎨
⎩ y = a sin t ; ⎩ y = ch bt ;
3

⎧ t +1
⎪x = t , ⎧x = 1+ t,
⑺ ⎨ t −1 ⑻ ⎨
⎪y = ; ⎩ y = 1− t;
⎩ t
⎧ x = e −2t cos 2 t , ⎧ x = ln(1 + t 2 ),
⑼ ⎨ − 2t ⑽ ⎨
⎩ y = e sin t ; ⎩ y = t − arc tan t.
2

dy y ' 3bt 2 3bt

解：
（1） = = = 。
dx x ' 2at 2a

dy y ' 1 − 3t 2 3t 2 − 1
（2） = = = 。
dx x ' −2t 2t

dy y ' 2t cos t − t 2 sin t 2 cos t − t sin t

（3） = = = 。
dx x ' 2t sin t + t 2 cos t 2sin t + t cos t

dy y ' bet b
（4） = = −t
= − e2t 。
dx x ' (−ae ) a

dy y ' 3a sin 2 t cos t

（5） = = = − tan t 。
dx x ' 3a cos 2 t (− sin t )
dy y ' bshbt
（6） = = 。
dx x ' achat

78
 dy y ' (1 + t −1 ) ' −t −2
（7） = = = = −1 。
dx x ' (1 − t −1 ) ' t −2

−1
1+ t
（8） = = 2 1 − t = −
dy y '
。
dx x ' 1 1− t
2 1+ t

dy y ' −2e−2t sin 2 t + e−2t 2sin t cos t (sin t − cos t ) tan t

（9） = = −2 t −2 t
= 。
dx x ' −2e cos t + e 2 cos t (− sin t )
2
sin t + cos t
1
1−
（10） = = 1 + t = 。
dy y ' 2 t
dx x ' 2t 2
1+ t 2

2t + t 2 2t − t 2
9．求曲线 x = ， y = 上与 t = 1 对应的点处的切线和法线方
1+ t3 1+ t3

程。
3 1
解 将 t = 1 代入参数方程，有 x = , y = 。经计算，
2 2
(2t + t 2 ) '(1 + t 3 ) − (2t + t 2 )(1 + t 3 ) ' (2 + 2t )(1 + t 3 ) − (2t + t 2 )3t 2
x '(t) = =
(1 + t 3 ) 2 (1 + t 3 )2

2 + 2t − 4t 3 − t 4
= ，
(1 + t 3 ) 2

(2t − t 2 ) '(1 + t 3 ) − (2t − t 2 )(1 + t 3 ) ' (2 − 2t )(1 + t 3 ) − (2t − t 2 )3t 2

y '(t ) = =
(1 + t 3 )2 (1 + t 3 ) 2

2 − 2t − 4t 3 + t 4
= 。
(1 + t 3 ) 2

于是

dy 2 − 2t − 4t 3 + t 4
= 。
dx 2 + 2t − 4t 3 − t 4
3
−
dy
当 t = 1 时， = 4 = 3 ，所以切线方程为
dx − 1
4

79
 3 1
y = 3( x − ) + = 3 x − 4 ，
2 2
法线方程为
1 3 1 x
y = − (x − ) + = − +1 。
3 2 2 3
⎧e x = 3t 2 + 2t + 1,
10．设方程 ⎪⎨ π 确定 y 为 x 的函数，其中 t 为参变量，求
⎪t sin y − y + = 0 .
⎩ 2

dy
。
dx t =0

π π
解 将 t = 0 代入参数方程，可得 e x = 1, − y + = 0 ，即 x = 0, y = 。在两
2 2
个方程的两端对 t 求导，得到

⎧e x x ' = 6t + 2,
⎨
⎩sin y + t cos y ⋅ y '− y ' = 0,

再将 t = 0 代入，解得 x '(0) = 2, y '(0) = 1 。所以

dy 2
= = 2。
dx t =0 1

11. 证明曲线

⎧ x = a (cos t + t sin t ),
⎨
⎩ y = a(sin t − t cos t ).

上任一点的法线到原点的距离等于 | a | 。

证 利用参数形式所表示的函数的求导公式，

dy a(cos t − cos t + t sin t )

= = tan t ，
dx a(− sin t + sin t + t cos t )

曲线在对应于参数 t 的点处的法线方程为

y − a (sin t − t cos t ) = − cot t ( x − a (cos t + t sin t )) ，

简化后为

80
 cos t ⋅ x + sin t ⋅ y − a = 0 ，

法线到原点的距离为

a
d= =| a | 。
cos t + sin 2 t
2

12．设函数 u = g ( x ) 在 x = x 0 处连续， y = f (u ) 在 u = u0 = g ( x 0 ) 处连续。请

举例说明，在以下情况中，复合函数 y = f ( g( x )) 在 x = x 0 处并非一定

不可导：

⑴ u = g ( x ) 在 x 0 处可导，而 y = f ( u ) 在 u0 处不可导；

⑵ u = g ( x ) 在 x 0 处不可导，而 y = f ( u ) 在 u0 处可导；

⑶ u = g ( x ) 在 x 0 处不可导， y = f ( u ) 在 u0 处也不可导。

解 （1） u = g ( x) = x 2 , f (u ) =| u |, x0 = 0, u0 = 0, y = f ( g ( x)) =| x 2 |= x 2 。

（2） u = g ( x) =| x |, f (u ) = u 2 , x0 = 0, u0 = 0, y = f ( g ( x)) =| x |2 = x 2 。

（3） g ( x) = max{0, x}, f (u ) = min{0, u} ，则 u = g ( x ) 在 x0 = 0 处不可导，

y = f ( u ) 在 u0 = g (0) = 0 处也不可导，但 y = f ( g ( x)) ≡ 0 处处可导。

13．设函数 f ( u ) ， g ( u ) 和 h( u) 可微，且 h( u ) > 1 ，u = ϕ( x ) 也是可微函数，

利用一阶微分的形式不变性求下列复合函数的微分：

f ( u) g( u)
⑴ f ( u ) g ( u ) h( u ) ； ⑵ ；
h( u)

⑶ h( u ) g ( u ) ； ⑷ log h (u ) g (u ) ；

⎡ f (u ) ⎤ 1
⑸ arc tan ⎢ ⎥； ⑹ f 2 ( u) + h 2 ( u)
.
⎣ h(u ) ⎦

解 （1） d [ f (u ) g (u )h(u )] = [ f '(u ) g (u )h(u ) + f (u ) g '(u )h(u ) + f (u ) g (u )h '(u )]du

= [ f '(u ) g (u ) h(u ) + f (u ) g '(u ) h(u ) + f (u ) g (u ) h '(u )]ϕ '( x ) dx 。

81
 ⎡ f (u ) g (u ) ⎤ [ f '(u ) g (u ) + f (u ) g '(u )]h(u ) − [ f (u ) g (u )]h '(u )
（2） d ⎢ ⎥= (h(u )) 2
du
⎣ h(u ) ⎦

f '(u ) g (u )h(u ) + f (u ) g '(u ) h(u ) − f (u ) g (u ) h '(u )

= ϕ '( x)dx 。
(h(u )) 2

（3） d [h(u ) g (u ) ] = ⎡⎣e g (u ) ln( h (u )) ⎤⎦′ du = e g (u )ln( h (u )) [ g (u ) ln(h(u ))]′ du

⎡ h '(u ) ⎤
= h(u ) g (u ) ⎢ g (u ) + g '(u ) ln h(u ) ⎥ ϕ '( x)dx 。
⎣ h(u ) ⎦

ln g (u ) [ln g (u )]'ln h(u ) − ln g (u )[ln h(u )]'

（4） d log h (u ) g (u ) = d = du
ln h(u ) ln 2 h(u )

h(u ) g '(u ) ln h(u ) − h '(u ) g (u ) ln g (u )

= ϕ '( x)dx 。
h(u ) g (u ) ln 2 h(u )

⎡ f (u ) ⎤′
⎡ f (u ) ⎤ ⎢ h(u ) ⎥
（5） d arctan ⎢ = ⎣ ⎦ du = f '(u )h(u ) − f (u )h '(u ) ϕ '( x)dx 。
⎥ 2
f 2 (u ) + h 2 (u )
⎣ h(u ) ⎦ ⎡ f (u ) ⎤
1+ ⎢ ⎥
⎣ h(u ) ⎦

1 ⎡ f 2 (u ) + h 2 (u ) ⎦⎤′
⎣ f (u ) f '(u ) + h(u )h '(u )
（6） d =− 3
du = − 3
ϕ '( x)dx 。
f (u ) + h (u )
2 2
2( f (u ) + h (u ))
2 2 2
( f (u ) + h (u ))
2 2 2

82