查看“︁高中数学/向量与复数/复数与三角学”︁的源代码

== 阅读指南 ==
[[File:Crystal Clear app gnome.png | Crystal Clear app gnome | 50px]]

希望快速了解或快速回顾高中数学的读者可以只看基础知识部分。其余部分是为需要参加学科考试或需要一定知识提升的读者准备的。 

=== 预备知识 ===
阅读本节内容需要了解[[高中数学/向量与复数/复数的概念与基本运算|复数的基本定义与代数形式的四则运算法则]]和[[高中数学/函数与三角/弧度制与任意角的三角函数值|三角函数的基本概念]]。本节要介绍的棣莫弗公式的证明需要用到[[高中数学/函数与三角/两角和与差的三角函数公式|两角和与差的三角函数公式]]。

=== 考试要求 ===
首先要熟悉复数的三角函数形式的含义，包括实部、虚部和幅角（主值）之间的固定关系式。注意有时候要学会将非标准的三角形式化简为标准的三角形式。其次应该了解复数乘法和除法的几何意义。在复数范围内开高次方是进阶的知识，虽然在本节提到的特殊情形下（对正负数开n次方）的具体做法并不复杂，但是常规中学考试基本上不会考。

棣莫弗公式在一般的高中教科书中只是有所提及其名字<ref name="人教版数学_2004_复数与三角" />，几乎不可能考。欧拉公式由于牵涉到微积分学知识也不太可能被纳入中学常规考试范围。不过只是由于棣莫弗公式和欧拉公式在后续课程中的地位过于重要，我们仍将其列为基础知识。

=== 后续课程联系 ===

== 基础知识 ==
=== 知识引入 ===
在平面上指定横、纵位置可以确定一个点，通过到一个固定参考点的距离和相对于某个轴向的偏转角也可以确定一个点。

单位复向量的终点均落在单位圆的圆周上。如果模仿三角函数的单位圆定义，将非零复向量与x轴正方向的夹角大小记为<math>\theta</math>，由三角函数的定义可知，每一个单位复向量可以表示为<math>\cos \theta + i \sin \theta</math>的形式。

对于每一个非零向量z，当长度变为原来的<math>\frac{1}{|z|}</math>倍后也成为单位向量，所以能写成如下的形式：<br />
<math>z = |z| \cdot \frac{z}{|z|} = |z| (\cos \theta + i \sin \theta)</math>

=== 复数的三角形式 ===

<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">
每一个复数可以表示为如下的'''三角形式'''（'''trigonometric form'''）<ref name="岑爱国_2007_几何意义" /><ref name="人教版数学_2004_复数与三角">{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (必修) |volume=第3册 (选修2) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17448-7 |section=第4章“数系的扩充——复数”中“研究性学习课题”部分“复数与平面向量、三角函数的联系” |pages=157-158 |language=zh-cn |year=2004}}</ref>：
:<math>z = r (\cos \theta + i \sin \theta) \quad (r \ge 0, \theta \in \mathbb{R})</math>
其中的<math>\theta</math>叫做复数z的'''幅角'''（'''argument'''）。很多时候只希望将幅角的范围限定在<math>[0, 2 \pi)</math>中，这种幅角叫做'''辐角主值'''（'''principal value of the argument'''）或'''主幅角'''，记为Arg(z)。

每一个非零的复数都具有唯一的三角形式，即具有唯一的r和<math>\theta</math>与之对应。

特别地，单位复向量<math>\cos \theta + i \sin \theta</math>在复平面上表示以原点为圆心、1为半径的圆（单位圆）上的点。<ref name="孙维刚_2005_复数">{{cite book |title=孙维刚高中数学 |author=[[w:孙维刚|孙维刚]] |editor=温丹丹 |series=名家导学系列 |publisher=北京大学出版社 |location=中国北京市海淀区中关村北京大学校内 |section=第2篇“高中数学各章学习指要”第2部分“高中代数”第11章“复数” |pages=135-138 |edition=1 |isbn=7-301-08497-8 |language=zh-cn |year=2005}}</ref>
</font>
</blockquote>

[[File:Crystal Clear app error.png | Crystal Clear app error | 50px]]
注意：(1)幅角主值的规定是<math>[0, 2 \pi)</math>，保证了一个复数和它幅角主值的一一对应。(2)复数表示为三角形式<math>z = r (\cos \theta + i \sin \theta)</math>时，要求<math>r \in \mathbb{R}, r \ge 0</math>，且注意其中的正余弦必须是针对同一个角。<ref name="孙维刚_2005_复数" />

