极限计算器：洛必达法则、单侧极限与无穷远处的极限

Q: 代入得到 0/0 时，极限计算器会怎么做？

它会识别出未定式，并使用洛必达法则：对分子和分母分别求导后再次代入，重复这一过程，直到未定式被解决或者这种方法不再奏效。

Q: 怎样求单侧极限？

x → a⁺ 选择“从右侧”，x → a⁻ 选择“从左侧”。单侧极限在竖直渐近线处、定义域的端点处（例如 √x 在 0 处），以及分段函数或含绝对值的式子中都很重要。

Q: 怎样输入无穷远处的极限？

在“x 趋近于”框中输入 inf，负无穷则输入 -inf。计算器会根据需要比较首项、使用洛必达法则或改写成指数形式。

Q: 这里的“极限不存在”是什么意思？

要么左极限和右极限不相等，计算器会给出这两个值；要么函数值不停振荡，始终不趋于某一个数，也不趋于 ±∞。

Q: 极限为无穷和极限不存在是一回事吗？

严格来说，无穷极限不是实数，所以在实数范围内极限不存在。说它是 +∞ 更为准确，因为这描述了函数值的变化情况，所以计算器这样报告。

Q: 计算器为什么要用数值方法检验极限？

在一些微妙的情形中，符号运算可能出错。在一列逼近目标点的点上计算函数值可以确认答案；如果这些数与符号结果相矛盾，就不显示答案。

Q: 能求 1 的无穷次幂型的极限吗？

能。它先取对数，把幂变成积，再用洛必达法则解决由此得到的 0·∞ 型，最后取指数，(1 + 1/x)^x → e 就是这样得出的。

Q: 极限等于函数在该点的值吗？

只有函数在该点连续时才相等。对于 (x² − 4)/(x − 2)，尽管式子在 x = 2 处无定义，它在 2 处的极限仍然是 4。

Q: 能求二元函数的极限吗？

不能。计算器只处理一个变量，通常是 x。多元函数的极限取决于趋近的路径，需要不同的方法。

关于极限计算器

极限是整个微积分的基础。导数是差商的极限，积分是和的极限，级数的收敛是部分和的极限。然而，学生往往正是在极限问题中第一次遇到像 $\frac00$ 这样看似毫无意义的式子，也很容易弄不清该用哪种方法。

这个计算器像一位细心的学生那样一步步求极限。它先尝试直接代入。如果得到未定式，它会指出是哪一种，即 $\frac00$ 、 $\frac{\infty}{\infty}$ 、 $0\cdot\infty$ 、 $\infty - \infty$ 、 $1^\infty$ 、 $0^0$ 或 $\infty^0$ ，并采用相应的方法：洛必达法则、把积改写成商、乘以共轭式或取对数。每一步都会列出所求的导数。

随后，每个符号运算得到的答案都会与函数在越来越接近目标点处的实际取值进行比较。如果两者不一致，就不显示答案，这样可以避免符号技巧偶尔产生的、看似可信却错误的结果。计算器还能处理单侧极限，并在左右两侧不一致、双侧极限不存在时告诉你。

什么是极限？

当 $x$ 趋近于 $a$ 时， $f(x)$ 的极限是指：当 $x$ 接近但不等于 $a$ 时， $f(x)$ 可以任意接近的那个值。它描述的是函数在某点附近的趋势，而不是函数在该点的值。函数甚至不必在 $a$ 处有定义： $\frac{\sin x}{x}$ 在 0 处无定义，但它在那里的极限恰好是 1。

严格地说， $\lim_{x\to a} f(x) = L$ 的意思是：对任意给定的误差 $\varepsilon > 0$ ，都存在距离 $\delta > 0$ ，使得只要 $0 < |x - a| < \delta$ ，就有 $|f(x) - L| < \varepsilon$ 。通俗地说，只要让 $x$ 足够接近 $a$ ，就能使 $f(x)$ 要多接近 $L$ 就有多接近。

当函数值无限增大时，极限也可以是无穷，记作 $\lim f(x) = \infty$ ； $x$ 本身也可以趋于 $\pm\infty$ ，这描述的是函数的长期走势及其水平渐近线。只有当左极限和右极限都存在且相等时，双侧极限才存在。

如何使用极限计算器

