![92e90ffacdc1cd36730acfe4325bd989.png](https://i-blog.csdnimg.cn/blog_migrate/2ff0e87243e61f4a36f0e46967e59329.jpeg)
| 遇见数学 |
复数(Complex)作为实数数域的拓展历史悠久, 一度曾被叫做子虚乌有的数(imaginary), 直到十八世纪初经过棣莫弗及欧拉大力推动, 才被数学家们渐渐接受.
虽然复数并不复杂, 但要完全理解它确需一点时间, 而且利用它还能画出非常美丽的变换和分形图形. 请看下面 [遇见数学] 翻译小组带来的《复数及复变函数动画解析》:
点击边框调出视频工具条视频: youtube.com/watch?v=bIY6ahHVgqA
[遇见数学] 翻译小组
复数, 作为实数理论的延伸
![f10a9580b6c5c4ca2ddf669d55030771.gif](https://i-blog.csdnimg.cn/blog_migrate/fedb50a7ed256868a3f23312841656e9.gif)
先来看看在实数轴上两个数的加减乘除这 4 种运算. 观察到红蓝两个点(数), 在不同的计算下, 其结果(绿点)的变化, 不管数怎样变化, 都总还落在数轴上(除法分母为 0 时候, 当然没有意义).
![eca6e1ff15d74530f59a7b8e86dda8b0.gif](https://i-blog.csdnimg.cn/blog_migrate/e0eca1c9538d0610a754182bd41640a9.gif)
再来看下图中, 任何实数乘以 -1 的结果都会落在关于原点对称相应的位置上. 所以乘以 -1 的计算可以理解为该点(数)绕着原点旋转了半圈.
![b1c3c8f0786a24275248042fe75523a5.gif](https://i-blog.csdnimg.cn/blog_migrate/a080fb48c0f70e2eb47d3843f9afbb23.gif)
数学家进一步思考, 既然乘以 -1 是转动 180°, 那么只转动了 90° (比如整数 1 )落在哪里? 有什么意义呢?
进入新的二维复数平面
![f10a9580b6c5c4ca2ddf669d55030771.gif](https://i-blog.csdnimg.cn/blog_migrate/fedb50a7ed256868a3f23312841656e9.gif)
这是19世纪数学史上非常重要的一步, 现在已经逃离了一维实数轴的束缚, 而是进入了新的陌生的二维复平面.
考虑到转动两个 90° 会刚好到 -1. 所以认为 -1 的平方根是相应于 1 的一个 90度的旋转(也就是 1*i*i=-1), 这样在平面上与实数轴垂直的单位线段, 称为是 1 个虚数单位 i . 于是有着性质:
![11d9dda921eeb94b57833e0bc4023c02.png](https://i-blog.csdnimg.cn/blog_migrate/5ab8889ee91c100de1e00e531e0b5554.jpeg)
这个没在实数轴上奇怪的点实际上落在复数平面(complex plane, 或称为阿尔冈平面)上了, 所有在复平面上的数都满足 z=a+b i 这样的结构, 称之为复数. 其中 a 称为实部(real part), b 为虚部(imaginary part). 如下图 1+2i 复数, 1 和 2 是实数, i 是虚数单位, 这样的复平面几何表示如下图所示:
![ec31669467917bb4ca6f4bba01695e03.png](https://i-blog.csdnimg.cn/blog_migrate/f47d5c5838481f5a26b480fcc383d85d.jpeg)
现在来看直角坐标平面是二维的, 需要两个数(x,y)来描述任意一点的位置, 但现在用一个复数就够了, 可以用实数组(a,b)代表这个复数, 并且可以在复平面上绘制出来. 不过请记住这里应该将每个这样的点看做一个复数, 而不是一对实数.
还有三个新概念需要知晓:
复数的模(modulus, 通常写为 |z|)
辐角(argument, 通常写为 arg(z))
复数的共轭(conjugate,通常写为下面形式)
复数的模就是它长度 r: 从原点到 z 点之间的距离; 辐角 φ 就是与正实轴的夹角; 共轭就是 a-b i 的形式. 观察下图可以更好理解:
![cce275d6c81195d95d182ea95e43c246.gif](https://i-blog.csdnimg.cn/blog_migrate/3f95df06122cde062135cf373a58b442.gif)
复数的运算操作
![f10a9580b6c5c4ca2ddf669d55030771.gif](https://i-blog.csdnimg.cn/blog_migrate/fedb50a7ed256868a3f23312841656e9.gif)
复数有那些运算, 比如可以两个复数相加, 也就是两个复数实部和虚部分别对应相加, 可以看成是平移的操作.
![3ae6e0712ea1cdeeceb211ef9ecd8552.gif](https://i-blog.csdnimg.cn/blog_migrate/7226350d1580d36130d2d9607e57dd1d.gif)
复数也可以有数乘运算, 就是对模的放大或缩小了:
![eb36f5758c0e76d67859bf4efa309786.gif](https://i-blog.csdnimg.cn/blog_migrate/181b16291fcdbe6cfd8707d971b1015d.gif)
复数的乘法, 就如上面所述, 数乘以 i 相当于这个转动 90°:
![3de1411784aa5a657204ad0ff09e0b2f.gif](https://i-blog.csdnimg.cn/blog_migrate/1192b210e38ef3e8c838df6829d4a51f.gif)
z1*z2 两个复数相乘其实就是旋转+伸缩两种变换, 也就是两个复数的模相乘(伸缩大小), 辐角相加(旋转量).
![ce68437b5c408c3c6869e1f877518a25.gif](https://i-blog.csdnimg.cn/blog_migrate/fcabe9c99c56a03ade8dcfdc18a1a76f.gif)
如果对图片中的每一点做复数运算的变换, 可以得到各种有趣的平面变换图像. 这里为了纪念欧拉大神, 就以他老人家头像为例, 比如做乘以 2 i 的函数变换 - 旋转 90°, 同时放大了2 倍的变换; 另一个变换函数为三次方, 你也可以思考为什么会变成这个形状呢? :-)
![a88e3bae6360d21fd1ab9c95c86e32aa.gif](https://i-blog.csdnimg.cn/blog_migrate/1bbe51a43530f17d54feee5145e109f1.gif)
最美的数学公式 - 欧拉公式
![f10a9580b6c5c4ca2ddf669d55030771.gif](https://i-blog.csdnimg.cn/blog_migrate/fedb50a7ed256868a3f23312841656e9.gif)
复平面内的点可以转成极坐标的形式 (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 年, 瑞士数学家欧拉给出了著名的欧拉公式, 对所有实数 θ 都成立:
![9d17acf042f9649be15155b15d659582.png](https://i-blog.csdnimg.cn/blog_migrate/9ff2d501d03815f139a880f708733dae.jpeg)
特别当 θ=π 时,欧拉公式的特殊形式更是被评为数学上最美的公式:
![fc04b83aad8a026976f7544d6d2762bc.png](https://i-blog.csdnimg.cn/blog_migrate/ef40635e2095e26ce989823c25d056bf.jpeg)
这个简洁公式包括了 5 个数学上最重要的常数: 0, 1(自然数的基本单位), e(描述变化率的自然指数), π 以及 i(虚数的基本单位).
我们可以很快用几何的方法来证明该等式, 观察下图不同的 θ 值对应的极坐标 e^θ, 请留意动画停顿之处(特别是在复平面旋转角度为 180°, 点落到等于 -1 的时刻), 相信就会理解上面的欧拉等式:
![29ce3080721dcbaccda3ebe10fdcff1a.gif](https://i-blog.csdnimg.cn/blog_migrate/f6a93453ee2845b3d12e73fb315e9462.gif)
参考:
•https://betterexplained.com/articles/a-visual-intuitive-guide-to-imaginary-numbers/
• 阿德里安·班纳《普林斯顿微积分读本》(修订版)
• 维基百科