直观理解虚数：为什么i一点也不虚

问别人虚数是什么，你通常会听到某种版本的"负一的平方根"，语气像是在坦白一件难以启齿的事。再问负一的平方根凭什么存在，答案几乎总是"数学家就是这么定义的"，这听起来不像数学，更像桌游里的一条规则。在整个学校课程里，虚数是最常被当作纯粹敕令来教的内容：有一个符号，叫i，它的平方是-1，请不要问它是什么意思。

这种教法恰好是本末倒置的，而这篇文章就是通常被漏掉的那幅图像。虚数单位不是花招，也不是技术性的权宜之计。它是一个方向，就像负数是一个方向一样，一旦你看清是哪个方向，整个主题就会自行重新排列。定义式i² = -1不再是任意的规则，而变成一件你亲手转两次身就能验证的事。

数学史上最糟糕的名字

先从名字说起，因为这个名字造成了实实在在的伤害。"虚数"（imaginary）这个词生来就是一句讥讽。1637年，笛卡尔用它来贬低这些数：解方程时你被迫写下它们，但它们不可能有任何意义。讥讽流传了下来，这些数却被证明不可或缺。于是如今每个学生初次见到数学中最有用的对象之一时，它身上贴着一张写着"假货"的标签。

有一个历史事实可以化解这种压迫感：负数当年遭到过一模一样的对待。几个世纪里，严肃的数学家都拒绝承认负数，认为它们荒谬，因为你无法手里拿着负三个苹果。让负数获得合法地位的，不是有人发现它们在物理上存在，而是一幅图像：数轴。在数轴上，负数只是指向另一边的普通的数。这套思路我们在负数那篇文章里从头搭建过一遍。虚数是同一个故事的下一章。只要你缺少那幅图像，它们就显得虚假；而一旦有了图像，事情就同样简单：负数指向后方，虚数指向侧方。高斯把问题看得很清楚，提议将它们改名为侧向数（lateral numbers），意思是横着放的数。他是对的，这个名字始终没有流行起来，但在读完本文之前，请把"侧向"这个词留在脑子里。

逼出虚数的那个问题

虚数不是为了好玩才发明的。它们是被一个诚实的问题逼进数学的：什么数的平方等于-1？

在数轴上，这个问题无解，而且值得把原因说清楚。平方意味着一个数乘以它自己，所以两个因子的符号必然相同。正数乘正数是正数；负数乘负数，正如反转论证所展示的，也是正数，因为两次翻转互相抵消。无论哪种情况，结果都落在正的一侧。方程x² = -1要的是整条数轴都提供不了的数，这也是为什么求根公式（我们在二次方程那篇文章里讲过）在判别式为负时会礼貌地报告"无实数解"。

在很长一段时间里，数学家就把问题搁在那儿了。改变他们想法的不是哲学，而是不肯保持破碎状态的算术。16世纪，意大利数学家在求解三次方程时发现，他们的公式有时会径直穿过负数的平方根，最终却抵达明明白白正确的答案，是你可以亲手验证的普通整数。邦贝利迈出了决定性的一步：他把那些"不可能"的平方根当作可以计算的对象，按规则往下算，然后看着虚部彼此抵消，留下正确的实数答案。这个教训令人不安却毋庸置疑：不管有没有人说得清它们是什么，这些数都在干实事。

乘以-1是转半圈

要看清i到底是什么，先从你已经信任的东西开始。乘以-1会把一个数翻到零的另一侧：5变成-5，-5变成5。在数轴上，这个翻转就是一次旋转。乘以-1让一个数绕着零旋转180度，一个标准的半圈，这正是连乘两次-1会回到原地的原因。两个半圈是一整圈，所以-1乘-1等于1。这是负数那篇文章里的反转图像，它马上要第二次派上用场。

现在用旋转的语言重新问出核心问题。神秘的数i必须满足i² = -1，意思是：应用两次i的效果等同于转半圈。所以i是这样一种操作：连做两次，你就转过了180度。

把这句话大声说出来，答案会自己报上名来。做什么动作，做两次之后正好面朝后方？转四分之一圈，转两次。i就是一次90度旋转。

i是四分之一圈，而它需要一个平面

四分之一圈有一个立竿见影的后果：它把你甩出了数轴。把数字1绕着零旋转90度，你会落在零正上方一个单位的位置，而数轴根本不包含这个位置。这才是藏在虚数里的真正发现，也是大多数讲解跳过的一步。问题从来不是√-1不可能存在，而是数轴太小了。数不必挤在一条一维的直线上，它们可以铺满一个二维平面。

这个平面叫复平面，它并不比一张地图更神秘。熟悉的数轴横着走：正数向右，负数向左。一条新的轴竖着走，而i就住在向上一个单位的那个点上。i的各个倍数填满竖直轴的其余部分：2i在i上方，-i在零下方。水平轴叫实轴，竖直轴叫虚轴，但读过上面的内容之后，请把这两个标签读作东西向和南北向。竖直方向没有任何地方比水平方向更不合法，它只是更年轻而已。

为什么i²必须等于-1

有了平面，定义式就会自己证明自己。取数字1，它坐在零以东一个单位处。乘以i：逆时针旋转四分之一圈，1移动到圆的顶端，落在i上。这正是1 × i = i，理应如此。再乘一次i：又一个四分之一圈把你从北边带到西边，落在零以西一个单位处，也就是-1上。

