BMC-Vis · Ch 3.5 重缩写锤子

Step 1 · 核心洞察（蓝色）

想象一台机器，它其实是一个机器套在另一个机器里面：

内层机器：，输入 x → 输出 s
外层机器：，输入 s → 输出 M
合在一起：

关键连接：内层机器输出的 s，就是外层机器输入的 s。它们是同一个 s！比如 x=2 时，内层输出 s=2²+1=5，外层立刻拿这个 5 去计算 5³=125。

我们已经知道怎么分别对每台机器求导：

内层：
外层：

但问题是：怎么把这两个结果组合起来，得到 dM/dx？

撇号记号 M' 不告诉我们对谁求导——是对 x 还是对 s？这就是为什么我们需要 d 记号。

Step 2 · 几何解释（绿色）

拖动画布上的绿色圆点，或者拖动上面的切点 x 滑块，观察：

蓝色曲线：内层机器 g(x)，输入 x → 输出 s
绿色曲线：复合机器 M(x) = f(g(x))
橙色曲线：M(x) 的导数 M'(x)
红色虚线：M(x) 上的切线

切换不同的内层机器和外层机器按钮，看复合函数和它的导数如何变化。

关键观察：切线的斜率 = ，而这就是重缩写锤子的结果。

Step 3 · 公式推导（橙色）

第一部分：撇号记号的陷阱

假设我们缩写。现在问：等于几？

答案取决于你对谁求导！
• 对 x 求导：（因为 x 对 x 的导数是 1）
• 对 s 求导：（幂律公式）

这两个答案完全不同！撇号记号 ( )' 不告诉我们对谁求导，这就是陷阱。

d 记号救了我们：明确告诉我们"对 x 求导"，明确告诉我们"对 s 求导"。不会搞混！

第二部分：撒谎再纠正

我们真正想求的是，但 M 里面套着 g(x)，直接求导很困难。怎么办？

策略：撒谎再纠正

1. 撒谎：假装问题更简单——把改成
    ← 撒谎：把"对 x"换成"对 s"，问题变简单了

2. 纠正：我们撒了谎（问的是 dM/ds 而不是 dM/dx），需要纠正
    纠正方法：乘以
    ← 乘以 ds/dx，把"对 s"换回"对 x"

3. 结果：
    ← 这就是重缩写锤子公式！

为什么这样"纠正"是对的？因为我们只是乘了 1！，所以。我们没有改变任何东西，只是换了一种看法。

第三部分：完整例题 —

Step 1：重缩写 — 给复杂部分起个短名字

← s = 东西，代表 g(x) 这个"东西"

Step 2：对 s 求导 — 假装 s 是变量
，所以
← 现在的 M = s³，对 s 求导，简单！

Step 3：s 对 x 求导 — 内层机器的导数

← s = x² + 1，对 x 求导

Step 4：乘起来 — 重缩写锤子

← 锤子公式：dM/dx = (dM/ds) · (ds/dx)

← 把 dM/ds = 3s² 和 ds/dx = 2x 代入

← 把 s = x² + 1 代回去（还原缩写）

← 最终结果！

用具体数字验证（x = 2）：

M(2) = (2² + 1)³ = 5³ = 125
M'(2) = 6 · 2 · (2² + 1)² = 12 · 25 = 300

用锤子分步验证：
• s = 2² + 1 = 5
• dM/ds = 3 · 5² = 75
• ds/dx = 2 · 2 = 4
• dM/dx = 75 · 4 = 300 ✓

第四部分：三把锤子总结

到目前为止，我们有了三把锤子。它们不是规则告诉你"必须这样做"，而是工具告诉你"你可以这样做，如果你愿意"。

锤子	你把机器看成……	什么时候用
加法锤子	两台机器加在一起	M(x) = f(x) + g(x)
乘法锤子	两台机器乘在一起	M(x) = f(x) · g(x)
重缩写锤子	一台机器套在另一台里面	M(x) = f(g(x))

锤子的本质

你可以选择把任何机器看成：两台相加、两台相乘、或者一台套在另一台里面。
但只有当这样看能帮你简化问题时，才值得用锤子！

Step 4 · 生活类比（紫色）

类比一：俄罗斯套娃

复合函数就像俄罗斯套娃——大娃娃里面套着小娃娃。你想量最外面那个娃娃的"变化速度"，但直接量太难了。怎么办？

先打开外层，量里面那层的变化速度（dM/ds）
再量内层本身的变化速度（ds/dx）
最后乘起来，就得到了最外层的变化速度

每一层各自量，然后乘起来——这就是重缩写锤子。

类比二：中间人翻译

想象你要把中文翻译成法语，但你只会中文↔英文和英文↔法语。

中文 → 英文：内层机器 g(x)，把中文 x 翻译成英文 s
英文 → 法语：外层机器 f(s)，把英文 s 翻译成法语 M
整条链的速度 = 每段速度相乘

如果中文变快了 2 倍，英文也变快了 3 倍，那法语就变快了 2 × 3 = 6 倍。这就是。