1545 年，米兰数学家卡尔达诺出版了《大术》（Ars Magna），公开了一个让他自己都难以相信的事实：在求解三次方程 x^3 = 15x + 4 时，公式逼着他写下了对负数开方的式子 \sqrt{-121}，这显然在当时是「不可能的数」；可是只要硬着头皮走完计算，最后总能得到 x = 4 这个真实答案。卡尔达诺把这种数叫做「诡辩般精微而无用」，但邦贝利在三十年后接住了它，给出了完整的代数规则。这个被两代人推开的「不可能」，三百年后会被高斯命名为 complex number——复数。

从二次方程 x^2 + 1 = 0 在实数中无解，到代数基本定理保证「每个 n 次多项式恰好有 n 个复数根」，复数完成了数系扩张的最后一步。本章追问：复数为什么必须存在？它的几何本质是什么？为什么数学家从此可以放心说「方程总有解」？

核心张力：实数不够用了

在第二章我们看到 ℕ → ℤ → ℚ → ℝ 的扩张是一系列「封闭性追求」：减法封闭把自然数补成整数、除法封闭把整数补成有理数、极限封闭把有理数补成实数。但还有一种封闭性始终没达到：多项式开方封闭。最简单的例子就是 x^2 + 1 = 0——任何实数的平方都非负，所以这个方程在 ℝ 中无解。

这不只是个孤例。任何首项为正、奇次的实多项式必定在 ℝ 中有根（因为函数从 −∞ 走到 +∞ 必跨过零点），但偶次多项式可能完全不与 x 轴相交。三次方程的卡尔达诺公式更尖锐——即使最终答案是实数，中间步骤也必须经过 \sqrt{-1}。这个「中转站」无法在实数里搭建。

数学家面对的选择有两种：要么承认存在「多项式无法解」的方程并接受这种缺陷，要么扩张数系，把 i = \sqrt{-1} 当作一个新的合法元素引入，看看它会带来什么。两条路都被走过——前者是计算者的实用主义，后者是十六到十九世纪欧洲数学的主线。

复数的代数定义

复数由两部分组成，写作 z = a + bi，其中 a 叫实部、b 叫虚部、i 是满足 i^2 = -1 的「虚数单位」。加法逐项进行 (a+bi)+(c+di) = (a+c)+(b+d)i；乘法按「分配律 + i² = -1」展开：

(a+bi)(c+di) = (ac - bd) + (ad + bc)\,i

这套规则一旦写出来，剩下的事完全就是验证。复数集 ℂ 在加法、乘法上构成一个域：加法可结合可交换有零元有逆元、乘法可结合可交换有单位元 1、非零元有乘法逆元、分配律成立。换句话说，复数代数地表现得「像数」一样。

但有一件事丢了——有序性。在 ℝ 上我们可以问 a < b，可以做不等式推理；在 ℂ 上没有兼容运算的全序：若 i > 0 则 i·i = -1 > 0，矛盾；若 i < 0 则 -i > 0，仍得 (-i)² = -1 > 0，又矛盾。所以扩张到复数的代价就是放弃「比大小」。从这个意义上说，复数不是「比实数更大」的数，而是「不一样」的数——它失去了序，换来了代数封闭。

几何本质：复平面与旋转

1799 年挪威测量员韦塞尔（Wessel）和 1806 年瑞士人阿尔冈（Argand）几乎同时给出了复数的几何解释——把 z = a + bi 看作平面上的一个点 (a, b)。这个想法到了高斯手里成为权威：复数不是抽象符号，它就是平面上的向量。

这一解释让加法变得透明：复数加法就是向量加法（平行四边形法则）。但真正震撼的是乘法——按代数规则展开 (a+bi)(c+di)，会发现它在几何上恰好是「模相乘 + 辐角相加」。

实轴 虚轴 z₁ (r₁, θ₁) z₂ (r₂, θ₂) z₁·z₂ (r₁r₂, θ₁+θ₂) θ₁ θ₂ 乘法 = 模相乘 (r₁·r₂) + 辐角相加 (θ₁+θ₂)

图 1：复平面上的乘法本质——把 z₁ 旋转 θ₂ 度并按 r₂ 倍伸缩。

