第一章 函数与极限

第七节 无穷小的比较
 无穷小的比较
引例 当 x  0时 , x , x 2
, 2 1
sin x , x sin , 都是无
x
穷小 .
2
lim x  0 , x 比 3 x 要快得多 ;
2
x 0 3 x

lim sin x  1, sin x 与 x大致相同 ;

x 0 x
x 2 sin 1
lim x  lim 1 不存在 , 不可比 .
x 0 x 2 x 0 x

无穷小比的极限不同 , 反映了趋向于零的快慢程
度不同 .
 无穷小的比较
无穷小比的极限不同 , 反映了趋向于零的快慢程
度不同 .
定义 设  ,  是自变量变化的同一过程中的两个
无穷小 ,且   0.

(1) 若lim  0, 称  是比 高阶的无穷小 ,记作

  o( ).

(2) 若 lim   , 称  是比  低阶的无穷小 .


(3) 若lim  C (C  0), 则称  与  同阶的无穷

 无穷小的比较

(3) 若lim  C (C  0), 则称  与  同阶的无穷


小 .特别地 ,若 lim  1, 则称  与  是等阶的

无穷小 .记作  ~  .

(4) 若lim k  C (C  0, k  0), 则称  是  的 k

阶无穷小 .
 3
当 x  0 时，4 x tan x 为 x的四阶无穷小 .
例 1 证明：
3 3
解 lim
4 x tan x  4 lim 
 tan x   4.
x 0 x4 x 0  x 
故当 x  0 时，4 x tan 3 x 为 x 的四阶无穷小 .

例 2 当 x  0 时，求 tan x  sin x 关于 x 的阶数 .

tan x  sin x   tan x  1  cos x   1 .

解 lim lim 
x 0 
x 0 x 3
x x 2
 2
 当 x  0 时，tan x  sin x 为 x 的三阶无穷小 .
例 3 当 x  1 时，将下列各量与无穷小量 x  1
进行比较：
(1) x 3  3 x  2; (2) lg x; (3) ( x  1) sin 1 .
x 1
解 (1) 因为 lim( x 3  3 x  2)  0, 所以 x  1 时，
x 1

x 3  3 x  2 是无穷小量，又因为
x3
 3 x  2 ( x  1 ) 2
( x  2)
lim  lim 0
x 1 x 1 x 1 ( x  1)
所以 x 3  3 x  2 是比 x  1较高阶的无穷小量 .
例 3 当 x  1 时，将下列各量与无穷小量 x  1
进行比较：
(1) x 3  3 x  2; (2) lg x; (3) ( x  1) sin 1 .
x 1
解 (2) 因为 lim lg x  0, 所以当 x  1 时，lg x
x 1

是无穷小量，又
lg x ln[1  ( x  1)] 1
lim  lim
x 1 ( x  1)  ln 10

x 1 x  1 ln 10
所以 lg x 是关于 x  1 的同阶无穷小量 .
例 3 当 x  1 时，将下列各量与无穷小量 x  1
进行比较：
(1) x 3  3 x  2; (2) lg x; (3) ( x  1) sin 1 .
x 1
解 (3) 由 lim( x  1) sin 1  0, 知当 x  1 时，
x 1 x 1
( x  1) sin 1 是无穷小量，但是
x 1
( x  1)  sin 1
lim x  1  lim sin 1
不存在 .
x 1 x 1 x 1 x 1
( x  1 ) sin 1
所以， 与 x  1 不能比较 .
x 1
 常用等价无穷小
根据等价无穷小的定义 ,可以证明 ,当 x  0时 ,
有下列常用等价无穷小关系 :
sin x ~ x tan x ~ x
arcsin x ~ x arctan x ~ x 1
1  cos x ~ x 2
2
ln(1  x ) ~ x (1  x )  1 ~ x (  0 且为常数 )


ex 1 ~ x a x  1 ~ x ln a (a  0)
注 : 当 x  0时 ,x为无穷小 .在常用等价无穷小
中 ,用任意一个无穷小  ( x ) 代替 x , 等价关系依
然成立 . 例如 x  1时 ,有 ( x  1) 2  0, 从而
sin( x  1) ~ ( x  1)
2 2
( x  1).
例 4 证明：e x  1 ~ x ( x  0).
证 令 y  e  1, 则 x  ln(1  y ), 且 x  0 时，
x

y  0, 因此
x
e  1 y 1
lim  lim
y  0 ln(1  y )
 lim  1.
x 0 x y  0 ln(1  y )1 y

即有等价关系
e x  1 ~ x ( x  0).
上述证明同时也证明了等价关系
ln(1  x ) ~ x( x  0).
等价无穷小替换定理
设  , ,  ,  是同一过程中的无穷小 ,且
 '  '
 ~  ' ,  ~  ' , lim 存在 ,则lim  lim .
'  '

证 lim  lim(   )
  ' '
  ' ' a
 '  ' '
 lim  lim  lim  lim .
' ' a '
注 :这个定理表明 ,在求两个无穷小之比的极限时 ,
分子及分母都可以用等价无穷小替换 .因此 ,如果
无穷小的替换运用得当 ,则可化简极限的计算 .
例 5 求 lim tan 2 x .
x 0 sin 5 x

解 当 x  0 时，tan 2 x ~ 2 x , sin 5 x ~ 5 x .

故 lim tan 2 x  lim 2 x  2 .

x 0 sin 5 x x 0 5x 5
 (1  x )  1
2 13
例 6 求 lim .
x 0 cos x  1
解 当 x  0 时，
2 13 1
(1  x )  1 ~ x , cos x  1 ~  x ,
2 1 2
3 2
1 x2
(1  x )  1
2 13
3 2
lim
故 x 0  lim   .
cos x  1 x 0 1
 x 2 3