[[File:Crystal Clear app error.png | Crystal Clear app error | 50px]]
注意：在有的专著中，为方便同时讨论普通幅角和主幅角（即幅角主值），会将普通幅角记为小写的arg()，主幅角记为大写开头的Arg()。高中阶段的数学书一般只强调幅角主值，其中的arg()符号一般也仅是指幅角主值。

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：复数的三角形式使用的其实是平面上点的位置或向量的另一种表示方式，叫做[[高中数学/其它独立内容/极坐标|极坐标]]形式（polar form）。在极坐标的坐标系中，也有原点和一个叫做极轴的射线作为参考方向。点或向量的极坐标仍然由有序排列的2个数组成：第1个数代表点距离原点的距离或对应向量的长度，叫做极径；第2个数代表非零向量与横坐标轴正方向的夹角（对原点或零向量则有单独规定），叫做极角。

满足<math>Arg(z) = \theta \quad (0 < \theta < 2 \pi)</math>的复数z对应的点的轨迹是以原点为端点的一条射线。

引入幅角的概念后，我们判断复数相等的方法也增加了。判断复数相等的方法包括<ref name="岑爱国_2007_几何意义" />：
* 2个复数的实数与虚部对应相等。
* 2个非零复数的模与幅角主值对应相等。

借助[[高中数学/函数与三角/三角函数的图象与性质|atan2()函数或反三角函数]]，复数的幅角主值、实部、虚部有以下关系：<br />
<math>
Arg(z) = atan2(Im(z), Re(z)) =
\left\{
\begin{array}{l}
\frac{Im(z)}{Re(z)} & (Re(z) \neq 0) \\
0 & (Re(z) = 0)
\end{array}
\right.
</math>

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知i是虚数单位，将下列复数的表达式化为复数的标准三角形式：
:(1) <math>r (- \cos \theta + i \sin \theta)</math><ref name="孙维刚_2005_复数" />；
:(2) <math>r (- \cos \theta - i \sin \theta)</math><ref name="孙维刚_2005_复数" />；
:(3) <math>r (\cos \theta - i \sin \theta)</math><ref name="孙维刚_2005_复数" />；
:(4) -4 + 4i；
:(5) <math>2 - \frac{2 \sqrt{3}}{3} i</math>。

复数z的实部可以用记号记为Re(z)，虚部可以记为Im(z)。知道了一个复数，等价于同时知道了Re(Z)和Im(Z)，也等于同时知道了|z|和Arg(z)。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知i是虚数单位，求证下列常见关系式：
:(1) <math>z + \bar{z} = 2 Re(z)</math>
:(2) <math>z - \bar{z} = 2 Im(z)</math>
:(3) <math>Re(z) = \frac{z + \bar{z}}{2}</math><ref name="岑爱国_2007_基本运算" />
:(4) <math>Re(z) = \frac{z - \bar{z}}{2i}</math><ref name="岑爱国_2007_基本运算" />
:(5) <math>|z|^2 = (Re(z))^2 + (Im(z))^2</math>

=== 复数乘法的几何意义 ===

利用[[高中数学/函数与三角/两角和与差的三角函数公式|三角函数中两角和与差]]的运算法则，三角形式下的复数乘除法有专门的公式。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知i是虚数单位，求证复数三角形式的乘除法运算公式。
:(1) <math>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))</math>
:(2) <math>\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))</math>

从几何上看，将任何一个非零复数乘以<math>\cos \theta + i \sin \theta</math>，等价于在复平面内把这个复数对应的向量逆时针旋转<math>\theta</math>；将任何一个复数除以<math>\cos \theta + i \sin \theta</math>，等价于在复平面内把这个复数对应的向量顺时针旋转<math>\theta</math>。特别地，乘以或除以i，就是分别将复平面上的向量沿逆时针或顺时针方向旋转90度。<ref name="孙维刚_2005_复数" />

而将任何一个非零复数乘以或除以其它非零复数，等价于在进行旋转的同时，也进行了长度的伸缩。

我们将规律总结如下：
<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
在三角形式下，复数的乘除法满足以下规律<ref name="岑爱国_2007_基本运算">{{cite book |title=复数与多项式 |author=岑爱国 |editor=沈国明 (责任编辑) |publisher=浙江大学出版社 |location=中国杭州天目山路148号 |series=高中数学竞赛专题讲座 |edition=1 |isbn=978-7-308-05379-2 |section=第1讲“复数的概念与运算” |pages=1-2 |language=zh-cn |year=2007}}</ref>：
* 乘法：<math>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))</math>
* 除法：<math>\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))</math>

