洛必达法则 (L'Hôpital's Rule)

洛必达法则 (L'Hôpital's Rule)

洛必达法则是微积分中用于计算极限的核心工具，专门处理未定式（indeterminate form）。该法则将两个函数比值的极限，在特定条件下转化为它们各自导数的比值的极限，从而化繁为简。

未定式

极限计算中，代入极限点后若得到以下形式之一，称为未定式：

洛必达法则直接处理 $\frac{0}{0}$ 型和 $\frac{\infty}{\infty}$ 型，其余类型可通过代数变换转化为这两种基本形式。

法则陈述

设 $f(x)$ 和 $g(x)$ 在 $x = a$（或 $x \to \pm\infty$）的某去心邻域内可导，且 $g'(x) \neq 0$。若

且 $\displaystyle \lim_{x \to a} \frac{f'(x)}{g'(x)}$ 存在（或为无穷大），则

这里 $a$ 可以是有限实数或 $\pm\infty$。

直观理解

几何直觉来自线性近似思想：当 $x$ 趋近于 $a$ 时，$f(x)$ 和 $g(x)$ 可用各自在 $a$ 处的切线近似。由于 $f(a)=g(a)=0$，有 $f(x) \approx f'(a)(x-a)$，$g(x) \approx g'(a)(x-a)$，故比值近似为 $f'(a)/g'(a)$。更严格的分析证明依赖柯西中值定理：存在 $\xi \in (a,x)$ 使得 $\frac{f(x)-f(a)}{g(x)-g(a)} = \frac{f'(\xi)}{g'(\xi)}$，当 $x \to a$ 时 $\xi \to a$，从而导出法则。

经典例子

例1： $\displaystyle \lim_{x \to 0} \frac{\sin x}{x} = \lim_{x \to 0} \frac{\cos x}{1} = 1$。（注意：此极限可能隐含循环论证。）

例2： $\displaystyle \lim_{x \to \infty} \frac{e^x}{x^2}$ 为 $\frac{\infty}{\infty}$ 型。两次使用洛必达得 $\infty$，说明指数函数增长远超多项式。

例3（$0 \cdot \infty$ 型）： $\displaystyle \lim_{x \to 0^+} x \ln x = \lim_{x \to 0^+} \frac{\ln x}{1/x} = \lim_{x \to 0^+} (-x) = 0$。

例4（$1^\infty$ 型）： $\displaystyle \lim_{x \to 0^+} (1+x)^{1/x}$。取对数后洛必达得 $1$，故原极限为 $e$。

使用注意事项

1. 必须确认是 $\frac{0}{0}$ 或 $\frac{\infty}{\infty}$ 型，否则结果错误。例如 $\lim_{x \to 0} \frac{x+1}{x+2} = \frac{1}{2}$，若滥用洛必达得 $1$，结果错误。
2. 若 $\lim f'/g'$ 不存在（如振荡），不能断言原极限不存在。例如 $\lim_{x \to \infty} \frac{x+\sin x}{x} = 1$，但 $\frac{1+\cos x}{1}$ 的极限不存在。
3. 避免循环论证：求 $\lim_{x\to 0} \sin x / x$ 时使用洛必达需要事先知道 $\sin x$ 的导数，而该导数公式的证明又依赖此极限。
4. 在极限点的去心邻域内，分母导数不能为零。

历史背景

该法则以法国数学家纪尧姆·德·洛必达命名，但实际由瑞士数学家约翰·伯努利发现。1694年伯努利与洛必达成协议：伯努利提供数学发现，洛必达支付报酬。1696年洛必达出版首部微积分教科书《无穷小分析》，其中收录此法则。伯努利在洛必达去世后才公开主张发现权。

推广

在实分析中，Stolz–Cesàro 定理是洛必达法则在序列极限上的离散类比。洛必达法则的核心思想——通过比较变化率来比较函数值——是分析学中反复出现的主题。