0302洛必达法则-微分中值定理与导数的应用.md

文章目录

    • [1 0 0 型与 ∞ ∞ \frac{0}{0}型与\frac{\infty}{\infty} 00型与∞∞未定式](#1 0 0 型与 ∞ ∞ \frac{0}{0}型与\frac{\infty}{\infty} 00型与∞∞未定式)
    • [2 定理](#2 定理)
    • [3 其他类型未定式](#3 其他类型未定式)
    • 结语

1 0 0 型与 ∞ ∞ \frac{0}{0}型与\frac{\infty}{\infty} 00型与∞∞未定式

  • 0 0 \frac{0}{0} 00型未定式:当 x → a x \to a x→a或 x → ∞ x\to \infty x→∞时,两个函数 f ( x ) 和 F ( x ) f(x)和F(x) f(x)和F(x)都趋向于零,那么极限 lim ⁡ x → a ∣ x → ∞ f ( x ) F ( x ) \lim\limits_{x\to a|x\to\infty}{\frac{f(x)}{F(x)}} x→a∣x→∞limF(x)f(x)可能存在、也可能不存在。
  • ∞ ∞ \frac{\infty}{\infty} ∞∞型未定式:当 x → a x \to a x→a或 x → ∞ x\to \infty x→∞时,两个函数 f ( x ) 和 F ( x ) f(x)和F(x) f(x)和F(x)都趋向无穷大,那么极限 lim ⁡ x → a ∣ x → ∞ f ( x ) F ( x ) \lim_{x\to a|x\to\infty}{\frac{f(x)}{F(x)}} limx→a∣x→∞F(x)f(x)可能存在、也可能不存在。

2 定理

讨论 x → a , 0 0 未定式 x\to a ,\frac{0}{0}未定式 x→a,00未定式

定理1

若 f ( x ) 与 F ( x ) f(x)与F(x) f(x)与F(x)满足以下条件:

(1) lim ⁡ x → a f ( x ) = 0 , lim ⁡ x → a F ( x ) = 0 \lim\limits_{x\to a}{f(x)}=0,\lim\limits_{x\to a}{F(x)}=0 x→alimf(x)=0,x→alimF(x)=0

(2) ∀ x ∈ U ∘ ( a ) , f ( x ) 与 F ( x ) 都可导,且 F ′ ( x ) ≠ 0 \forall x\in\overset{\circ}{U}(a),f(x)与F(x)都可导,且F^{'}(x)\not=0 ∀x∈U∘(a),f(x)与F(x)都可导,且F′(x)=0

(3) lim ⁡ x → a f ( x ) F ( x ) 存在(或为无穷大) \lim\limits_{x\to a}{\frac{f(x)}{F(x)}}存在(或为无穷大) x→alimF(x)f(x)存在(或为无穷大)

lim ⁡ x → a f ( x ) F ( x ) = lim ⁡ x → a f ′ ( x ) F ′ ( x ) \lim\limits_{x\to a}{\frac{f(x)}{F(x)}}=\lim\limits_{x\to a}{\frac{f^{'}(x)}{F^{'}(x)}} x→alimF(x)f(x)=x→alimF′(x)f′(x)

这种在一定条件下通过分子分母分别求导再求极限来确定未定式的方法称为洛必达法则。

证明 : lim ⁡ x → a f ( x ) F ( x ) 与 f ( a ) 及 F ( a ) 无关 lim ⁡ x → a f ( x ) = 0 , lim ⁡ x → a F ( x ) = 0 令 f ( a ) = F ( x ) = 0 ∀ x ∈ U ∘ ( a ) , [ x , a ] 区间上,满足柯西中值定理定理,有 f ( x ) F ( x ) = f ( x ) − f ( a ) F ( x ) − F ( a ) = f ′ ( ξ ) F ′ ( ξ ) ( x < ξ < a ) 当 x → a 时,对两边求极限有 lim ⁡ x → a f ( x ) F ( x ) = lim ⁡ x → a f ′ ( ξ ) F ′ ( ξ ) = lim ⁡ ξ → a f ′ ( ξ ) F ′ ( ξ ) = lim ⁡ x → a f ′ ( x ) F ′ ( x ) 证明:\\ \lim\limits_{x\to a}{\frac{f(x)}{F(x)}}与f(a)及F(a)无关\\ \lim\limits_{x\to a}f(x)=0,\lim\limits_{x\to a}{F(x)}=0\\ 令f(a)=F(x)=0\\ \forall x\in \overset{\circ}{U}(a),[x,a]区间上,满足柯西中值定理定理,有\\ \frac{f(x)}{F(x)}=\frac{f(x)-f(a)}{F(x)-F(a)}=\frac{f^{'}(\xi)}{F^{'}(\xi)}(x\lt \xi\lt a)\\ 当x\to a时,对两边求极限有\\ \lim\limits_{x\to a}{\frac{f(x)}{F(x)}}=\lim\limits_{x\to a}{\frac{f^{'}(\xi)}{F^{'}(\xi)}} =\lim\limits_{\xi\to a}{\frac{f^{'}(\xi)}{F^{'}(\xi)}}=\lim\limits_{x\to a}{\frac{f^{'}(x)}{F^{'}(x)}}\\ 证明:x→alimF(x)f(x)与f(a)及F(a)无关x→alimf(x)=0,x→alimF(x)=0令f(a)=F(x)=0∀x∈U∘(a),[x,a]区间上,满足柯西中值定理定理,有F(x)f(x)=F(x)−F(a)f(x)−f(a)=F′(ξ)f′(ξ)(x<ξ<a)当x→a时,对两边求极限有x→alimF(x)f(x)=x→alimF′(ξ)f′(ξ)=ξ→alimF′(ξ)f′(ξ)=x→alimF′(x)f′(x)

  1. 当 lim ⁡ x → a f ′ ( x ) F ′ ( x ) 为 ∞ 时, lim ⁡ x → a f ( x ) F ( x ) = lim ⁡ x → a f ′ ( x ) F ′ ( x ) 也为 ∞ \lim\limits_{x\to a}{\frac{f^{'}(x)}{F^{'}(x)}}为\infty时,\lim\limits_{x\to a}{\frac{f(x)}{F(x)}}=\lim\limits_{x\to a}{\frac{f^{'}(x)}{F^{'}(x)}}也为\infty x→alimF′(x)f′(x)为∞时,x→alimF(x)f(x)=x→alimF′(x)f′(x)也为∞
  2. lim ⁡ x → a f ( x ) F ( x ) = 0 0 / ∞ ∞ lim ⁡ x → a f ′ ( x ) F ′ ( x ) = 0 0 / ∞ ∞ lim ⁡ x → a f ′ ′ ( x ) F ′ ′ ( x ) ⋯ \lim\limits_{x\to a}{\frac{f(x)}{F(x)}}\overset{\frac{0}{0}/\frac{\infty}{\infty}}{=}\lim\limits_{x\to a}{\frac{f^{'}(x)}{F^{'}(x)}}\overset{\frac{0}{0}/\frac{\infty}{\infty}}{=}\lim\limits_{x\to a}{\frac{f^{''}(x)}{F^{''}(x)}}\cdots x→alimF(x)f(x)=00/∞∞x→alimF′(x)f′(x)=00/∞∞x→alimF′′(x)f′′(x)⋯
  3. lim ⁡ x → ∞ f ( x ) F ( x ) = 0 0 / ∞ ∞ lim ⁡ x → ∞ f ′ ( x ) F ′ ( x ) = 0 0 / ∞ ∞ lim ⁡ x → ∞ f ′ ′ ( x ) F ′ ′ ( x ) ⋯ \lim\limits_{x\to \infty}{\frac{f(x)}{F(x)}}\overset{\frac{0}{0}/\frac{\infty}{\infty}}{=}\lim\limits_{x\to \infty}{\frac{f^{'}(x)}{F^{'}(x)}}\overset{\frac{0}{0}/\frac{\infty}{\infty}}{=}\lim\limits_{x\to \infty}{\frac{f^{''}(x)}{F^{''}(x)}}\cdots x→∞limF(x)f(x)=00/∞∞x→∞limF′(x)f′(x)=00/∞∞x→∞limF′′(x)f′′(x)⋯

例1 lim ⁡ x → 0 sin ⁡ k x x ( k ≠ 0 ) \lim\limits_{x\to 0}{\frac{\sin kx}{x}}(k\not=0) x→0limxsinkx(k=0)
解: lim ⁡ x → 0 sin ⁡ k x x = lim ⁡ x → 0 k cos ⁡ k x = k 解:\\ \lim\limits_{x\to 0}{\frac{\sin kx}{x}}=\lim\limits_{x\to0}{k\cos kx}=k 解:x→0limxsinkx=x→0limkcoskx=k
例2 lim ⁡ x → 1 x 3 − 3 x + 2 x 3 − x 2 − x + 1 \lim\limits_{x\to1}{\frac{x^3-3x+2}{x^3-x^2-x+1}} x→1limx3−x2−x+1x3−3x+2
解 lim ⁡ x → 1 x 3 − 3 x + 2 x 3 − x 2 − x + 1 = lim ⁡ x → 1 3 x 2 − 3 3 x 2 − 2 x − 1 = lim ⁡ x → 1 6 x 6 x − 2 = 3 2 解\\ \lim\limits_{x\to1}{\frac{x^3-3x+2}{x^3-x^2-x+1}}=\lim\limits_{x\to1}{\frac{3x^2-3}{3x^2-2x-1}}=\lim\limits_{x\to1}{\frac{6x}{6x-2}}=\frac{3}{2} 解x→1limx3−x2−x+1x3−3x+2=x→1lim3x2−2x−13x2−3=x→1lim6x−26x=23
例3 lim ⁡ x → 0 x − sin ⁡ x x 3 \lim\limits_{x\to0}{\frac{x-\sin x}{x^3}} x→0limx3x−sinx
解 : lim ⁡ x → 0 x − sin ⁡ x x 3 = lim ⁡ x → 0 1 − cos ⁡ x 3 x 2 = lim ⁡ x → 0 1 2 x 2 3 x 2 = 1 6 解:\\ \lim\limits_{x\to0}{\frac{x-\sin x}{x^3}}=\lim\limits_{x\to0}{\frac{1-\cos x}{3x^2}}=\lim\limits_{x\to0}{\frac{\frac{1}{2}x^2}{3x^2}}=\frac{1}{6} 解:x→0limx3x−sinx=x→0lim3x21−cosx=x→0lim3x221x2=61
例4 lim ⁡ x → + ∞ π 2 − arctan ⁡ x 1 x \lim\limits_{x\to+\infty}{\frac{\frac{\pi}{2}-\arctan x}{\frac{1}{x}}} x→+∞limx12π−arctanx
解 lim ⁡ x → + ∞ π 2 − arctan ⁡ x 1 x = lim ⁡ x → + ∞ x 2 1 + x 2 = 1 解\\ \lim\limits_{x\to+\infty}{\frac{\frac{\pi}{2}-\arctan x}{\frac{1}{x}}}=\lim\limits_{x\to+\infty}{\frac{x^2}{1+x^2}}\\ =1 解x→+∞limx12π−arctanx=x→+∞lim1+x2x2=1
例5 lim ⁡ x → + ∞ ln ⁡ x x n ( n > 0 ) \lim\limits_{x\to+\infty}{\frac{\ln x}{x^n}}(n\gt 0) x→+∞limxnlnx(n>0)
解 : lim ⁡ x → + ∞ ln ⁡ x x n ( n > 0 ) = lim ⁡ x → + ∞ 1 x n x n − 1 = 0 解:\\ \lim\limits_{x\to+\infty}{\frac{\ln x}{x^n}}(n\gt 0)=\lim\limits_{x\to+\infty}{\frac{\frac{1}{x}}{nx^{n-1}}}=0 解:x→+∞limxnlnx(n>0)=x→+∞limnxn−1x1=0
例6 lim ⁡ x → + ∞ x n e λ x ( n > 0 , λ > 0 ) \lim\limits_{x\to+\infty}{\frac{x^n}{e^{\lambda x}}}(n\gt 0,\lambda \gt 0) x→+∞limeλxxn(n>0,λ>0)
解 : lim ⁡ x → + ∞ x n e λ x = lim ⁡ x → + ∞ n x n − 1 λ e λ x = ⋯ = lim ⁡ x → + ∞ n ! λ n e λ x = 0 解:\\ \lim\limits_{x\to+\infty}{\frac{x^n}{e^{\lambda x}}}=\lim\limits_{x\to+\infty}{\frac{nx^{n-1}}{\lambda e^{\lambda x}}}=\cdots=\lim\limits_{x\to+\infty}{\frac{n!}{\lambda^ne^{\lambda x}}}=0 解:x→+∞limeλxxn=x→+∞limλeλxnxn−1=⋯=x→+∞limλneλxn!=0

  1. x → + ∞ , e λ x x\to+\infty,e^{\lambda x} x→+∞,eλx趋向于无穷的速度快于 x n ( n > 0 ) x^n(n\gt 0) xn(n>0),快于 ln ⁡ x \ln x lnx

例9 lim ⁡ x → ∞ x + sin ⁡ x x \lim\limits_{x\to\infty}{\frac{x+\sin x}{x}} x→∞limxx+sinx
解: lim ⁡ x → ∞ x + sin ⁡ x x = lim ⁡ x → ∞ 1 + cos ⁡ x 1 , 不存在 , 不能使用洛必达法则 分子分母同除以 x , 有 lim ⁡ x → ∞ x + sin ⁡ x x = lim ⁡ x → ∞ 1 + sin ⁡ x x 1 = 2 解:\\ \lim\limits_{x\to\infty}{\frac{x+\sin x}{x}}=\lim\limits_{x\to\infty}{\frac{1+\cos x}{1}}, 不存在,不能使用洛必达法则\\ 分子分母同除以x,有 \lim\limits_{x\to\infty}{\frac{x+\sin x}{x}}=\lim\limits_{x\to\infty}{\frac{1+\frac{\sin x}{x}}{1}}=2 解:x→∞limxx+sinx=x→∞lim11+cosx,不存在,不能使用洛必达法则分子分母同除以x,有x→∞limxx+sinx=x→∞lim11+xsinx=2

  1. x → ∞ x\to\infty x→∞有理分式求极限,可以使用同除最大项方法
  2. 求极限可以综合运用各种方法,比如无穷小替换、三角函数公式等

3 其他类型未定式

其他未定式类型:

  • 0 ⋅ ∞ 0\cdot\infty 0⋅∞
  • ∞ − ∞ \infty-\infty ∞−∞
  • 0 0 0^0 00
  • ∞ 0 \infty^0 ∞0
  • 1 ∞ 1^\infty 1∞

0 ⋅ ∞ 0\cdot\infty 0⋅∞
0 ⋅ ∞ ⇒ 0 1 ∞ ⇒ 0 0 0 ⋅ ∞ ⇒ ∞ 1 0 ⇒ ∞ ∞ ∞ − ∞ ⇒ 1 0 − 1 0 通分 ⇒ 0 0 0 0 ⇒ e ln ⁡ 0 0 = e 0 ln ⁡ 0 ⇒ e 0 ⋅ ∞ ⇒ ⋯ ∞ 0 ⇒ e ln ⁡ ∞ 0 = e 0 ln ⁡ ∞ ⇒ e 0 ⋅ ∞ ⇒ ⋯ 1 ∞ ⇒ e ln ⁡ 1 ∞ = e ∞ ln ⁡ 1 ⇒ e ∞ ⋅ 0 ⇒ ⋯ 0\cdot\infty\Rightarrow \frac{0}{\frac{1}{\infty}}\Rightarrow \frac{0}{0}\\ 0\cdot\infty\Rightarrow \frac{\infty}{\frac{1}{0}}\Rightarrow \frac{\infty}{\infty}\\ \infty-\infty\Rightarrow \frac{1}{0}-\frac{1}{0} 通分\Rightarrow \frac{0}{0}\\ 0^0\Rightarrow e^{\ln 0^0}=e^{0\ln0}\Rightarrow e^{0\cdot \infty}\Rightarrow\cdots\\ \infty^0\Rightarrow e^{\ln \infty^0}=e^{0\ln\infty}\Rightarrow e^{0\cdot \infty}\Rightarrow\cdots\\ 1^\infty\Rightarrow e^{\ln 1^\infty}=e^{\infty\ln1}\Rightarrow e^{\infty\cdot 0}\Rightarrow\cdots\\ 0⋅∞⇒∞10⇒000⋅∞⇒01∞⇒∞∞∞−∞⇒01−01通分⇒0000⇒eln00=e0ln0⇒e0⋅∞⇒⋯∞0⇒eln∞0=e0ln∞⇒e0⋅∞⇒⋯1∞⇒eln1∞=e∞ln1⇒e∞⋅0⇒⋯

例11 lim ⁡ x → 0 + x 2 ⋅ ln ⁡ x \lim\limits_{x\to0^+}{x^2\cdot\ln x} x→0+limx2⋅lnx
解: lim ⁡ x → 0 + x 2 ⋅ ln ⁡ x = lim ⁡ x → 0 + ln ⁡ x 1 x 2 = lim ⁡ x → 0 + 1 x − 2 x − 3 = 0 解:\\ \lim\limits_{x\to0^+}{x^2\cdot\ln x}=\lim\limits_{x\to0^+}{\frac{\ln x}{\frac{1}{x^2}}}\\ =\lim\limits_{x\to0^+}{\frac{\frac{1}{x}}{-2{x^{-3}}}}=0 解:x→0+limx2⋅lnx=x→0+limx21lnx=x→0+lim−2x−3x1=0
例12 lim ⁡ x → π 2 sec ⁡ x − tan ⁡ x \lim\limits_{x\to\frac{\pi}{2}}{\sec x -\tan x} x→2πlimsecx−tanx
解 : lim ⁡ x → π 2 ( sec ⁡ x − tan ⁡ x ) = lim ⁡ x → π 2 ( 1 cos ⁡ x − sin ⁡ x cos ⁡ x ) = lim ⁡ x → π 2 − cos ⁡ x − sin ⁡ x = 0 解:\\ \lim\limits_{x\to\frac{\pi}{2}}{(\sec x -\tan x)}=\lim\limits_{x\to\frac{\pi}{2}}{(\frac{1}{\cos x} -\frac{\sin x}{\cos x})}\\ =\lim\limits_{x\to\frac{\pi}{2}}{\frac{-\cos x}{-\sin x}}=0 解:x→2πlim(secx−tanx)=x→2πlim(cosx1−cosxsinx)=x→2πlim−sinx−cosx=0
例14 lim ⁡ x → 0 + x x \lim\limits_{x\to 0^+}{x^x} x→0+limxx
解: lim ⁡ x → 0 + x x = lim ⁡ x → 0 + e ln ⁡ x x = e lim ⁡ x → 0 + x ln ⁡ x lim ⁡ x → 0 + x ln ⁡ x = lim ⁡ x → 0 + ln ⁡ x 1 x = lim ⁡ x → 0 + 1 x − 1 x − 2 = lim ⁡ x → 0 + − x = 0 lim ⁡ x → 0 + x x = e 0 = 1 解:\\ \lim\limits_{x\to 0^+}{x^x}=\lim\limits_{x\to 0^+}{e^{\ln x^x}}\\ =e^{\lim\limits_{x\to 0^+}{x\ln x}}\\ \lim\limits_{x\to 0^+}{x\ln x}=\lim\limits_{x\to 0^+}{\frac{\ln x}{\frac{1}{x}}}=\lim\limits_{x\to 0^+}{\frac{\frac{1}{x}}{-1x^{-2}}}=\lim\limits_{x\to 0^+}{-x}=0\\ \lim\limits_{x\to 0^+}{x^x}=e^0=1 解:x→0+limxx=x→0+limelnxx=ex→0+limxlnxx→0+limxlnx=x→0+limx1lnx=x→0+lim−1x−2x1=x→0+lim−x=0x→0+limxx=e0=1

结语

❓QQ:806797785

⭐️文档笔记地址:https://gitee.com/gaogzhen/math

参考:

1\]同济大学数学系.高等数学 第七版 上册\[M\].北京:高等教育出版社,2014.7.p132-136. \[2\][同济版《高等数学》全程教学视频](https://www.bilibili.com/video/BV1864y1T7Ks)\[CP/OL\].2020-04-16.p20.

相关推荐
free-elcmacom12 天前
MATLAB与高等数学<1>一道曲面积分题的几何直观
开发语言·数学建模·matlab·高等数学
the sun3413 天前
高等数学:无穷级数
高等数学
oscar99921 天前
高等数学 第八章 常微分方程
高等数学·常微分方程
oscar9991 个月前
高等数学第一章 函数、极限和连续
函数·高等数学
MowenPan19954 个月前
高等数学 9.1多元函数的基本概念
笔记·学习·高等数学
盛世隐者4 个月前
【高等数学】第八章 向量代数与空间解析几何——第三节 平面及其方程
高等数学
盛世隐者5 个月前
【高等数学】第六章 定积分的应用——第二节 定积分在几何学上的应用
高等数学
盛世隐者5 个月前
【高等数学】第七章 微分方程——第五节 可降阶的高阶微分方程
高等数学
盛世隐者5 个月前
【高等数学】第四章 不定积分——第五节 积分表的使用
高等数学
没有女朋友的程序员6 个月前
《高等数学》(同济大学·第7版)第五章 定积分 第二节微积分基本公式
高等数学