洛必达法则求极限

洛必达法则

未定式：如果当 $x\to a(\text{或 }x\to \infty )$ 时两个函数 $f(x)$ 与 $F(x)$ 都趋于零或都趋于无穷大，那么极限 $$\begin{gathered} \underset{x\to a \\ (x\to \infty )}{\lim }\frac{f(x)}{F(x)} \end{gathered}$$ 可能存在、也可能不存在，通常把这种极限叫做 未定式 ，分别简记为 $\frac{0}{0}$ 或 $\frac{\infty }{\infty }$ 。

洛必达法则（L’Hôpital’s rule） 主要是以下两个定理：

定理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)}.$$

证明如下图：

定理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)}.$$

维基百科上对洛必达法则的描述为：

令实数 $c\in \bar{\mathbb{R}}$ ，函数 $f(x),g(x)$ 在以 $x=c$ 为端点的开区间可微 ， $\underset{x\to c}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}\in \bar{\mathbb{R}}$ ，且 $g^{\prime }(x)\ne 0$ ，如果 $\underset{x\to c}{\lim }f(x)=\underset{x\to c}{\lim }g(x)=0$ 或 $\underset{x\to c}{\lim }|f(x)|=\underset{x\to c}{\lim }|g(x)|=\infty$ 其中一者成立，则有：
$$\underset{x\to c}{\lim }\frac{f(x)}{g(x)}=\underset{x\to c}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}$$

洛必达法则应用

类型A： $\frac{\pm \infty }{\pm \infty }$

例题：

（1）求 $\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$

（2）求 $\underset{x\to +\infty }{\lim }\frac{x^n}{{\mathrm{e}}^{\lambda x}}(n\text{为正整数，}\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.$$

类型B1： $\infty -\infty$

例题：求 $\underset{x\to \frac{\pi }{2}}{\lim }(\sec x-\tan x).$

解：$\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$

类型B2： $0\cdot \pm \infty$

例题：求 $\underset{x\to 0^{+}}{\lim }{x}^n\ln x(n>0).$

解：
$$\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 }\frac{-x^n}{n}=0$$

类型C： $1^{\pm \infty },0^0,{\infty }^0$

例题：求 $\underset{x\to 0^{+}}{\lim }{x}^x.$

解：设 $y=x^x$ ，取对数得
$$\ln y=x\ln x$$
当 $x\to 0^{+}$ 时，上式右端是 $0\cdot \infty$ 型未定式
$$\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.$$

洛必达法则类型的总结

• 类型A 如果极限是分子式的形式，例如 $\underset{x\to a}{\lim }\frac{f(x)}{g(x)}$ ，应先检查是否为不定式。若为 $\frac{0}{0}$ 或 $\frac{\pm \infty }{\pm \infty }$ 型，则可以使用洛必达法则。

• 类型B1 如果是求差的极限，如 $\underset{x\to a}{\lim }(f(x)-g(x))$ ，可以通过通分或同时除以一个共轭表达式从而转化为类型A。

• 类型B2 如果极限是乘积的形式，如 $\underset{x\to a}{\lim }f(x)g(x)$ ，应选择两个表达式中较简单的一个取倒数把它移到分母（尽量不要选用对数作分母），就可以转化为 $\underset{x\to a}{\lim }\frac{g(x)}{1/f(x)}$ 。

• 类型C 如果极限为指数形式，且该指数的底和指数部分都含变量，如 $\underset{x\to a}{\lim }f(x{)}^{g(x)}$ ，应先对其取对数：
  $$\underset{x\to a}{\lim }\ln f(x{)}^{g(x)}=\underset{x\to a}{\lim }g(x)\ln f(x)$$
  这样就转化为类型 B2 或 A ，这时有：
  $$\underset{x\to a}{\lim }\ln f(x{)}^{g(x)}=L$$
  r然后两边取指数，可得：
  $$\underset{x\to a}{\lim }f(x{)}^{g(x)}={\mathrm{e}}^L$$

原文链接：洛必达法则求极限