这一发现把复数从代数对象升格为几何变换。每一个非零复数都对应一个「旋转 + 伸缩」组合：乘以 i 就是逆时针转 90°，乘以 -1 就是转 180°，乘以 e^{i\pi/4} 就是转 45°。一维数轴上的乘法只是「拉伸」，二维复平面上的乘法包含了「旋转」——这是复数比实数多出来的几何能力。

极坐标与欧拉公式

把复数 z = a + bi 用极坐标写：模 r = \sqrt{a^2+b^2}，辐角 \theta = \arg(z)，则有：

z = r(\cos\theta + i\sin\theta)

这一形式在 1748 年被欧拉用泰勒展开打通：把 e^x、\cos x、\sin x 的级数都写出来——形式上，e^{ix} 的展开恰好等于 cos 加 i sin。这就是著名的欧拉公式：

e^{i\theta} = \cos\theta + i\sin\theta

所以每个复数都可以写作 z = re^{i\theta}。这一表达的威力在于：复数乘法变成了指数法则——r_1 e^{i\theta_1} \cdot r_2 e^{i\theta_2} = r_1 r_2 \, e^{i(\theta_1+\theta_2)}，模相乘、辐角相加被「指数封装」成一行式子。

取 \theta = \pi，得到那个被誉为「最美的等式」：

e^{i\pi} + 1 = 0

这个等式把数学中五个最重要的常数（0、1、e、π、i）和三种最基本的运算（加、乘、幂）放进同一个等号——它的「美」不是巧合，而是欧拉公式连接「指数 = 旋转」这一深层事实的纪念碑。

共轭与模的几何

复数 z = a + bi 的共轭定义为 \bar{z} = a - bi，几何上是关于实轴的镜像。共轭满足三条好性质：\overline{z+w} = \bar z + \bar w、\overline{zw} = \bar z \bar w、z\bar z = |z|^2。第三条特别重要——它把模平方表达成代数式，从而让「模」可以代数运算。

它还给出复数除法的标准技巧：

\frac{z}{w} = \frac{z\bar w}{w\bar w} = \frac{z\bar w}{|w|^2}

分母被「共轭化」成实数，复数除法因此可以归约为复数乘法加实数除法——这一步让复数运算彻底封闭，没有比「除法」更难的操作了。

代数基本定理

复数最深的理由不在它的几何之美，而在它代数地完备。代数基本定理（Fundamental Theorem of Algebra，FTA）说：

\forall\, p(z) = a_n z^n + a_{n-1} z^{n-1} + \cdots + a_0,\quad n \ge 1,\; a_n \neq 0,\; a_i \in \mathbb{C} \;\Longrightarrow\; \exists\, z_0 \in \mathbb{C}:\; p(z_0) = 0.

归纳一次（对 p(z) 除去因子 z − z₀）即得推论：每个 n 次复多项式按重数计恰好有 n 个根。

这个定理的发现是渐进的：达朗贝尔 1746、欧拉 1749、拉格朗日 1772 都给出过不完整的证明；高斯在 1799 年的博士论文给了第一个被广泛接受的证明，但严格性仍依赖几何直观；直到柯西 1821 年与阿尔冈 1814 年用复分析方法才给出真正完备的证明。今天它已经被三条独立路线证过——分析、拓扑、代数各占一条，每条都从不同角度揭示「为什么 ℂ 封闭」。

路线一：刘维尔定理（最简洁的复分析证明）

反证。假设 p(z) 在 ℂ 上无零点，考察函数 f(z) = 1/p(z)。

  1. f 全纯

    ：分母 p(z) 处处非零，f 在整个 ℂ 上没有奇点，是

    整函数

    （entire function）。

  2. f 有界

    ：当 |z| → ∞ 时 |p(z)| ~ |aₙ||z|ⁿ → ∞，故 |f(z)| → 0。所以存在 R 使 |z| ≥ R 时 |f(z)| ≤ 1；而在闭圆盘 |z| ≤ R 上 f 连续，故有界。两段拼起来，f 在整个 ℂ 上有界。

  3. 刘维尔定理

    ：「整函数若有界，则必为常数」。所以 f 是常数，从而 p 也是常数——与 n ≥ 1 矛盾。

这条路线只需三行，但每一行背后都是复分析的重型机器：刘维尔定理本身依赖柯西积分公式，柯西公式又依赖柯西-古萨定理（全纯函数沿闭曲线积分为零）。换句话说，FTA 的「分析证明」其实是把「ℂ 的完备性 + 全纯函数的刚性」翻译成多项式有根。

