0/0 型与化简求极限

先说清楚 0/0 到底是什么。

它不是一个数。你不能问「0/0 等于几」，就像不能问「蓝色重几斤」。它是一个记号，记录的是一次失败的尝试：你把 x=a 代进去了，分子分母同时塌成 0，于是这次代入没有给你任何信息。

为什么没有信息？看这三个例子，代入 x=0 时全是 0/0：

- (2x)/x → 但对任何 x≠0，这就是 2
- (x²)/x → 但对任何 x≠0，这就是 x，越来越接近 0
- x/(x²) → 但对任何 x≠0，这就是 1/x，要爆掉

同样写成 0/0，答案分别是 2、0、不存在。所以 0/0 这个记号本身无法决定答案——这正是「不定式」（indeterminate form）里「不定」二字的意思：形式定了，值没定。真正决定答案的，是分子分母各自以多快的速度趋于 0。分子快，商就趋于 0；分母快，商就爆掉；速度相当，就得到一个有限的非零数。

那么，0/0 这张字条上写的是什么？

「还需要化简。」

这就是化归的全部内容：你手上的式子是同一个函数的一种糟糕的写法。糟糕在于，它在 x=a 处恰好写成了 0/0 这种读不出信息的样子。你要做的不是发明新工具，而是把它改写成另一种写法——一种在 x=a 处能直接读出值的写法。改写的手段你早就学过：约去公因式、有理化、通分。它们不改变函数，只改变函数长什么样。

这里有一个必须说穿的地方，它是这一片最容易被含糊过去的一步。

当你把 (x²−1)/(x−1) 约成 x+1 时，你其实做了一件在 x=1 处非法的事：你除以了 (x−1)，而它在 x=1 时是 0。为什么允许？

因为求极限时 x 永远不等于 a。「x 趋于 1」说的是 x 取 0.9、0.99、1.001 这些值，唯独不取 1。在这些 x 上，x−1 是一个货真价实的非零数，除它完全合法。

所以约分不是「在 x=1 处约掉了」，而是「在所有 x≠1 处约掉了」——而极限恰好只关心这些点。约完得到的 x+1 与原式在 x=1 处并不相同（原式在那里根本没定义），但在 x=1 附近的所有点上完全一致。极限看的是附近，不是那一点。这就是为什么允许约、也是为什么约完可以放心代入。

设 f(x) 在 x=a 的某个去心邻域内有定义。所谓去心邻域，就是 a 附近的一小段区间，但把 a 本身挖掉——这正对应「x 趋于 a 但 x≠a」。

极限的核心事实：若两个函数 f 与 g 在 a 的某个去心邻域上处处相等（即对该邻域内所有 x≠a 有 f(x)=g(x)），则

lim(x→a) f(x) = lim(x→a) g(x)，

只要其中一个存在。两者在 x=a 处的取值可以不同，甚至可以一个有定义、一个没定义——极限不看这一点。

化简法就是这条事实的应用：把 f 换成一个在去心邻域上与它相等、但在 a 处连续的 g，然后用连续性直接代入，得 lim(x→a) f(x) = g(a)。

以 f(x)=(x²−1)/(x−1) 为例。当 x≠1 时，

f(x) = (x−1)(x+1)/(x−1) = x+1 =: g(x)，

这一步除以 x−1 合法，因为 x≠1 ⇒ x−1≠0。g 是多项式，处处连续，故

lim(x→1) f(x) = lim(x→1) g(x) = g(1) = 2。

注意 f(1) 无定义而 g(1)=2；结论不受影响。

最后澄清记号。写 "0/0" 不是在做除法，它是对「分子极限为 0 且分母极限为 0」这一情形的简称，表示商的极限法则（lim(f/g)=lim f / lim g，需分母极限非零）在此不适用。同类的不定式还有 ∞−∞、0·∞、∞/∞ 等：它们同样只是「法则失效、需改写」的标记，本身不携带值。