两次乘以i把1变成了-1。写成符号就是i² = -1。这一段里没有任何敕令。人人被要求背诵的那个等式，其实是一句几何陈述：四分之一圈转两次，就是半圈。你可以继续转下去，这个规律值得完整看一遍。第三个四分之一圈把-1带到下方的-i，所以i³ = -i。第四个四分之一圈回到起点1，所以i⁴ = 1，而i的幂就这样以四为周期永远循环，因为四个四分之一圈恰好是一整圈。教科书里看似古怪的代数事实，不过是一只转动的轮子。

复数只是坐标

一旦数住到了平面上，一个一般的数就需要两个坐标，而复数无非如此。表达式3 + 4i不是一道没做完的加法题，就像一座城市的经纬度不是一道没算完的算术题。它是一个地址：向东走3，再向北走4。实部和虚部就是经度和纬度。

算术保持着这个系列里一贯的味道。复数加法是走路：要把3 + 4i和1 - 2i相加，把向东的部分合并，把向北的部分合并，落在4 + 2i。这就是负数那篇文章里的数轴散步，升级成了地图版。乘法才是平面真正发挥价值的地方：乘以一个复数，等于同时旋转和缩放，旋转的角度是这个数的辐角，缩放的倍数是它到零的距离。乘以i是这条一般规则中纯旋转四分之一圈的特例，乘以-1则是纯转半圈的特例。你早就熟悉的符号法则，一直都是旋转法则，只不过被限制在一条直线上，而直线上仅有的两种转法就是原地不动和向后转。

虚数在哪些地方干实事

还剩一个合理的问题：就算这幅图像很优雅，谁需要会旋转的数？答案是所有问题会旋转、振荡或波动的人，而这恰好覆盖了科学和工程的一大片疆域。

交流电是经典案例。墙上插座里的电压和电流像旋转的轮子一样振荡，还带着相位偏移，电气工程师用复数来描述它们，因为乘以复数正好就是旋转加缩放，而这正好就是电路对信号做的事。信号处理走得更深：傅里叶变换是音乐压缩、医学成像和无线通信内部的数学引擎，它把信号分解成用复数写成的旋转分量。量子力学走得最远，i不可移除地嵌在薛定谔方程里。而连接增长与旋转的那座桥，让所有这些记账变得毫不费力的那个公式，是欧拉恒等式那篇文章的主题：给指数函数喂一个虚数输入，它不再增长，而是沿着圆周旅行。这套机器缺了侧向的方向就全都停摆。"虚"数是承重结构。

错误究竟从哪里来

人们在i上犯的错误集中在三个地方，而这三个在旋转图像下全都会消解。

第一个是把i当作变量，当作一个可以取任何值的未知数x。i不是未知数。它是平面上一个特定的点、一次特定的旋转，和-1一样具体。化简i乘i乘i这样的式子时，你摆弄的不是谜团，而是在数四分之一圈：三个四分之一圈让你朝南，落在-i。

第二个是误用平方根法则。学生学过"积的平方根等于平方根的积"，于是写下√-1 × √-1 = √1 = 1，这与i² = -1矛盾，仿佛数学被弄坏了。化解的办法是认识到：这条法则是对非负数证明的，它经不起搬到平面上的旅程。可靠的做法是先转换成i，再数旋转的圈数。法则并没有神秘地失效，它只是被用在了保修范围之外。

第三个错误最古老：相信那个名字。学生对虚数敬而远之，靠死记而不靠理解，因为标签坚称这些数是虚构的。是侧向，不是虚幻；是横着放，不是假的。这门学科最难的部分是它的词汇，而词汇不是数学。

Math Zen能帮上什么

虚数坐在一座塔的顶层，塔身的每一点晃动都会在这里显现。跟a + bi打交道，依赖的是负数那一层的带符号运算、代数那一层的合并同类项，以及求根公式里的判别式，那是大多数学生第一次亲眼看到平方根变负的地方。Math Zen的分桶进阶就是为了让下面几层保持牢固而设计的：前期的桶反复操练带符号的数和反转计数，直到它们成为条件反射；中期的桶把代数变形和二次方程放到时间压力之下；后期的桶混合题型，让埋在计算第三步深处的一个符号也能算对。

正是这种熟练度让跃向i的那一步显得小而不吓人，因为这一步确实很小：一幅新图像，加上你早已掌握的算术。每天的短时练习，按照间隔重复练习的方式进行，就是在往上盖新楼层的同时维护好下面的楼层。

一句话总结

虚数是指向新方向的实数，与数轴成直角，而i就是把它转过去的那个四分之一圈。等式i² = -1不是权威颁布的定义，而是一个观察结果：两个四分之一圈合成半圈，而半圈就是乘以-1。复数是这个平面解锁后的坐标，加法是走路，乘法是旋转加缩放，而整套装置驱动着现代世界的电气、信号处理和量子机器。

虚数唯一真正令人遗憾的地方是它的名字，一句17世纪的贬损，比它作者的怀疑多活了四个世纪。以后再遇到这个话题，请在心里默默翻译：侧向数，横着放的数，走下了直线的数。这时"负一的平方根怎么可能存在"这个问题，就会像当年在高斯那里一样自行解开。它存在于零以北一个单位处，距离你原本站立的地方，恰好一个四分之一圈。