路线二：旋转数（最直观的拓扑证明）

这条路线沿用了高斯 1799 博士论文的几何直觉，现代用同伦语言重新打磨。考察一个充分大的圆 |z| = R，让 z 沿圆走一圈，看 w = p(z) 在 w 平面上画出怎样的曲线。

  • R 很大时

    ：p(z) ≈ aₙzⁿ，所以 w 大致沿 |aₙ|Rⁿ 半径的圆

    转 n 圈

    ——绕原点的

    旋转数（winding number）

    等于 n。

  • R = 0 时

    ：z = 0 是单点，w = p(0) = a₀ 是单点，旋转数 = 0。

  • 连续变化 R

    ：旋转数是整数值的同伦不变量，沿同伦只能取整跳变；但若 p(z) 在 ℂ 上无零点，则曲线 R ↦ p(z) 同伦于点 a₀，旋转数应恒为 0——这与"R 大时旋转数 = n ≥ 1"矛盾。

所以 p(z) 必有零点。这条路线把 FTA 化为拓扑事实：在 ℂ \ {0} 中，「绕原点 n 圈」的曲线不能连续形变到一点。这是 π₁(ℂ \ {0}) = ℤ 的最直接应用。

路线三：最大模 + 紧致性（最初等的代数-分析混合证明）

设 m = inf{|p(z)| : z ∈ ℂ}。要证 m = 0。

  1. 由 |p(z)| → ∞（|z| → ∞）知 inf 实际取在某有限闭圆盘内。该闭圆盘紧致，|p| 在其上连续，

    紧致性 ⟹ inf 取到

    ，存在 z₀ 使 |p(z₀)| = m。

  2. 反证设 m > 0。展开 p 在 z₀ 处的泰勒级数 p(z) = p(z₀) + cₖ(z − z₀)ᵏ + O((z − z₀)ᵏ⁺¹)，其中 cₖ 是 z₀ 之后第一个非零系数。

  3. 沿适当方向 z = z₀ + tξ（其中 ξᵏ 取使 cₖξᵏ 与 p(z₀) 反向），可证当 t 充分小时 |p(z)| < |p(z₀)| = m——与 m 是下确界矛盾。

所以 m = 0，存在 z₀ 使 p(z₀) = 0。这条路线只需要紧致性、连续性与多项式的局部行为，无需柯西积分——是分析味道最淡的证明，也是数学竞赛与教学中最爱用的版本。

三条路线的统一解读

三条证明分别启用了 ℂ 的不同结构：

\begin{array}{l|l|l} \text{路线} & \text{核心工具} & \text{揭示的 } \mathbb{C} \text{ 的属性} \\ \hline \text{刘维尔} & \text{柯西积分公式} & \text{全纯刚性} \\ \text{旋转数} & \pi_1(\mathbb{C}\!\setminus\!\{0\}) = \mathbb{Z} & \text{拓扑非平凡} \\ \text{最大模} & \text{紧致性 + 局部展开} & \text{完备性 + 多项式行为} \end{array}

能从三条独立路线都通向同一个结论，说明 FTA 不是「某个技巧的产物」，而是 ℂ 的结构性宿命——只要把实数补上 i，再保持代数与拓扑的兼容，多项式就必然在其中有根。

定理的意义：复数域是代数封闭的。这是从 ℕ 到 ℝ 的扩张链中没达到的最后一步——ℝ 上 x²+1 没解，但任何复多项式都至少有一个复根。Eisenstein、Galois 等十九世纪的代数学家由此把多项式方程的「可解性」研究彻底转化为复数域上的问题，开启了抽象代数（伽罗瓦理论、域扩张、群论）的新天地。换一个角度看：FTA 等价于说「复数域是 ℝ 的代数闭包」，而代数闭包是数学中最朴素也最强烈的「封闭性概念」。

Re Im 单位圆 x⁵ - 1 = 0 的五个复根均匀分布在单位圆上（五次单位根）

图 2：代数基本定理保证 n 次多项式恰好有 n 个复根。x⁵=1 的五个根是单位圆上的正五边形顶点。

复分析的初窥

把微积分推广到复变量，会发现复数的可微性远比实数的可微性苛刻。复函数 f = u + iv 在某点可导（这里叫「全纯」holomorphic），等价于 u、v 满足柯西-黎曼方程：

\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}