输入关于 x 的函数，例如 sin(x)/x、(x^2-4)/(x-2) 或 (1+1/x)^x。
输入 x 趋近的值：一个数、分数、pi、inf 或 -inf。
选择双侧、从右侧（x → a⁺）或从左侧（x → a⁻）。
点击“求极限”，即可看到代入的尝试、未定式的类型以及解决它的每一步。
查看最后一行，它给出极限值、±∞，或者说明极限不存在以及原因。

公式

洛必达法则

\lim_{x\to a}\frac{f(x)}{g(x)} = \lim_{x\to a}\frac{f'(x)}{g'(x)}\quad\text{适用于 } \tfrac00 \text{ 或 } \tfrac{\infty}{\infty}

重要三角函数极限

\lim_{x\to 0}\frac{\sin x}{x} = 1

e 的定义

\lim_{x\to\infty}\left(1 + \frac1x\right)^x = e

幂指函数型

\lim f^{\,g} = e^{\lim g\,\ln f}

双侧极限

\lim_{x\to a} f(x) = L \iff \lim_{x\to a^-} f(x) = \lim_{x\to a^+} f(x) = L

例题详解: sin(x)/x, x → 0

下面的例题实时计算 $\lim_{x\to 0} \frac{\sin x}{x}$ 。代入 $x = 0$ 得到 $\frac00$ ，这是未定式，所以计算器使用洛必达法则：分子的导数是 $\cos x$ ，分母的导数是 1。再次代入得到 $\cos 0 = 1$ ，所以极限是 1。

取值表也给出同样的结论。在 $x = 0.1$ 处，比值约为 0.99833；在 $x = 0.01$ 处约为 0.9999833，从下方逐渐逼近 1。 $\sin x$ 的导数之所以是 $\cos x$ ，正是由于这个极限，所以值得一眼就认出它。

下面的解答由驱动上方计算器的同一计算引擎生成。

最终答案

\lim_{x \to 0} \frac{\sin\left( x\right)}{x} = 1

我们对题目的理解

求 sin(x) / x 当 x → 0 时的极限。

\lim_{x \to 0} \frac{\sin\left( x\right)}{x}

分步解答

未定式 0/0：使用洛必达法则
分子和分母分别求导（这不是商的求导法则）。
$\lim_{x \to 0} \frac{\sin\left( x\right)}{x} = \lim_{x \to 0} \frac{\cos\left( x\right)}{1}$
化简
$\lim_{x \to 0} \frac{\cos\left( x\right)}{1} = \lim_{x \to 0} \cos\left( x\right)$
直接代入
该式子在 x = 0 处连续，所以极限等于它在该点的函数值。
$\lim_{x \to 0} \cos\left( x\right) = \cos\left(0\right) = 1$

所用公式

洛必达法则
$\lim \frac{f}{g} = \lim \frac{f'}{g'}\ \text{适用于 } \tfrac{0}{0} \text{ 或 } \tfrac{\infty}{\infty}$
双侧极限
$\lim_{x\to a} f = L \iff \lim_{x\to a^-} f = \lim_{x\to a^+} f = L$

极限描述的是函数趋近的值，而不一定是函数取到的值。当代入得到未定式时，就改写式子（洛必达法则、乘以共轭式或取对数），直到能够代入为止。

验算

右侧的数值结果一致：f(0.01) = 0.99998333, f(0.001) = 0.99999983, f(0.0001) = 1, f(0.00001) = 1 ✓
左侧的数值结果一致：f(-0.01) = 0.99998333, f(-0.001) = 0.99999983, f(-0.0001) = 1, f(-0.00001) = 1 ✓

详细讲解

先直接代入

如果函数在该点连续，极限就是它在该点的值，所以第一步总是代入。多项式、指数函数、正弦和余弦处处连续，有理函数在分母不为零的地方连续。如果代入得到一个普通的数，就已经完成了。

代入也可能揭示出无穷极限。一个非零的数除以趋于零的量，例如 0 附近的 $\frac1x$ ，会无限增大。这时符号取决于趋近的方向：计算器报告右极限为 $+\infty$ ，左极限为 $-\infty$ ，因此双侧极限不存在。

未定式与洛必达法则

