洛必达法则

在微积分中，求解极限时最常遇到的困难就是“未定式”。洛必达法则（L’Hôpital’s Rule）正是专门用来解决这类未定式极限的高效工具。

它的核心原理非常直观：当两个函数同时趋近于 $0$ 或 $\infty$ 时，它们极限的比值，等于它们变化速率（导数）的比值。

未定式与定式

在求极限时，将极限点直接代入表达式后，主要会出现以下两类情况：

定式（Deterministic Form）：可以直接通过代入或基本运算法则确定极限结果的形态。

• 常见形态：$\frac{A}{B}$（$B \neq 0$）、$\frac{0}{C} = 0$（$C \neq 0$）、$\frac{C}{0} = \infty$（$C \neq 0$）、$\frac{C}{\infty} = 0$、$\infty + \infty = \infty$ 等。
• 处理方式：直接得出结果，绝对不能使用洛必达法则。

未定式（Indeterminate Form）：因两种相反的趋向互相“拉扯”，无法根据代入结果直接判断极限是否存在或具体是多少的形态。

• 常见形态：$\frac{0}{0}$（两个无穷小比值，结果取决于谁趋近得更快）、$\frac{\infty}{\infty}$、$0 \cdot \infty$、$\infty - \infty$、$1^\infty$、$0^0$、$\infty^0$。
• 处理方式：必须借助洛必达法则、等价无穷小或泰勒公式等工具进行化简计算。

洛必达法则的基本公式与使用条件

假设当 $x \to a$（$a$ 可以是常数，也可以是 $\pm\infty$）时，$\frac{f(x)}{g(x)}$ 满足以下两个基本条件：

1. 必须是标准未定式：$\frac{0}{0}$ 型 或 $\frac{\infty}{\infty}$ 型。
2. 导数条件：在 $a$ 的去心邻域内，$f(x)$ 与 $g(x)$ 均可导，且分母导数 $g'(x) \neq 0$。

在 $\lim_{x \to a} \frac{f'(x)}{g'(x)}$ 存在（或为 $\infty$）时，成立：$\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)}$

三大避坑原则：

