定义 44.1.1
复数是能写成 的数,其中 和 是实数, 是“虚数单位”。 是这个数的实部, 是它的虚数部分。复数常用字母 表示。
在数轴上再穿过一条轴,算术就变成了几何:乘法是旋转,棣莫弗定理的乘方画出螺旋,单位根构成正多边形。
在本节中,你将能够 对复数做加、乘、除运算,运用 i 的幂,并处理共轭复数和模。
什么数的平方是 −1?没有实数能做到。那就发明一个,叫它 i,把它放在第二条轴上。从此算术变成了几何。
复数 就是点 。复数相加就像向量相加。复数相乘就像两个二项式相乘,最后把 换成 。
注意:共轭复数 是 关于实轴的镜像。而且 总是实数。靠这一个事实,就能把分母里的 全部清掉。
复数是能写成 的数,其中 和 是实数, 是“虚数单位”。 是这个数的实部, 是它的虚数部分。复数常用字母 表示。
虚数单位的定义和它的前几次幂:
的幂每 4 项循环一次,所以 ,,,。
实部加实部,虚部加虚部:
实部减实部,虚部减虚部:
像两个二项式那样相乘:
像展开任意两个二项式那样展开:。因为 ,所以 这一项就是 ,它并入实部:。
复数 的虚部是 ,实部是 。
虚部不带因子 : 的虚部是 ,不是 。
把一个复数的虚部变号,就得到它的共轭复数。 的共轭复数记作 。
虚部变号:
复数 也可以画成复平面上的点 。 轴是实轴, 轴是虚轴。
复数的模(大小)记作 ,是点 到原点的距离。
由勾股定理:
乘积是实数:
对任意复数 ,
这直接来自上面的定理:。它非常好用!例如,它把 变成 。
对复数 和 (其中 ),定义二元运算
设复数 满足 。 是多少?
已知 、、 是正整数,满足 ,其中 。求 。
当 取何值时,?注:这里 。
复数 等于 ,其中 是正实数,。已知 和 的虚部相同, 等于多少?
设复数 满足 。 的值是多少?
对所有复数 ,函数 定义为 ,其中 和 是复数,。已知 和 都是实数。 的最小可能值是多少?
在本节中,你将能够 把复数写成极坐标形式,用棣莫弗定理求它的乘方,并运用单位根。
是多少?连乘八次很痛苦。用极坐标形式,一行就够了。
每个复数都是一个长度 加一个角 : cis = re^(iθ)。两个复数相乘,长度相乘,角度相加。所以 的长度是 ,角是 。这就是棣莫弗定理。
注意: 的解长度都是 1,角度都是 的倍数。它们是一个正多边形的顶点。例 44.1 在原书中出现得更早,但它要用到极坐标形式,所以放在这里。
正实轴与从原点指向某个复数的射线所成的角,叫作这个复数的辐角,记作 。
复数 的辐角 满足
**小心:** 并不能确定象限。 和 都满足 ,但它们的辐角分别是 和 。一定要看清点 在哪个象限。
到一个复数的距离也叫这个复数的模,记作 。
复数 的模 是
极坐标形式是复数的另一种写法,它用的是复数的模 和辐角 。
用模和辐角表示:
由三角比可知 ,,变形得 ,。代入就得到极坐标形式。
就是 的简写。
也可以写成 。
欧拉公式说
所以
(这里 用弧度制。)
欧拉恒等式是欧拉公式的特例():
单位根是 ( 为正整数)的复数解。 总是恰好有 个解。
次单位根是
它们是单位圆的内接正 边形的顶点,其中一个顶点在 。
要把一个点绕原点逆时针旋转 弧度,就把它写成对应的复数,再乘以 。把结果换回有序数对,就得到旋转后的点。
对复数 和整数 ,
(原书写的是“实数 ”;当指数不是整数时, 有多个值,所以这个公式要求 是整数。)
当 时,把 个 相乘:模相乘得 ,辐角相加得 。当 为负数时,利用 。
有了棣莫弗定理,像
这样的式子就很好算:,所以 。
只要复数和指数碰到一起,棣莫弗定理就非常有用。
满足 的互不相同的复数 有 个。其中有多少个使 是实数?
的根中,实部为正的那些根之和是多少?
下列复数 中,哪一个使 的实部最大?
有多少个复数满足方程 ?其中 是复数 的共轭复数。
有多少个小于或等于 的正整数 ,使得
对所有实数 都成立?
坐标平面上的点列 , , , 满足
已知 。 是多少?
同时满足 和 的复数有 个。这些数的形式为 ,其中 ,角以度为单位。求 的值。
在本节中,你将能够 用乘以 cis θ 来旋转点,从而解几何题。
点 、 和 构成等边三角形。只用坐标会得到很乱的方程。旋转一次 就能得到答案。
要把点 绕中心 旋转 :先平移使 到 ,乘以 cis ,再平移回去。正方形用 (乘以 )。等边三角形用 。
注意:在点 处是直角,意味着从 出发的两条边向量之商是纯虚数。
复数和圆关系密切,因此能让许多几何题变简单,尤其是含有等边三角形、正方形等多边形的题。
用复数解几何题的步骤:
代数形式的复数问题也可以从几何角度看: 是距离,乘以 是旋转, 是一个圆。
已知 ,存在复数 ,使得 、 和 是复平面上一个直角三角形的顶点,且直角在 处。存在正整数 和 ,使得这样的 中有一个是 。求 。
直角在 处。 必须满足什么?
复平面上以 、 和 为顶点的三角形,其中复数 满足 。这个三角形的面积最大可能是多少?
求
的实部的最大可能值,其中 是满足 的复数。这里 。
方程 的解在复平面上依次连接成一个凸正多边形,它的三个顶点记为 、、。 的面积最小可能是多少?
设 是复平面上的区域,由所有能写成复数 与 之和的复数 组成,其中 在端点为 和 的线段上, 的模至多为 。与 的面积最接近的整数是多少?
在本节中,你将能够 利用多项式的复数根、共轭根对和单位根来计算多项式的值。
一个 2018 次的多项式看起来毫无希望。但代入一个 6 次单位根,每个幂都会归结为六个值之一。
每个 次多项式恰好有 个复数根。当系数都是实数时,非实数根成共轭对 和 出现,它们关于实轴互为镜像。
注意:要计算单位根处的值 ,先把每个指数模 的阶化简。
次多项式有 个根(按重数计),这些根可能是复数。对二次式来说,判别式为负意味着有两个复数根。(原书写的是“二项式”,实际指的是二次式。)如果系数都是实数,非实数根成共轭对 出现。
多项式 的系数都是实数,且 。 是多少?
设 和 是唯一满足
且 的次数小于 的多项式。 是什么?
多项式
在复平面上有三个根,其中 。这三个根构成的三角形面积是多少?
存在实数 、、、,使得 是 的根, 是 的根。这两个多项式有一个公共的复数根 ,其中 和 是正整数,。求 。
设 是 的虚部为正的根之积,且 ,其中 ,。求 。
在本节中,你将能够 把正弦和余弦变成指数形式,用单位根计算三角式的和与积。
cos(2π/7) + cos(4π/7) + cos(6π/7) 是多少?你的公式表里没有哪个恒等式能直接给出它。7 次单位根可以。
把 e^(iθ) 和它的镜像 e^(−iθ) 相加:虚部抵消,得到 。相减则得到 。所以每个三角式都能变成关于单位圆上的点的代数问题。
注意:原书的这些公式里有一处角度制的笔误,正切公式还有一个符号错误;下面的卡片是修正后的版本。
**已修正原书的错误。**原书写的是 ,把角度混进了弧度制的指数里;它的意思是 。原书的正切公式符号也错了:它给出的是 。
把 和 相加:正弦抵消,剩下 。改为相减:余弦抵消,剩下 。两式相除得 ,而 。
用这些替换,你可以直接硬算出三角式的值,不需要原本必需的那些巧妙恒等变形。
已知复数 满足 ,求大于 的最小整数。
存在唯一的整数数列 ,使得只要 有定义,就有
成立。 是多少?
在本节中,你将能够 在竞赛题中综合运用本章的所有工具。
其余的补充习题,从 AMC 12 热身题到一道 AIME 第 15 题。有些题你在本章已经见过:这次不看分步讲解,再做一遍。
函数 定义为 ,其中 , 是 的共轭复数。有多少个 同时满足 和 ?
这道题在书中还以 44.4.9 的编号出现。
的根中,实部为正的那些根之和是多少?
这道题在书中还以 44.5 的编号出现。
复数 和 满足 ,,且 的虚部是 ,其中 和 是互质的正整数,且 。求 。
对所有复数 ,令 ,并对所有正整数 令 。已知 ,,其中 和 是实数。求 。
考虑满足 的复数 构成的集合。 的虚部的最大值可以写成 的形式,其中 和 是互质的正整数。 是多少?
复数数列 由规则
定义,其中 是 的共轭复数,。已知 且 。 有多少个可能的值?
这道题在书中还以 44.1 的编号出现。
设 是满足 且 为实数的复数 的个数。求 除以 的余数。
设 和 是复数,满足 ,。令 。 的最大可能值可以写成 ,其中 和 是互质的正整数。求 。(注:对 , 表示复平面上从 到 的射线与正实轴所成角的度量。)
设 是实数, 和 是满足方程 的两个复数。点 、、 和 是复平面上(凸)四边形 的顶点。当 的面积取到最大可能值时, 最接近下列哪个数?
方程 和 (其中 )的解构成复平面上一个平行四边形的顶点。这个平行四边形的面积可以写成 的形式,其中 、、、 是正整数,且 和 都不能被任何质数的平方整除。 是多少?