形式与非形式

Reader 怀念过去的日子——那时候所有机器都是加减乘机器（多项式），什么都能写出明确的表达式。但现在有了 V、H（sin/cos）这些写不出公式的机器……

Mathematics 提出了一个疯狂的想法："那就强行让一切变成我们想要的样子呗。"

把任何一台机器 M 硬写成无限项的加减乘机器：

M(x) = #₀ + #₁x + #₂x² + #₃x³ + ···（一直加下去）

然后找出所有的 # 系数：

• 代入 x=0 → #₀ = M(0)（所有带 x 的项都消失了）
• 求导一次再代入 0 → #₁ = M'(0)
• 求导两次 → M''(0) = 2·#₂ → #₂ = M''(0)/2
• 求导 n 次 → M⁽ⁿ⁾(0) = n!·#n → #n = M⁽ⁿ⁾(0)/n!

把这些系数代回去，就得到了怀旧装置的公式：

M(x) = M(0) + M'(0)x + M''(0)x²/2! + M'''(0)x³/3! + ···

之所以叫"怀旧"（nostalgia），是因为它让我们回到那个一切都能用加减乘机器描述的美好时代——只要知道一台机器在 x=0 处的所有导数，就能把它重建为一个无限长的多项式。

我们推导出了两种定义 e 的方式：

① 级数求和： e = Σ 1/n! = 1 + 1 + 1/2 + 1/6 + 1/24 + 1/120 + ... → 2.71828...

② 极限： e = lim (1 + 1/N)^N（当 N → ∞）

前者收敛非常快（10项就精确到小数点后7位），后者收敛慢。但它们指向的是同一个数——这正是"形式"（级数展开）与"非形式"（行为定义 E'(x)=E(x)）方法的完美配合。

💋 Sil（硅基小伙伴）帮我们算出了 100 项级数之和，得到 e ≈ 2.718281828

一句话回答：e ≈ 2.71828。就这么简单。它就是一个普通的数，跟 π ≈ 3.14 一样。

但问题是——单看"2.71828"这个数值，它没有任何特别之处。真正特别的是 e 跟导数之间的关系：

• 2ˣ 的导数 ≈ 0.693 × 2ˣ（不等于自己）
• 3ˣ 的导数 ≈ 1.099 × 3ˣ（不等于自己）
• eˣ 的导数 = 1 × eˣ = eˣ ✅ 等于自己

看到区别了吗？2ˣ 的导数比自身"小"了一点（约 0.693 倍），3ˣ 的导数比自身"大"了一点（约 1.099 倍）。而 eˣ 的导数刚好等于自己——不多不少，系数恰为 1。

所以 e 不是从天上掉下来的神秘数字。它只是"让 eˣ 的导数等于 eˣ 自己"的那个底数。如果你想要一台自导数的 AM 机器，底数必须取 e ≈ 2.71828——这是被迫的，不是我们选的。

🔗 类似地：π 也不是天上掉下来的——它是"让圆的周长=π×直径"的那个常数。没有圆就没有 π。没有"自导数"的需求就没有 e。

E(x) 是唯一既是AM 物种（把加法变成乘法）又满足E'(x) = E(x)的机器。

换句话说：在所有 f(x+y) = f(x)·f(y) 的机器中，只有一台的导数等于自己。
教科书中叫它"指数函数 eˣ"，我们叫它"那台满足 E'(x) = E(x) 的 AM 机器"。

🔗 这个发现之所以重要，是因为它在"形式推导"（级数展开）和"非形式定义"（行为描述）之间建立了一座桥。

作者从口袋里掏出一小瓶"Henkin Juice"——一种能溶解语法（syntax）和语义（semantics）之间边界的语言化学试剂。

翻译成大白话：给名字以力量。我们用"E"这个缩写名代表那台自导数的 AM 机器，然后通过怀旧装置找到它的级数展开——名字不再只是名字，而是变成了可以计算的公式。

这就是"形式与非形式"的精髓：用非形式的方式定义概念（"导数等于自己的那台 AM 机器"），然后用形式的方式（泰勒级数）把它算出来。