微积分/洛必达法则

洛必达法则

偶尔，我们会遇到一个极限，其结果为${\frac {0}{0}}$ 或 ${\frac {\infty }{\infty }}$，这些被称为不定型极限。但是，仍然可以使用洛必达法则来解决这些问题。此规则对于解释如何推导出其他极限至关重要。

定义：不定型极限

如果${\frac {f(a)}{g(a)}}$存在，其中$\lim _{x\to a}f(x)=\lim _{x\to a}g(x)=0$ 或 $\lim _{x\to a}f(x)=\lim _{x\to a}g(x)=\infty$，则极限$\lim _{x\to a}{\frac {f(x)}{g(x)}}$被称为不定型。

以下所有表达式都是不定型。

${\frac {0}{0}},{\frac {\pm \infty }{\pm \infty }},\infty -\infty ,0\cdot \infty ,0^{0},\infty ^{0},1^{\infty }$

这些表达式被称为不定型，因为在不定型中无法确定其确切值。根据具体情况，每个不定型可以计算出各种不同的值。

定理

如果$\lim _{x\to a}{\frac {f(x)}{g(x)}}$是不定型，其类型为${\frac {0}{0}}$ 或 ${\frac {\pm \infty }{\pm \infty }}$，

然后 $\lim _{x\to a}{\frac {f(x)}{g(x)}}=\lim _{x\to a}{\frac {f'(x)}{g'(x)}}$，其中 $a\in {\overline {\mathbb {R} }}$。

换句话说，如果函数的极限是不定型的，则该极限等于分子导数除以分母导数。如果这个结果也是不定型的，则可以再次使用洛必达法则，直到极限不再是 ${\frac {0}{0}}$ 或 ${\frac {\infty }{\infty }}$。

0/0 情况的证明

假设对于实函数 $f$ 和 $g$，$\lim _{x\to a}f(x)=\lim _{x\to a}g(x)=0$ 并且 $\lim _{x\to a}{\frac {f'(x)}{g'(x)}}$ 存在。因此 $f'(x)$ 和 $g'(x)$ 在围绕 $a$ 的区间 $(a-\delta ,a+\delta )$ 内存在，但可能在 $a$ 本身不存在。因此，对于任何 $x\in (a-\delta ,a+\delta )$，在任何区间 $[x,a]$ 或 $[a,x]$ 中，$f$ 和 $g$ 是连续且可微的，除了可能在 $a$ 本身。定义

${\begin{array}{l}F(x)={\begin{cases}f(x)&x\neq a\\\lim \limits _{x\to a}f(x)&x=a\end{cases}}\\G(x)={\begin{cases}g(x)&x\neq a\\\lim \limits _{x\to a}g(x)&x=a\end{cases}}\end{array}}$

请注意，$\lim _{x\to a}{\frac {f(x)}{g(x)}}=\lim _{x\to a}{\frac {F(x)}{G(x)}}$，$\lim _{x\to a}{\frac {f'(x)}{g'(x)}}=\lim _{x\to a}{\frac {F'(x)}{G'(x)}}$，并且$F,G$在任何区间$[a,x]$或$[x,a]$上连续，并在任何区间$(a,x)$或$(x,a)$上可导，当$x\in (a-\delta ,a+\delta )$。

柯西中值定理（参见3.9）告诉我们，对于某个$c\in (a,x)$ 或 $c\in (x,a)$，有${\frac {F(x)-F(a)}{G(x)-G(a)}}={\frac {F'(c)}{G'(c)}}$。由于$F(a)=G(a)=0$，我们有${\frac {F(x)}{G(x)}}={\frac {F'(c)}{G'(c)}}$，对于$x,c\in (a-\delta ,a+\delta )$。

由于$c\in (x,a)$ 或 $c\in (a,x)$，根据夹逼定理

$\lim _{x\to a}x=a\quad \Rightarrow \quad \lim _{x\to a}c=a$

这意味着

$\lim _{x\to a}{\frac {F'(c)}{G'(c)}}=\lim _{x\to a}{\frac {F'(x)}{G'(x)}}$

因此，当$x\to a$时，对最后一个等式取极限得到$\lim _{x\to a}{\frac {F(x)}{G(x)}}=\lim _{x\to a}{\frac {F'(x)}{G'(x)}}$，这等价于更常用的形式$\lim _{x\to a}{\frac {f(x)}{g(x)}}=\lim _{x\to a}{\frac {f'(x)}{g'(x)}}$。

