有时候，人类科学的发展需要超越传统的思维方式。在 20 世纪早期，物理学上的两次革命——爱因斯坦的相对论(首先是狭义的，然后是广义的)和量子力学——带来了对数学的需求，而所需要的工具仅用实数是满足不了的。从那时起，由实部和虚部组成的复数就与我们对宇宙的理解不可分割地纠缠在一起。

从数学上讲，当我们想到数字时，可以想到几种不同的分类方法：

可数数字：1、2、3、4，等。这样的数字有无数个。自然数：0、1、2、3 等。这些数与可数数相同，但同时包括零。整数：…,3,2,1,0,1,2,3, 等。这看起来可能不多，但认识到我们可以有负数是一个巨大的突破，而且负数和正数一样多。整数包括所有的自然数和它们的负数。有理数：可以表示为一个整数除以另一个整数的任何数字。这包括所有的整数(可以表示为它们本身除以 1)以及每个整数之间无穷多的有理数。任何无限循环的小数都可以用有理数来表示。实数：包括所有的有理数以及所有的无理数，比如非完全平方的平方根，π，以及其他的无理数。任何有理数和任何无理数的和都是无理数，但两个无理数的和可能是有理数。

但是，尽管正数的平方根是实数，负数的平方根却没有明确的定义。至少，它还未被定义，直到数学家并发明了虚数来进行定义！

虚数和实数没什么两样，只不过可以乘以 i——或者说 √-1。数字也可以是复数，其中既有实部(a)也有虚部(b)，通常用(a + bi)表示。

现在你知道它们是什么了，下面 5 个是我认为关于虚数最有趣的事实！

1. i 的平方根既有实部也有虚部

一个负实数的平方根是纯虚数，但一个纯虚数的平方根必须同时有实部和虚部！下面是你证明自己的方法。你需要某个数的平方等于 √(-1)。假设它有一个实部 x 和一个虚部 y，所以我们可以把它写成(x + yi)，然后我们可以算出 x 和 y 的值是多少。

两边同时平方

现在我们让实部与实部对应，虚部与虚部对应。

通过这两个方程，我们可以把右边方程的 x 代入左边方程，

然后，我们便可以解出 y：

如你所见，有两种可能的解，如果我们用方程的右边(虚部)来解 x(两种情况下 y 的值都一样)，我们得到两个解：

这就引出了下一个有趣的事实…

2. i 的任意根有多个不相同的解，N 次根有 N 个不相同的解

对于正实数，开方(即，第二个根)会给出两种可能的解：正的和负的。例如，√(1)可以是+1，也可以是-1，因为任意一个的平方都是 1。

但对于 i，也就是 √(-1)，如果你想求根，你需要做一个多项式方程，就像我们上面做的那样。问题是，多项式方程的阶取决于我们取它的根。所以 i 的三、四、五次方根必须满足：

所以对于方程中的每一个 x 和 y 都有 3 个，4 个，5 个不同的解。例如，i 的三次方根的三个解为：

(尝试把它们立方，然后自己看吧！)这甚至还没有涉及更复杂点的分数，请继续往下看……

3. 分子或分母？

在虚数分数中，i 究竟是在分子中还是分母中是很重要的。如果你考虑(-1)这个数，在分数形式的情况下，不管你是用(-1)/1 还是 1/(-1) 来考虑它，其结果都是(-1)。但对 i 来说事实并非如此！我来问你们，你们认为这个分数是多少?

看着它，你可能认为它等于 i，但实际上它是 -i！

想要证明吗？只要分数上下同时乘以一个 i，然后看吧。

所以当对复数分数进行合并或分解时要小心谨慎，必须遵循一些复杂的规则才能得到正确的结果。违反它们，你可以做各种疯狂的事情，比如证明 +1 = -1，这样数学上称之为无效的证明。

4. e、π 和 i 都是彼此关联的

在数学中，我们可以用极坐标来表示二维坐标空间，其中有一个距离原点的径向坐标(r)和一个极角(θ)，就像这样：

▲ 极坐标与直角坐标之间的关系，图自维基

如果你不用 x 轴和 y 轴，而是用实轴和虚轴，你也可以做同样的事情，只不过这次角度 θ 可以带你在实平面与虚平面之间转换。

▲ 欧拉公式，图自维基

令人惊奇的是，如果我们在实轴上定位到 -1 的位置，我们会得到一个漂亮的恒等式：

就是这样：e、i 和 π 之间有一种简单而又出人意料的关系。证明如下：

这些关系在复变分析中经常出现。但是，如果你愿意考虑指数，最后一个事实是非常了不起的。

5. i 的 i 次方

i 的 i 次方是 100% 的实数。考虑上图中的方程（欧拉公式）——但我们不是在实轴上指向(-1)而是在虚轴上指向 i。在这种情况下，我们会得到一个等式：

如果我们想知道 i 的 i 次方是多少，我们需要做的就是对等式两边同时取 i 次方，

记得 i 的平方等于-1 吗，然后我们可以发现：

大概就是实数 0.20787957635076……。

以上就是关于虚数的 5 个最有趣的数学事实！你有什么想分享的，或者对这些问题发表评论？请在下面留下评论。

本文作者: [遇见数学翻译小组] 核心成员 @方正Michael .