很多人一开始都会觉得，复数的出现，只是为了让方程x²+1=0拥有解。但查阅更多资料之后就能发现，这个理解太过浅显，更像是事后才补上去的解释。真正推动数学体系引入复数的，并不是单独某一个方程，而是实数系统在运算封闭性、多项式求根这件事上出现了缺陷。在修补这套缺陷的过程中，复数从一个看上去怪异的符号，慢慢发展成完整的数域。
数系扩张本身就有固定规律。自然数做加法和乘法不会跑出这个集合，但做减法就会产生负数。整数可以完成加减乘运算，做除法却会得到分数。有理数依旧不够，求极限和开方运算会生成无理数。实数补上了前面这些漏洞，看起来已经足够完备。可一旦处理开方，负数就没有对应的实数解。如果仅仅是二次方程无解，数学家完全可以直接标注“无实根”，不需要创造新的数字。真正棘手的是三次方程。
16世纪意大利数学家在求解三次方程时，卡尔达诺公式给出了一套机械求根方法。拿x³=15x+4举例，肉眼就能直接看出x=4是方程的根。但套用公式计算的时候，会出现√(-121)。按照当时的数学规则，这个式子没有意义。可如果强行把√(-121)当作11i参与运算，算出的立方根是2+i和2-i，两者相加刚好等于4。这件事在当时很让人费解。二次方程遇到负数开方，我们可以直接标注没有实数解，绕开这个问题。三次方程不行，明明存在实数根，但公式计算过程必须借助复数。之后邦贝利认真研究了这类当时被称作“不可能的数”。所以复数并不是凭空诞生，是三次方程的求解问题倒逼出来的。
再往更深一层看，核心是代数封闭性。数学家希望达成一个目标：任意多项式，都能在某个数系里全部拆解成一次因式。实数域做不到这件事，部分多项式在实数范围内无法继续分解。引入i之后的复数域，满足一条规则：任意次数大于0的复系数多项式，至少存在一个根，也就是代数基本定理。由此可以推出n次多项式，计重数的情况下正好有n个根。代数方程体系就此实现封闭。当然也有代价，复数没办法像实数一样比较大小。我们无法判定1+i和2+i谁更大，同时维持加减乘除的运算规则。数学在这里做了取舍：牺牲数的有序性，换取代数封闭。这个取舍十分关键，解方程的核心需求不是数字大小对比，而是运算封闭。
复数也不只是单纯的符号游戏，它有着很直观的几何含义。我们可以把a+bi看作平面上的坐标点(a,b)，复数加法等价于向量相加。乘法的特性更有意思，乘法会同时完成旋转和缩放操作。乘以i，相当于在平面上逆时针旋转90度。连续旋转两次，方向就完全反转，所以i²=-1。有了这个几何解释，复数就不再晦涩难懂。它天生适合描述旋转、周期、波动这类现象。欧拉公式e^{iθ}=cosθ+isinθ，把指数函数和三角函数联系在一起，很多三角恒等式、微分方程、信号分析相关计算，用复数书写会更加简短清晰。
从数学分析的角度来说，复数的地位更加稳固。实变函数里面很多函数性质不够规整，换到复变函数体系，解析函数拥有极强的约束特性。只要掌握一小段区域的信息，有时就能推导出函数整体的性质。留数定理可以把一些难度很高的实积分，简化成围道内少数几个点的计算。这不只是解题技巧，根源在于复数域本身的结构更加完善。物理和工程领域，交流电、信号处理、量子力学都在大量使用复数。但底层根源依旧是数学结构本身：实数域存在局限，复数域属于代数闭域，天然匹配二维旋转，还可以统一分析、几何、三角、指数这几个数学分支。
所以引入复数，不是因为现实世界存在虚数，也不单单为了让某个方程有解。是实数在求根封闭性上存在短板，数学体系为守住运算规则、扩充解的范围、统一不同数学分支，必须做出的选择。复数不是临时打的补丁，是数系扩张到特定阶段自然产生的结果。只是这个结果需要放弃大小比较，换来一套更完整的代数体系。