• 非未定式绝不能用：如果代入后是定式（如 $\frac{0}{1}$ 或 $\frac{1}{0}$），直接代入算值，套用洛必达法则必然得出错误答案。
• 不要搞错求导法则：洛必达法则是“分子求导除以分母求导” $\left( \frac{f'}{g'} \right)$，绝对不是商的求导法则 $\left[ \left( \frac{f}{g} \right)' \right]$。
• 每次使用前重新检验：连续使用洛必达法则时，每一次求导后都必须重新确认是否仍为 $\frac{0}{0}$ 或 $\frac{\infty}{\infty}$。

5 类“非标准未定式”的转化策略

$0 \cdot \infty$ 型（乘积型）

转化方法：倒数下沉。将求导后形式较复杂的函数（如 $\ln x$）留在分子，把另一个变成倒数放到分母（$A \cdot B = \frac{A}{1/B}$）。

例题：求 $\lim_{x \to 0^+} x \ln x$

1. 识别类型：$x \to 0$（趋近 $0$），$\ln x \to -\infty$，属 $0 \cdot \infty$ 型未定式。

2. 倒数下沉：将 $x$ 沉到分母变为 $\frac{1}{x}$：

   $\lim_{x \to 0^+} \frac{\ln x}{\frac{1}{x}} \quad \left(\text{转化为 } \frac{\infty}{\infty} \text{ 标准型}\right)$

3. 使用洛必达法则：

   $= \lim_{x \to 0^+} \frac{(\ln x)'}{\left(\frac{1}{x}\right)'} = \lim_{x \to 0^+} \frac{\frac{1}{x}}{-\frac{1}{x^2}} = \lim_{x \to 0^+} (-x) = 0$

$\infty - \infty$ 型（差值型）

转化方法：通分合并 或 提公因式。

例题：求 $\lim_{x \to 0} \left( \frac{1}{x} - \frac{1}{\sin x} \right)$

1. 识别类型：$\frac{1}{0} - \frac{1}{0} \to \infty - \infty$ 型未定式。

2. 通分化简：

   $\lim_{x \to 0} \frac{\sin x - x}{x \sin x} \quad \left(\text{转化为 } \frac{0}{0} \text{ 标准型}\right)$

3. 化简与求导：利用等价无穷小（$x \to 0$ 时 $\sin x \sim x$），将分母替换为 $x^2$：

   $= \lim_{x \to 0} \frac{\sin x - x}{x^2} \xrightarrow{\text{洛必达}} \lim_{x \to 0} \frac{\cos x - 1}{2x} \xrightarrow{\text{二次洛必达}} \lim_{x \to 0} \frac{-\sin x}{2} = 0$

$1^\infty$ 型（幂指型）

转化方法：取自然对数 $e^{\ln y}$。将底数和指数拉平为乘积 $g(x) \cdot \ln f(x)$，将问题转化为指数位置上的 $0 \cdot \infty$ 型极限。

例题：求 $\lim_{x \to 0} (1 + x)^{\frac{1}{x}}$

1. 识别类型：底数 $1+x \to 1$，指数 $\frac{1}{x} \to \infty$，属 $1^\infty$ 型未定式。

2. 指数转化：原式可化为 $e^L$，其中指数部分 $L$ 的极限为：

   $L = \lim_{x \to 0} \ln \left( (1 + x)^{\frac{1}{x}} \right) = \lim_{x \to 0} \frac{\ln(1 + x)}{x} \quad \left(\text{转化为 } \frac{0}{0} \text{ 标准型}\right)$

3. 求 $L$ 并代回：

   $L \xrightarrow{\text{洛必达}} \lim_{x \to 0} \frac{\frac{1}{1 + x}}{1} = 1 \implies \text{原极限} = e^L = e^1 = e$

$0^0$ 型（幂指型）

转化方法：利用指数恒等式 $f(x)^{g(x)} = e^{g(x) \ln f(x)}$。

例题：求 $\lim_{x \to 0^+} x^x$

1. 识别类型：底数 $0$，指数 $0$，属 $0^0$ 型未定式。

2. 计算指数极限：设原式为 $e^L$，其中：

   $L = \lim_{x \to 0^+} \ln(x^x) = \lim_{x \to 0^+} x \ln x$

3. 套用 $0 \cdot \infty$ 结论（见例 1）：

   $L = \lim_{x \to 0^+} \frac{\ln x}{\frac{1}{x}} \xrightarrow{\text{洛必达}} 0 \implies \text{原极限} = e^0 = 1$

$\infty^0$ 型（幂指型）

转化方法：利用 $e^{g(x) \ln f(x)}$ 转化为指数上的 $\frac{\ln f(x)}{1/g(x)}$。

例题：求 $\lim_{x \to +\infty} x^{\frac{1}{x}}$

1. 识别类型：底数 $\infty$，指数 $0$，属 $\infty^0$ 型未定式。

2. 计算指数极限：设原式为 $e^L$，其中：

   $L = \lim_{x \to +\infty} \ln \left( x^{\frac{1}{x}} \right) = \lim_{x \to +\infty} \frac{\ln x}{x} \quad \left(\text{转化为 } \frac{\infty}{\infty} \text{ 标准型}\right)$

3. 使用洛必达法则：

   $L \xrightarrow{\text{洛必达}} \lim_{x \to +\infty} \frac{\frac{1}{x}}{1} = 0 \implies \text{原极限} = e^0 = 1$

提效化简

在解题时，如果逢题就直接求导，经常会导致分子分母越求越复杂。建议按以下顺序搭配使用：

1. 先行提常数：极限式中非零的常数因子（如 $\lim_{x \to 0} \cos x = 1$），可先算出来提走，简化式子。
2. 结合等价无穷小：乘除法关系中的无穷小，优先替换为简单多项式（如 $\sin x \sim x$, $e^x - 1 \sim x$, $1 - \cos x \sim \frac{1}{2}x^2$）后再求导。
3. 法则失效换方法：若求导后出现周期震荡（如 $\cos x$、$\sin x$ 在无穷远处），说明洛必达法则失效，此时应改用泰勒公式或夹逼准则。