跳到正文
进阶专题 · 第 44 章

复数

在数轴上再穿过一条轴,算术就变成了几何:乘法是旋转,棣莫弗定理的乘方画出螺旋,单位根构成正多边形。

你需要先会
在 YouTube 上打开
在 YouTube 上打开
在 YouTube 上打开
在 YouTube 上打开
在 YouTube 上打开
44.1a0%

i 的代数运算

在本节中,你将能够 对复数做加、乘、除运算,运用 i 的幂,并处理共轭复数和模。

什么数的平方是 −1?没有实数能做到。那就发明一个,叫它 i,把它放在第二条轴上。从此算术变成了几何。

复数 a+bia + bi 就是点 (a,b)(a, b)。复数相加就像向量相加。复数相乘就像两个二项式相乘,最后把 i2i^2 换成 −1-1。

注意:共轭复数 zˉ\bar z 是 zz 关于实轴的镜像。而且 zzˉ=∣z∣2z \bar z = |z|^2 总是实数。靠这一个事实,就能把分母里的 ii 全部清掉。

动手探索先玩,再学公式

z = i。棣莫弗定理:z^8 = 1 cis 0° = 1。每乘一次,模乘以 |z|,角度加上 arg z。

n8
z⁸ = 1

z = i。棣莫弗定理:z^8 = 1 cis 0° = 1。每乘一次,模乘以 |z|,角度加上 arg z。

认识概念

定义 44.1.1

复数是能写成 a+bia + bi 的数,其中 aa 和 bb 是实数,ii 是“虚数单位”。aa 是这个数的实部,bibi 是它的虚数部分。复数常用字母 zz 表示。

定义 44.1.2

虚数单位的定义和它的前几次幂:

i=−1,i2=−1,i3=−i,i4=1i = \sqrt{-1},\quad i^2 = -1,\quad i^3 = -i,\quad i^4 = 1

定理 44.1.4 · 复数的加法

实部加实部,虚部加虚部:

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

定理 44.1.5 · 复数的减法

实部减实部,虚部减虚部:

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

定理 44.1.6 · 复数的乘法

像两个二项式那样相乘:

(a+bi)⋅(c+di)=(ac−bd)+(bc+ad)i(a + bi)\cdot(c + di) = (ac - bd) + (bc + ad)i

定义 44.1.7 · 实部与虚部

复数 a+bia + bi 的虚部是 bb,实部是 aa。

定义 44.1.9

把一个复数的虚部变号,就得到它的共轭复数。zz 的共轭复数记作 zˉ\bar z。

定理 44.1.10 · 求共轭复数

虚部变号:

zˉ=a+bi‾=a−bi\bar z = \overline{a + bi} = a - bi

定义 44.1.11 · 复平面

复数 a+bia + bi 也可以画成复平面上的点 (a,b)(a, b)。xx 轴是实轴,yy 轴是虚轴。

定义 44.1.12

复数的模(大小)记作 ∣z∣|z|,是点 (a,b)(a, b) 到原点的距离。

定理 44.1.13 · 复数的模

由勾股定理:

∣z∣=∣a+bi∣=a2+b2|z| = |a + bi| = \sqrt{a^2 + b^2}

定理 44.1.14 · 复数乘以它的共轭复数

乘积是实数:

(a+bi)(a−bi)=a2+b2(a + bi)(a - bi) = a^2 + b^2

定理 44.1.15

对任意复数 zz,

z⋅zˉ=∣z∣2.z\cdot\bar z = |z|^2.

看例题先预测,再揭晓

例 44.2

AIME

复数 zz 和 ww 满足方程组

z+20iw=5+i,w+12iz=−4+10i.z + \frac{20i}{w} = 5 + i,\qquad w + \frac{12i}{z} = -4 + 10i.

求 ∣zw∣2|zw|^2 的最小可能值。

  1. 1

    我们要的是 zwzw,所以把两个方程相乘。左边 (z+20iw)(w+12iz)\left(z + \frac{20i}{w}\right)\left(w + \frac{12i}{z}\right) 展开后是什么?

在 YouTube 上打开

例 44.3

AIME

存在一个虚部为 164164 的复数 zz 和一个正整数 nn,使得

zz+n=4i.\frac{z}{z + n} = 4i.

求 nn。

复平面 (总数在例题最后一步揭晓)

z/(z+n) = 4i

z = −656 + 164i,w = 41 + 164i,z ÷ w = 4i:模为 4,辐角为 90°。模相除,辐角相减。

  1. 1

    去分母。zz 满足什么一次方程?

在 YouTube 上打开

自己做

习题 44.4.10(补充题)

AMC 12

对复数 u=a+biu = a + bi 和 v=c+div = c + di(其中 i=−1i = \sqrt{-1}),定义二元运算

u⊗v=ac+bdi.u \otimes v = ac + bdi.

设复数 zz 满足 z⊗z=z2+40z \otimes z = z^2 + 40。∣z∣|z| 是多少?

习题 44.4.13(补充题)

AIME

