Euler’s formula

先解释一下是怎么来到这里的(雾...学习Games101为解决走样问题需要对输入信号进行模糊化，这个过程要用到傅里叶变换，傅里叶变换的理解中又涉及欧拉公式(3B1B)。此外在unity学习四元数的时候也初见欧拉公式端倪(毕竟人家是欧拉角的替换方案），然而同济教材对欧拉方程描述一言难尽，我们学校直接跳过了傅里叶变换的部分，所以自学记录一下。借鉴了大量教程，只要我记得来源的都会标注在最下面。

1.complex number 复数

1.1 表示

表示复数的方法有：1.定义中的实数+虚数 2.复平面中通过向量的坐标表示 3.复平面中结合极坐标用三角函数表示

1.2 运算

加减法

(a+bi)+(c+di)=(a+c)+(b+d)i

乘法

定义表示时： (a+bi)(c+di)=(ac-bd)+(bc+ad)i

De Moivre 公式 

当复数用三角函数表示时可用口诀”模相乘，角相加“计算结果

证明：用到了两角和的余弦公式

一般形式：

乘方形式：

除法

把除法换算成乘法做，在分子分母同时乘上分母的共轭。互为共轭的两个复数相乘是个实常数。

2.欧拉公式

2.1 形式

2.2 验证、证明

用泰勒展开去证明欧拉公式是错误的，由于在复数域中的泰勒级数展开、求导等运算均需要用到欧拉公式，造成循环论证，就好比你要证明1+1=2，于是先自顾自的规定了0.5+0.5 =1

验证 - 3B1B

想象一个复数Z = 0 + i ，在复平面中的坐标即为（0，1），此时我们从图像观察该复数的位置辐角是90°，模是1，用三角函数表示该复数：

此时再思考Z i ，此时模长没有变化，俯角增加90°

至此我们赋予i在复平面单位圆中几何意义：不改变复数所代表的向量模长并逆时针旋转90°

在复平面中复数z可用三角函数表示，cosθ^2 + sinθ^2 =1

因为e^iθ当θ =0°时r =1。而由上函数的变化率不改变函数值的大小，且由于变化率垂直于函数所以而e^iθ在复平面的函数图像也是一个半径为1的单位圆

因此两种表示Z的方式的范围是一样的，都是单位圆，因此可以相互等价。由此可建立等式

证明 - WIKI

https://en.wikipedia.org/wiki/Euler%27s_formula#/media/File:Euler's_formula.svg

2.3 应用

---

reference

棣莫弗定理_百度百科 (baidu.com)

复数运算法则_百度百科 (baidu.com)

欧拉公式 - 维基百科，自由的百科全书 (wikipedia.org)