数学分析：L‘Hospital 法则

数学分析笔记——总目录

L’Hospital 法则

函数极限中的待定型

\quad 接下来，我们只讨论如何使用 L’Hospital 法则处理 $\frac{0}{0}$ 型待定型以及 $\frac{\ast }{\infty }$ 型待定型。其他形式的待定型均可通过适当的变换转换为这两种形式。

\quad 事实上，在函数极限中，

• 自变量有 $6$ 种趋近方式： $x\to x_0$、$x\to x_0+$、$x\to x_0-$、$x\to \infty$、$x\to +\infty$ 以及 $x\to -\infty$ ；
• 因变量有 $4$ 种趋近方式：$f(x)\to A(A\in \mathbb{R})$、$f(x)\to \infty$、$f(x)\to +\infty$、$f(x)\to -\infty$；

再者，L’Hospital 法则分别处理以下两种形式：

1. $\frac{0}{0}$ 型待定型；
2. $\frac{\ast }{\infty }$ 型待定型。

如此一来，需要证明 $48$ 种不同的情形。

处理 $\frac{0}{0}$ 型的 L’Hospital 法则

---

定理 1（L’Hospital法则）：设函数 $f(x)$、$g(x)$ 在 $(x_0,x_0+\rho )$ 上可导（$\rho >0$），若满足：

1. $\underset{x\to x_0+}{\lim }f(x)=\underset{x\to x_0+}{\lim }g(x)=0$;
2. $g^{\prime }(x)\ne 0$；
3. $\underset{x\to x_0+}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A\text{为有限数，或}\pm \infty )$，

则
$$\underset{x\to x_0+}{\lim }\frac{f(x)}{g(x)}=\underset{x\to x_0+}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

---

证明：

\quad 由于趋于一点的极限与在该点处的函数值没有关系，因此可补充定义
$$f(x_0)=g(x_0)=0.$$
此时，$f(x)$、$g(x)$ 均在点 $x_0$ 右连续。

\quad 任取 $x\in (x_0,x_0+\rho )$，则在区间 $[x_0,x]$ 上应用 Cauchy中值定理，存在 $\xi \in (x_0,x)$，使得
$$\frac{f(x)}{g(x)}=\frac{f(x)-0}{g(x)-0}=\frac{f(x)-f(x_0)}{g(x)-g(x_0)}=\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}.$$
\quad 当 $x\to x_0+$ 时，显然有 $\xi \to x_0+$，于是
$$\underset{x\to x_0-}{\lim }\frac{f(x)}{g(x)}=\underset{\xi \to x_0+}{\lim }\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}\stackrel{\xi \text{换符号}x}{=}\underset{x\to x_0+}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$
\quad 该证明适用 $A$ 为有限数、$\pm \infty$ 的所有情形。综上，定理得证。

证毕

定理 2（L’Hospital法则）：设函数 $f(x)$、$g(x)$ 在 $(x_0-\rho ,x_0)$ 上可导（$\rho >0$），若满足：

1. $\underset{x\to x_0-}{\lim }f(x)=\underset{x\to x_0-}{\lim }g(x)=0$;
2. $g^{\prime }(x)\ne 0$；
3. $\underset{x\to x_0-}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A\text{为有限数，或}\pm \infty )$，

则
$$\underset{x\to x_0-}{\lim }\frac{f(x)}{g(x)}=\underset{x\to x_0-}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

---

证明：

\quad ​与 定理 1 的证明方式完全相同。由于函数趋于一点的极限与在该点处的函数值没有关系，因此可补充定义
$$f(x_0)=g(x_0)=0.$$
此时，$f(x)$、$g(x)$ 均在点 $x_0$ 右连续。

\quad 任取 $x\in (x_0-\rho ,x_0)$，则在区间 $[x,x_0]$ 上应用 Cauchy中值定理，存在 $\xi \in (x,x_0)$，使得
$$\frac{f(x)}{g(x)}=\frac{f(x)-0}{g(x)-0}=\frac{f(x)-f(x_0)}{g(x)-g(x_0)}=\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}.$$
\quad 当 $x\to x_0-$ 时，显然有 $\xi \to x_0-$，于是
$$\underset{x\to x_0-}{\lim }\frac{f(x)}{g(x)}=\underset{\xi \to x_0-}{\lim }\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}\stackrel{\xi \text{换符号}x}{=}\underset{x\to x_0-}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

