第一部分 · 数从哪里来

不可能的数：x² = −1 与复数

实数填满了整条数轴，看起来数已经够用了。可一个再简单不过的方程 x² = −1，却把实数逼到了墙角。这一课，我们要为"不可能"造一个数；而它一旦诞生，数系就再也不必扩张——这是第一部分的终点。

一堵叫"平方非负"的墙

前几课的剧本你已经熟了：减法逼出负数，除法逼出分数，对角线逼出无理数。每一次，都是一个解不了的运算把新的数拽了出来。这一课的"撞墙"格外干脆——一个方程：

x² = −1

我们要找一个数，它自己乘自己等于 −1（负一）。可是任何实数的平方都非负：正数乘正数得正，负数乘负数也得正，0² = 0。无论你在那条填满了的数轴上怎么找，平方永远跨不过 0 以下。所以在实数里，x² = −1 干脆利落地无解。

历史上很长一段时间，人们就到此为止：这种方程"没有意义，不必理会"。如果故事就这么结束，第一部分也到此为止了。真正逼着人去正视它的，不是这道孤零零的方程——而是一件更尴尬的事。

历史的逼迫：绕不开的 √−1

十六世纪的意大利，数学家们在比拼解三次方程（含 x³ 的方程）。卡尔达诺在 1545 年公布了求根公式，邦贝利随后把它用到底。诡异的事发生了：对某些三次方程，他们明明知道答案是好端端的实数（甚至是整数），可套用公式时，中途必须先开一个负数的平方根——也就是绕不开 √−1。

这就把人架住了。换作是"无意义"的方程，大可以耸耸肩走开。可现在的处境是：起点是实数，终点也是实数，唯独中间必须穿过 √−1 这片"禁区"，否则到不了答案。如果 √−1 真是纯粹的胡说八道，凭什么把它当成中转站，就能算出正确的实数答案？

邦贝利于是做了一个大胆的决定：先假装 √−1 是个可以参与四则运算的合法对象，按规则推下去，看看末了那些 √−1 会不会自己抵消掉。结果——它们真的抵消了，剩下漂亮的实数答案。这强烈地暗示：√−1 不是错误，而是一个我们还没正式收编的数。和负数、无理数当年的遭遇一模一样：先被当成怪物，最后被请进门。

大胆规定：i 与复数 a + bi

那就请进门。我们造一个全新的数，给它起名 i（读作"虚数单位"，imaginary 的首字母），并规定它的唯一性质：

i² = −1　（i 的平方，规定等于负一）

这一步和"规定 3 − 5 = −2"、"规定那个切口叫 √2"在精神上完全一致：我们不是发现了 i，而是定义了它，只要它不引起矛盾、又能解决问题，就站得住脚。有了 i，x² = −1 立刻有了解：x = i 或 x = −i。

把实数和 i 组合起来，就得到复数，一般写成

z = a + bi　（a、b 都是实数）

这里 a 叫实部，b 叫虚部。比如 3 + 2i、−1 + 0i（就是普通实数 −1）、0 + 1i（就是 i 本身）。全体复数记作 ℂ（读作"C"）。实数只是 b = 0 的那些复数——所以我们没有抛弃旧的数，只是把它们装进了更大的家里。复数的加减乘除，就按普通代数来，唯一的额外规则是：每当碰到 i²，就把它换成 −1。

但这里有个看着无害、其实要小心的写法。我们常说"i = √−1"，这只是个方便的口头记号，别太当真：如果你按实数里 √a · √b = √(ab) 的老习惯硬算，会得到 √−1 · √−1 = √((−1)(−1)) = √1 = 1，可它明明应该是 i² = −1。矛盾的根源是"√"那套规则本是为非负实数定的，搬到负数上就失效了。所以真正的定义只有一条干净的：i² = −1。

把数搬上平面：复平面

到目前为止，i 还像个代数符号。让它真正"活"过来的，是一个看似随意、却石破天惊的念头（高斯、阿尔冈等人）：既然实数住在一条线上，那就让复数住在一个平面上。