$\frac00$ 和 $\frac{\infty}{\infty}$ 这样的形式之所以称为未定式，是因为仅凭形式无法知道答案。 $\frac{x^2}{x}$ 、 $\frac{x}{x}$ 和 $\frac{x}{x^2}$ 在零处都是 $\frac00$ 型，但它们的极限分别是 0、1 和不存在。必须更仔细地考察分子和分母趋于各自极限的快慢。

洛必达法则正是通过比较变化率来做到这一点。当分子分母都趋于 0，或者都趋于无穷时，比值的极限等于两者导数之比的极限，前提是这个新极限存在。对于 $\frac{x^2-4}{x-2}$ 在 $x = 2$ 处，导数分别是 $2x$ 和 1，所以极限是 4。因式分解再约分也得到同样的答案， $x + 2 \to 4$ ，这是很好的检验方法。

这条法则可能需要使用不止一次。 $\frac{1-\cos x}{x^2}$ 用过一次之后仍是 $\frac00$ 型；再用一次得到 $\frac{\cos x}{2}$ ，极限为 $\frac12$ 。计算器会自动重复使用该法则，如果式子开始变得越来越复杂而不是越来越简单，就停止。

积、差与幂

洛必达法则只适用于商，所以其他未定式必须先改写。积 $0 \cdot \infty$ 可以把其中一个因子取倒数移到分母，变成商。含有平方根的差 $\infty - \infty$ ，例如无穷远处的 $\sqrt{x^2 + x} - x$ ，可以乘以它的共轭式；这个例子化简后极限为 $\frac12$ 。

幂指函数型 $1^\infty$ 、 $0^0$ 和 $\infty^0$ 用对数处理。求 $\lim (1 + \frac1x)^x$ 时，先取自然对数得到 $x \ln(1 + \frac1x)$ ，这是 $\infty\cdot 0$ 型，把它改写成商，用洛必达法则求出这个对数趋于 1，再取指数。答案是 $e^1 = e \approx 2.718281828$ 。用同样的方法可以证明，当 $x \to 0^+$ 时 $x^x \to 1$ 。

无穷远处的极限与水平渐近线

当 $x \to \pm\infty$ 时，有理函数由最高次幂决定。如果分子和分母的次数相同，极限就是首项系数之比，所以 $\frac{3x^2 + 1}{5x^2 - x} \to \frac35$ 。如果分母的次数更高，极限为 0；如果分子的次数更高，函数会无限增大。

这些极限恰好就是图像的水平渐近线。指数函数最终会超过任何幂函数，而对数函数比任何正次幂增长得都慢，洛必达法则能把这些比较变得精确。

极限不存在的情形

当左右极限不相等时，双侧极限不存在，例如 $\frac{|x|}{x}$ 在 0 处，计算器报告右极限为 1，左极限为 $-1$ 。当函数不停振荡、不趋于稳定时，极限也不存在， $\sin\frac1x$ 在 0 附近就是如此。在这种情况下，计算器会说明函数值不趋于稳定，而不会编造一个数。

严格来说，无穷极限也是作为实数不存在的一种情形，但它包含更多信息，所以计算器会把它报告为 $\infty$ 或 $-\infty$ ，并注明适用的方向。

常见错误

写成 $\frac00 = 0$ 或 $\frac00 = 1$ ；这种形式是未定式，需要进一步处理。
对不是 $\frac00$ 或 $\frac{\infty}{\infty}$ 型的极限使用洛必达法则，例如 $\frac{x+1}{x}$ 在 0 处。
用商的求导法则对整个分式求导，而不是对分子和分母分别求导。
以为 $1^\infty = 1$ ； $(1 + \frac1x)^x$ 的极限是 $e$ ，而不是 1。
只检查了一侧就报告双侧极限。
求三角函数的极限时把计算器设成角度制；只有在弧度制下才有 $\frac{\sin x}{x} \to 1$ 。

小贴士

总是先代入；许多极限只需这一步。
使用洛必达法则之前，先试试因式分解再约分；这样往往更快。
求无穷远处的极限时，把每一项都除以分母中 x 的最高次幂。
求解之前，先在接近目标点的几个点上计算函数值，估计答案。
把指数中含有变量的幂改写成 $e^{g \ln f}$ 。
画出函数的草图或图像，看看左右两侧是否一致。

常见问题

代入得到 0/0 时，极限计算器会怎么做？