证毕

\quad 作为 定理 1，定理 2 的综合，有下面 定理 3。

---

定理 3（L’Hospital法则）：设函数 $f(x)$、$g(x)$ 在点 $x_0$ 的某个邻域 $O(x_0,\rho )$ 上可导（$\rho >0$），若满足：

1. $\underset{x\to x_0}{\lim }f(x)=\underset{x\to x_0}{\lim }g(x)=0$;
2. $g^{\prime }(x)\ne 0$；
3. $\underset{x\to x_0}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A\text{为有限数，或}\pm \infty )$，

则
$$\underset{x\to x_0}{\lim }\frac{f(x)}{g(x)}=\underset{x\to x_0}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

---

证明：

\quad 由于函数趋于一点的极限与在该点处的函数值没有关系，因此可补充定义
$$f(x_0)=g(x_0)=0.$$
此时，$f(x)$、$g(x)$ 均在点 $x_0$ 右连续。

\quad 任取 $x\in O(x_0,\rho )$，则在区间 $[x,x_0]$ （或 $[x_0,x]$）上应用 Cauchy中值定理，存在 $\xi \in (x,x_0)$，使得
$$\frac{f(x)}{g(x)}=\frac{f(x)-0}{g(x)-0}=\frac{f(x)-f(x_0)}{g(x)-g(x_0)}=\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}.$$
\quad 当 $x\to x_0$ 时，显然有 $\xi \to x_0$，于是
$$\underset{x\to x_0}{\lim }\frac{f(x)}{g(x)}=\underset{\xi \to x_0}{\lim }\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}\stackrel{\xi \text{换符号}x}{=}\underset{x\to x_0}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

证毕

---

定理 4（L’Hospital）：设函数 $f(a)$、$g(x)$ 在 $[a,+\infty )$ 上可导，若满足：

1. $\underset{x\to +\infty }{\lim }f(x)=\underset{x\to +\infty }{\lim }g(x)=0$；
2. $g^{\prime }(x)\ne 0$；
3. $\underset{x\to +\infty }{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A\text{为有限数，或}\pm \infty )$，