将任何非零一个复数<math>z_0</math>乘以另一个非零复数<math>z = r (\cos \theta + i \sin \theta) \quad (r > 0)</math>，等价于在复平面内把这个复数<math>z_0</math>对应的向量逆时针旋转<math>\theta</math>，再将长度变为原来的r = |z|倍；将任何一个复数除以<math>\cos \theta + i \sin \theta</math>，等价于在复平面内把这个复数对应的向量顺时针旋转<math>\theta</math>，再将长度变为原来的<math>\frac 1 r = \frac{1}{|z|}</math>倍。<ref name="岑爱国_2007_几何意义">{{cite book |title=复数与多项式 |author=岑爱国 |editor=沈国明 (责任编辑) |publisher=浙江大学出版社 |location=中国杭州天目山路148号 |series=高中数学竞赛专题讲座 |edition=1 |isbn=978-7-308-05379-2 |section=第2讲“复数及其运算的几何意义” |pages=11 |language=zh-cn |year=2007}}</ref>
</blockquote>

z和<math>\bar{z}</math>分别表示从原点出发的关于实轴镜像对称的2个向量。它们的向量和是菱形的对角线，分布在实轴上。设z和<math>\bar{z}</math>的幅角大小分别为<math>\theta_z</math>和<math>\theta_{\bar{z}}</math>，则<math>\theta_{\bar{z}} = \theta{z}</math>。将从原点出发、朝向<math>\theta_{z}</math>的终边方向的向量绕原点旋转<math>\theta</math>后，肯定会落在实轴上。所以<math>z \cdot \bar{z}</math>的结果一定为实数。不难验证有<math>z \cdot \bar{z} = |z|^2 = x^2 + y^2</math>成立。<ref name="孙维刚_2005_复数" />

[[File:Nuvola apps filetypes.svg | Crystal Clear action edit | 50px]]
思考：如果要作类比的话，复数的乘法更像实向量的数乘还是点乘？

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知<math>z_1, z_2, z_3</math>都是非零复数，<math>z_1 \cdot z_2 = z_3, Arg(z_1) = \frac{2 \pi}{3}, Arg(z_3) = \frac{5 \pi}{3}</math>，求<math>z_2</math>的幅角主值。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知i是虚数单位，<math>cis(z) = \cos z + i \sin z</math>，求<math>cis(z) \cdot cis(2z) \cdot cis(3z) \cdot \cdots \cdot cis(nz)</math>的值。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知i是虚数单位，求证：形如<math>z = \cos \theta + i \sin \theta</math>的复数与其共轭复数是倒数关系。

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
已知i是虚数单位，<math>z = 3 \cos \theta + 4i \sin \theta</math>，求<math>\bar{z}^6</math>的共轭复数的表达式。

=== 复数的开方与单位根 ===

如果<math>x^n = z \quad (x, z \in \mathbb{C}, n \in \mathbb{N}^+)</math>，则x叫做z的n次方根。容易发现，对z的<math>n (n \in \mathbb{N}^+)</math>次方根的研究，实际上总是归结为对1的n次方根的研究。

<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">
1的每一个<math>n (n \in \mathbb{N}^+)</math>次方根，都称为1个'''n次单位根'''，简称'''单位根'''。<ref name="岑爱国_2007_单位根">{{cite book |title=复数与多项式 |author=岑爱国 |editor=沈国明 (责任编辑) |publisher=浙江大学出版社 |location=中国杭州天目山路148号 |series=高中数学竞赛专题讲座 |edition=1 |isbn=978-7-308-05379-2 |section=第4讲“单位根及其应用” |pages=33 |language=zh-cn |year=2007}}</ref>
</font>
</blockquote>

可以验证：
* 如果某角度为圆周角的<math>n (n \in \mathbb{N}^*)</math>分之一，复数在复平面上绕此角度的多次旋转具有周期性的取值。
* 1的n次方根，构成了单位圆上的n等分点，并且至少有一个根是z = 1。<ref name="孙维刚_2005_复数" />
* 1的2n次方根，至少有一个根是z = 1。<ref name="孙维刚_2005_复数" />

