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

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

• $\frac{0}{0}$型未定式：当$x\to a$或$x\to \infty$时,两个函数$f(x)和F(x)$都趋向于零，那么极限$\underset{x\to a|x\to \infty }{\lim }\frac{f(x)}{F(x)}$可能存在、也可能不存在。
• $\frac{\infty }{\infty }$型未定式：当$x\to a$或$x\to \infty$时,两个函数$f(x)和F(x)$都趋向无穷大，那么极限${\lim }_{x\to a|x\to \infty }\frac{f(x)}{F(x)}$可能存在、也可能不存在。

2 定理

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

定理1 设

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

(1)$\underset{x\to a}{\lim }f(x)=0,\underset{x\to a}{\lim }F(x)=0$

(2)$\forall x\in \stackrel{\circ }{U}(a),f(x)与F(x)都可导，且F^{{}^{\prime }}(x)\ne 0$

(3)$\underset{x\to a}{\lim }\frac{f(x)}{F(x)}存在（或为无穷大）$

则

$\underset{x\to a}{\lim }\frac{f(x)}{F(x)}=\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}$

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

$$\begin{gathered} 证明: \\ \underset{x\to a}{\lim }\frac{f(x)}{F(x)}与f(a)及F(a)无关 \\ \underset{x\to a}{\lim }f(x)=0,\underset{x\to a}{\lim }F(x)=0 \\ 令f(a)=F(x)=0 \\ \forall x\in \stackrel{\circ }{U}(a),[x,a]区间上，满足柯西中值定理定理，有 \\ \frac{f(x)}{F(x)}=\frac{f(x)-f(a)}{F(x)-F(a)}=\frac{f^{{}^{\prime }}(\xi )}{F^{{}^{\prime }}(\xi )}(x<\xi <a) \\ 当x\to a时，对两边求极限有 \\ \underset{x\to a}{\lim }\frac{f(x)}{F(x)}=\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(\xi )}{F^{{}^{\prime }}(\xi )}=\underset{\xi \to a}{\lim }\frac{f^{{}^{\prime }}(\xi )}{F^{{}^{\prime }}(\xi )}=\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)} \end{gathered}$$

注：

1. 当$\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}为\infty 时，\underset{x\to a}{\lim }\frac{f(x)}{F(x)}=\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}也为\infty$
2. $\underset{x\to a}{\lim }\frac{f(x)}{F(x)}\stackrel{\frac{0}{0}/\frac{\infty }{\infty }}{=}\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}\stackrel{\frac{0}{0}/\frac{\infty }{\infty }}{=}\underset{x\to a}{\lim }\frac{f^{{}^{\prime \prime }}(x)}{F^{{}^{\prime \prime }}(x)}\cdots$
3. $\underset{x\to \infty }{\lim }\frac{f(x)}{F(x)}\stackrel{\frac{0}{0}/\frac{\infty }{\infty }}{=}\underset{x\to \infty }{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}\stackrel{\frac{0}{0}/\frac{\infty }{\infty }}{=}\underset{x\to \infty }{\lim }\frac{f^{{}^{\prime \prime }}(x)}{F^{{}^{\prime \prime }}(x)}\cdots$