已知 aa、bb、cc 是正整数,满足 c=(a+bi)3−107ic = (a + bi)^3 - 107i,其中 i2=−1i^2 = -1。求 cc。

习题 44.4.14(补充题)

AMC 12

当 nn 取何值时,i+2i2+3i3+⋯+nin=48+49ii + 2i^2 + 3i^3 + \dots + ni^n = 48 + 49i?注:这里 i=−1i = \sqrt{-1}。

习题 44.4.19(补充题)

AIME

复数 zz 等于 9+bi9 + bi,其中 bb 是正实数,i2=−1i^2 = -1。已知 z2z^2 和 z3z^3 的虚部相同,bb 等于多少?

竞赛角真实竞赛题

习题 44.4.4

AMC 12

设复数 zz 满足 12∣z∣2=2∣z+2∣2+∣z2+1∣2+3112|z|^2 = 2|z + 2|^2 + |z^2 + 1|^2 + 31。z+6zz + \frac6z 的值是多少?

习题 44.4.18(补充题)

AMC 12

对所有复数 zz,函数 ff 定义为 f(z)=(4+i)z2+αz+γf(z) = (4 + i)z^2 + \alpha z + \gamma,其中 α\alpha 和 γ\gamma 是复数,i2=−1i^2 = -1。已知 f(1)f(1) 和 f(i)f(i) 都是实数。∣α∣+∣γ∣|\alpha| + |\gamma| 的最小可能值是多少?

