Ch 5.2
四种类别
The Four Species
← 首页
🧪 机器的四种物种
我们只知道加法和乘法。但我们可以定义四种机器，
只看它们如何处理加法和乘法——这就是"四种类别"（Four Species）。
每一类机器都有独特的行为方式，而且它们之间存在深刻的对偶关系。
🔬 物种实验室
点击物种卡片，观察它的行为公式和可视化效果。拖动滑块测试不同的输入值。
➕
AA 物种
f(x+y)=f(x)+f(y)
已解开 ✓
🚀
AM 物种
f(x+y)=f(x)·f(y)
已解开 ✓
🔄
MA 物种
f(x·y)=f(x)+f(y)
已解开 ✓
⚡
MM 物种
f(x·y)=f(x)·f(y)
已解开 ✓
AA 物种
f(x+y) = f(x) + f(y)
把加法变成加法。这类机器最老实——你给它加法，它吐出加法。
必有的形式：f(x) = ax
对偶物种：AA
📖 教科书名称：线性函数
输入 x： 1.0
🔗 AM 与 MA 的对偶关系
把 AM 机器的输出塞进 MA 机器，神奇的事情发生了——它们会互相抵消：

先 AM 后 MA： g_c( f_c(x) ) = x
先 MA 后 AM： f_c( g_c(x) ) = x

也就是说：每个 AM 机器都有一个对应的 MA 机器，它们互为"反向操作"。
这个关系不是我们刻意设计的，而是从它们的定义中必然推出的——
就像 2 + 3 = 5 和 5 - 3 = 2 不是两个独立的真理，而是同一个硬币的两面。
📚 关于记号 g_c(x) 的翻译

我们发明的 g_c(x)，翻译成数学书上的写法就是 log_c(x)（以 c 为底的对数）。

它们俩是同一个东西，只是名字不同。g_c(x) 是"这台 MA 机器满足 g_c(c)=1"，log_c(x) 是"底数为 c 的对数"——说的都是同一台机器。

具体来说：g₂(x) = log₂(x)，g_e(x) = ln(x)。

为什么要特意换一个名字？因为书上那个"log"的叫法，会让很多人一看到就觉得"好难"。换个名字，你就能把它当一台普通机器来理解，不会被旧名字影响。

🌟 不可移动之物（Immovable Object）

在所有这些机器中，有一个极其特殊的 AM 机器——E（Extremely Special），它是自己的导数：

E'(x) = E(x)   即   d/dx(ex) = ex

这个"自己的导数等于自己"的性质，让 e 成为数学中最特别的数。我们目前还不知道 e 具体是多少，但我们知道它一定存在。

这就是"不可移动之物"——一个在导数运算下岿然不动的函数。

1
核心洞察（蓝色）
不需要知道一台机器长什么样，只需要知道它如何对待加法和乘法，就能把它归入四大物种之一。这四种行为（AA/AM/MA/MM）穷尽了只用"加"和"乘"能定义的所有机器类型。其中 AM 物种藏着一个最特殊的成员——E(x)=eˣ，它的导数等于自己。
2
几何解释（绿色）
拖动滑块看四个物种的曲线：AA 是过原点的直线；AM（如2ˣ、eˣ）是爆炸式增长曲线，x越大y飙升越快；MA（如log(x)）是缓慢爬行的曲线，永远在增长但越来越平；MM（如x²）是我们已经熟悉的幂函数。eˣ 的特殊之处在于：曲线上每一点的切线斜率恰好等于该点的高度。
3
公式推导（橙色）
四个物种的定义只看行为：
AA：f(x+y) = f(x) + f(y) → 必为 f(x)=cx
AM：f(x+y) = f(x)·f(y) → 必为 f(x)=cˣ
MA：g(xy) = g(x) + g(y) → 必为对数
MM：f(xy) = f(x)·f(y) → 必为 f(x)=x⁰
AM 和 MA 互为反向操作：g(f(x))=x。
4
生活类比（紫色）
想象四种不同性格的人：AA型是老实人——你给他多少帮助，他就还多少；AM型是传谣者——你告诉一个人，他告诉两个人，两个人又各告诉两个人，消息呈指数扩散；MA型是佛系者——你给他两倍的工作量，他只觉得多了一点点；MM型是公平交易者——投入翻几倍，产出按比例翻几次方。