例1 $\underset{x\to 0}{\lim }\frac{\sin kx}{x}(k\ne 0)$
$$\begin{gathered} 解： \\ \underset{x\to 0}{\lim }\frac{\sin kx}{x}=\underset{x\to 0}{\lim }k\cos kx=k \end{gathered}$$
例2 $\underset{x\to 1}{\lim }\frac{x^3-3x+2}{x^3-x^2-x+1}$
$$\begin{gathered} 解 \\ \underset{x\to 1}{\lim }\frac{x^3-3x+2}{x^3-x^2-x+1}=\underset{x\to 1}{\lim }\frac{3x^2-3}{3x^2-2x-1}=\underset{x\to 1}{\lim }\frac{6x}{6x-2}=\frac{3}{2} \end{gathered}$$
例3 $\underset{x\to 0}{\lim }\frac{x-\sin x}{x^3}$
$$\begin{gathered} 解: \\ \underset{x\to 0}{\lim }\frac{x-\sin x}{x^3}=\underset{x\to 0}{\lim }\frac{1-\cos x}{3x^2}=\underset{x\to 0}{\lim }\frac{\frac{1}{2}{x}^2}{3x^2}=\frac{1}{6} \end{gathered}$$
例4 $\underset{x\to +\infty }{\lim }\frac{\frac{\pi }{2}-\arctan x}{\frac{1}{x}}$
$$\begin{gathered} 解 \\ \underset{x\to +\infty }{\lim }\frac{\frac{\pi }{2}-\arctan x}{\frac{1}{x}}=\underset{x\to +\infty }{\lim }\frac{x^2}{1+x^2} \\ =1 \end{gathered}$$
例5 $\underset{x\to +\infty }{\lim }\frac{\ln x}{x^n}(n>0)$
$$\begin{gathered} 解: \\ \underset{x\to +\infty }{\lim }\frac{\ln x}{x^n}(n>0)=\underset{x\to +\infty }{\lim }\frac{\frac{1}{x}}{n{x}^{n-1}}=0 \end{gathered}$$
例6 $\underset{x\to +\infty }{\lim }\frac{x^n}{e^{\lambda x}}(n>0,\lambda >0)$
$$\begin{gathered} 解: \\ \underset{x\to +\infty }{\lim }\frac{x^n}{e^{\lambda x}}=\underset{x\to +\infty }{\lim }\frac{n{x}^{n-1}}{\lambda e^{\lambda x}}=\cdots =\underset{x\to +\infty }{\lim }\frac{n!}{{\lambda }^n{e}^{\lambda x}}=0 \end{gathered}$$

注

1. $x\to +\infty ,e^{\lambda x}$趋向于无穷的速度快于$x^n(n>0)$，快于$\ln x$

例9 $\underset{x\to \infty }{\lim }\frac{x+\sin x}{x}$
$$\begin{gathered} 解： \\ \underset{x\to \infty }{\lim }\frac{x+\sin x}{x}=\underset{x\to \infty }{\lim }\frac{1+\cos x}{1},不存在,不能使用洛必达法则 \\ 分子分母同除以x,有\underset{x\to \infty }{\lim }\frac{x+\sin x}{x}=\underset{x\to \infty }{\lim }\frac{1+\frac{\sin x}{x}}{1}=2 \end{gathered}$$
注

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

3 其他类型未定式

其他未定式类型：

• $0\cdot \infty$
• $\infty -\infty$
• $0^0$
• ${\infty }^0$
• $1^{\infty }$

$0\cdot \infty$
$$\begin{gathered} 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\ln 0}\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 \ln 1}\Rightarrow e^{\infty \cdot 0}\Rightarrow \cdots \end{gathered}$$

例11 $\underset{x\to 0^{+}}{\lim }{x}^2\cdot \ln x$
$$\begin{gathered} 解： \\ \underset{x\to 0^{+}}{\lim }{x}^2\cdot \ln x=\underset{x\to 0^{+}}{\lim }\frac{\ln x}{\frac{1}{x^2}} \\ =\underset{x\to 0^{+}}{\lim }\frac{\frac{1}{x}}{-2x^{-3}}=0 \end{gathered}$$
例12 $\underset{x\to \frac{\pi }{2}}{\lim }\sec x-\tan x$
$$\begin{gathered} 解: \\ \underset{x\to \frac{\pi }{2}}{\lim }(\sec x-\tan x)=\underset{x\to \frac{\pi }{2}}{\lim }(\frac{1}{\cos x}-\frac{\sin x}{\cos x}) \\ =\underset{x\to \frac{\pi }{2}}{\lim }\frac{-\cos x}{-\sin x}=0 \end{gathered}$$
例14 $\underset{x\to 0^{+}}{\lim }{x}^x$
$$\begin{gathered} 解： \\ \underset{x\to 0^{+}}{\lim }{x}^x=\underset{x\to 0^{+}}{\lim }{e}^{\ln x^x} \\ =e^{\underset{x\to 0^{+}}{\lim }x\ln x} \\ \underset{x\to 0^{+}}{\lim }x\ln x=\underset{x\to 0^{+}}{\lim }\frac{\ln x}{\frac{1}{x}}=\underset{x\to 0^{+}}{\lim }\frac{\frac{1}{x}}{-1x^{-2}}=\underset{x\to 0^{+}}{\lim }-x=0 \\ \underset{x\to 0^{+}}{\lim }{x}^x=e^0=1 \end{gathered}$$

结语

❓QQ:806797785

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

参考：

[1]同济大学数学系.高等数学 第七版 上册[M].北京:高等教育出版社,2014.7.p132-136.

[2]同济版《高等数学》全程教学视频[CP/OL].2020-04-16.p20.