复数的几何意义

从自然数到整数，从整数到有理数，再到无理数，到实数都是数域的扩展。

数域的扩展是为了推广我们对数的运算。

比如减法需要我们引入负数，而开根需要我们引入无理数。

现在我们设想对-1做开根这个运算，我们假想（imagine）一个数i，这是一个纯虚数（imaginary number），使得i的平方等于-1。

这样我们的数域就由实数域扩展到了复数域（z），我们定义任意一个复数为：这里x和y都是实数，上式具有明显的几何意义，即我们可以把z表示为xy平面上的一点，或我们可以把z表示为一个二维的向量，这个向量就是一个复向量。

有了复数的定义后，我们很容易得到很多漂亮的数学形式，比如我们可以定义一个指数函数：等式右侧，我们对指数函数进行了级数展开，我们把这些级数展开的项分别整理为实数的部分和虚数的部分。

这就导致了一个重要的关系：这意味着复向量有个明确的几何含义，假设单位向量1，最初是在x轴上的，现在我们让这个单位向量围绕原点按逆时针旋转角度θ，这样的 *** 作就可以表示为用e指数函数相乘。

两个连续的e指数函数相乘，意味着连续的转动，如果我们分别在等式左右两侧展开的话，按照实部与实部相等，虚部与虚部相等的条件，我们将得到三角函数和差化积的公式。

引入虚数后，求解微分方程也更快捷了。

比如：这样的微分方程，它的解是：通解是以上两个解的线性叠加：这在形式上比写成三角函数要简洁方便。

复数(Complex)作为实数的拓展历史悠久, 一度曾被叫做子虚乌有的数(imaginary), 直到十八世纪初经过棣莫弗及欧拉大力推动, 才被数学家们渐渐接受.确实理解复数确实需要一点时间, 不过它并不复杂, 而且利用它还能画出非常美丽的变换和分形图形, 这次让我们用图形可视化的方式来拥抱这个概念.复数, 作为实数理论的延伸先来看看在实数轴上两个数的加减乘除这 4 种运算. 观察到红蓝两个点(数), 在不同的计算下, 其结果(绿点)的变化, 不管数怎样变化, 都总还落在数轴上(除法分母为 0 时候, 当然没有意义).再来看下图中, 任何实数乘以 -1 的结果都会落在关于原点对称相应的位置上. 所以乘以 -1 的计算可以理解为该点(数)绕着原点旋转了半圈.数学家进一步思考, 既然乘以 -1 是转动 180°, 那么只转动了 90° (比如整数 1 )落在哪里? 有什么意义呢?进入新的二维复数平面这是19世纪数学史上非常重要的一步, 现在不在是在一维的实数轴上, 而是进入了二维的复平面.考虑到转动两个 90° 会刚好到 -1. 所以认为 -1 的平方根是相应于 1 的一个 90度的旋转(也就是 1*i*i=-1), 这样在平面上与实数轴垂直的单位线段, 称为是 1 个虚数单位 i . 于是有着性质:这个没在实数轴上奇怪的点实际上落在复数平面(complex plane, 或称为阿尔冈平面)上了, 所有在复平面上的数都满足 z=a+b i 这样的结构, 称之为复数. 其中a 称为实部(real part), b 为虚部(imaginary part). 如下图 1+2i 复数, 1 和 2 是实数, i 是虚数单位, 这样的复平面几何表示如下图所示:现在来看直角坐标平面是二维的, 需要两个数(x,y)来描述任意一点的位置, 但现在用一个复数就够了, 可以用实数组(a,b)代表这个复数, 并且可以在复平面上绘制出来. 不过请记住这里应该将每个这样的点看做一个复数, 而不是一对实数.还有三个新概念需要知晓:复数的模(modulus, 通常写为 |z|) : 模就是它长度 r: 从原点到 z 点之间的距离辐角(argument, 通常写为 arg(z)): 辐角 φ 就是与实轴的夹角复数的共轭(conjugate,通常写为 ¯z): 共轭就是 a-b i 的形式观察下图可以更好理解上述三个概念:复数的运算 *** 作复数有如何运算, 比如可以两两相加, 也就是两个复数实部和虚部分别对应相加, 可以看成是平移的 *** 作.复数也可以有数乘运算, 就是对模的放大或缩小了:复数的乘法, 就如上面所述, 数乘以 i 相当于这个转动 90°:z1*z2 两个复数相乘其实就是旋转+伸缩两种变换, 也就是两个复数的模相乘(伸缩大小), 辐角相加(旋转量).如果对图片中的每一点做复数运算的变换, 可以得到各种有趣的平面变换图像. 这里为了纪念欧拉大神, 就以他老人家头像为例, 比如做乘以 2 i 的函数变换 - 旋转 90°, 同时放大了2 倍的变换; 另一个变换函数为三次方, 你也可以思考为什么会变成这个形状呢? :-) 最美的数学公式 - 欧拉公式复平面内的点可以转成极坐标(不清楚可查看这里)的形式 (r,θ), 那么该点所表示的复数是什么呢？可用 x = r cos(θ) 和 y = r sin(θ) 来转化到笛卡尔坐标. 所以极坐标 (r, θ) 表示复数z = x + iy = r cos(θ) + i r sin(θ).特别的, 如果 r = 1, 则 z = cos(θ) + i sin(θ).形如 r e^(i θ) 的复数为极坐标形式, 并且与之相对的 x+iy 为笛卡尔形式. 1743 年, 瑞士数学家欧拉给出了著名的欧拉公式, 对所有实数 θ 都成立:特别当 θ=π 时，欧拉公式的特殊形式更是被评为数学上最美的公式:这个简洁公式包括了 5 个数学上最重要的常数: 0, 1(自然数的基本单位), e(描述变化率的自然指数), π 以及 i(虚数的基本单位).我们可以很快用几何的方法来证明该等式, 观察下图不同的 θ 值对应的极坐标 e^θ, 请留意动画停顿之处(特别是在复平面旋转角度为 180°, 点落到等于 -1 的时刻), 相信就会理解上面的欧拉等式:参考资料:阿德里安·班纳, 《普林斯顿微积分读本》(修订版)https://betterexplained.com/articles/a-visual-intuitive-guide-to-imaginary-numbers/维基百科(完) [遇见数学] 出品