§2' 'Hospital法则 待定型极限和L 'Hospital'法则 an n=m, an"+an-1x+++ =0, n<m, limn x→∞bxm+b-1xm-++bx+b ,n>m, 我们将这种类型的极限称为待定型,简称型。 ∞ 0 ∞ 待定型极限除了型以外,还有型、0∞型、∞±∞型、∞型、 ∞ 1型、0°型等几种。我们先讨论如何求型和型的极限,其余几 种类型的极限都可以化成这两种类型进行计算
待定型极限和L'Hospital法则 lim x→∞ ax a x ax a b x b x bx b n n n n m m m m + ++ + + ++ + − − − − 1 1 1 0 1 1 1 0 " " = a b n m n m n m n n , , , , , , = < ∞ > ⎧ ⎨ ⎪⎪⎪ ⎩ ⎪⎪⎪ 0 我们将这种类型的极限称为 ∞ ∞ 待定型，简称 ∞ ∞ 型。 待定型极限除了 ∞ ∞ 型以外，还有 00 型、0⋅∞型、∞± ∞型、∞0型、 1∞ 型、00 型等几种。我们先讨论如何求 00 型和 ∞∞ 型的极限，其余几 种类型的极限都可以化成这两种类型进行计算。 §2 L’Hospital 法则
定理52.1( L'HoSpita法则)设函数f(x)和g(x)在(aa+d]上可 导(d是某个正常数),且g(x)≠0。若此时有 lim f(x)=lim g(x)=0 x→a+ X→a+ 或 lim g(x) x→a+ 且lm(x)存在(可以是有限数或∞),则成立 x→a+ g'(x) f'(x) Im x→a+g(x)x)a+g'(x
定理5.2.1（L'Hospital法则） 设函数 xf )( 和 xg )( 在 + daa ],( 上可 导(d 是某个正常数)，且 ′ xg ≠ 0)( 。若此时有 lim ( ) lim ( ) x a x a f x gx → + → + = = 0 或 lim ( ) x a g x → + = ∞， 且 lim ( ) x a ( ) f x → + g x ′ ′ 存在（可以是有限数或∞），则成立 lim ( ) ( ) lim ( ) x a x a ( ) f x g x f x → + → + g x = ′′
证这里仅对lim A为有限数时来证明。 g'(x) 先证明imf(x)=limg(x)=0的情况。 X→a+ x→a+ 补充定义f(a)=g(a)=0,则f(x)和g(x)在[a+d]上连续,在 a,a+d]上满足 Cauchy中值定理的条件,因而对于任意x∈(a,a+d),存 在ξ∈(a,a+d),满足 f(x)f(x)-f(a) f(s g(x)g(x)-gla g5 当x→a+时显然有ξ→a+。两端令x→a+,即有 (x)_1f(5 x→a+g(x)5ag(5)x+g(° Im
证 这里仅对 lim ( ) x a ( ) f x → + g x ′ ′ = A为有限数时来证明。 先证明 lim ( ) lim ( ) x a x a f x gx → + → + = = 0 的情况。 补充定义 = agaf = 0)()( ，则 xf )( 和 xg )( 在[ , + daa ]上连续，在 [ ] , + daa 上满足Cauchy中值定理的条件，因而对于任意 ∈ + daax ),( ,存 在 ξ ∈ + daa ),( ，满足 () () () () () () () () fx fx fa f gx gx ga g ξ ξ − ′ = = − ′ 。 当 x → + a 时显然有 ξ → +a 。两端令 x → + a ，即有 )( )( lim )( )( lim )( )( lim xg xf g f xg xf ax a ax ′ ′ = ′ ′ = +→ +→ ξ +→ ξ ξ
下面证明lmg(x)=∞时的情况。 x→a+ f(x) f(x)-f(o)f(xo) g(x) gx) x g(x)-gt g(x)」g(x)-g(x)g(x) g(x0)f(x)-f(x0),f(x) g(x)」8(x)-g(x)g(x) 于是, f(x) A g(ro)f(x)-f(ro) f(o) g(x) g(x)」kg(x)-g(x)g(x) ≤h-8(x f(x)-f(xo) A+ (xo)-Ag(xo g(x)|1g(x)-8(x0) g(x)
下面证明 lim ( ) x a g x → + = ∞时的情况。 f x g x fx fx g x f x g x ( ) ( ) () ( ) ( ) ( ) ( ) = − + 0 0 )( )( )()( )()( )( )()( 0 0 0 0 xg xf xgxg xfxf xg xgxg + − − ⎥ ⎦ ⎤ ⎢ ⎣ ⎡ − = )( )( )()( )()( )( )( 1 0 0 0 0 xg xf xgxg xfxf xg xg + − − ⎥ ⎦ ⎤ ⎢ ⎣ ⎡ −= 。 于是， A xg xf − )( )( A xg xf xgxg xfxf xg xg −+ − − ⎥ ⎦ ⎤ ⎢ ⎣ ⎡ −= )( )( )()( )()( )( )( 1 0 0 0 0 )( )()( )()( )()( )( )( 1 0 0 0 0 0 xg xAgxf A xgxg xfxf xg xg − +− − − ⋅−≤
因为1mf(=A,所以对于任意E>0,存在p>0(p<d),当 (x) 0<x-a<p时, A<E 取x=a+p,由 Cauchy中值定理,对于任意x∈(a,x0),存在 5∈(x,x0)c(ana+p)满足 f(x)-f(x)f∫(5) g(x)-g(x0)8 于是得到 f(x)-f(x0) f() A< g(x)-g(x0) g(5) 又因为li m x)=oo 所以可以找到正数 6<P, 当0<x-a<6时,成立 <2 f(x0)-4g{(x <eo gx g(x
因为 lim ( ) x a ( ) f x → + g x ′ ′ = A，所以对于任意ε > 0，存在 ρ > 0 ( ρ < d )，当 0 < x a − < ρ 时， <− ε ′ ′ A xg xf )( )( 。 取 0 x a = + ρ ，由Cauchy中值定理，对于任意 ),( 0 ∈ xax ，存在 ),(),( ξ ∈ 0 aaxx +⊂ ρ 满足 0 0 () ( ) ( ) () ( ) () fx fx f gx gx g ξ ξ − ′ = − ′ ， 于是得到 ε ξ ξ <− ′ ′ =− − − A g f A xgxg xfxf )( )( )()( )()( 0 0 。 又因为 lim ( ) x a g x → + = ∞，所以可以找到正数δ < ρ ，当0 < x a − < δ 时，成立 < ε − <− )( )()( ,2 )( )( 1 0 0 0 xg xAgxf xg xg