f '( x ) 存在 及 g' ( x ) 都存在且 g' ( x ) ≠ 0; (3) lim x→a g ' ( x ) →
(或为无穷大 , 那么 或为无穷大), 或为无穷大
f ( x) f '( x ) lim . = lim x →a g ( x ) x →a g' ( x )
证 因函数在某点的极限是否存在 与函数在该点 取何值无关, 取何值无关, 故可补充定义 f (a ) = g (a ) = 0. 根据定理的条件, 根据定理的条件, 知函数 f ( x ) 与 g ( x ) 在以 a 与 x
f ( x ) f ( x ) − f (a ) f ' (ξ ) = = (ξ 在 x 与 a 之间 之间), g ( x ) g ( x ) − g (a ) g' (ξ )
又当 x → a 时, 有 ξ → a , 所以
f ( x) f ' (ξ ) lim = A. 证毕. = lim 证毕. x →a g ( x ) ξ → a g' (ξ )
e x − e−x − 2 x . 例3 求 lim x →0 x − sin x
解
e x − e − x − 2 x = lim e x + e − x − 2 lim x →0 x →0 1 − cos x x − sin x
e x − e−x = lim x → 0 sin x e x + e−x = lim x → 0 cos x
故洛必达法则失效, 不能使用. 但原极限是存在的, 使用. 洛必达法则失效, 不能使用 但原极限是存在的, 可用下法求得 求得: 可用下法求得:
1 x sin lim x sin 1 x = lim( x ⋅ x sin 1 ) = x→0 x lim x → 0 sin x x → 0 sin x x lim sin x x →0 x 0 = 0. = 1