高等数学 3.2 洛必达法则

定理1 设
（1）当 $x\to a$ 时，函数 $f(x)$ 及 $F(x)$ 都趋于零；
（2）在点 $a$ 的某去心邻域内，$f^{{}^{\prime }}(x)$ 及 $F^{{}^{\prime }}(x)$ 都存在且 $F^{{}^{\prime }}(x)\ne 0$ ；
（3）$\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}$ 存在（或为无穷大），
则
$$\underset{x\to a}{\lim }\frac{f(x)}{F(x)}=\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}.$$

这就是说。当 $\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}$ 存在时，$\underset{x\to a}{\lim }\frac{f(x)}{F(x)}$ 也存在且等于 $\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}$ ；当 $\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}$ 为无穷大时，$\underset{x\to a}{\lim }\frac{f(x)}{F(x)}$ 也是无穷大。这种在一定条件下通过分子、分母分别求导再求极限来确定未定式的值的方法称为 洛必达（L’Hospital）法则 。

洛必达法则的证明见下图：

如果 $\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}$ 当 $x\to a$ 时仍属 $\frac{0}{0}$ 型，且这时 $f^{{}^{\prime }}(x),F^{{}^{\prime }}(x)$ 能满足定理中 $f(x),F(x)$ 所要满足的条件，那么可以继续使用洛必达法则先确定 $\underset{x\to a}{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}$ ，从而确定 $\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)}=\underset{x\to a}{\lim }\frac{f^{{}^{\prime \prime }}(x)}{F^{{}^{\prime \prime }}(x)}$$

例1 求 $\underset{x\to 0}{\lim }\frac{\sin ax}{\sin bx}(b\ne 0)$ .
解： $\underset{x\to 0}{\lim }\frac{\sin ax}{\sin bx}=\underset{x\to 0}{\lim }\frac{a\cos ax}{b\cos bx}=\frac{a}{b}$ .

例2 求 $\underset{x\to 1}{\lim }\frac{x^3-3x+2}{x^3-x^2-x+1}$ .
解：$\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}$ .

注意，上式中的 $\underset{x\to 1}{\lim }\frac{6x}{6x-2}$ 已不是未定式，不能对它应用洛必达法则，否则要导致错误结果。如果不是未定式，那么就不能应用洛必达法则。

例3 求 $\underset{x\to 0}{\lim }\frac{x-\sin x}{x^3}$ .
解：$\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{\sin x}{6x}=\frac{1}{6}$

我们指出，对于 $x\to \infty$ 时的未定式 $\frac{0}{0}$ 以及对于 $x\to a$ 或 $x\to \infty$ 时的未定式 $\frac{\infty }{\infty }$ ，也有相应的洛必达法则。

定理2 设
（1）当 $x\to \infty$ 时，函数 $f(x)$ 及 $F(x)$ 都趋于零；
（2）当 $|x|>N$ 时 $f^{{}^{\prime }}(x)$ 及 $F^{{}^{\prime }}(x)$ 都存在且 $F^{{}^{\prime }}(x)\ne 0$ ；
（3）$\underset{x\to \infty }{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}$ 存在（或为无穷大），
则
$$\underset{x\to \infty }{\lim }\frac{f(x)}{F(x)}=\underset{x\to \infty }{\lim }\frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}.$$

例4 求 $\underset{x\to +\infty }{\lim }\frac{\frac{\pi }{2}-\arctan x}{\frac{1}{x}}$ .
解：$\underset{x\to +\infty }{\lim }\frac{\frac{\pi }{2}-\arctan x}{\frac{1}{x}}=\underset{x\to +\infty }{\lim }\frac{-\frac{1}{1-x^2}}{-\frac{1}{x^2}}=\underset{x\to +\infty }{\lim }\frac{x^2}{1+x^2}=1$ .

例5 求 $\underset{x\to +\infty }{\lim }\frac{\ln x}{x^n}(n>0)$ .
解：$\underset{x\to +\infty }{\lim }\frac{\ln x}{x^n}=\underset{x\to +\infty }{\lim }\frac{\frac{1}{x}}{n{x}^{n-1}}=\underset{x\to +\infty }{\lim }\frac{1}{n{x}^n}=0$ .

