阅读指南[编辑]
希望快速了解或快速回顾高中数学的读者可以只看基础知识部分。其余部分是为需要参加学科考试或需要一定知识提升的读者准备的。
预备知识[编辑]
阅读本节内容需要了解复数的基本定义与代数形式的四则运算法则和三角函数的基本概念。本节要介绍的棣莫弗公式的证明需要用到两角和与差的三角函数公式。
考试要求[编辑]
首先要熟悉复数的三角函数形式的含义,包括实部、虚部和幅角(主值)之间的固定关系式。注意有时候要学会将非标准的三角形式化简为标准的三角形式。其次应该了解复数乘法和除法的几何意义。在复数范围内开高次方是进阶的知识,虽然在本节提到的特殊情形下(对正负数开n次方)的具体做法并不复杂,但是常规中学考试基本上不会考。
棣莫弗公式在一般的高中教科书中只是有所提及其名字[1],几乎不可能考。欧拉公式由于牵涉到微积分学知识也不太可能被纳入中学常规考试范围。不过只是由于棣莫弗公式和欧拉公式在后续课程中的地位过于重要,我们仍将其列为基础知识。
后续课程联系[编辑]
基础知识[编辑]
知识引入[编辑]
在平面上指定横、纵位置可以确定一个点,通过到一个固定参考点的距离和相对于某个轴向的偏转角也可以确定一个点。
单位复向量的终点均落在单位圆的圆周上。如果模仿三角函数的单位圆定义,将非零复向量与x轴正方向的夹角大小记为
,由三角函数的定义可知,每一个单位复向量可以表示为
的形式。
对于每一个非零向量z,当长度变为原来的
倍后也成为单位向量,所以能写成如下的形式:
复数的三角形式[编辑]
每一个复数可以表示为如下的三角形式(trigonometric form)[2][1]:
![{\displaystyle z=r(\cos \theta +i\sin \theta )\quad (r\geq 0,\theta \in \mathbb {R} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd0cd46477fb77caec5f1e273b5cc5d1118aadf5)
其中的
叫做复数z的幅角(argument)。很多时候只希望将幅角的范围限定在
中,这种幅角叫做辐角主值(principal value of the argument)或主幅角,记为Arg(z)。
每一个非零的复数都具有唯一的三角形式,即具有唯一的r和
与之对应。
特别地,单位复向量
在复平面上表示以原点为圆心、1为半径的圆(单位圆)上的点。[3]
注意:(1)幅角主值的规定是
,保证了一个复数和它幅角主值的一一对应。(2)复数表示为三角形式
时,要求
,且注意其中的正余弦必须是针对同一个角。[3]
注意:在有的专著中,为方便同时讨论普通幅角和主幅角(即幅角主值),会将普通幅角记为小写的arg(),主幅角记为大写开头的Arg()。高中阶段的数学书一般只强调幅角主值,其中的arg()符号一般也仅是指幅角主值。
提示:复数的三角形式使用的其实是平面上点的位置或向量的另一种表示方式,叫做极坐标形式(polar form)。在极坐标的坐标系中,也有原点和一个叫做极轴的射线作为参考方向。点或向量的极坐标仍然由有序排列的2个数组成:第1个数代表点距离原点的距离或对应向量的长度,叫做极径;第2个数代表非零向量与横坐标轴正方向的夹角(对原点或零向量则有单独规定),叫做极角。
满足
的复数z对应的点的轨迹是以原点为端点的一条射线。
引入幅角的概念后,我们判断复数相等的方法也增加了。判断复数相等的方法包括[2]:
- 2个复数的实数与虚部对应相等。
- 2个非零复数的模与幅角主值对应相等。
借助atan2()函数或反三角函数,复数的幅角主值、实部、虚部有以下关系:
相关例题1:
已知i是虚数单位,将下列复数的表达式化为复数的标准三角形式:
- (1)
[3];
- (2)
[3];
- (3)
[3];
- (4) -4 + 4i;
- (5)
。
复数z的实部可以用记号记为Re(z),虚部可以记为Im(z)。知道了一个复数,等价于同时知道了Re(Z)和Im(Z),也等于同时知道了|z|和Arg(z)。
相关例题2:
已知i是虚数单位,求证下列常见关系式:
- (1)
![{\displaystyle z+{\bar {z}}=2Re(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/884d45d26b13b4b66f081f8baaff609fbd142242)
- (2)
![{\displaystyle z-{\bar {z}}=2Im(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a0d2dfc4f8cb97417ab07caa0e67c8e3965ab12)
- (3)
[4]
- (4)
[4]
- (5)
![{\displaystyle |z|^{2}=(Re(z))^{2}+(Im(z))^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78aba70f4f2a9ee4b0bd4453c8b68d3d3cc2e0a4)
复数乘法的几何意义[编辑]
利用三角函数中两角和与差的运算法则,三角形式下的复数乘除法有专门的公式。
相关例题1:
已知i是虚数单位,求证复数三角形式的乘除法运算公式。
- (1)
![{\displaystyle r_{1}(\cos \theta _{1}+i\sin \theta _{1})\cdot r_{2}(\cos \theta _{2}+i\sin \theta _{2})=r_{1}r_{2}(\cos(\theta _{1}+\theta _{2})+i\sin(\theta _{1}+\theta _{2}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d70a7cb20d7ce9dfdbd06187d88bee1db753472)
- (2)
![{\displaystyle {\frac {r_{1}(\cos \theta _{1}+i\sin \theta _{1})}{r_{2}(\cos \theta _{2}+i\sin \theta _{2})}}={\frac {r_{1}}{r_{2}}}(\cos(\theta _{1}-\theta _{2})+i\sin(\theta _{1}-\theta _{2}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbf900b7f52c7e630904bbb57379bc2c382e01b4)
从几何上看,将任何一个非零复数乘以
,等价于在复平面内把这个复数对应的向量逆时针旋转
;将任何一个复数除以
,等价于在复平面内把这个复数对应的向量顺时针旋转
。特别地,乘以或除以i,就是分别将复平面上的向量沿逆时针或顺时针方向旋转90度。[3]
而将任何一个非零复数乘以或除以其它非零复数,等价于在进行旋转的同时,也进行了长度的伸缩。
我们将规律总结如下:
在三角形式下,复数的乘除法满足以下规律[4]:
- 乘法:
![{\displaystyle r_{1}(\cos \theta _{1}+i\sin \theta _{1})\cdot r_{2}(\cos \theta _{2}+i\sin \theta _{2})=r_{1}r_{2}(\cos(\theta _{1}+\theta _{2})+i\sin(\theta _{1}+\theta _{2}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d70a7cb20d7ce9dfdbd06187d88bee1db753472)
- 除法:
![{\displaystyle {\frac {r_{1}(\cos \theta _{1}+i\sin \theta _{1})}{r_{2}(\cos \theta _{2}+i\sin \theta _{2})}}={\frac {r_{1}}{r_{2}}}(\cos(\theta _{1}-\theta _{2})+i\sin(\theta _{1}-\theta _{2}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbf900b7f52c7e630904bbb57379bc2c382e01b4)
将任何非零一个复数
乘以另一个非零复数
,等价于在复平面内把这个复数
对应的向量逆时针旋转
,再将长度变为原来的r = |z|倍;将任何一个复数除以
,等价于在复平面内把这个复数对应的向量顺时针旋转
,再将长度变为原来的
倍。[2]
z和
分别表示从原点出发的关于实轴镜像对称的2个向量。它们的向量和是菱形的对角线,分布在实轴上。设z和
的幅角大小分别为
和
,则
。将从原点出发、朝向
的终边方向的向量绕原点旋转
后,肯定会落在实轴上。所以
的结果一定为实数。不难验证有
成立。[3]
思考:如果要作类比的话,复数的乘法更像实向量的数乘还是点乘?
相关例题2:
已知
都是非零复数,
,求
的幅角主值。
相关例题3:
已知i是虚数单位,
,求
的值。
相关例题4:
已知i是虚数单位,求证:形如
的复数与其共轭复数是倒数关系。
相关例题5:
已知i是虚数单位,
,求
的共轭复数的表达式。
复数的开方与单位根[编辑]
如果
,则x叫做z的n次方根。容易发现,对z的
次方根的研究,实际上总是归结为对1的n次方根的研究。
1的每一个
次方根,都称为1个n次单位根,简称单位根。[5]
可以验证:
- 如果某角度为圆周角的
分之一,复数在复平面上绕此角度的多次旋转具有周期性的取值。
- 1的n次方根,构成了单位圆上的n等分点,并且至少有一个根是z = 1。[3]
- 1的2n次方根,至少有一个根是z = 1。[3]
事实上,可以根据复数乘、除法的几何意义,猜到任意非零复数z的n个n次方根都可以表示为[4][6]:
![{\displaystyle r^{\frac {1}{n}}(\cos {\frac {x+2\pi k}{n}}+i\sin {\frac {x+2\pi k}{n}})\quad (k\in \mathbb {Z} ,0\leq k\leq n-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15ea482459d6966a92048e978f63f5737dec7e23)
思考:根据几何意义猜测,负数的n次方根在复平面上的分布规律是什么样的?
棣莫弗公式与欧拉公式[编辑]
借助虚数单位的帮助,某些以实数为变量的三角函数出现了新的运算规律。使用下面介绍的公式也能验证刚才提到的任意非零复数z的n次方根公式。
亚伯拉罕·棣莫弗(Abraham de Moivre,1667年-1754年)是法国知名的概率论学者。
莱昂哈德·欧拉(Leonhard Euler,1707年-1783年)是瑞士最著名的数学家,他的成就之广使其几乎统治了18世纪的数学发展。当然,也许会有人一直到大学毕业也不知道在数学、物理、工程力学许多公式里都可以见到的名字“Euler”指的是同一个人。这种成就遍布多个一级学科、支配众多学渣大学本科专业课的数学家到了20世纪就比较少了,少数很成功的跨界学术明星包括
安德雷·柯尔莫哥洛夫和
约翰·冯诺依曼。
如果您了解法语和德语的发音,就会发现这2个人的汉语译名都比较偏离原文发音。可恶的是,我们只能尊重以前的译名习惯,将错就错!
法国男人亚伯拉罕·棣莫弗(Abraham de Moivre)发现了如下的棣莫弗公式(De Moivre's formula):
证明:套用n次三角形式的复数乘法公式即可证明棣莫弗公式[6]:
![{\displaystyle {\begin{array}{l}{\begin{array}{c}&n&\\z^{n}&=\overbrace {z\cdot z\cdot z\cdot z\cdot ...\cdot z} &=(z\cdot z)\cdot z\cdot z\cdot ...\cdot z\\\end{array}}\\=((\cos \theta +i\sin \theta )\cdot (\cos \theta +i\sin \theta ))\cdot z\cdot z\cdot ...\cdot z\\=(\cos \theta \cdot \cos \theta +\cos \theta \cdot (i\sin \theta )+(i\sin \theta )\cdot \cos \theta +(i\sin \theta )\cdot (i\sin \theta ))\cdot z\cdot z\cdot ...\cdot z\\=(\cos \theta \cos \theta +i\cos \theta \sin \theta +i\sin \theta \cos \theta +i^{2}\sin \theta \sin \theta )\cdot z\cdot z\cdot ...\cdot z\\=((\cos \theta \cos \theta -\sin \theta \sin \theta )+i(\cos \theta \sin \theta +\sin \theta \cos \theta ))\cdot z\cdot z\cdot ...\cdot z\\=(\cos(\theta +\theta )+i\sin(\theta +\theta ))\cdot z\cdot z\cdot ...\cdot z\\=(\cos 2\theta +i\sin 2\theta )\cdot z\cdot z\cdot ...\cdot z\\=((\cos 2\theta +i\sin 2\theta )\cdot (\cos \theta +i\sin \theta ))\cdot z\cdot ...\cdot z\\=(\cos 2\theta \cdot \cos \theta +\cos 2\theta \cdot (i\sin \theta )+(i\sin 2\theta )\cdot \cos \theta +(i\sin 2\theta )\cdot (i\sin \theta ))\cdot z\cdot ...\cdot z\\=(\cos 2\theta \cos \theta +i\cos 2\theta \sin \theta +i\sin 2\theta \cos \theta +i^{2}\sin 2\theta \sin \theta )\cdot z\cdot ...\cdot z\\=((\cos 2\theta \cos \theta -\sin 2\theta \sin \theta )+i(\cos 2\theta \sin \theta +\sin 2\theta \cos \theta ))\cdot z\cdot ...\cdot z\\=(\cos(2\theta +\theta )+i\sin(2\theta +\theta ))\cdot z\cdot ...\cdot z\\=(\cos 3\theta +i\sin 3\theta )\cdot z\cdot ...\cdot z\\=(\cos 4\theta +i\sin 4\theta )\cdot ...\cdot z\\\cdots \\=(\cos((n-1)\theta )+i\sin((n-1)\theta ))\cdot z\\=\cos n\theta +i\sin n\theta \end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f5df790a137edaf3e21dd8722d14532e54251ed)
证明完毕。
提示:
也叫做cis函数,容易验证
。棣莫弗公式则给出了更一般的关系,即
。
相关例题1:
已知i是虚数单位,请利用复数三角形式的乘法法则
简化上述棣莫弗公式的证明。(如果已学过数学归纳法,可以尝试改写为使用数学归纳法论证。)
相关例题2:
已知i是虚数单位,使用棣莫弗公式验证任意非零复数z的n次方根公式:
![{\displaystyle r^{\frac {1}{n}}(\cos {\frac {x+2\pi k}{n}}+i\sin {\frac {x+2\pi k}{n}})\quad (k\in \mathbb {Z} ,0\leq k\leq n-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15ea482459d6966a92048e978f63f5737dec7e23)
相关例题3:
已知i是虚数单位,
,求z的表达式。
相关例题4:
已知i是虚数单位,以及用三角形式表示的2个复数
,再设
,求证f(n)可以表示成
的形式。(出自:对二阶常系数线性递推数列的一般解的代数变形[7]。)
证明:
![{\displaystyle {\begin{array}{l}f(n)=A\alpha ^{n}+B\beta ^{n}\\=A(r(\cos \theta +i\sin \theta ))^{n}+B(r(\cos \theta -i\sin \theta ))^{n}\\=Ar^{n}(\cos \theta +i\sin \theta )^{n}+Br^{n}(\cos \theta -i\sin \theta )^{n}\\=Ar^{n}(\cos n\theta +i\sin n\theta )+Br^{n}(\cos(-\theta )+i\sin(-\theta ))^{n}\\=Ar^{n}(\cos n\theta +i\sin n\theta )+Br^{n}(\cos(-n\theta )+i\sin(-n\theta ))\\=Ar^{n}\cos n\theta +Air^{n}\sin n\theta )+Br^{n}\cos(-n\theta )+Bir^{n}\sin(-n\theta )\\=(Ar^{n}\cos n\theta +Br^{n}\cos(-n\theta ))+(Air^{n}\sin n\theta )+Bir^{n}\sin(-n\theta ))\\=(Ar^{n}\cos n\theta +Br^{n}\cos n\theta )+(Air^{n}\sin n\theta )-Bir^{n}\sin n\theta )\\=(A+B)r^{n}\cos n\theta +(A-B)ir^{n}\sin n\theta \\=r^{n}((A+B)\cos n\theta +(A-B)i\sin n\theta )\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b8756e8a8a2e4565ac1a28c250a92bac7b48fab)
记C = (A+B), D = (A-B),则上式可以进一步化简为:
![{\displaystyle f(n)=r^{n}(C\cos n\theta +Di\sin n\theta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89f3c585ac5d9e3de76ff9bb1b6aba21fd31854b)
这就是题目中要求证的形式。证明完毕。
相关例题5:
已知i是虚数单位,求证:复数数列
每一项的取值都是整数。
(提示:为利用到棣莫弗公式,应该先将
分别写成复数的三角形式
,通项的最终化简结果为
。)
为避免牵扯到较多的微积分学知识,我们直接空降出下列更著名的关系:
下列关系式给出了虚指数的取值定义,叫做欧拉公式(Euler's formula)[4]:
欧拉公式可以视作是给虚指数下了定义。它是微积分学中基于一些经验事实的大胆假设,不能在初等数学的范围内给予严格证明。更进一步地,可以规定复指数的如下运算法则:
人为规定以自然常数e为底数、复数
为指数的复指数满足以下法则:
易知复指数可以分解为作为实数的模
与单位复数
的乘积。这种分解方法很有用,能够直接看出复数的模和幅角主值的大小,也便于观察出复数乘法与复指数乘法之间的联系。
知识背景:这种将一个量分解为长度与另一部分乘积的做法可以推广到复系数的向量,而且在其它数学分支中也有应用。例如对实系数或复系数的矩阵或无穷维的矩阵(或者叫算子)也都可以定义类似的操作,叫做对矩阵或算子的极分解。
由欧拉公式与复指数的定义,可以得到以下结论:
![{\displaystyle \sin x={\frac {e^{ix}-e^{-ix}}{2}}\quad (x\in \mathbb {R} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7bfb66bcd8cb864ad117403d8d50899d2dd7b46)
![{\displaystyle \cos x={\frac {e^{ix}+e^{-ix}}{2}}\quad (x\in \mathbb {R} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4da4e213cac54b9f74933ba8104958b3fadef14)
- 欧拉恒等式:
![{\displaystyle e^{\pi i}+1=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7df775a0c261a326174c1b91e36b7c29d151e5aa)
- 复指数函数
是周期函数。[8]
由于欧拉恒等式把5个最基本的数学常数简洁地连系起来,所以被美国物理学家理查德·费曼形容为“数学中最引人瞩目的公式”[9]。
利用三角函数与复指数的转换,每一个复数可以表示为如下的指数形式(exponential form):
![{\displaystyle z=re^{\theta i}\quad (r\geq 0,\theta \in \mathbb {R} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2c33f57cd6da44a650711304f205bbc88eb8aff)
特别地,每一个非零的复数都具有唯一的指数形式。
反过来,三角函数也可以推广到复变量的情形。复变量的三角函数脱离了单位圆的几何束缚,直接利用复指数函数进行定义[8]:
![{\displaystyle \sin z:={\frac {e^{zi}-e^{-zi}}{2i}}\quad (z\in \mathbb {C} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/053dc610a9fde7090ede016c32a7cacc606880c3)
![{\displaystyle \cos z:={\frac {e^{zi}+e^{-zi}}{2i}}\quad (z\in \mathbb {C} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1176b8a3d768c4d1e127647a84b7ae39b51fb08)
提示:上述定义与实变量双曲函数的定义非常相似,进而导致正余弦函数在虚轴上的取值的变化规律与实轴上的双曲函数相同。
至此,复数的4种表示方法全部出现:代数形式、向量形式、三角形式、指数形式。[4]
相关例题6:
普通正弦函数的下列性质在定义域拓展到复数范围后,哪些仍然能够成立?对其中成立的给出证明,对其中不成立的给出理由说明。
- (1) 奇偶性;
- (2) 单调性;
- (3) 周期性。
相关例题7:
举出一个周期为虚数的函数的例子。
相关例题8:
举例说明
在复数范围内一般不成立。(更一般地说,三角函数的有界性在复数范围内都不再成立。[8])
常见结论与常见模型[编辑]
数形结合问题[编辑]
许多非代数计算的问题,优先从几何角度考虑,能较快得到思路。[3]
相关例题:
已知i为虚数单位,复数z的模为2,求|z - i|的最大值。
(出自:1992年中国大陆高考理科数学试卷第15题。)
简谐波函数的向量表示法[编辑]
计算机求解[编辑]
Mathematica[编辑]
补充习题[编辑]
参考资料[编辑]
外部链接[编辑]