则
$$\underset{x\to +\infty }{\lim }\frac{f(x)}{g(x)}=\underset{x\to +\infty }{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

---

证明：

\quad 令 $x=\frac{1}{t}$，则 $F(t)=f(x)=f(\frac{1}{t})$，$G(t)=g(x)=g(\frac{1}{t})$， 当 $x\to +\infty$ 时，$t\to 0+$。

\quad 此时，定理条件变为
$$\underset{t\to 0+}{\lim }F(t)=\underset{t\to 0+}{\lim }G(t)=0,F^{\prime }(t)=-\frac{1}{t^2}\cdot f^{\prime }(\frac{1}{t}),G^{\prime }(t)=-\frac{1}{t^2}\cdot g^{\prime }(\frac{1}{t})\ne 0,$$
以及
$$\underset{t\to 0+}{\lim }\frac{F^{\prime }(t)}{G^{\prime }(t)}=\underset{t\to 0+}{\lim }\frac{-\frac{1}{t^2}\cdot f^{\prime }(\frac{1}{t})}{-\frac{1}{t^2}\cdot g^{\prime }(\frac{1}{t})}=A(A为有限数，或\pm \infty ).$$
于是，由 定理1 知，
$$\underset{x\to +\infty }{\lim }\frac{f(x)}{g(x)}=\underset{t\to 0+}{\lim }\frac{F(t)}{G(t)}=A.$$

证毕

证毕

---

定理 5（L’Hospital）：设函数 $f(a)$、$g(x)$ 在 $(-\infty ,a]$ 上可导，若满足：

1. $\underset{x\to -\infty }{\lim }f(x)=\underset{x\to -\infty }{\lim }g(x)=0$；
2. $g^{\prime }(x)\ne 0$；
3. $\underset{x\to -\infty }{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A\text{为有限数，或}\pm \infty )$，

则
$$\underset{x\to -\infty }{\lim }\frac{f(x)}{g(x)}=\underset{x\to -\infty }{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

---

证明：

\quad 令 $x=\frac{1}{t}$，则 $F(t)=f(x)=f(\frac{1}{t})$，$G(t)=g(x)=g(\frac{1}{t})$， 当 $x\to -\infty$ 时，$t\to 0-$。此时，定理条件变为
$$\underset{t\to 0-}{\lim }F(t)=\underset{t\to 0-}{\lim }G(t)=0,F^{\prime }(t)=-\frac{1}{t^2}\cdot f^{\prime }(\frac{1}{t}),G^{\prime }(t)=-\frac{1}{t^2}\cdot g^{\prime }(\frac{1}{t})\ne 0,$$
以及
$$\underset{t\to 0-}{\lim }\frac{F^{\prime }(t)}{G^{\prime }(t)}=\underset{t\to 0-}{\lim }\frac{-\frac{1}{t^2}\cdot f^{\prime }(\frac{1}{t})}{-\frac{1}{t^2}\cdot g^{\prime }(\frac{1}{t})}=A(A为有限数，或\pm \infty ).$$
于是，由 定理2 知，
$$\underset{x\to -\infty }{\lim }\frac{f(x)}{g(x)}=\underset{t\to 0-}{\lim }\frac{F(t)}{G(t)}=A.$$

证毕

\quad 作为 定理 4 与 定理 5 的综合，有下面的 定理 6。

---

定理 6（L’Hospital）：设函数 $f(a)$、$g(x)$ 在 $(-\infty ,+\infty )$ 上可导，若满足：

1. $\underset{x\to \infty }{\lim }f(x)=\underset{x\to \infty }{\lim }g(x)=0$；
2. $g^{\prime }(x)\ne 0$；
3. $\underset{x\to \infty }{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A\text{为有限数，或}\pm \infty )$，

则
$$\underset{x\to \infty }{\lim }\frac{f(x)}{g(x)}=\underset{x\to \infty }{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

---

处理 $\frac{\ast }{\infty }$ 型的L’Hospital 法则

---

定理 7（L’Hospital）：设函数 $f(x)$、$g(x)$ 在 $(x_0,x_0+\rho )$ 上可导（$\rho >0$），若满足：

1. $\underset{x\to x_0+}{\lim }g(x)=\infty$;
2. $g^{\prime }(x)\ne 0$；
3. $\underset{x\to x_0+}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A\text{为有限数，或}\pm \infty )$，

则
$$\underset{x\to x_0+}{\lim }\frac{f(x)}{g(x)}=\underset{x\to x_0+}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

---

证明：

\quad 当 $-\infty <A<+\infty$ 时，由于 $\underset{x\to x_0+}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A$，所以对于任意给定的 $ϵ>0$，存在 $d_1$（$0<d_1<\rho$），当 $0<x-x_0<d_1$ 时，成立
$$\left|\frac{f^{\prime }(x)}{g^{\prime }(x)}-A\right|<ϵ.$$
令 $a=x_0+d_1$，任取 $x\in (x_0,a]$，在 $[x,a]$ 上使用 Cauchy 中值定理，存在 $\xi \in (x,a)$，使得
$$\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )},$$
于是得到
$$\left|\frac{f(x)-f(a)}{g(x)-g(a)}-A\right|=\left|\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}-A\right|<ϵ.$$
\quad 此外，对于 $\forall x\in (x,a)$，成立
$$\frac{f(x)}{g(x)}=\frac{f(x)-f(a)}{g(x)}+\frac{g(a)}{g(x)}=\frac{g(x)-g(a)}{g(x)}\cdot \frac{f(x)-f(a)}{g(x)-g(a)}+\frac{f(a)}{g(x)}.$$
于是，
$$\begin{array}{rl}\left|\frac{f(x)}{g(x)}-A\right|& =\left|\frac{g(x)-g(a)}{g(x)}\cdot \frac{f(x)-f(a)}{g(x)-g(a)}+\frac{f(a)}{g(x)}-A\right|\\ & =\left|\left(1-\frac{g(a)}{g(x)}\right)\cdot \left(\frac{f(x)-f(a)}{g(x)-g(a)}-A\right)+\frac{f(a)-A\cdot g(a)}{g(x)}\right|\\ & \le \left|1-\frac{g(a)}{g(x)}\right|\cdot \left|\frac{f(x)-f(a)}{g(x)-g(a)}-A\right|+\left|\frac{f(a)-A\cdot g(a)}{g(x)}\right|.\end{array}$$
由于 $\underset{x\to x_0+}{\lim }g(x)=\infty$，所以存在 $d_2$（$0<d_2<d_1$），使得当 $0<x-x_0<d_2$ 时，成立
$$\left|1-\frac{g(a)}{g(x)}\right|<2,\left|\frac{f(x)-A\cdot g(a)}{g(x)}\right|<ϵ.$$
\quad 综上所述，对于任意给定的 $ϵ>0$，存在 $d_2>0$，当 $0<x-x_0<d_2$ 时，成立
$$\left|\frac{f(x)}{g(x)}-A\right|\le \left|1-\frac{g(a)}{g(x)}\right|\cdot \left|\frac{f(x)-f(a)}{g(x)-g(a)}-A\right|+\left|\frac{f(a)-A\cdot g(a)}{g(x)}\right|<2ϵ+ϵ=3ϵ.$$
由定义，即得
$$\underset{x\to x_0+}{\lim }\frac{f(x)}{g(x)}=\underset{x\to x_0+}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$
\quad 当 $A=+\infty$ 时，由于 $\underset{x\to x_0+}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=+\infty$，所以对于任意给定的 $G>0$，存在 $d_3$（$0<d_3<\rho$），使得当 $0<x-x_0<d_3$ 时，成立
$$\frac{f^{\prime }(x)}{g^{\prime }(x)}>G.$$
令 $a=x_0+d_3$，任取 $x\in (x_0,a]$，在 $[x,a]$ 上使用 Cauchy 中值定理，存在 $\xi \in (x,a)$，使得
$$\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}>G.$$
由于 $\underset{x\to x_0+}{\lim }g(x)=\infty$，所以存在 $d_4$（$0<d_4<d_3$），使得当 $0<x-x_0<d_4$ 时，成立
$$\left(1-\frac{g(a)}{g(x)}\right)\cdot \frac{f(x)-f(a)}{g(x)-g(a)}>\frac{1}{2}\cdot G.$$
即
$$\underset{x\to x_0+}{\lim }\left[\frac{g(x)-g(a)}{g(x)}\cdot \frac{f(x)-f(a)}{g(x)-g(a)}\right]=+\infty .$$
于是
$$\begin{array}{rl}\underset{x\to x_0+}{\lim }\frac{f(x)}{g(x)}& =\underset{x\to x_0+}{\lim }\left[\frac{g(x)-g(a)}{g(x)}\cdot \frac{f(x)-f(a)}{g(x)-g(a)}+\frac{f(a)}{g(x)}\right]\\ & =\underset{x\to x_0+}{\lim }\left[\frac{g(x)-g(a)}{g(x)}\cdot \frac{f(x)-f(a)}{g(x)-g(a)}\right]+\underset{x\to x_0+}{\lim }\frac{f(a)}{g(x)}\\ & =(+\infty )+0=+\infty .\end{array}$$
当 $A=-\infty$ 时，由于 $\underset{x\to x_0+}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=-\infty$，所以对于任意给定的 $G>0$，存在 $d_5$（$0<d_5<\rho$），使得当 $0<x-x_0<d_5$ 时，成立
$$\frac{f^{\prime }(x)}{g^{\prime }(x)}<-G.$$
令 $a=x_0+d_5$，任取 $x\in (x_0,a]$，在 $[x,a]$ 上使用 Cauchy 中值定理，存在 $\xi \in (x,a)$，使得
$$\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}<-G.$$
由于 $\underset{x\to x_0+}{\lim }g(x)=\infty$，所以存在 $d_6$（$0<d_6<d_5$），使得当 $0<x-x_0<d_6$ 时，成立
$$\left(1-\frac{g(a)}{g(x)}\right)\cdot \frac{f(x)-f(a)}{g(x)-g(a)}<(-2)\cdot G.$$
即
$$\underset{x\to x_0+}{\lim }\left[\frac{g(x)-g(a)}{g(x)}\cdot \frac{f(x)-f(a)}{g(x)-g(a)}\right]=-\infty .$$
于是
$$\begin{array}{rl}\underset{x\to x_0+}{\lim }\frac{f(x)}{g(x)}& =\underset{x\to x_0+}{\lim }\left[\frac{g(x)-g(a)}{g(x)}\cdot \frac{f(x)-f(a)}{g(x)-g(a)}+\frac{f(a)}{g(x)}\right]\\ & =\underset{x\to x_0+}{\lim }\left[\frac{g(x)-g(a)}{g(x)}\cdot \frac{f(x)-f(a)}{g(x)-g(a)}\right]+\underset{x\to x_0+}{\lim }\frac{f(a)}{g(x)}\\ & =(-\infty )+0=-\infty .\end{array}$$