例6 求 $\underset{x\to +\infty }{\lim }\frac{x^n}{{\mathrm{e}}^{\lambda x}}(n为正整数，\lambda >0)$ .
解：相继应用洛必达法则 $n$ 次，得
$$\underset{x\to +\infty }{\lim }\frac{x^n}{{\mathrm{e}}^{\lambda x}}=\underset{x\to +\infty }{\lim }\frac{n{x}^{n-1}}{\lambda {\mathrm{e}}^{\lambda x}}=\underset{x\to +\infty }{\lim }\frac{n(n-1)x^{n-2}}{{\lambda }^2{\mathrm{e}}^{\lambda x}}=\cdots =\underset{x\to +\infty }{\lim }\frac{n!}{{\lambda }^n{\mathrm{e}}^{\lambda x}}=0.$$

其他还有一些 $0\cdot \infty$, $\infty -\infty$, $0^0$, $1^{\infty }$, ${\infty }^0$ 型的未定式，也可通过 $\frac{0}{0}$ 或 $\frac{\infty }{\infty }$ 型的未定式来计算。

例7 求 $\underset{x\to 0^{+}}{\lim }{x}^n\ln x(n>0)$ .
解：这是未定式 $0\cdot \infty$ 。因为
$$x^n\ln x=\frac{\ln x}{\frac{1}{x^n}},$$
当 $x\to 0^{+}$ 时，上式右端是未定式 $\frac{\infty }{\infty }$ ，应用洛必达法则，得
$$\underset{x\to 0^{+}}{\lim }{x}^n\ln x=\underset{x\to 0^{+}}{\lim }\frac{\ln x}{x^{-n}}=\underset{x\to 0^{+}}{\lim }\frac{\frac{1}{x}}{-n{x}^{-n-1}}=\underset{x\to 0^{+}}{\lim }\left(\frac{-x^n}{n}\right)=0.$$

例8 求 $\underset{x\to \frac{\pi }{2}}{\lim }(\sec x-\tan x)$ .
解：这是未定式 $\infty -\infty$ 。因为
$$\sec x-\tan x=\frac{1-\sin x}{\cos x},$$
当 $x\to \frac{\pi }{2}$ 时，上式右端是未定式 $\frac{0}{0}$ ，应用洛必达法则，得
$$\underset{x\to \frac{\pi }{2}}{\lim }(\sec x-\tan x)=\underset{x\to \frac{\pi }{2}}{\lim }\frac{1-\sin x}{\cos x}=\underset{x\to \frac{\pi }{2}}{\lim }\frac{-\cos x}{-\sin x}=0.$$

例9 求 $\underset{x\to 0^{+}}{\lim }{x}^x$ .
解：这是未定式 $0^0$ 。设 $y=x^x$ ，两端取对数得
$$\ln y=x\ln x,$$
当 $x\to 0^{+}$ 时，上式右端是未定式 $0\cdot \infty$ ，应用例7的结果，得
$$\underset{x\to 0^{+}}{\lim }\ln y=\underset{x\to 0^{+}}{\lim }(x\ln x)=0,$$
因为 $y={\mathrm{e}}^{\ln y}$ ，而 $\lim y=\lim {\mathrm{e}}^{\ln y}={\mathrm{e}}^{\lim \ln y}(当x\to 0^{+})$ ，所以
$$\underset{x\to 0^{+}}{\lim }{x}^x=\underset{x\to 0^{+}}{\lim }y={\mathrm{e}}^0=1.$$

例10 求 $\underset{x\to 0}{\lim }\frac{\tan x-x}{x^2\sin x}$ .
解：如果直接用洛必达法则，那么分母的导数（尤其是高阶导数）较繁，如果做一个等价无穷小替换，那么运算就方便得多。
$$\underset{x\to 0}{\lim }\frac{\tan x-x}{x^2\sin x}=\underset{x\to 0}{\lim }\frac{\tan x-x}{x^3}=\underset{x\to 0}{\lim }\frac{{\sec }^{2}x-1}{3x^2}=\underset{x\to 0}{\lim }\frac{2{\sec }^{2}x\tan x}{6x}=\frac{1}{3}\underset{x\to 0}{\lim }\frac{\tan x}{x}=\frac{1}{3}.$$

当满足定理条件时，所求的极限当然存在（或为 $\infty$）$\lim \frac{f^{{}^{\prime }}(x)}{F^{{}^{\prime }}(x)}$ 不存在时（等于无穷大的情况除外），$\lim \frac{f(x)}{F(x)}$ 仍可能存在。

原文链接：高等数学 3.2 洛必达法则