如果你第一次接触虚数时，心里反复盘旋着这个问号，千万别觉得自己数学不好。
毫不夸张地说，这个问题，人类历史上最顶尖的一批数学家，足足拧巴了近三百年。
从 1545 年卡丹第一次别扭地写下√-15（根号-15），到 1806 年阿尔冈一锤定音说清 i 到底是什么，中间隔了整整 261 年。
261 年是什么概念？差不多是清朝从入关到灭亡的总时长。
连牛顿这样级别的人物，当年都对这玩意儿嗤之以鼻，觉得这是 “不可能存在的数”。
你在一堂课几十分钟里，要接住这个跨越三百年的认知冲击，觉得懵、觉得反常识，太正常了。
说白了，你不是学不会复数，你是在短短几十分钟里，重走了人类数学史上最艰难的一段认知突围。
故事得从 16 世纪的意大利讲起。
那是文艺复兴的尾声，数学还带着点炼金术的江湖气，数学家们藏着自己的独门公式，靠打擂台、赌奖金吃饭。
我们的主角之一吉罗拉莫・卡丹，就是个特别有意思的人物：他是悬壶济世的医生，是造诣极深的数学家，也是个出名的赌徒，一辈子疯疯癫癫，留下了一大堆奇奇怪怪的研究。
1545 年，卡丹出版了《大术》这本书，里面第一次系统公布了三次方程的求根公式。
也就是在这本书里，他随手写下了一个在当时看来特别 “离经叛道” 的东西。
问题本身平平无奇：把 10 拆成两个数，让它们的乘积等于 40。
放在今天，初中生都会列方程：x (10-x)=40，整理一下就是 x^2 - 10x + 40 = 0，配方之后得到 (x-5)^2 = -15。
这时候所有人的本能反应都一样：负数怎么能开平方？老师从小就教我们，任何数的平方都是非负的，-15 开根号，这玩意儿没意义，所以这道题无解。
卡丹当时也是这么想的。
但他干了一件特别 “勇” 的事：他明知道这东西在现实里找不到对应，还是硬着头皮把 √-15 写了下来，然后算了算，把 5+√-15 和 5-√-15 加起来，确实是 10；乘起来，也确实是 40。
形式上完美自洽，可他自己也不知道这玩意儿到底代表什么。
于是他写下了那句特别有名的话：“算术就是这样神妙地钻研下去…… 精致而不中用。”
“精致”，是说它在数学逻辑上挑不出半点毛病；“不中用”，是说谁也不知道这东西有啥用，对应现实里的什么事物。
就这么着，人类第一次和 “负数的平方根” 打了照面。没人拿它当回事，只当是个数学游戏里的小怪物，写着玩的。
谁也没想到，这个 “不中用” 的怪物，后来会掀翻整个数学的底层认知。
如果说卡丹只是 “写下了” 虚数，那真正让虚数显出威力的，是另一个意大利数学家，拉斐尔・邦贝利。
时间拨到 1572 年。邦贝利遇到了一个三次方程：x^3 - 15x - 4 = 0。
这题有个特别明显的实数解：x=4。代入算一下，64 - 60 - 4 = 0，清清楚楚，明明白白。
可诡异的地方来了：如果用卡丹的三次方程求根公式去正规求解，算到中间步骤，会硬生生冒出一个 √-121。
这就离谱了。
一个普普通通的实数根，用正统公式去算，半路居然杀出个 “不存在的数”？
换做一般人，早就把公式一扔说 “这公式错了”，就连卡丹自己当年遇到这种情况，也是直接摆摆手说 “这种情况公式不适用”。
但邦贝利没这么干。他做了一个在当时看来近乎疯狂的假设：
“就算 √-1 是不存在的，我先假设它能像普通数一样参与运算，行不行？”
他假设，那个带着 √-121 的立方根，可以拆成 a + b*√-1 的形式，其中 a 和 b 都是正常的实数，而 √-1 这个东西，满足 (√-1)^2 = -1。
就这么硬着头皮算。
算出来的结果惊掉了所有人的下巴：a=2，b=1。两个这样的立方根加在一起，虚数部分正好抵消，最后结果就是扎扎实实的 4。
中间过程里那个 “不存在的数”，转了一圈，自己消掉了，留下了一个所有人都认可的、真实的答案。
这是什么感觉？
就像你盖房子，中途用了一种谁也没见过的 “虚幻砖块”，你捏着鼻子用它砌墙，砌完之后，那些虚幻砖块凭空消失了，只剩一栋结结实实的房子立在你面前。
你能说这砖块是假的吗？可它真的帮你盖出了房子。
邦贝利就是历史上第一个系统地用虚数做运算的人。他没搞懂虚数到底是什么，也不知道它有什么几何意义，但他用实打实的结果证明了一件事：这东西能用，而且用它算出来的结果，没毛病。
按说都到这份上了，数学家们该接受了吧？
并没有。
之后的一百多年里，虚数依旧是数学界的 “过街老鼠”，人人喊打。
为啥这么招人恨？
因为它太反常识了。
在所有人的直觉里，“数” 是用来数东西的。1 个苹果、2 个梨，这是自然数；欠别人 3 块钱，这是负数；切半个饼，这是分数。所有这些数，都能在一条直线上找到位置，就是我们熟悉的数轴。
正数在右边，负数在左边，所有的数都老老实实待在这条线上。
那 √-1 在哪？
哪都不在。这条线上找不到任何一个数，平方之后等于 - 1。
所以在当时的数学家眼里，这玩意儿根本就不是 “数”，只是人们解方程的时候凭空臆造出来的符号，是代数运算的一个 “bug”。
1637 年，笛卡尔在他的《几何学》里，第一次给这东西起了个名字：“imaginary number”，翻译过来就是 “虚数”。
你以为这是正式命名？错了。
在当时的语境里，“虚” 这个字就是赤裸裸的贬义。它对应 “实”（real number，实数），意思就是 “这不是真实存在的数，只是想象出来的副产品”。笛卡尔提这个名字，不是为了接纳它，是为了把它和 “真正的数” 划清界限，把它隔离在正统数学之外。
牛顿就更直接了。
牛顿在他的《普遍算术》里明明白白地说：如果一个方程解出了复数根，那就说明这个方程对应的物理问题本身就是不可能的。
说白了，在牛顿眼里：出现虚数 = 题目出错了。
你看，从卡丹写下 √-15，到邦贝利用它算出真实结果，已经过去快两百年了。人类最顶尖的大脑，还是不肯承认这东西是正经的数学。
你现在学虚数觉得别扭，觉得反直觉，太正常了。你只是在重复几百年前大师们走过的弯路而已。
但历史的车轮不会停。有些东西，一旦出现了，就再也躲不开。
转机出现在 18 世纪。
短短二十多年里，三个数学家各自往前迈了一小步，拼在一起，就把虚数的面纱掀开了一大半。
第一个人，叫棣莫弗。
1722 年，棣莫弗发现了一个现在以他名字命名的公式：
(cos x + i sin x)^n = cos (nx) + i sin (nx)
现在看这个公式，你可能没什么感觉。
但你仔细品一品：左边是一个复数的 n 次方，右边是角度翻了 n 倍。
这像什么？
像旋转啊。
你转一次 30 度，再转一次 30 度，总共就是转了 60 度。一个数自乘 n 次，对应的角度就转 n 次。这背后藏的，就是复数和旋转的深刻联系。
只不过棣莫弗本人当年可能没多想这层几何意义，他只是单纯觉得这个公式算三角函数特别好用。但他不知道，他已经把通往虚数本质的钥匙，放在了所有人面前。
第二个人，叫达朗贝尔。
1747 年，达朗贝尔注意到了一件看起来特别不起眼的小事：所有长得像 a+bi 这样的数，不管你做加、减、乘、除，算出来的结果，还是 a+bi 这个样子。
咱们可以随便验证一下。
加法就不用说了：(a+bi)+(c+di) = (a+c)+(b+d) i，实部加实部，虚部加虚部，结果还是这个形式。
乘法稍微麻烦点：(a+bi)(c+di) = ac + adi + bci + bd*i^2，因为 i^2=-1，所以最后就是 (ac-bd)+(ad+bc) i，还是实部加虚部。
最考验人的是除法。比如 (a+bi)/(c+di)，分母有 i，看着就闹心。但数学家很快就找到了技巧：分子分母同乘分母的 “共轭” c-di，分母就变成了 c^2+d^2，变成了纯实数，i 就消掉了，最后结果还是 A+Bi 的形式。
这意味着什么？
意味着复数是一个 “自给自足” 的世界。
你从 a+bi 出发，随便怎么折腾四则运算，永远都跳不出 a+bi 这个圈子。它不需要再引入新的奇怪符号，它自己就是一套完整的数系。
你可能体会不到 “封闭性” 有多重要。
这么说吧：自然数做减法，会跑出负数，所以自然数不够用；整数做除法，会跑出分数，所以整数不够用；但复数做四则运算，它哪儿都不去，就老老实实待在自己的体系里。
这说明什么？说明它根本不是什么临时凑出来的符号，它是一个正经的、完整的数的家族。
第三个人，就是大名鼎鼎的欧拉。
1748 年，欧拉把棣莫弗和达朗贝尔的工作往前推了一大步，写出了那个号称 “数学史上最美公式” 的欧拉公式：
e^(iθ) = cosθ + i sinθ
当 θ 取 π 的时候，就变成了那个无数人奉为神来之笔的等式：e^(iπ) + 1 = 0。
这个公式到底牛在哪？
它把数学里最基本的五个常数，自然常数 e、圆周率 π、虚数单位 i、自然数 1、0，用一个等式串在了一起，没有任何多余的东西，简洁到极致，也深刻到极致。
而更重要的意义在于：它彻底坐实了复数和旋转的关系。
e^(iθ) 是什么？就是单位圆上的一个点，θ 就是这个点和实轴的夹角。
复数相乘，就是模长相乘，角度相加。
到这时候，虚数的几何意义已经呼之欲出了。就差最后一层窗户纸，没人捅破。
终极答案：i，就是旋转 90 度
捅破这层窗户纸的，不是什么顶尖的大数学家，而是一个挪威的测量员，叫韦塞尔。
1797 年，韦塞尔干了一件特别朴素的事：他把复数 a+bi，直接画在了一个平面上。
横轴是实数轴，纵轴是虚数轴，一个复数 a+bi，就对应平面上从原点出发的一个向量，坐标就是 (a,b)。
就这么简单的一件事，之前居然没人正经做过。
但真正把这件事说透、让所有人恍然大悟的，是瑞士的一个业余数学家，叫阿尔冈。
1806 年，阿尔冈出版了一本薄薄的小册子，名字就叫《试论一种表示虚量的方法》。
他的推理简单到离谱，却振聋发聩：
我们都知道，1 乘以 - 1，等于 - 1。放在数轴上看，就是从 1 的位置，旋转 180 度，转到了 - 1 的位置。
那我问你：有没有一种操作，做两次，刚好等于旋转 180 度？
答案太简单了：旋转 90 度啊。
先转 90 度，再转 90 度，加起来就是 180 度，正好对应乘以 - 1。
那这个 “旋转 90 度” 的操作，对应的数是什么呢？
就是 i。
i 乘以 i，等于 i^2，等于 - 1。对应到几何上，就是连续转两个 90 度，总共转了 180 度，转到了 - 1。
就这么简单。
困扰了数学家三百年的谜题，答案居然就这么朴素。
i^2=-1，从来不是什么人为的 “规定”，不是数学家们拍脑袋瞎编的规则。
它是一个几何事实：如果你允许数不再局限在一条直线上，而是可以在一个平面上旋转，那么 i 就是那个 “逆时针转 90 度” 的操作，转两次，自然就到了 - 1。
为什么以前我们觉得不可能？
因为我们默认了数只能在一维的数轴上跑。在一维的世界里，你要么往左，要么往右，平方之后肯定都是正的，不可能有负数。
但如果世界是二维的呢？
你站在原点，面朝东（也就是 + 1 的方向）。你向北转 90 度，你面朝的方向，就是 i 的方向。你再向北转 90 度，你就面朝西了，也就是 - 1 的方向。
i^2=-1，就这么回事。
它不是违背了数学，而是拓展了数学。数学不止有一根数轴，它还可以是一整个平面。
从一维的线，到二维的面，这一步，人类走了三百年。
讲到这，可能还有人会说：就算几何上能解释，那这东西除了做题，还有啥用？当年卡丹说它 “不中用”，难道现在就中用了？
还真就中用了，而且用处大到离谱。
我们今天的整个现代科技，几乎都离不开复数。
先说电学。
交流电里的电压、电流，都是随时间正弦变化的。如果用实数去算，天天要和三角函数打交道，繁琐得要死。
但一旦用复数表示，正弦波就变成了 e^(iωt)，求导、积分、叠加，全都变成了简单的指数运算，计算量直接降了一个数量级。
电机工程、电路设计、电力系统，没有复数，工程师们根本没法干活。我们现在能安安稳稳用上电，背后都有虚数的功劳。
再比如信号处理。
我们听的音乐、看的视频、手机的通信信号，都要做傅里叶变换。而傅里叶变换的核心，就是复数。
没有复数，就没有快速傅里叶变换，就没有今天的数字音频、数字图像，也就没有智能手机。
更别说量子力学了。
量子力学里的波函数，本身就是复函数。
概率幅是复数，干涉叠加是复数运算，整个量子世界的描述，就是建立在复数的基础上的。
如果没有虚数，我们根本没法描述微观粒子的行为，也就不会有半导体、芯片，不会有今天的信息时代。
当年那个被牛顿认为 “代表不可能” 的虚数，那个被笛卡尔称为 “想象中的数” 的怪物，如今成了描述真实物理世界最基础的语言。
卡丹要是知道他笔下 “精致而不中用” 的玩意儿，几百年后支撑起了整个人类文明，不知道会作何感想。
所以，i 的平方怎么可能等于 - 1？
现在你可以给出答案了：
在一维的数轴上，它确实不可能。
但当我们把视野从一条线拓展到一个面，当数不再只是用来计数，还可以用来描述旋转，那么 i^2=-1 就是最自然不过的必然。
它不是被 “发明” 出来的规则，是被 “发现” 的结构。
其实数学史上很多伟大的突破，都是这样的过程。
一开始，人们觉得某样东西 “没意义”“不可能”，只是因为我们的认知还被困在旧的框架里。
负数刚出来的时候，人们也觉得荒谬，哪有 “比没有还少” 的东西？无理数刚出来的时候，还引发了第一次数学危机，发现它的人甚至被扔进了海里。
虚数也一样。
三百年前，人类最聪明的大脑，也跨不过从 “一维” 到 “二维” 的那道坎。
而今天的你，坐在课堂里，用几十分钟的时间，就接过了人类花了三百年才递过来的接力棒。
你觉得难，觉得反直觉，一点都不丢人。
因为你正在经历的，是一场浓缩的认知革命。
而每一次这样的革命，都在告诉我们：
数学的边界，永远比我们想象的更宽广。
世界的样子，也永远比我们看到的更丰富。
热门跟贴