BMC-Vis · Ch 4.3 无知的等价性

✍ 从零跳步推导到结论

代数法（从面积公式出发）

A_donut = A(r+t) − A(r)
= #·(r+t)² − #·r²
= #·[(r+t)² − r²]
= #·[r² + 2rt + t² − r²]
= #·(2rt + t²)

几何法（从周长出发）

圆环 ≈ 长方形
长 = 绕一圈的距离 = C = #·2r
宽 = t
A_donut = 长 × 宽
= #·2r · t

⬇

两种方式算的是同一个圆环，所以必须相等：

#·(2rt + t²) = #·2r·t

⬇

两边都有 t，除以 t（t ≠ 0）：

#·(2r + t) = #·2r

⬇

让 t 无限趋近于 0（圆环无限薄）：

#·2r = #·2r ✓

# = #

面积公式里的 # 和周长公式里的 # 是同一个数。
我们仍然不知道它是多少，但我们知道它必须同时满足两个公式。

🤔

无知的等价性

不知道一个数具体是多少，不代表你不能证明它和另一个数相等。这就是抽象的威力：让符号替你说话，而不是让数字替你说话。

🔄

两种描述 = 同一个东西

代数展开和几何展开，是同一个圆环的两种描述。一个从面积公式出发，一个从周长出发，它们必须在极限下给出相同的答案。

🌟

dA/dr = C

用微积分的语言：圆的面积对半径的变化率，等于圆的周长。这不是巧合，而是必然真理——同一个 # 连接了一切。

💡 微积分视角：dA/dr = C

如果我们用微积分的语言重新表述上面的推导，会得到一个更简洁、更深刻的结论：

A(r) = #·r²
dA/dr = #·2r = C(r)

⬇

面积对半径的导数 = 周长

这是什么意思？

当我们把半径 r 增加一点点（增加 t），面积的增加量 ΔA 约等于周长 C 乘以 t。

换句话说：圆环的面积 ≈ 外圈的周长 × 厚度——这正是我们在几何法里用的直觉！

所以 dA/dr = C 不是教科书里死记硬背公式，而是薄圆环直觉的精确化。

Step 4 · 本章感悟（紫色）

Step 1：我们不知道圆的面积公式里的常数是多少，也不知道周长公式里的常数是多少。但我们给它们都起了名字：叫 #。

Step 2：用薄圆环连接两者。代数法从面积公式出发：A_donut = #·(2rt + t²)。几何法从周长出发：A_donut = #·2r·t。

Step 3：两种方式算的是同一个圆环，所以必须相等：#·(2rt + t²) = #·2r·t。

Step 4：两边除以 t，再让 t→0，得到 #·2r = #·2r。这意味着面积公式里的 # 和周长公式里的 # 是同一个数。

Step 5：用微积分的语言：dA/dr = C。圆的面积对半径的变化率等于圆的周长。这不是巧合，而是同一个 # 的必然结果。

你不需要知道 # 是多少，就能证明它同时出现在面积和周长里。
这就是"无知的等价性"：承认无知，然后让代数替你推理。
dA/dr = C——微积分最古老的魔法之一。

你很少在教科书里听到的东西（却是最重要的）：

弯曲的东西不会让你失败。
无限放大镜会帮你把弯曲变成直的。
无知的等价性会帮你在不知道答案时，证明答案之间的关系。
这就是微积分。