证毕

类似于前面的讨论。有以下定理

---

定理 8（L’Hospital）：设函数 $f(x)$、$g(x)$ 在 $(x_0-\rho ,x_0)$ 上可导（$\rho >0$），若满足：

1. $\underset{x\to x_0-}{\lim }g(x)=\infty$;
2. $g^{\prime }(x)\ne 0$；
3. $\underset{x\to x_0-}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A\text{为有限数，或}\pm \infty )$，

则
$$\underset{x\to x_0-}{\lim }\frac{f(x)}{g(x)}=\underset{x\to x_0-}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

---

---

定理 9（L’Hospital）：设函数 $f(x)$、$g(x)$ 在点 $x_0$的某个邻域 $O(x_0,\rho )$ 上可导（$\rho >0$），若满足：

1. $\underset{x\to x_0}{\lim }g(x)=\infty$;
2. $g^{\prime }(x)\ne 0$；
3. $\underset{x\to x_0}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A\text{为有限数，或}\pm \infty )$，

则
$$\underset{x\to x_0}{\lim }\frac{f(x)}{g(x)}=\underset{x\to x_0}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

---

---

定理 10（L’Hospital）：设函数 $f(a)$、$g(x)$ 在 $[a,+\infty )$ 上可导，若满足：

1. $\underset{x\to +\infty }{\lim }g(x)=\infty$;
2. $g^{\prime }(x)\ne 0$；
3. $\underset{x\to +\infty }{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A\text{为有限数，或}\pm \infty )$，

