前言
笔者第一次接触单位虚数是在高中,给那些无解的一元二次引入了单位虚数,似乎可以让这个方程有解。但是似乎引入了单位虚数i又与没引入是没有太多的区别,因为那时还没有将实数域扩展到复平面的概念,只是觉得是在式子中引入了一个特别的符号,与别的数格格不入。而在学习了复平面的概念,欧拉公式,以及时域频域变化之后,才对其物理概念有了一定理解。
为了防止与电流i混淆,在工程中一般将单位虚数写作j,本文一下均用j代替。
正文
欧拉公式联系了复平面当中向量的旋转与其横纵坐标变化之间的关系。以下是使用泰勒展开证明欧拉公式的过程:
e
x
=
∑
n
=
0
∞
x
n
/
n
!
e^x=\sum_{n=0}^\infty x^n/n!
ex=∑n=0∞xn/n!
带入
x
=
j
θ
x=j\theta
x=jθ
e
j
θ
=
∑
n
=
0
∞
j
θ
n
/
n
!
e^{j\theta}=\sum_{n=0}^\infty j\theta^n/n!
ejθ=∑n=0∞jθn/n!
利用单位虚数j的定义式
j
=
−
1
j=\sqrt{-1}
j=−1
j
2
=
−
1
j^2=-1
j2=−1
e
j
θ
=
∑
n
=
0
∞
j
θ
n
/
n
!
=
∑
n
=
0
∞
(
−
1
∗
θ
)
2
n
/
2
n
!
−
j
∗
∑
n
=
0
∞
(
−
1
∗
θ
)
2
n
+
1
/
(
2
n
+
1
)
!
e^{j\theta}=\sum_{n=0}^\infty j\theta^n/n!=\sum_{n=0}^\infty (-1*\theta)^{2n}/2n!-j*\sum_{n=0}^\infty (-1*\theta)^{2n+1}/(2n+1)!
ejθ=∑n=0∞jθn/n!=∑n=0∞(−1∗θ)2n/2n!−j∗∑n=0∞(−1∗θ)2n+1/(2n+1)!
对照三角函数的泰勒展开式可知
e
j
θ
=
c
o
s
(
θ
)
+
j
∗
s
i
n
(
θ
)
e^{j\theta} =cos(\theta)+j*sin(\theta)
ejθ=cos(θ)+j∗sin(θ)
即泰勒公式成立。
在证明欧拉公式的过程中我们使用单位虚数的定义式
j
=
−
1
j=\sqrt{-1}
j=−1
显然这个定义式我们早在解一元二次方程的时候就接触过,并且似乎这个数的定义也只是因为有表示根号下负数这一运算结果的需求,因此在虚数刚被提出时也困扰了许多数学家,被认为是虚无缥缈的数,因为仅把他作为一种为了特定运算而出现的结果,它实在是与我们平时使用的实数有太强的割裂感了。为了说明他的意义,我们不妨从泰勒公式出发看看与定义式
j
=
−
1
j=\sqrt{-1}
j=−1有没有等价的定义式来帮助我们理解单位虚数的含义。
显然我们可以发现当欧拉公式中的
θ
=
π
/
2
\theta=\pi/2
θ=π/2就有
e
j
π
/
2
=
j
e^{j\pi/2} =j
ejπ/2=j
对与左边的式子在了解了复平面之后显然是有明确的物理意义的,即将任何一个复平面上的向量与它相乘结果为将这个向量逆时针旋转
π
/
2
\pi/2
π/2,因此j的作用也等价为即将任何一个复平面上的向量与它相乘结果为将这个向量逆时针旋转
π
/
2
\pi/2
π/2,如此就可以导出一个数乘以-1等价与乘两次j的过程。
我们于是可以给j一个新的定义式
e
j
π
/
2
=
j
e^{j\pi/2} =j
ejπ/2=j
显然这个定义式有着更明确的物理意义,使用这个定义式也可以推导出欧拉公式,以及各种在原定义式下的结果。这个定义式也说明使那些无解的方程因为引入j之后有解的过程中自然的把数从实数轴扩展到了复平面,不存在脱离复平面单纯作为数存在的复数。单位虚数始终伴随着复平面向量的旋转而存在。
这个结论有助于我们理解电路的频域模型中各个元件参数中j的作用,以及系统中单位虚数j的作用。
下面为了讨论区分复平面与一般的笛卡尔直角坐标系下的平面,即说明复平面中的向量基单位虚数j的特殊性。我们可以在一个普通向量基的直角坐标系下推导欧拉公式作为比较。
令此二维平面的向量基为x,y两者不满足单位虚数的定义式。
e
y
θ
=
∑
n
=
0
∞
y
θ
n
/
n
!
e^{y\theta}=\sum_{n=0}^\infty y\theta^n/n!
eyθ=∑n=0∞yθn/n!
显然无法得到
e
j
θ
=
c
o
s
(
θ
)
+
y
∗
s
i
n
(
θ
)
e^{j\theta} =cos(\theta)+y*sin(\theta)
ejθ=cos(θ)+y∗sin(θ)
参考文献
《深入浅出通信原理》陈爱军
https://blog.csdn.net/zhenpixiaoyang/article/details/112797515