事实上，可以根据复数乘、除法的几何意义，猜到任意非零复数z的n个n次方根都可以表示为<ref name="岑爱国_2007_基本运算" /><ref name="Schoening_2012">{{cite web |url= https://www.math.utah.edu/~anna/Fall12/Trig/LessonPlans/Section65.pdf |format=pdf |title=Section 6.5, Trigonometric Form of a Complex Number |author=Anna Schoening |publisher=[[w:University of Utah|University of Utah]] |language=en |date=2012年 |access-date=2021年1也17日}}</ref>：<br />
:<math>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 \le k \le n-1)</math><br />

[[File:Nuvola apps filetypes.svg | Crystal Clear action edit | 50px]]
思考：根据几何意义猜测，负数的n次方根在复平面上的分布规律是什么样的？

=== 棣莫弗公式与欧拉公式 ===
借助虚数单位的帮助，某些以实数为变量的三角函数出现了新的运算规律。使用下面介绍的公式也能验证刚才提到的任意非零复数z的n次方根公式。

{{multiple image
 | width = 150
 | footer = 如果您了解法语和德语的发音，就会发现这2个人的汉语译名都比较偏离原文发音。可恶的是，我们只能尊重以前的译名习惯，将错就错！
 | image1 = Abraham de moivre.jpg
 | alt1 = de Moivre
 | caption1 = 亚伯拉罕·棣莫弗（Abraham de Moivre，1667年－1754年）是法国知名的概率论学者。
 | image2 = Leonhard Euler.jpg
 | alt2 = Leonhard Euler
 | caption2 = 莱昂哈德·欧拉（Leonhard Euler，1707年－1783年）是瑞士最著名的数学家，他的成就之广使其几乎统治了18世纪的数学发展。当然，也许会有人一直到大学毕业也不知道在数学、物理、工程力学许多公式里都可以见到的名字“Euler”指的是同一个人。这种成就遍布多个一级学科、支配众多学渣大学本科专业课的数学家到了20世纪就比较少了，少数很成功的跨界学术明星包括[[w:安德雷·柯尔莫哥洛夫|安德雷·柯尔莫哥洛夫]]和[[w:约翰·冯诺依曼|约翰·冯诺依曼]]。
}}

<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
法国男人[[w:亚伯拉罕·棣莫弗|亚伯拉罕·棣莫弗]]（Abraham de Moivre）发现了如下的'''棣莫弗公式'''（'''De Moivre's formula'''）：
<math>(\cos x + i \sin x)^n = \cos nx + i \sin nx \quad (x \in \mathbb{R}, n \in \mathbb{N})</math>
</blockquote>

证明：套用n次三角形式的复数乘法公式即可证明棣莫弗公式<ref name="Schoening_2012" />：<br />
<math>
\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}
</math><br />
证明完毕。

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：<math>f(x) = \cos x + i \sin x</math>也叫做[[w:cis函数|cis函数]]，容易验证<math>(cis (x))^2 = cis (2x)</math>。棣莫弗公式则给出了更一般的关系，即<math>(cis (x))^n = cis (nx)</math>。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知i是虚数单位，请利用复数三角形式的乘法法则<math>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))</math>简化上述棣莫弗公式的证明。（如果已学过[[高中数学/不等式与数列/数学归纳法|数学归纳法]]，可以尝试改写为使用数学归纳法论证。）

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知i是虚数单位，使用棣莫弗公式验证任意非零复数z的n次方根公式：<br />
<math>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 \le k \le n-1)</math><br />

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知i是虚数单位，<math>z^n = \cos nx - i \sin nx</math>，求z的表达式。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知i是虚数单位，以及用三角形式表示的2个复数<math>\alpha = r (\cos \theta + i \sin \theta), \beta = r (\cos \theta - i \sin \theta), r > 0</math>，再设<math>f(n) = A \alpha^n + B \beta^n \quad (A \neq 0, B \neq 0)</math>，求证f(n)可以表示成<math>r^n (C \cos n \theta + D \sin n \theta) \quad (C, D \in \mathbb{R})</math>的形式。（出自：对[[高中数学/不等式与数列/常系数线性递推数列|二阶常系数线性递推数列]]的一般解的代数变形<ref name="蔡小雄_高妙_2009_不动点法">{{cite book |title=更高更妙的高中数学思想与方法 |author=蔡小雄 |editor1=董德耀 |editor2=沈国明 |publisher=浙江大学出版社 |location=中国杭州天目山路148号 |series= |edition=1 |isbn=978-7-308-06993-9 |section=第4章“用竞赛策略优化高考解题”第4.1节“熟悉递推方法”第4.1.2小节“待定系数法” |pages=238 |language=zh-cn |date=2009}}</ref>。）