2
例 7 求 lim tan x 
3
sin x .
x 0 sin 2 x
错解 当 x  0 时，tan x ~ x , sin x ~ x ,

 原式  lim x  x  0.
x 0 ( 2 x ) 3

正解 当 x  0 时，sin 2 x ~ 2 x ,
tan x  sin x  tan x(1  cos x ) ~ 1 x 3 ,
2
1 x3
故 lim tan x  sin x  lim 2 1
 .
x 0 3
sin 2 x x0 ( 2 x ) 3
16
 n
例 8 求极限 lim 1  1  .
 n  2n  1 
n 1 )
解 由于 
 1  1 
e
n ln( 1
2 n 1
 2n  1 
另外，当 x   时，ln 1  1  ~   1 ,
 2x  1  2x  1

则 lim x ln 1  1 
  lim x  
  1 
  1
x    2 x  1  x  2 x  1  2
因数列极限可视为函数极限的子列，故可得
n
n ln  1 1 
lim 
 1  1   lim e  2 n1  1
e .
2
n   2n  1  n
例 9 计算 lim 1  tan x  1  tan x .
x 0 1  2x  1
解 由于 x  0 时， 1  2 x  1 ~ x , tan x ~ x ,

故 lim 1  tan x  1  tan x

x 0 1  2x  1
 lim 2 tan x
x 0 x ( 1  tan x  1  tan x )
 lim 2
x 0 x ( 1  tan x  1  tan x )

 1.
例 10 计算 lim e  e
x x cos x
.
x 0 x ln(1  x ) 2

解 注意到当 x  0 时，
ln(1  x 2 ) ~ x 2 , e x  x cos x  1 ~ x  x cos x ,
x  x cos x
e x
e x cos x
e (e  1)
x cos x
所以 lim
x  0 x ln(1  x 2 )
 lim
x 0 x ln(1  x 2 )
e x cos x
( x  x cos x )
 lim
x 0 x x 2

e x cos x
(1  cos x ) 1
 lim  .
x 0 x 2
2
 lim 2  1  cos x .
例 11 计算 x 0
sin 2 x
x
2  2 cos 1  cos x
2

 lim
解 原式 x 0
2  2 lim 2
2
sin x x 0 sin 2 x
2
1  x 
 2 lim 2  2   2.
x 0 x 2
8
 ln(1  x  x )  ln(1  x  x )
2 2
例 12 求 lim .
x 0 sec x  cos x
解 先用对数性质化简分子，得
ln(1  x  x ) 2 4
原式  lim
x  0 sec x  cos x
,
因为当 x  0 时，有
ln(1  x 2  x 4 ) ~ x 2  x 4 ,
2
sec x  cos x  1  cos 2
x 
sin x 2
~x .
cos x cos x
x 2 x 4
所以 原式  lim 2
 1.
x 0 x
 等价无穷小的充要条件
定理 2  与  是等价无穷小的充分必要条件是
    o( ).
证 必要性 设  ~  , 则
   
lim  lim(  1)  lim  1  0,
  
因此 ,     o( ), 即     o( ).
充分性 设     o( ), 则
   o( ) o( )
lim  lim  lim(1  )  1,
  a
因此 ,  ~  .
 等价无穷小的充要条件
   o( ) o( )
lim  lim  lim(1  )  1,
  a
因此 ,  ~  .
例如 , 当 x  0时 ,无穷小等价关系
sin x ~ x , 1
1  cos x ~ x 2
2
可表述为
2
sin x  x  o( x ), cos x  1  x  o( x 2 ).
2
例 13 求 lim tan 5 x  cos x  1 .
x 0 sin 3 x
解  tan 5 x  5 x  o( x ),
sin 3 x  3 x  o( x ),
2
1  cos x  x  o( x ),
2
2
2
x
5 x  o( x )   o( x )2

 原式  lim 2
x 0 3 x  o( x )
o( x ) x o( x 2 )
5  
 lim x 2 x  5 .
x 0 o( x ) 3
3
x
 课堂练习
 
lim e  e .
1. 求极限   
 

2. 任何两个无穷小量都可以比较吗 ?
 练习解答
 
lim
1. 求极限   
e  e .
 
  
e
 e 
e ( e  1)
解 lim
    
 lim
   

e (e  1)
x
 lim ( 令x     )
x 0 x

 lim e x
x 0 x

e .  完
 练习解答
2. 任何两个无穷小量都可以比较吗 ?
解 不能 .
1
例当 x   时 , f ( x )  , g ( x )  sin x 都是无穷
x x
g( x )
小量 , 但 xlim
 f ( x )
 lim
x  
sin x 不存在且不为无穷大 ,

故当 x   时 , f ( x ) 和 g ( x )不能比较 .
 内容小结

1. 无穷小的比较的概念

lim  0, 就说  是比  高阶的无穷小，

记作   o( );

lim   , 称  是比  低阶的无穷小 .


lim  C (C  0), 就说  与  是同阶的无穷小；


lim  1, 则称  与  是等价的无穷小，

 内容小结
1. 无穷小的比较的概念

lim  1, 则称  与  是等价的无穷小，

记作  ~  ;

lim k  C (C  0, k  0), 就说  是  的 k 阶无穷小 .

注：无穷小比的极限不同，反映了同一过程中，
两无穷小趋于零的速度快慢 .
 内容小结
2. 主要性质
(1)  ～      o( );
   
( 2)  ～  ,  ～  , lim  存在 lim  lim .
  
3. 常用等价无穷小
sin x ～x tan x ～ x
arcsin x ～ x arctan x ～ x 1  cos x ～ 1 x 2
2
ln(1  x ) ～ x (1  x )  1～ x (  0且为常数 )


e  1～ x
x
a  1 ～ x ln a(a  0).
x