则
$$\underset{x\to +\infty }{\lim }\frac{f(x)}{g(x)}=\underset{x\to +\infty }{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

---

---

定理 11（L’Hospital）：设函数 $f(a)$、$g(x)$ 在 $(-\infty ,a]$ 上可导，若满足：

1. $\underset{x\to -\infty }{\lim }g(x)=\infty$;
2. $g^{\prime }(x)\ne 0$；
3. $\underset{x\to -\infty }{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A\text{为有限数，或}\pm \infty )$，

则
$$\underset{x\to -\infty }{\lim }\frac{f(x)}{g(x)}=\underset{x\to -\infty }{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

---

---

定理 12（L’Hospital）：设函数 $f(a)$、$g(x)$ 在 $(-\infty ,+\infty )$ 上可导，若满足：

1. $\underset{x\to \infty }{\lim }g(x)=\infty$;
2. $g^{\prime }(x)\ne 0$；
3. $\underset{x\to \infty }{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A(A\text{为有限数，或}\pm \infty )$，

则
$$\underset{x\to \infty }{\lim }\frac{f(x)}{g(x)}=\underset{x\to \infty }{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)}=A.$$

---

参考文献

[1] 陈纪修，于崇华，金路著. 数学分析 上册. 第2版. 北京：高等教育出版社, 2004.06.
[2] 华东师范大学数学系编. 数学分析 上册. 第4版. 北京：高等教育出版社, 2010.07.
[3] 谢惠民，恢自求，易法槐等. 数学分析习题课讲义 上册. 北京：高等教育出版社. 2003.7.10.
[4] 常庚哲，史济怀. 数学分析教程 上册. 第3版. 合肥：中国科学技术大学出版社. 2012.8.
[5] B. A. 卓里奇. 数学分析 第一卷. 第7版. 北京：高等教育出版社.2019.2.