<!-- 本小节例题1的证明 -->
 <div class="collapsible answer" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>证明：<br />
 <math>
 \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 \\
  = A r^n (\cos \theta + i \sin \theta)^n + B r^n (\cos \theta - i \sin \theta)^n \\
  = A r^n (\cos n \theta + i \sin n \theta) + B r^n (\cos (- \theta) + i \sin (- \theta))^n \\
  = A r^n (\cos n \theta + i \sin n \theta) + B r^n (\cos (-n \theta) + i \sin (-n \theta)) \\
  = A r^n \cos n \theta + Ai r^n \sin n \theta) + B r^n \cos (-n \theta) + Bi r^n \sin (-n \theta) \\
  = (A r^n \cos n \theta + B r^n \cos (-n \theta)) + (Ai r^n \sin n \theta) + Bi r^n \sin (-n \theta)) \\
  = (A r^n \cos n \theta + B r^n \cos n \theta) + (Ai r^n \sin n \theta) - Bi r^n \sin n \theta) \\
  = (A+B) r^n \cos n \theta + (A-B)i r^n \sin n \theta \\
  = r^n ((A+B) \cos n \theta + (A-B)i \sin n \theta)
 \end{array}
 </math><br />
 记C = (A+B), D = (A-B)，则上式可以进一步化简为：<br />
 <math>f(n) = r^n (C \cos n \theta + Di \sin n \theta)</math><br />
 这就是题目中要求证的形式。证明完毕。
 </p>
</div>

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
已知i是虚数单位，求证：复数数列<math>\{(1 + i)^n + (1 - i)^n \} \quad (n \in \mathbb{N}^+)</math>每一项的取值都是整数。<br />
（提示：为利用到棣莫弗公式，应该先将<math>1 \pm i</math>分别写成复数的三角形式<math>\sqrt{2} (\cos \frac{\pi}{4} + i \sin \frac{\pi}{4})</math>，通项的最终化简结果为<math>a_n = (\sqrt{2})^n (C \cos \frac{n \pi}{4} + D \sin \frac{n \pi}{4}) \quad (C, D \in \mathbb{R})</math>。）

为避免牵扯到较多的微积分学知识，我们直接空降出下列更著名的关系：
<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
下列关系式给出了虚指数的取值定义，叫做'''欧拉公式'''（'''Euler's formula'''）<ref name="岑爱国_2007_基本运算" />：<br />
<math>e^{xi} = \cos x + i \sin x</math>
</blockquote>

欧拉公式可以视作是给虚指数下了定义。它是微积分学中基于一些经验事实的大胆假设，不能在初等数学的范围内给予严格证明。更进一步地，可以规定复指数的如下运算法则：
<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">
人为规定以自然常数e为底数、复数<math>z = a + bi \quad (a, b \in \mathbb{R})</math>为指数的复指数满足以下法则：<br />
<math>e^z := e^{a+bi} = e^a \cdot e^{bi}</math>
</font>
</blockquote>

易知复指数可以分解为作为实数的模<math>|e^z| = e^a</math>与单位复数<math>e^{bi} \quad (b \in \mathbb{R})</math>的乘积。这种分解方法很有用，能够直接看出复数的模和幅角主值的大小，也便于观察出复数乘法与复指数乘法之间的联系。

[[File:Crystal Clear app kdict.png | Crystal Clear app kdict | 50px]]
知识背景：这种将一个量分解为长度与另一部分乘积的做法可以推广到[[高中数学/向量与复数/复向量及其点积|复系数的向量]]，而且在其它数学分支中也有应用。例如对实系数或复系数的[[高中数学/矩阵与变换/向量的线性变换与矩阵|矩阵]]或无穷维的矩阵（或者叫[[w:算子|算子]]）也都可以定义类似的操作，叫做对矩阵或算子的[[w:极分解|极分解]]。

<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
由欧拉公式与复指数的定义，可以得到以下结论：
* <math>\sin x = \frac{e^{ix} - e^{-ix}}{2} \quad (x \in \mathbb{R})</math>
* <math>\cos x = \frac{e^{ix} + e^{-ix}}{2} \quad (x \in \mathbb{R})</math>
* 欧拉恒等式：<math>e^{\pi i} + 1 = 0</math>
* 复指数函数<math>e^z \quad (z \in \mathbb{C})</math>是周期函数。<ref name="钟玉泉_2004_初等解析函数" />
</blockquote>

