数学6

导数极限定理：

导数极限定理的用途

先明确定理说了什么

设 \(f(x)\) 在 \(x_0\) 的某邻域内连续，在去心邻域内可导，且 \(\lim_{x \to x_0} f'(x)\) 存在，则 \(f'(x_0) = \lim_{x \to x_0} f'(x)\)。

你的困惑在哪

你觉得"直接求导"就能得到 \(f'(x_0)\)，但有一个关键场景你不能直接求导：

分段函数的分段点。

在分段点处，函数表达式"换了一套"，你没法直接套公式求导。此时只有两条路：

方法	做法	难度
导数定义	算 \(\lim_{h\to 0}\frac{f(x_0+h)-f(x_0)}{h}\)	往往很繁琐
导数极限定理	先对两侧分别求导，再取极限 \(\lim_{x\to x_0}f'(x)\)	通常简单得多

举个对比例子

\[f(x)=\begin{cases} x^2 \ln x, & x>0 \\ 0, & x=0 \end{cases} \]

求 \(f'(0)\)。

方法一：用定义（繁琐）

\[f'(0) = \lim_{x\to 0^+}\frac{x^2\ln x - 0}{x} = \lim_{x\to 0^+} x\ln x \]

你还得再处理这个极限（洛必达或换元），绕了一圈。

方法二：用导数极限定理（简洁）

先对 \(x>0\) 部分直接求导：

\[f'(x) = 2x\ln x + x \quad (x>0) \]

再取极限：

\[\lim_{x\to 0^+} f'(x) = \lim_{x\to 0^+}(2x\ln x + x) = 0 \]

由定理直接得 \(f'(0)=0\)。✅

再举一个"定理救不了你"的例子

\[f(x)=\begin{cases} x^2\sin\dfrac{1}{x}, & x\neq 0 \\ 0, & x=0 \end{cases} \]

对 \(x\neq 0\) 求导：\(f'(x) = 2x\sin\frac{1}{x} - \cos\frac{1}{x}\)

\[\lim_{x\to 0} f'(x) \text{ 不存在（}\cos\frac{1}{x}\text{ 振荡）} \]

定理条件不满足，不能用定理。但 \(f'(0)\) 其实存在（用定义算得 \(f'(0)=0\)）。

这说明：定理是充分条件，不是必要条件。

一句话总结

场景	该用什么
普通初等函数在定义域内部	直接求导公式，不需要定理
分段函数在分段点	优先试导数极限定理，不行再回定义
\(\lim f'(x)\) 不存在	定理失效，必须回定义

所以导数极限定理的本质价值是：在分段点处，把"用定义算极限"这个苦差事，转化为"先求导再取极限"这个简单操作。

求 \(\lim_{x\to 0^+} x\ln x\)

这是一个 \(0 \cdot (-\infty)\) 型不定式，下面给两种常用方法。

---

方法一：洛必达法则

把 \(x\ln x\) 改写成 \(\dfrac{\infty}{\infty}\) 型：

\[\lim_{x\to 0^+} x\ln x = \lim_{x\to 0^+} \frac{\ln x}{\dfrac{1}{x}} \]

此时分子 \(\ln x \to -\infty\)，分母 \(\dfrac{1}{x} \to +\infty\)，满足 \(\dfrac{\infty}{\infty}\) 型，可以用洛必达：

\[= \lim_{x\to 0^+} \frac{\dfrac{1}{x}}{-\dfrac{1}{x^2}} = \lim_{x\to 0^+} (-x) = 0 \]

---

方法二：换元法

令 \(t = \dfrac{1}{x}\)，则 \(x\to 0^+\) 时 \(t\to +\infty\)，且 \(x = \dfrac{1}{t}\)，\(\ln x = -\ln t\)：

\[\lim_{x\to 0^+} x\ln x = \lim_{t\to +\infty} \frac{-\ln t}{t} \]

这是一个 \(\dfrac{\infty}{\infty}\) 型，再用洛必达（或者直接记住"对数增长远慢于线性增长"）：

\[= \lim_{t\to +\infty} \frac{-\dfrac{1}{t}}{1} = 0 \]

---

结论

\[\lim_{x\to 0^+} x\ln x = 0 \]

所以 \(f'(0) = 0\)。

---

对比一下

步骤	用定义	用导数极限定理
第一步	写出差商 \(\dfrac{x^2\ln x}{x} = x\ln x\)	对 \(x>0\) 直接求导得 \(2x\ln x + x\)
第二步	还得处理 \(\lim x\ln x\)（如上）	直接代入/观察：\(2x\ln x\to 0\)，\(x\to 0\)
总步数	多一步转化	一步到位

这就是导数极限定理省事的体现。

从头解释：为什么 \(f(x)\) 在 \(x=0\) 处连续

---

第一步：什么叫"在 \(x=0\) 处连续"？

定义就一句话：

\[\lim_{x\to 0} f(x) = f(0) \]

即：函数值 = 极限值，图像在这一点没有"断裂"。

---

第二步：为什么只看右极限？

我们的函数是：

\[f(x)=\begin{cases} x^2\ln x, & x>0 \\ 0, & x=0 \end{cases} \]

注意：\(x<0\) 时函数没有定义（\(\ln x\) 要求 \(x>0\)）。

所以 \(x=0\) 只有右边有函数值，只需验证：

\[\lim_{x\to 0^+} f(x) = f(0) \]

---

第三步：\(\lim_{x\to 0^+} x^2\ln x\) 为什么等于 \(0\)？

这是关键难点。直觉上：

• \(x^2 \to 0\)（趋向于 \(0\)）
• \(\ln x \to -\infty\)（趋向于负无穷）

一个是 \(0\)，一个是 \(-\infty\)，乘起来到底是谁赢？

结论：\(x^2\) 赢，结果是 \(0\)。

怎么证明？用洛必达

把 \(x^2\ln x\) 改写成 \(\dfrac{\infty}{\infty}\) 型：

\[\lim_{x\to 0^+} x^2\ln x = \lim_{x\to 0^+} \frac{\ln x}{\dfrac{1}{x^2}} \]

此时：

• 分子 \(\ln x \to -\infty\)
• 分母 \(\dfrac{1}{x^2} \to +\infty\)

满足 \(\dfrac{\infty}{\infty}\)，用洛必达（上下分别求导）：

\[= \lim_{x\to 0^+} \frac{\dfrac{1}{x}}{-\dfrac{2}{x^3}} = \lim_{x\to 0^+} \frac{1}{x} \cdot \left(-\frac{x^3}{2}\right) = \lim_{x\to 0^+} \left(-\frac{x^2}{2}\right) = 0 \]

所以 \(\lim_{x\to 0^+} x^2\ln x = 0\)。

---

第四步：合起来验证连续

\[\lim_{x\to 0^+} f(x) = \lim_{x\to 0^+} x^2\ln x = 0 \]

而题目定义 \(f(0) = 0\)。

\[\lim_{x\to 0^+} f(x) = 0 = f(0) \quad \checkmark \]

极限值 = 函数值，所以在 \(x=0\) 处连续。

---

用一张图理解

f(x)
  |
  |        x²lnx 的图像
  |      /
  |    /
  |  /
  | /
  ●━━━━━━━━━━━━━━━━ x
  0
  ↑
  这里 f(0)=0，图像平滑地到达0，没有跳跃
  所以连续

---

总结：验证连续就三步

步骤	做什么	本例结果
① 算极限	\(\lim_{x\to 0^+} f(x) = ?\)	\(= 0\)
② 看函数值	\(f(0) = ?\)	\(= 0\)
③ 比较	极限 \(=\) 函数值？	\(0 = 0\) ✅ 连续

就这么简单，没有更多了。

比如:

你这个问题问得太有水平了！你其实已经敏锐地察觉到了微积分里最容易让人“翻车”的一个逻辑陷阱。

你觉得“函数值和极限值一样”，是因为你下意识地把“原本应该有的值”当成了“实际存在的函数值”。

为了帮你彻底理清这个逻辑，我们来拆解一下你刚才的错觉：

🎯 你的错觉：“极限是 2，所以函数值也是 2”
在刚才那个“路面塌了（有个坑）”的例子里：

• 极限值：确实是 2。因为左右两边都在往 2 这个高度走。
• 函数值：根本不存在！ 因为 x=2 的地方路面塌了，那里没有点，所以 f(2) 是没有定义的。

在数学上，没有定义的东西，不能参与任何比较。
你不能说“空气的重量等于石头的重量”，因为空气在那里根本没有重量。既然 f(2) 不存在，它就不可能等于极限值 2。

📐 严格的判断逻辑（三步走）

判断连不连续，必须严格按照顺序来，第一步卡住，后面就不用看了：

1. 第一步：看函数值存不存在？

   • 如果不存在（比如路面塌了）->直接判定：不连续！（游戏结束，不用往后看了）
   • 如果存在 ->进入第二步。

2. 第二步：看极限存不存在？

   • 如果不存在（比如左右两边对不上）-> 直接判定：不连续！
   • 如果存在 ->进入第三步。

3. 第三步：看它们俩相等吗？

   • 如果 极限值 = 函数值->连续！
   • 如果 极限值 neq 函数值 ->不连续！

💡 为什么你会觉得“一样”？
因为你脑子里想的是那个“被挖走之前的完美状态”。

想象一下，原本这里有一块高度为 2 的砖（函数值=2，极限=2，很连续）。
然后，“啪！” 有人把这块砖抽走了（变成了可去间断点）。

这时候你再问：“现在的函数值和极限值一样吗？”

• 极限还是 2（因为两边还在往 2 走）。
• 但函数值呢？砖都没了，哪来的函数值？

📌 总结你的疑惑
你说：“中间虽然 x=2 不存在，但是函数值和极限值一样呀。”

纠正：
正是因为 x=2 不存在，所以 函数值就不存在。
既然函数值都不存在，它就不可能和极限值一样。

你的想法

\(f(0)=0\)，常数的导数是 \(0\)，所以 \(f'(0)=0\)。

这个推理是错的。

---

错在哪？

\(f(0)=0\) 只是一个点的函数值，不代表 \(f(x)\) 是常数函数。

求 \(f'(0)\) 不是对"\(f(0)\) 这个数"求导，而是看 \(x=0\) 附近函数值怎么变化。

---

用一个反例秒懂

\[g(x)=\begin{cases} x, & x\neq 0 \\ 0, & x=0 \end{cases} \]

这里 \(g(0)=0\)。如果按你的逻辑，"\(g(0)=0\)，常数的导数是 \(0\)"，那 \(g'(0)=0\)？

错！ 实际上 \(g(x)=x\)，\(g'(0)=1\)。

为什么？因为 \(g(0)\) 虽然等于 \(0\)，但 \(x\) 稍微一动，\(g(x)\) 就变了（\(g(0.01)=0.01\)），变化率是 \(1\)，不是 \(0\)。

---

回到我们的例子

\[f(x)=\begin{cases} x^2\ln x, & x>0 \\ 0, & x=0 \end{cases} \]

• \(f(0)=0\) ✅ 这只是一个点的值
• 但 \(x\) 稍微大于 \(0\) 时，\(f(x)=x^2\ln x \neq 0\)

比如：

\(x\)	\(f(x) = x^2\ln x\)
\(0\)	\(0\)
\(0.1\)	\(0.01\times(-2.3)=-0.023\)
\(0.5\)	\(0.25\times(-0.69)=-0.17\)

函数值在 \(x=0\) 附近明显在变化，所以不能当作常数。

---

导数的本质是什么？

\[f'(0) = \lim_{h\to 0}\frac{f(0+h)-f(0)}{h} \]

它问的是：从 \(x=0\) 出发，\(x\) 每动一点点，\(f\) 变化多少？

• 如果 \(f\) 在 \(0\) 附近纹丝不动（常数函数），导数才是 \(0\)。
• 我们的 \(f\) 在 \(0\) 附近动了（\(x^2\ln x\neq 0\)），所以必须认真算。

---

一句话总结

\(f(0)=0\) 只告诉你站在哪，不告诉你往哪走、走多快。
导数描述的是"走多快"，必须看附近的值，不能只看这一个点。

左右极限都要吗？

答案：看分段点两侧是否都有定义

---

情况一：两侧都有定义 → 都要

\[f(x)=\begin{cases} x^2+1, & x<1 \\ x^2, & x\geq 1 \end{cases} \]

在 \(x_0=1\) 处，左右两侧都有表达式，必须分别验证：

\[\lim_{x\to 1^-} f'(x) = \lim_{x\to 1^-} 2x = 2 \]

\[\lim_{x\to 1^+} f'(x) = \lim_{x\to 1^+} 2x = 2 \]

左右相等 \(=2\)，所以 \(f'(1)=2\)。✅

如果左右不相等，则 \(f'(x_0)\) 不存在。

---

情况二：只有一侧有定义 → 只需那一侧

\[f(x)=\begin{cases} x^2\ln x, & x>0 \\ 0, & x=0 \end{cases} \]

\(x<0\) 时函数没有定义，所以只需验证右极限：

\[\lim_{x\to 0^+} f'(x) = \lim_{x\to 0^+}(2x\ln x + x) = 0 \]

直接得 \(f'(0)=0\)。✅

---

总结

分段点情况	需要验证什么
两侧都有定义	左极限 \(=\) 右极限，才行
只有一侧有定义	只需那一侧
左右极限不相等	\(f'(x_0)\) 不存在

和判断连续性、极限存在性的规则一模一样：两侧都有就要两边都看，只有一侧就看一侧。