过关检测(第 44.1a 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

化简 i2025i^{2025}。

2

计算 (2+3i)(1−i)(2 + 3i)(1 - i),把答案写成 a+bia + bi 的形式。

3

设 z=3−4iz = 3 - 4i。zzˉz\bar z 是多少?

44.1b0%

极坐标形式、棣莫弗定理与单位根

在本节中,你将能够 把复数写成极坐标形式,用棣莫弗定理求它的乘方,并运用单位根。

(3+i)8(\sqrt3 + i)^8 是多少?连乘八次很痛苦。用极坐标形式,一行就够了。

每个复数都是一个长度 rr 加一个角 θ\theta:z=rz = r cis θ\theta = re^(iθ)。两个复数相乘,长度相乘,角度相加。所以 znz^n 的长度是 rnr^n,角是 nθn\theta。这就是棣莫弗定理。

注意:zn=1z^n = 1 的解长度都是 1,角度都是 360∘/n360^\circ / n 的倍数。它们是一个正多边形的顶点。例 44.1 在原书中出现得更早,但它要用到极坐标形式,所以放在这里。

动手探索先玩,再学公式

z = −2 + 2i = 2.828 cis 135°:模 r = 2.828,辐角 θ = 135° = 2.356 弧度。

r = 2.828, θ = 135°

z = −2 + 2i = 2.828 cis 135°:模 r = 2.828,辐角 θ = 135° = 2.356 弧度。

认识概念

定义 44.1.17

正实轴与从原点指向某个复数的射线所成的角,叫作这个复数的辐角,记作 θ\theta。

定理 44.1.18 · 复数的辐角

复数 a+bia + bi 的辐角 θ\theta 满足

tan⁡θ=ba.\tan\theta = \frac{b}{a}.

**小心:**tan⁡θ=ba\tan\theta = \frac ba 并不能确定象限。−1+i-1 + i 和 1−i1 - i 都满足 ba=−1\frac ba = -1,但它们的辐角分别是 135∘135^\circ 和 −45∘-45^\circ。一定要看清点 (a,b)(a, b) 在哪个象限。

定义 44.1.19

00 到一个复数的距离也叫这个复数的模,记作 rr。

定理 44.1.20 · 复数的模

复数 a+bia + bi 的模 rr 是

r=∣a+bi∣=a2+b2.r = |a + bi| = \sqrt{a^2 + b^2}.

定义 44.1.21

极坐标形式是复数的另一种写法,它用的是复数的模 rr 和辐角 θ\theta。

定理 44.1.22 · 极坐标形式

用模和辐角表示:

z=a+bi=r(cos⁡θ+isin⁡θ)=rcis⁡θz = a + bi = r(\cos\theta + i\sin\theta) = r\operatorname{cis}\theta

注 44.1.23

cis⁡θ\operatorname{cis}\theta 就是 cos⁡θ+isin⁡θ\cos\theta + i\sin\theta 的简写。

注 44.1.25

cos⁡θ+isin⁡θ\cos\theta + i\sin\theta 也可以写成 cis⁡θ\operatorname{cis}\theta。

定理 44.1.26 · 欧拉公式

欧拉公式说

cos⁡θ+isin⁡θ=eiθ,\cos\theta + i\sin\theta = e^{i\theta},

所以

z=a+bi=r(cos⁡θ+isin⁡θ)=reiθ.z = a + bi = r(\cos\theta + i\sin\theta) = re^{i\theta}.

(这里 θ\theta 用弧度制。)

定义 44.1.28

单位根是 xn=1x^n = 1(nn 为正整数)的复数解。xn=1x^n = 1 总是恰好有 nn 个解。

定理 44.1.29 · 单位根

nn 次单位根是

e2kπi/n其中 k∈{0,1,2,…,n−1}.e^{2k\pi i/n}\quad\text{其中 } k \in \{0, 1, 2, \dots, n - 1\}.

它们是单位圆的内接正 nn 边形的顶点,其中一个顶点在 11。

z⁶ = 1 有 6 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 −1。

n6
z⁶ = 1

z⁶ = 1 有 6 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 −1。

z⁶ = 1 有 6 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 −1。

定理 44.1.30 · 旋转一个点

要把一个点绕原点逆时针旋转 θ\theta 弧度,就把它写成对应的复数,再乘以 eiθe^{i\theta}。把结果换回有序数对,就得到旋转后的点。

定理 44.1.31 · 棣莫弗定理

对复数 z=reiθz = re^{i\theta} 和整数 nn,

zn=(reiθ)n=rn[cos⁡(nθ)+isin⁡(nθ)].z^n = (re^{i\theta})^n = r^n\left[\cos(n\theta) + i\sin(n\theta)\right].

(原书写的是“实数 nn”;当指数不是整数时,znz^n 有多个值,所以这个公式要求 nn 是整数。)

注 44.1.33

只要复数和指数碰到一起,棣莫弗定理就非常有用。

看例题先预测,再揭晓

例 44.1

AIME

设 NN 是满足 ∣z∣=1|z| = 1 且 z6!−z5!z^{6!} - z^{5!} 为实数的复数 zz 的个数。求 NN 除以 10001000 的余数。

单位根 (总数在例题最后一步揭晓)

600 + 840

z⁶⁰⁰ = 1 有 600 个根,等距地分布在一个圆上。 两组点:600 + 840 个,其中 0 个重合,所以共有 1440 个不同的点。

z⁶⁰⁰ = 1 有 600 个根,等距地分布在一个圆上。 两组点:600 + 840 个,其中 0 个重合,所以共有 1440 个不同的点。

  1. 1

    因为 ∣z∣=1|z| = 1,写成 z=eiθz = e^{i\theta}。由于 6!=7206! = 720,5!=1205! = 120,z6!z^{6!} 和 z5!z^{5!} 是什么?

在 YouTube 上打开

例 44.4

AMC 12

有多少个整数 n≥2n \ge 2 具有如下性质:只要复数 z1,z2,…,znz_1, z_2, \dots, z_n 满足

∣z1∣=∣z2∣=⋯=∣zn∣=1且z1+z2+⋯+zn=0,|z_1| = |z_2| = \dots = |z_n| = 1 \quad\text{且}\quad z_1 + z_2 + \dots + z_n = 0,

那么 z1,z2,…,znz_1, z_2, \dots, z_n 就在复平面的单位圆上等距分布?

单位根 (总数在例题最后一步揭晓)

Σ = 0 ✓

3 个单位向量。和 = 0(长度 0)。它们等距分布。 和为 0!

3 个单位向量。和 = 0(长度 0)。它们等距分布。 和为 0!

  1. 1

    先看 n=2n = 2。如果 z1+z2=0z_1 + z_2 = 0,z2z_2 在哪里?

在 YouTube 上打开

例 44.5

AIME

复数 zz 和 ww 满足 z13=wz^{13} = w,w11=zw^{11} = z,且 zz 的虚部是 sin⁡mπn\sin\frac{m\pi}{n},其中 mm 和 nn 是互质的正整数,且 m<nm < n。求 nn。

单位根 (总数在例题最后一步揭晓)

70 / 142: Σ = 45.193i

z¹⁴² = 1 有 142 个根,等距地分布在一个圆上。 其中 70 个满足 虚部为正;它们的和是 45.193i。

z¹⁴² = 1 有 142 个根,等距地分布在一个圆上。 其中 70 个满足 虚部为正;它们的和是 45.193i。

  1. 1

    把 w=z13w = z^{13} 代入 w11=zw^{11} = z。zz 满足什么方程?

在 YouTube 上打开

例 44.6

AMC 12

设

z=1+i2.z = \frac{1 + i}{\sqrt2}.

求

(z12+z22+z32+⋯+z122)⋅(1z12+1z22+1z32+⋯+1z122)?\left(z^{1^2} + z^{2^2} + z^{3^2} + \dots + z^{12^2}\right)\cdot\left(\frac{1}{z^{1^2}} + \frac{1}{z^{2^2}} + \frac{1}{z^{3^2}} + \dots + \frac{1}{z^{12^2}}\right)?

复平面 (总数在例题最后一步揭晓)

n8
z⁸ = 1

z = 0.707 + 0.707i。棣莫弗定理:z^8 = 1 cis 0° = 1。每乘一次,模乘以 |z|,角度加上 arg z。

  1. 1

    把 zz 写成极坐标形式。它的辐角是多少度?

    先预测一下:
在 YouTube 上打开

自己做

习题 44.4.8(补充题)

AMC 12

满足 z24=1z^{24} = 1 的互不相同的复数 zz 有 2424 个。其中有多少个使 z6z^6 是实数?

z²⁴ = 1 有 24 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 −1。

z²⁴ = 1

z²⁴ = 1 有 24 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 −1。

z²⁴ = 1 有 24 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 −1。

习题 44.4.9(补充题)

AMC 12

z12=64z^{12} = 64 的根中,实部为正的那些根之和是多少?

z¹² = 64 有 12 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 −64。

z¹² = 64

z¹² = 64 有 12 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 −64。

z¹² = 64 有 12 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 −64。

竞赛角真实竞赛题

习题 44.4.1

AMC 12

下列复数 zz 中,哪一个使 z5z^5 的实部最大?

点击一个选项,或输入它的字母(A–E)。

习题 44.4.2

AMC 12

有多少个复数满足方程 z5=zˉz^5 = \bar z?其中 zˉ\bar z 是复数 zz 的共轭复数。

习题 44.4.24(补充题)

AIME

有多少个小于或等于 10001000 的正整数 nn,使得

(sin⁡t+icos⁡t)n=sin⁡nt+icos⁡nt(\sin t + i\cos t)^n = \sin nt + i\cos nt

对所有实数 tt 都成立?

习题 44.4.25(补充题)

AMC 12

坐标平面上的点列 (a1,b1)(a_1, b_1), (a2,b2)(a_2, b_2), (a3,b3)(a_3, b_3), …\dots 满足

(an+1,bn+1)=(3an−bn, 3bn+an)对 n=1,2,3,… .(a_{n+1}, b_{n+1}) = (\sqrt3 a_n - b_n,\ \sqrt3 b_n + a_n)\quad\text{对 } n = 1, 2, 3, \dots.

已知 (a100,b100)=(2,4)(a_{100}, b_{100}) = (2, 4)。a1+b1a_1 + b_1 是多少?

习题 44.4.30(补充题)

AIME

同时满足 z28−z8−1=0z^{28} - z^8 - 1 = 0 和 ∣z∣=1|z| = 1 的复数有 2n2n 个。这些数的形式为 zm=cos⁡θm+isin⁡θmz_m = \cos\theta_m + i\sin\theta_m,其中 0≤θ1<θ2<⋯<θ2n<3600 \le \theta_1 < \theta_2 < \dots < \theta_{2n} < 360,角以度为单位。求 θ2+θ4+⋯+θ2n\theta_2 + \theta_4 + \dots + \theta_{2n} 的值。

过关检测(第 44.1b 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

−1+i-1 + i 的辐角是多少度(取 00 到 360360 之间的值)?

2

用棣莫弗定理计算 (1+i)8(1 + i)^8。

3

满足 z24=1z^{24} = 1 的互不相同的复数 zz 有 2424 个。其中有多少个使 z6z^6 是实数?

z²⁴ = 1 有 24 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 −1。

z²⁴ = 1

z²⁴ = 1 有 24 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 −1。

z²⁴ = 1 有 24 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 −1。

44.1c0%

用复数解几何题

在本节中,你将能够 用乘以 cis θ 来旋转点,从而解几何题。

点 (0,0)(0, 0)、(a,11)(a, 11) 和 (b,37)(b, 37) 构成等边三角形。只用坐标会得到很乱的方程。旋转一次 60∘60^\circ 就能得到答案。

要把点 zz 绕中心 cc 旋转 θ\theta:先平移使 cc 到 00,乘以 cis θ\theta,再平移回去。正方形用 θ=90∘\theta = 90^\circ(乘以 ii)。等边三角形用 θ=60∘\theta = 60^\circ。

注意:在点 PP 处是直角,意味着从 PP 出发的两条边向量之商是纯虚数。

动手探索先玩,再学公式

把 z = 3 + i 绕 1 旋转 90° 得到 2i:先减去中心,乘以 cis 90°,再加回中心。

角度(°)90
w = 2i

把 z = 3 + i 绕 1 旋转 90° 得到 2i:先减去中心,乘以 cis 90°,再加回中心。

认识概念

概念 44.1.34 · 用复数解几何题

复数和圆关系密切,因此能让许多几何题变简单,尤其是含有等边三角形、正方形等多边形的题。

用复数解几何题的步骤:

  1. 给一个或几个点指定对应的复数。
  2. 要得到其他点对应的复数,就乘以或除以 eiθe^{i\theta}(一次旋转)。
  3. 利用已知条件,求出题目要的量。

注 44.1.35

代数形式的复数问题也可以从几何角度看:∣z−w∣|z - w| 是距离,乘以 eiθe^{i\theta} 是旋转,∣z∣=r|z| = r 是一个圆。

看例题先预测,再揭晓

例 44.7

AIME

点 (0,0)(0, 0)、(a,11)(a, 11) 和 (b,37)(b, 37) 是一个等边三角形的顶点。求 abab 的值。

复平面 (总数在例题最后一步揭晓)

角度(°)60
w = 5.474 + 31.481i

目标直线:虚部为 37。

把 z = 30 + 11i 绕 0 旋转 60° 得到 5.474 + 31.481i:先减去中心,乘以 cis 60°,再加回中心。

  1. 1

    把这三个点看成 00、a+11ia + 11i 和 b+37ib + 37i。怎样从 a+11ia + 11i 得到 b+37ib + 37i?

在 YouTube 上打开

例 44.8

AIME

已知 f(z)=z2−19zf(z) = z^2 - 19z,存在复数 zz,使得 zz、f(z)f(z) 和 f(f(z))f(f(z)) 是复平面上一个直角三角形的顶点,且直角在 f(z)f(z) 处。存在正整数 mm 和 nn,使得这样的 zz 中有一个是 m+n+11im + \sqrt n + 11i。求 m+nm + n。

复平面 (总数在例题最后一步揭晓)

Re z20
f(z) 处的角 = 67.55°

z = 20 + 11i, f(z) = −101 + 231i, f(f(z)) = −41241 − 51051i

z = 20 + 11i,f(z) = −101 + 231i,f(f(z)) = −41241 − 51051i。f(z) 处的角是 67.55°。

  1. 1

    直角在 f(z)f(z) 处。f(f(z))−f(z)z−f(z)\dfrac{f(f(z)) - f(z)}{z - f(z)} 必须满足什么?

    先预测一下:
    点击一个选项,或输入它的字母(A–E)。
在 YouTube 上打开

竞赛角真实竞赛题

习题 44.4.6

AMC 12

复平面上以 2z2z、(1+i)z(1 + i)z 和 (1−i)z(1 - i)z 为顶点的三角形,其中复数 zz 满足 ∣4z−2∣=1|4z - 2| = 1。这个三角形的面积最大可能是多少?

习题 44.4.7

AIME

求

(75+117i)z+96+144iz(75 + 117i)z + \frac{96 + 144i}{z}

的实部的最大可能值,其中 zz 是满足 ∣z∣=4|z| = 4 的复数。这里 i=−1i = \sqrt{-1}。

习题 44.4.28(补充题)

AMC 12

方程 (z+6)8=81(z + 6)^8 = 81 的解在复平面上依次连接成一个凸正多边形,它的三个顶点记为 AA、BB、CC。△ABC\triangle ABC 的面积最小可能是多少?

(z + 6)⁸ = 81 有 8 个根,等距地分布在一个圆上。 所有根的和是 −48。

n8
(z + 6)⁸ = 81

(z + 6)⁸ = 81 有 8 个根,等距地分布在一个圆上。 所有根的和是 −48。

(z + 6)⁸ = 81 有 8 个根,等距地分布在一个圆上。 所有根的和是 −48。

习题 44.4.29(补充题)

AMC 12

设 R\mathcal R 是复平面上的区域,由所有能写成复数 z1z_1 与 z2z_2 之和的复数 zz 组成,其中 z1z_1 在端点为 33 和 4i4i 的线段上,z2z_2 的模至多为 11。与 R\mathcal R 的面积最接近的整数是多少?

过关检测(第 44.1c 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

把点 (4,0)(4, 0) 绕原点逆时针旋转 90∘90^\circ。得到哪个复数?

2

把 3+i3 + i 绕点 11 逆时针旋转 90∘90^\circ。得到哪个复数?

3

一个等边三角形有两个顶点 00 和 22,第三个顶点在实轴上方。第三个顶点是哪个复数?

44.20%

多项式中的复数

在本节中,你将能够 利用多项式的复数根、共轭根对和单位根来计算多项式的值。

一个 2018 次的多项式看起来毫无希望。但代入一个 6 次单位根,每个幂都会归结为六个值之一。

每个 nn 次多项式恰好有 nn 个复数根。当系数都是实数时,非实数根成共轭对 zz 和 zˉ\bar z 出现,它们关于实轴互为镜像。

注意:要计算单位根处的值 f(ω)f(\omega),先把每个指数模 ω\omega 的阶化简。

动手探索先玩,再学公式

(z^2 + 4)(z^2 - 4z + 5) 的次数是 4;它的根是 2 + i; 2 − i; −2i; 2i。

2 + i; 2 − i; −2i; 2i

系数都是实数:根成对出现,互为镜像(z 和 z̄)。

(z^2 + 4)(z^2 - 4z + 5) 的次数是 4;它的根是 2 + i; 2 − i; −2i; 2i。

认识概念

定义 44.2.1

nn 次多项式有 nn 个根(按重数计),这些根可能是复数。对二次式来说,判别式为负意味着有两个复数根。(原书写的是“二项式”,实际指的是二次式。)如果系数都是实数,非实数根成共轭对 z,zˉz, \bar z 出现。

看例题先预测,再揭晓

例 44.9

AIME

多项式 f(z)=az2018+bz2017+cz2016f(z) = az^{2018} + bz^{2017} + cz^{2016} 的系数都是不超过 20192019 的实数,且 f(1+3i2)=2015+20193if\left(\frac{1 + \sqrt3 i}{2}\right) = 2015 + 2019\sqrt3 i。求 f(1)f(1) 除以 10001000 的余数。

复平面 (总数在例题最后一步揭晓)

n6
z⁶ = 1

z = 0.5 + 0.866i。棣莫弗定理:z^6 = 1 cis 360° = 1。每乘一次,模乘以 |z|,角度加上 arg z。

  1. 1

    令 ω=1+3i2\omega = \frac{1 + \sqrt3 i}{2}。把它写成极坐标形式。ω\omega 的哪个较小的幂等于 11?

    先预测一下:
在 YouTube 上打开

例 44.10

AMC 12

方程

x10+(13x−1)10=0x^{10} + (13x - 1)^{10} = 0

有 1010 个复数根 r1,r1‾,r2,r2‾,r3,r3‾,r4,r4‾,r5,r5‾r_1, \overline{r_1}, r_2, \overline{r_2}, r_3, \overline{r_3}, r_4, \overline{r_4}, r_5, \overline{r_5},其中上横线表示共轭复数。求

1r1r1‾+1r2r2‾+1r3r3‾+1r4r4‾+1r5r5‾\frac{1}{r_1\overline{r_1}} + \frac{1}{r_2\overline{r_2}} + \frac{1}{r_3\overline{r_3}} + \frac{1}{r_4\overline{r_4}} + \frac{1}{r_5\overline{r_5}}

的值。

复平面 (总数在例题最后一步揭晓)

0.08 + 0.005i; 0.073 + 0.004i; 0.072 − 0.002i; 0.076 − 0.006i; 0.083 − 0.002i; 0.083 + 0.002i; 0.076 + 0.006i; 0.072 + 0.002i; 0.073 − 0.004i; 0.08 − 0.005i

系数都是实数:根成对出现,互为镜像(z 和 z̄)。

x^10 + (13x - 1)^10 的次数是 10;它的根是 0.08 + 0.005i; 0.073 + 0.004i; 0.072 − 0.002i; 0.076 − 0.006i; 0.083 − 0.002i; 0.083 + 0.002i; 0.076 + 0.006i; 0.072 + 0.002i; 0.073 − 0.004i; 0.08 − 0.005i。

  1. 1

    1rrˉ=1∣r∣2=∣1r∣2\frac{1}{r\bar r} = \frac{1}{|r|^2} = \left|\frac1r\right|^2。所以换成 y=1xy = \frac1x:方程两边除以 x10x^{10}。得到什么?

在 YouTube 上打开

自己做

习题 44.4.11(补充题)

AMC 12

多项式 f(x)=x4+ax3+bx2+cx+df(x) = x^4 + ax^3 + bx^2 + cx + d 的系数都是实数,且 f(2i)=f(2+i)=0f(2i) = f(2 + i) = 0。a+b+c+da + b + c + d 是多少?

竞赛角真实竞赛题

习题 44.4.3

AMC 12

设 Q(z)Q(z) 和 R(z)R(z) 是唯一满足

z2021+1=(z2+z+1)Q(z)+R(z)z^{2021} + 1 = (z^2 + z + 1)Q(z) + R(z)

且 RR 的次数小于 22 的多项式。R(z)R(z) 是什么?

习题 44.4.5

AMC 12

多项式

(z+i)(z+2i)(z+3i)+10(z + i)(z + 2i)(z + 3i) + 10

在复平面上有三个根,其中 i=−1i = \sqrt{-1}。这三个根构成的三角形面积是多少?

习题 44.4.15(补充题)

AIME

存在实数 aa、bb、cc、dd,使得 −20-20 是 x3+ax+bx^3 + ax + b 的根,−21-21 是 x3+cx2+dx^3 + cx^2 + d 的根。这两个多项式有一个公共的复数根 m+n⋅im + \sqrt n\cdot i,其中 mm 和 nn 是正整数,i=−1i = \sqrt{-1}。求 m+nm + n。

习题 44.4.32(补充题)

AIME

设 PP 是 z6+z4+z3+z2+1=0z^6 + z^4 + z^3 + z^2 + 1 = 0 的虚部为正的根之积,且 P=r(cos⁡θ∘+isin⁡θ∘)P = r(\cos\theta^\circ + i\sin\theta^\circ),其中 0<r0 < r,0≤θ<3600 \le \theta < 360。求 θ\theta。

过关检测(第 44.2 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

一个实系数多项式有根 3−2i3 - 2i。还有哪个复数一定是它的根?

2

解方程 z2+4z+13=0z^2 + 4z + 13 = 0。输入两个根,用逗号隔开。

3

一个实系数三次多项式 x3+…x^3 + \dots 有根 11 和 2+i2 + i。它的三个根之积是多少?

44.30%

三角中的复数

在本节中,你将能够 把正弦和余弦变成指数形式,用单位根计算三角式的和与积。

cos(2π/7) + cos(4π/7) + cos(6π/7) 是多少?你的公式表里没有哪个恒等式能直接给出它。7 次单位根可以。

把 e^(iθ) 和它的镜像 e^(−iθ) 相加:虚部抵消,得到 2cos⁡θ2\cos\theta。相减则得到 2isin⁡θ2i\sin\theta。所以每个三角式都能变成关于单位圆上的点的代数问题。

注意:原书的这些公式里有一处角度制的笔误,正切公式还有一个符号错误;下面的卡片是修正后的版本。

动手探索先玩,再学公式

θ = 50°。e^(iθ) + e^(−iθ) = 1.286 = 2cos θ(实数);e^(iθ) − e^(−iθ) = 1.532i = 2i sin θ(纯虚数)。

θ(°)50
2cos θ = 1.286, 2i sin θ = 1.532i

θ = 50°。e^(iθ) + e^(−iθ) = 1.286 = 2cos θ(实数);e^(iθ) − e^(−iθ) = 1.532i = 2i sin θ(纯虚数)。

认识概念

定理 44.3.1 · 用复数表示正弦和余弦

sin⁡θ=eiθ−e−iθ2i,cos⁡θ=eiθ+e−iθ2,tan⁡θ=−i⋅eiθ−e−iθeiθ+e−iθ.\sin\theta = \frac{e^{i\theta} - e^{-i\theta}}{2i},\qquad \cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2},\qquad \tan\theta = -i\cdot\frac{e^{i\theta} - e^{-i\theta}}{e^{i\theta} + e^{-i\theta}}.

**已修正原书的错误。**原书写的是 ei(180−θ)e^{i(180-\theta)},把角度混进了弧度制的指数里;它的意思是 ei(π−θ)=−e−iθe^{i(\pi-\theta)} = -e^{-i\theta}。原书的正切公式符号也错了:它给出的是 −tan⁡θ-\tan\theta。

看例题先预测,再揭晓

例 44.11

AMC 12

设多项式 P(x)=x3+ax2+bx+cP(x) = x^3 + ax^2 + bx + c 的根是 cos⁡2π7\cos\frac{2\pi}{7}、cos⁡4π7\cos\frac{4\pi}{7} 和 cos⁡6π7\cos\frac{6\pi}{7},其中角用弧度制。abcabc 是多少?

单位根 (总数在例题最后一步揭晓)

n7
z⁷ = 1

z⁷ = 1 有 7 个根,等距地分布在一个圆上。 实部:1, 0.623, −0.223, −0.901, −0.901, −0.223, 0.623。它们的和为 0(所有根之和为 0),所以除 1 以外的实部之和为 −1。

z⁷ = 1 有 7 个根,等距地分布在一个圆上。 实部:1, 0.623, −0.223, −0.901, −0.901, −0.223, 0.623。它们的和为 0(所有根之和为 0),所以除 1 以外的实部之和为 −1。

  1. 1

    令 ω=e2πi/7\omega = e^{2\pi i/7}。1+ω+ω2+⋯+ω61 + \omega + \omega^2 + \dots + \omega^6 是多少?

    先预测一下:
在 YouTube 上打开

例 44.12

PUMaC

sin⁡(2∘)sin⁡(4∘)⋯sin⁡(90∘)\sin(2^\circ)\sin(4^\circ)\cdots\sin(90^\circ) 的值是 p5250\frac{p\sqrt5}{2^{50}}。求 pp。

单位根 (总数在例题最后一步揭晓)

z⁹⁰ = 1

z⁹⁰ = 1 有 90 个根,等距地分布在一个圆上。

z⁹⁰ = 1 有 90 个根,等距地分布在一个圆上。

  1. 1

    令 ω=e2πi/90\omega = e^{2\pi i/90}。ω,ω2,…,ω89\omega, \omega^2, \dots, \omega^{89} 是 1+x+⋯+x891 + x + \dots + x^{89} 的根。代入 x=1x = 1:∏k=189(1−ωk)\prod_{k=1}^{89}(1 - \omega^k) 是多少?

    先预测一下:
在 YouTube 上打开

竞赛角真实竞赛题

习题 44.4.22(补充题)

AIME

已知复数 zz 满足 z+1z=2cos⁡3∘z + \frac1z = 2\cos3^\circ,求大于 z2000+1z2000z^{2000} + \frac{1}{z^{2000}} 的最小整数。

习题 44.4.33(补充题)

AMC 12

存在唯一的整数数列 a1,a2,…,a2023a_1, a_2, \dots, a_{2023},使得只要 tan⁡2023x\tan 2023x 有定义,就有

tan⁡2023x=a1tan⁡x+a3tan⁡3x+a5tan⁡5x+⋯+a2023tan⁡2023x1+a2tan⁡2x+a4tan⁡4x+⋯+a2022tan⁡2022x\tan 2023x = \frac{a_1\tan x + a_3\tan^3 x + a_5\tan^5 x + \dots + a_{2023}\tan^{2023}x}{1 + a_2\tan^2 x + a_4\tan^4 x + \dots + a_{2022}\tan^{2022}x}

成立。a2023a_{2023} 是多少?

过关检测(第 44.3 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

若 z=eiθz = e^{i\theta},哪个式子等于 z+1zz + \frac1z?

点击一个选项,或输入它的字母(A–E)。
2

已知 z+1z=2cos⁡20∘z + \frac1z = 2\cos20^\circ,求 z9+1z9z^9 + \frac{1}{z^9}。

3

用 5 次单位根求 cos⁡72∘+cos⁡144∘\cos72^\circ + \cos144^\circ。

z⁵ = 1 有 5 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 1。

n5
z⁵ = 1

z⁵ = 1 有 5 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 1。

z⁵ = 1 有 5 个根,等距地分布在一个圆上。 所有根的和是 0。 它们的积是 1。

44.4

练习题

在本节中,你将能够 在竞赛题中综合运用本章的所有工具。

其余的补充习题,从 AMC 12 热身题到一道 AIME 第 15 题。有些题你在本章已经见过:这次不看分步讲解,再做一遍。

竞赛角真实竞赛题

习题 44.4.12(补充题)

AMC 12

函数 ff 定义为 f(z)=izˉf(z) = i\bar z,其中 i=−1i = \sqrt{-1},zˉ\bar z 是 zz 的共轭复数。有多少个 zz 同时满足 ∣z∣=5|z| = 5 和 f(z)=zf(z) = z?

习题 44.4.16(补充题)

AMC 12

这道题在书中还以 44.4.9 的编号出现。

z12=64z^{12} = 64 的根中,实部为正的那些根之和是多少?

习题 44.4.17(补充题)

AIME

这道题在书中还以 44.5 的编号出现。

复数 zz 和 ww 满足 z13=wz^{13} = w,w11=zw^{11} = z,且 zz 的虚部是 sin⁡mπn\sin\frac{m\pi}{n},其中 mm 和 nn 是互质的正整数,且 m<nm < n。求 nn。

习题 44.4.20(补充题)

AMC 12

对所有复数 z≠iz \ne i,令 F(z)=z+iz−iF(z) = \frac{z + i}{z - i},并对所有正整数 nn 令 zn=F(zn−1)z_n = F(z_{n-1})。已知 z0=1137+iz_0 = \frac{1}{137} + i,z2002=a+biz_{2002} = a + bi,其中 aa 和 bb 是实数。求 a+ba + b。

习题 44.4.21(补充题)

AMC 12A

考虑满足 ∣1+z+z2∣=4|1 + z + z^2| = 4 的复数 zz 构成的集合。zz 的虚部的最大值可以写成 mn\frac{\sqrt m}{n} 的形式,其中 mm 和 nn 是互质的正整数。m+nm + n 是多少?

习题 44.4.23(补充题)

AMC 12

复数数列 z0,z1,z2,…z_0, z_1, z_2, \dots 由规则

zn+1=iznzn‾z_{n+1} = \frac{iz_n}{\overline{z_n}}

定义,其中 zn‾\overline{z_n} 是 znz_n 的共轭复数,i2=−1i^2 = -1。已知 ∣z0∣=1|z_0| = 1 且 z2005=1z_{2005} = 1。z0z_0 有多少个可能的值?

习题 44.4.26(补充题)

AIME

这道题在书中还以 44.1 的编号出现。

设 NN 是满足 ∣z∣=1|z| = 1 且 z6!−z5!z^{6!} - z^{5!} 为实数的复数 zz 的个数。求 NN 除以 10001000 的余数。

习题 44.4.27(补充题)

AIME

设 ww 和 zz 是复数,满足 ∣w∣=1|w| = 1,∣z∣=10|z| = 10。令 θ=arg⁡(w−zz)\theta = \arg\left(\frac{w - z}{z}\right)。tan⁡2θ\tan^2\theta 的最大可能值可以写成 pq\frac pq,其中 pp 和 qq 是互质的正整数。求 p+qp + q。(注:对 w≠0w \ne 0,arg⁡(w)\arg(w) 表示复平面上从 00 到 ww 的射线与正实轴所成角的度量。)

习题 44.4.31(补充题)

AMC 12

设 cc 是实数,z1z_1 和 z2z_2 是满足方程 z2−cz+10=0z^2 - cz + 10 = 0 的两个复数。点 z1z_1、z2z_2、1z1\frac{1}{z_1} 和 1z2\frac{1}{z_2} 是复平面上(凸)四边形 Q\mathcal Q 的顶点。当 Q\mathcal Q 的面积取到最大可能值时,cc 最接近下列哪个数?

点击一个选项,或输入它的字母(A–E)。

习题 44.4.34(补充题)

AMC 12挑战

方程 z2=4+415iz^2 = 4 + 4\sqrt{15}i 和 z2=2+23iz^2 = 2 + 2\sqrt3 i(其中 i=−1i = \sqrt{-1})的解构成复平面上一个平行四边形的顶点。这个平行四边形的面积可以写成 pq−rsp\sqrt q - r\sqrt s 的形式,其中 pp、qq、rr、ss 是正整数,且 qq 和 ss 都不能被任何质数的平方整除。p+q+r+sp + q + r + s 是多少?