这两个方程把复可微的「单一条件」拆成两个偏微分约束，强到让全纯函数表现得像一类极特殊的对象：它们一旦在一个开域上全纯，就自动是无穷次可微的，并且在其内部任何点附近都可以被自身的泰勒级数表示（解析）。这是实可微无法企及的境界——实函数即使光滑（C^∞），泰勒级数也未必收敛于自身，而复函数只要可导一次，就强制解析。

柯西积分定理把这一刚性变成一种「面积消去」：全纯函数沿任意闭曲线的积分为零；柯西积分公式则进一步说，全纯函数在内部的值由它在边界上的值唯一决定——换句话说，全纯函数被边界数据完全确定。这是一种强烈的「整体性」：局部的可导性绑定了全局的形状。

复分析的应用从纯数学（黎曼 ζ 函数、解析数论）延伸到物理（流体力学的势函数、电磁学的位势）、工程（信号处理的 z 变换）、几何（黎曼面、共形映射）。它是 19 世纪数学在「分析 + 代数 + 几何」三条线上的总收成。

解析延拓：复函数的唯一身份

实分析里的 C^∞ 函数可以被任意修改而保持光滑——比如著名的"凸起函数"（bump function）在某区间内为 1、外部为 0、过渡处无穷次可微。但在复分析里这种自由消失了：全纯函数没有"局部修改"的余地。这一刚性的极致体现就是解析延拓。

恒等定理：一点决定整片

全纯函数最惊人的性质是恒等定理（Identity Theorem）：

f, g \text{ 在连通开域 } \Omega \text{ 上全纯},\;\; f|_S = g|_S \text{ 且 } S \text{ 在 } \Omega \text{ 中有聚点} \;\Longrightarrow\; f \equiv g \text{ 于 } \Omega.

这是一种近乎暴政的刚性：只要在某条收敛于内点的小数列上 f = g，整片区域上就 f = g。等价地说，全纯函数在任意非空开集上的取值完全决定它在整个连通域上的取值。这与实分析的处境形成鲜明对比——实 C^∞ 函数在 [0, 1] 上的值与在 [2, 3] 上的值毫无瓜葛。

恒等定理的证明思路：若 f − g 在某聚点 z₀ 处的所有泰勒系数都为零，则 f − g 在 z₀ 的某邻域恒为零；该「零集」既是闭集（连续性）又是开集（泰勒展开），由 Ω 连通性得它就是整个 Ω。

解析延拓的定义与唯一性

设 f 在区域 Ω₁ 上全纯。若存在更大的连通区域 Ω ⊃ Ω₁ 与全纯函数 F: Ω → ℂ 使得 F|_{Ω₁} = f，则称 F 是 f 的解析延拓。恒等定理直接给出：

\text{解析延拓若存在则唯一.}

这个"唯一性"是数学中最优雅的现象之一：一个仅在小区域上定义的全纯函数，在所有可能延拓的方向上同时被锁死。它不是"我们碰巧找到了一个延拓"，而是"延拓只能是这一个，再无其他可能"。

四个经典延拓的优雅

四个最著名的解析延拓示范了这种唯一性的力量：

  • 几何级数 ↦ 1/(1−z)

    ：级数 1 + z + z² + ⋯ 在 |z| < 1 内收敛，但其和函数 1/(1−z) 在 ℂ \ {1} 上全纯。后者是前者的唯一解析延拓——把"收敛半径 1"的限制扩张到"全平面除 1 点"。一个在单位圆内被锁死的函数，被强制定义到了整个平面。

  • 实指数函数 e^x ↦ e^z

    ：定义在 ℝ 上的 e^x 在 ℂ 上唯一延拓为 e^z = eˣ(cos y + i sin y)。这条延拓本质上把指数函数与三角函数

    统一为同一对象

    ——欧拉公式 e^{iθ} = cos θ + i sin θ 不再是巧合，而是 e^z 在虚轴上的取值。

  • 实阶乘 n! ↦ Γ 函数

    ：欧拉 1729 年问"如何把阶乘从 ℕ 延拓到 ℂ？"——答案是 Γ(z) = ∫₀^∞ t^{z−1} e^{−t} dt，在 Re(z) > 0 上全纯，并通过反射公式 Γ(z)Γ(1−z) = π/sin(πz) 延拓到 ℂ \ {0, −1, −2, …}。Γ 函数是阶乘的

    唯一"自然"延拓

    （Bohr–Mollerup 定理刻画其唯一性）。

  • 狄利克雷级数 Σ 1/nˢ ↦ ζ(s)

    ：这是下一节的主角，也是解析延拓威力的最高展演。

