关于求特定极限时两次应用L'Hospital法则的合理性疑问

首先，我们一步步拆解这个极限的推导逻辑，帮你找到你忽略的关键点：

第一步：原极限的初始状态 #

当(x \to 0)时，分子(a^x - b^{x)的极限是(a}0 - b^0 = 1 - 1 = 0)，分母(cx^3 + dx^2)的极限是(0 + 0 = 0)，这是标准的(\frac{0}{0})型不定式，第一次应用洛必达法则完全符合条件，这部分你理解的没问题。

第二步：第一次洛必达后的状态 #

对分子分母分别求导后，得到的表达式是：
$$\frac{a^x \ln a - b^x \ln b}{3cx^2 + 2dx}$$

现在重点来了：你觉得第二次应用洛必达不满足条件，核心是忽略了只有当(a = b)时，这个新的表达式才是(\frac{0}{0})型不定式：

• 如果(a \neq b)，当(x \to 0)时，分子的极限是(\ln a - \ln b)（一个非零常数），分母的极限是0，此时极限为(\pm\infty)（符号由分子符号和分母趋近方向决定），根本不需要第二次洛必达；
• 如果(a = b)，当(x \to 0)时，分子的极限是(\ln a - \ln a = 0)，分母的极限依然是0，这就又形成了(\frac{0}{0})型不定式，完全满足洛必达法则的三个应用条件：
  1. 分子分母在(x \to 0)时极限均为0；
  2. 分子分母在(x=0)的去心邻域内均可导；
  3. 分母的导数(6cx + 2d)在该邻域内不恒为0（只要(d \neq 0)就满足，若(d=0)则看(c)，但依然符合条件）。

总结 #

你之所以困惑，是没意识到第二次洛必达的应用是有前提的——必须满足(a = b)。只有在这个前提下，第一次求导后的式子才是(\frac{0}{0})型不定式，才具备再次应用洛必达法则的资格。如果没有这个前提，第一次求导后就已经不是不定式，自然不能用第二次洛必达。

内容的提问来源于stack exchange，提问作者Daniel