由于欧拉恒等式把5个最基本的数学常数简洁地连系起来，所以被美国物理学家[[w:理查德·费曼|理查德·费曼]]形容为“数学中最引人瞩目的公式”<ref name="Feynman_EulersEq">{{cite book |language=en |author1=[[w:Richard Feynman|Richard Feynman]] |author2=[[w:Robert B. Leighton|Robert B. Leighton]] |author3=Matthew Sands |others=Michael A. Gottlieb (在线版制作者); Rudolf Pfeiffer (在线版制作者) |url= http://www.feynmanlectures.caltech.edu/I_22.html |title='''The Feynman Lectures on Physics''' |publisher=[[w:加州理工学院|加州理工学院]] |volume=1 |chapter=Algebra |format=HTML |date=2013年 |accessdate=2021年11月14日 |quote="So there is a connection, ultimately, between algebra and geometry. We summarize with this, the most remarkable formula in mathematics: e^(iθ) = cos θ + i sin θ. This is our jewel."}}</ref>。

利用三角函数与复指数的转换，每一个复数可以表示为如下的'''指数形式'''（'''exponential form'''）：<br />
<math>z = r e^{\theta i} \quad (r \ge 0, \theta \in \mathbb{R})</math><br />
特别地，每一个非零的复数都具有唯一的指数形式。

反过来，三角函数也可以推广到复变量的情形。复变量的三角函数脱离了单位圆的几何束缚，直接利用复指数函数进行定义<ref name="钟玉泉_2004_初等解析函数" />：
* <math>\sin z := \frac{e^{zi} - e^{-zi}}{2i} \quad (z \in \mathbb{C})</math>
* <math>\cos z := \frac{e^{zi} + e^{-zi}}{2i} \quad (z \in \mathbb{C})</math>

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：上述定义与实变量[[高中数学/函数与三角/双曲函数及其恒等变换|双曲函数]]的定义非常相似，进而导致正余弦函数在虚轴上的取值的变化规律与实轴上的双曲函数相同。

至此，复数的4种表示方法全部出现：代数形式、向量形式、三角形式、指数形式。<ref name="岑爱国_2007_基本运算" />

<!-- 本小节例题6 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题6：
普通正弦函数的下列性质在定义域拓展到复数范围后，哪些仍然能够成立？对其中成立的给出证明，对其中不成立的给出理由说明。
:(1) 奇偶性；
:(2) 单调性；
:(3) 周期性。

<!-- 本小节例题7 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题7：
举出一个周期为虚数的函数的例子。

<!-- 本小节例题8 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题8：
举例说明<math>|\sin z| \le 1 \quad (z \in \mathbb{C})</math>在复数范围内一般不成立。（更一般地说，三角函数的有界性在复数范围内都不再成立。<ref name="钟玉泉_2004_初等解析函数">{{cite book |title=复变函数论 |author=钟玉泉 |editor1=王瑜 (策划编辑) |editor2=丁鹤龄 (责任编辑) |others=朱慧芳 (责任校对) |publisher=高等教育出版社 |location=中国北京市西城区德外大街4号 |series= |edition=1 |isbn=7-04-012943-4 |section=第2章“解析函数”第2节“初等解析函数” |pages=58-64 |language=zh-cn |date=2004}}</ref>）

== 常见结论与常见模型 ==
=== 数形结合问题 ===
许多非代数计算的问题，优先从几何角度考虑，能较快得到思路。<ref name="孙维刚_2005_复数" />

<!-- 本小节例题 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题：
已知i为虚数单位，复数z的模为2，求|z - i|的最大值。<br />
（出自：1992年中国大陆高考理科数学试卷第15题。）

=== 简谐波函数的向量表示法 ===

== 计算机求解 ==
=== Mathematica ===


== 补充习题 ==
[[File:Crystal Clear app ksirtet.png | Crystal Clear app ksirtet | 50px]]
[[File:Crystal Clear app laptop battery.png | Crystal Clear app laptop battery | 50px]]

== 参考资料 ==
{{Reflist}}

== 外部链接 ==
{{Wikipedia|棣莫弗公式}}
{{Wikipedia|欧拉公式}}
{{Wikipedia|欧拉恒等式}}

{{DEFAULTSORT: complex numbers and trigonometry}}
[[category:初等代数]]
[[category:三角函数]]
[[category:复分析]]
[[category:高中数学]]