⚛️ 精读总结：《费曼物理学讲义》——代数 🔗

本文是对《费曼物理学讲义》（The Feynman Lectures on Physics）第一卷第 22 章的总结，探讨数学规则如何通过抽象与推广来拓展我们对“数”的理解。

理查德·费曼（Richard Feynman）讲解代数的方式堪称逻辑递进的大师课。他从最简单的概念——计数（counting）——出发，系统地构建起数学的各种运算。当原有运算遇到障碍、无法用现有的数求解时，他展示了我们如何发明新类型的数来解决这些问题，并最终抵达复数与欧拉公式的至美之境。

📑 目录 🔗

➕ 加法与乘法 🔗

费曼从整数和最基本的计数机制开始讲起。通过重复计数，我们得到了加法；通过重复加法，我们得到了乘法；通过重复乘法，我们得到了幂运算（乘方）。

作为这些基础定义的直接推论，以下所有基本代数关系式都自然成立：

• $a + b = b + a$
• $a + (b + c) = (a + b) + c$
• $ab = ba$
• $a(b + c) = ab + ac$
• $a(bc) = (ab)c$
• $(ab)^c = a^cb^c$
• $a^ba^c = a^{b+c}$
• $(a^b)^c = a^{bc}$
• $a + 0 = a$
• $a \cdot 1 = a$
• $a^1 = a$

🔄 逆运算 🔗

对于我们创造的每一种运算，我们都会自然而然地发问：如何逆转这一过程？ 求解未知变量的需求促使我们定义了减法、除法、开方和对数这些逆运算。

• 减法： $a + b = c \implies b = c - a$
• 除法： $ab = c \implies b = c/a$
• 开方（根式）： $b^a = c \implies b = \sqrt[a]{c}$
• 对数： $a^b = c \implies b = \log_a(c)$

🌐 抽象与推广 🔗

当我们尝试对某些数执行逆运算时，原本只包含基本自然数的数系就会宣告失效。为了解决这个问题，我们必须推广运算法则，并扩展数的宇宙。

当我们用一个较小的数减去一个较大的数时，我们发明了负数：

将指数运算法则应用于负数时，我们发现了有理数（分数）：

将分数运算应用于指数时，我们发现了根式和实数：

奇妙的是，所有原有的代数法则在这些新引入的数上依然完美适用。

📏 无理数的近似计算 🔗

接着，费曼探讨了如何利用对数和逐次逼近法来实际计算这些非整数值。

以 $10$ 为底，我们可以利用迭代公式 $a' = \frac{1}{2}\left(a + \frac{10}{a}\right)$ 来近似计算 $10^{1/2} = \sqrt{10}$。

通过连续不断地开平方根，我们可以求出 $10^{1/4}, 10^{1/8}, 10^{1/16}, \dots, 10^{1/1024}$。当指数 $n$ 变得非常小时，我们可以对微小幂次进行线性近似：

这一过程不仅使我们能够计算 $10^x$ 和 $\log_{10}(x)$，最终还架起了通往自然底数 $e$ 的桥梁：

🧩 复数 🔗

最后一道障碍是对负数开平方根。解决这一问题需要发明虚数，而虚数与实数结合便构成了复数。

随着这最后一块拼图的加入，每一个代数方程都可以求解了。

复数同样遵循那些基本的运算法则：

将复数应用于指数：

将一个复指数与其共轭复数相乘，就能让我们回到实数域：

我们甚至可以从 $10^{i/1024} = 1 + (2.3025i)/1024$ 出发，通过对结果不断平方，来实际计算出 $10^i$ 等复指数的值。

🌀 虚指数 🔗

费曼的终极目的地是通过虚指数将代数与几何联系起来。通过对连续取值的 $p$ 计算 $10^{ip/8} = x + iy$ 并将结果绘制出来，复平面上便浮现出了一个圆。

由此可以导出不同底数之间的转换关系：

并最终导出常被誉为数学中最美公式的欧拉公式——它将指数函数、三角函数和复数紧密地联系在了一起：

对于任意复数，都可以由此写成极坐标形式：