示例

示例 1

求 $\lim _{x\to 0}{\frac {\sin(x)}{x}}$

当 x 等于 0 时，结果为 ${\frac {0}{0}}$，使用洛必达法则对分子和分母求导，得到

$\lim _{x\to 0}{\frac {{\frac {d}{dx}}\left(\sin(x)\right)}{{\frac {d}{dx}}(x)}}=\lim _{x\to 0}{\frac {\cos(x)}{1}}$

当 x 等于 0 时，结果为 1。需要注意的是，**用洛必达法则证明这个极限在逻辑上是不正确的**，因为证明正弦函数的导数存在需要用到这个极限：这将是一种循环论证。另一种证明这个极限等于 1 的方法是使用夹逼定理。

示例 2

求 $\lim _{x\to 0}x\cot(x)$

首先，你需要将函数改写成不确定型的极限分数

$\lim _{x\to 0}{\frac {x}{\tan(x)}}$

现在它是不确定的。对分子和分母求导

$\lim _{x\to 0}{\frac {1}{\sec ^{2}(x)}}$

再次将 0 代入 $x$ 得到 1。

示例 3

求 $\lim _{x\to \infty }{\frac {4x+22}{5x+9}}$

这次，将 $\infty$ 代入 x 得到 ${\frac {\infty }{\infty }}$。所以使用洛必达法则得到

$\lim _{x\to \infty }{\frac {4}{5}}$

因此，${\frac {4}{5}}$ 是答案。

示例 4

求解 $\lim _{x\to \infty }\left(1+{\frac {1}{x}}\right)^{x}$

将x的值代入极限得到

$\lim _{x\to \infty }\left(1+{\frac {1}{x}}\right)^{x}=1^{\infty }$（不定式）。

令 $k=\lim _{x\to \infty }\left(1+{\frac {1}{x}}\right)^{x}=1^{\infty }$

$\ln(k)$	$=\lim _{x\to \infty }\ln \left(1+{\frac {1}{x}}\right)^{x}$
	$=\lim _{x\to \infty }x\ln \left(1+{\frac {1}{x}}\right)$
	$=\lim _{x\to \infty }{\frac {\ln \left(1+{\frac {1}{x}}\right)}{\frac {1}{x}}}={\frac {\ln(1)}{\frac {1}{x}}}={\frac {0}{0}}$

现在我们对分子和分母分别关于$x$求导，应用洛必达法则。

$\ln(k)=\lim _{x\to \infty }{\frac {\ln \left(1+{\frac {1}{x}}\right)}{\frac {1}{x}}}=\lim _{x\to \infty }{\frac {{\frac {d}{dx}}\left[\ln \left(1+{\frac {1}{x}}\right)\right]}{{\frac {d}{dx}}\left({\frac {1}{x}}\right)}}=\lim _{x\to \infty }{\frac {x}{x+1}}$

因为

$\lim _{x\to \infty }{\frac {x}{x+1}}={\frac {\infty }{\infty }}$

我们再次应用洛必达法则

$\ln(k)=\lim _{x\to \infty }{\frac {x}{x+1}}=\lim _{x\to \infty }{\frac {1}{1}}=1$

因此

$k=e$

并且

$\lim _{x\to \infty }\left(1+{\frac {1}{x}}\right)^{x}=e$

类似地，这个极限也产生相同的结果

$\lim _{x\to \infty }\left(1+x\right)^{\frac {1}{x}}=e$

注意

这并不能证明$1^{\infty }=e$，因为使用相同的方法，

$\lim _{x\to \infty }\left(1+{\frac {2}{x}}\right)^{x}=1^{\infty }=e^{2}$

练习

使用洛必达法则计算以下极限

1. $\lim _{x\to 0}{\frac {x+\tan(x)}{\sin(x)}}$

2. $\lim _{x\to \pi }{\frac {x-\pi }{\sin(x)}}$

3. $\lim _{x\to 0}{\frac {\sin(3x)}{\sin(4x)}}$

4. $\lim _{x\to \infty }{\frac {x^{5}}{e^{5x}}}$

5. $\lim _{x\to 0}{\frac {\tan(x)-x}{\sin(x)-x}}$