1 + 2 + 3 + ⋯ = −1/12 的真正含义

互联网上流传着一个让人迷惑的等式 1 + 2 + 3 + ⋯ = −1/12。它不是说级数收敛——发散级数没有传统意义上的"和"。它的真实含义是：

\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} \text{ 在 } \mathrm{Re}(s) > 1 \text{ 收敛, 其解析延拓在 } s = -1 \text{ 处取值 } -\tfrac{1}{12}.

把 s = −1 形式上代入级数得 Σ n = 1 + 2 + 3 + ⋯，但级数发散，这个代入无效；只有解析延拓后的 ζ(−1) 才有定义，且确实等于 −1/12。这个数值在弦论的玻色子维度计算（D = 26）和卡西米尔效应（vacuum energy）中频繁出现——物理学家通过解析延拓"重整化"发散和。这不是诡辩，是解析延拓唯一性带给数学的一份赠礼：发散级数被迫给出一个唯一的"正确"数值。

黎曼猜想：复数与素数的深层共振

解析延拓最壮丽的应用，是把"算术"问题转化为"复函数零点几何"问题。这条路的入口是黎曼 1859 年的一篇 8 页论文《论小于给定值的素数个数》，出口至今仍未抵达——这就是黎曼猜想（Riemann Hypothesis），克雷研究所百万美元七大千禧难题之首。

欧拉乘积：ζ 与素数的捆绑

1737 年欧拉发现：当 Re(s) > 1 时，

\zeta(s) \;=\; \sum_{n=1}^\infty \frac{1}{n^s} \;=\; \prod_{p \text{ 素数}} \frac{1}{1 - p^{-s}}.

右边乘积本质上是算术基本定理（每个正整数唯一分解为素数之积）的解析翻译——把 1/(1 − p^{−s}) 展开为 1 + p^{−s} + p^{−2s} + ⋯，再乘开，恰好得到 Σ 1/n^s。这一公式把 ζ 函数与全体素数不可分解地绑在一起：研究 ζ 等于研究所有素数同时。

黎曼的延拓与函数方程

原级数只在 Re(s) > 1 收敛，但黎曼 1859 年用解析延拓把 ζ 推广到 ℂ \ {1}（在 s = 1 处有简单极点），并发现一条美得震慑人心的函数方程：

\zeta(s) \;=\; 2^s \pi^{s-1} \sin\!\left(\frac{\pi s}{2}\right) \Gamma(1 - s)\, \zeta(1 - s).

这条方程让 s 与 1 − s 沿临界线 Re(s) = 1/2 形成对称镜像。它直接给出 ζ 在 s = −2, −4, −6, … 处的"平凡零点"（来自 sin(πs/2) = 0），并把 ζ 的"非平凡零点"全部锁定在 0 ≤ Re(s) ≤ 1 的临界带（critical strip）内。

黎曼猜想的形式化陈述

把所有非平凡零点写出来：

\zeta(\rho) = 0,\;\; 0 < \mathrm{Re}(\rho) < 1 \;\Longrightarrow\; \mathrm{Re}(\rho) = \tfrac{1}{2}.

也就是说，所有非平凡零点都精确地落在临界线 Re(s) = 1/2 上。截至 2024 年，已验证前 10¹³ 个零点全部在临界线上（Wedeniwski、Gourdon 等大规模数值验证）；2024 年 Larry Guth 与 James Maynard 给出 ζ 在 Re(s) = 3/4 附近零点密度的新上界，把临界带边界向中心又推近了一截——但临界线本身的"完全坐实"仍是数学未竟之业。

为什么这条线如此重要：素数定理与误差项

黎曼猜想的力量在于它精确地控制素数分布的误差项。设 π(x) 为不超过 x 的素数个数，素数定理（Hadamard、de la Vallée Poussin 1896）说 π(x) ~ x/ln x。但更精确的命题是：

\pi(x) \;=\; \mathrm{Li}(x) + O\!\left(x^{1/2} \ln x\right) \;\Longleftrightarrow\; \text{黎曼猜想成立}.