具体做法是：把复数 a + bi 画成平面上的一个点，横坐标取实部 a，纵坐标取虚部 b。这张平面叫复平面。横轴是老朋友实数轴；纵轴是虚数轴，i 就是 (0, 1) 那个点。上一课好不容易填满的"一维数轴"，在这里长成了"二维平面"——这正是为什么 x² = −1 在线上无解：解根本不在线上，而在线外的平面里。

每个复数 z = a + bi 既是一个点，也可以看成从原点指向它的一支箭。这支箭有两个几何量，下面会反复用到：

• 模长 |z| = √(a² + b²)（读作"z 的模"）：箭的长度，也就是这个点离原点多远。由勾股定理而来——你看，上一课的 √ 在这儿又回来了。
• 辐角：箭与正实轴的夹角，决定它指向哪个方向。

有了"长度 + 方向"这两个量，复数乘法的真面目就要揭晓了——它根本不是一堆枯燥的代数，而是一个动作。

乘法的真相：旋转 + 缩放

我们老老实实按规则，把两个复数相乘，特别看看"乘以 i"会发生什么。取任意复数 z = a + bi，乘上 i：

i · (a + bi) = ai + bi² = ai + b(−1) = −b + ai

原来的点是 (a, b)，乘完 i 变成了 (−b, a)。如果你在纸上把这两个点都画出来，会发现 (−b, a) 恰好是 (a, b) 绕原点逆时针转了 90°！"乘以 i"这个代数动作，在平面上就是转 90°这个几何动作。

这一下，连最让人头疼的 i² = −1 都变得理所当然：i² 就是"乘两次 i"，也就是"转 90° 再转 90°"，一共转了 180°——把指向 +1 的箭，正好翻到指向 −1。"平方等于 −1"在几何上完全自洽：转半圈本来就该到对面。当年那个"不可能"的规定，原来描述的是世界上最自然的动作之一——旋转。

这不是 i 的特例。一般地，两个复数相乘，就是把它们的模长相乘、辐角相加：

乘一个复数 = 按它的模长缩放 + 按它的辐角旋转

乘 i 之所以是"纯旋转 90°"，是因为 i 的模长恰好是 1（不缩放）、辐角恰好是 90°（只转）。下面这个复平面让你亲手验证：拖动点 z，反复点"× i"，看着它沿 z → iz → −z → −iz → z 转一圈又回到原地；或者拉动角度，体会"乘一个复数"如何同时旋转并缩放。

代数基本定理：数系终于闭合

现在到了第一部分的回报时刻。我们沿着 ℕ → ℤ → ℚ → ℝ → ℂ 一路扩张，每一步都是被某个"无解的方程"逼出来的。一个自然的担忧是：这条扩张之路会不会没有尽头？补了 i 之后，会不会又冒出某个方程，逼我们造"更新的数"？

答案漂亮得令人安心——不会了。这就是代数基本定理（高斯给出了严格证明）：

这就是"数系闭合"的含义：复数对加减乘除、对开方、对解多项式，全都自给自足，永远跳不出 ℂ 之外。从"3 − 5 无解"那道小小的裂缝出发，我们被一步步逼着扩张，终于在 ℂ 这里画上句号。数，到此够用了。

常见误解

• "虚数不存在，纯属数学家的把戏。""虚"只是个历史留下的坏名字（笛卡尔当年带着嘲讽起的）。它和负数、无理数一样真实——而且不可或缺：交流电路的分析、量子力学的波函数、信号处理的傅里叶变换，全都离不开复数。说它"没用"，等于说现代电子设备不存在。
• "i 就是 √−1，这么写没问题。"当口头记号可以，当运算规则就出事。前面演示过：硬套 √a·√b = √(ab) 会"证出" i² = 1。唯一可靠的定义是 i² = −1，√ 那套规则不要往负数上搬。
• "复数能比大小，谁更大一目了然。"不能。实数能排成一条线、分大小；复数住在平面上，没有自然的"谁更大"。3 + 2i 和 2 + 3i 没有大小之分。复数有的是模长 |z|（离原点多远，这是个实数，可以比大小），但模长一样的复数有无穷多个——比大小这件事，在平面上根本无从谈起。