其中 Li(x) = ∫₂^x dt/ln t 是对数积分。如果 RH 成立，素数分布的"波动"就被压在 √x 量级——这是最小可能的误差，意味着素数分布"尽可能规则"。反之若有零点偏离临界线，误差项就会膨胀。RH 等价的命题超过百条，遍及解析数论、密码学（RSA 安全分析）、随机矩阵理论、量子混沌（GUE 假设）。

复平面如何"看见"素数

这是这一章最深的回环。卡尔达诺时代复数被视为"诡辩般精微而无用"的虚构物；三百年后，黎曼通过解析延拓把素数的全部秘密塞进了复平面上一个函数的零点位置。复平面成为研究整数最有效的舞台——这是十六到十九世纪全部数学发展给出的最戏剧性回报。

\underbrace{\mathbb{C}}_{\text{二维数}} \;\xrightarrow{\;\text{解析延拓}\;}\; \underbrace{\zeta(s)}_{\text{整体函数}} \;\xleftrightarrow{\;\text{欧拉乘积}\;}\; \underbrace{\{p\}}_{\text{素数集合}}.

这条链条上每一个箭头都依赖复数的某一独有性质：紧致性 + 全纯刚性给出延拓的唯一性；函数方程的对称性来自复指数 e^{iθ} 的旋转结构；而欧拉乘积把"乘法"翻译为"指数加法"——再次依靠复指数。没有复数，就没有解析数论；没有解析延拓，就没有黎曼猜想；没有黎曼猜想被发问的可能，整个 20 世纪数学的格局都会不同。

一个开放的传统

黎曼猜想自 1859 年提出至今 167 年未解。希尔伯特 1900 年把它列为 23 个世纪难题之第 8 题；克雷研究所 2000 年把它列为千禧七大难题之首；它是哈代每次坐火车前都"先证一遍"的护身符（哈代说："上帝不会让我刚证完 RH 就死，所以飞机不会失事"）。它的解决——无论正面证明、反面证伪还是发现意外的等价表述——都将彻底改变数论、复分析与数学物理的版图。这是复数三百年长征留给我们的一封未启信。

临界带 0 ≤ Re(s) ≤ 1 临界线 Re(s) = 1/2 Re Im ρ₃ = 1/2 + 25.01i ρ₂ = 1/2 + 21.02i ρ₁ = 1/2 + 14.13i ρ̄₁ = 1/2 − 14.13i ρ̄₂ = 1/2 − 21.02i ρ̄₃ = 1/2 − 25.01i −4 −2 平凡零点 前 10¹³ 个非平凡零点都在临界线上 — 黎曼猜想未证

图 3：ζ 的零点几何。平凡零点位于负偶整数；非平凡零点（数值上）全部落在 Re(s) = 1/2 的临界线上。

结语：代数与几何的合一

复数的故事是一个三百年的回环。卡尔达诺的「诡辩般精微而无用」是它的起点；欧拉公式 e^{i\pi}+1=0 让它有了哲学的庄严；高斯的代数基本定理给了它形式上的合法性；柯西的复分析给了它分析上的成熟；黎曼把它推上了素数舞台。从一个被排斥的「不可能数」，到代数封闭的标杆数系，到解析数论、量子力学、傅里叶分析的舞台——复数证明了一个深刻的事实：代数封闭性是值得追求的，哪怕代价是放弃序。

这一章我们看到了一个清晰的结构：从「方程无解」的代数张力，到「平面向量」的几何具象，到「e^{iθ}」的指数封装，到「代数基本定理」的最终回报，再到「解析延拓 + 黎曼猜想」对整数世界的深层投影。每一步都不是装饰，而是必然。复数不是数学家发明的——它是数学规律强迫数学家承认的。

与下章纽带

复数到此为止，但封闭性追求还能继续吗？1843 年哈密顿创造了四元数（i² = j² = k² = ijk = -1）—— 它能描述三维旋转，但失去了交换律 (ij ≠ ji)。1845 年凯莱构造了八元数——再失去结合律。下一章我们会用弗罗贝尼乌斯定理证明：在「保持基本代数性质」的意义下，ℝ、ℂ、ℍ（四元数）已经是全部——再扩张就必须放弃更多东西。复数不是数系扩张的「中点」，而是「保结构最大终点」。

系列文章：第一章 自然数 · 第三章 实数 · 第十七章 停机问题 · 第二十七章 哥德尔不完备性 · 第三十七章 群