A-Level数学 复数 极坐标 棣莫弗定理

A-Level Mathematics: Complex Numbers ： Polar Form, de Moivre and Roots of Unity

1. Complex Numbers: Beyond the Real Line

Complex numbers extend the real number system by introducing the imaginary unit i, defined as i² = -1. A complex number takes the form z = a + bi where a is the real part and b is the imaginary part. Developed in the 16th century to solve cubic equations, complex numbers are now essential across pure mathematics, quantum mechanics, signal processing, and control theory. The Argand diagram provides a geometric interpretation: the horizontal axis represents the real component, the vertical axis the imaginary component, allowing us to visualise addition as vector addition and multiplication as a combination of scaling and rotation. 复数通过引入虚数单位 i（定义 i² = -1）扩展了实数系。复数形式为 z = a + bi，其中 a 是实部，b 是虚部。复数于16世纪发展出来以求解三次方程，如今在纯数学、量子力学、信号处理和控制理论中必不可少。Argand 图提供了几何解释：横轴表示实部，纵轴表示虚部，使我们能够将加法理解为向量加法，将乘法理解为缩放与旋转的组合。

Every real number is a complex number with b = 0. The set of complex numbers is algebraically closed: every non-constant polynomial with complex coefficients has at least one complex root. This is the Fundamental Theorem of Algebra, first proved by Gauss in 1799, and it is one reason complex numbers are indispensable ： without them, we could not factorise x² + 1 into linear factors. Working with complex numbers develops fluency in algebraic manipulation, an intuitive understanding of two-dimensional number systems, and prepares students for further study in vector spaces and Fourier analysis. 每个实数都是 b = 0 的复数。复数集是代数封闭的：每个具有复数系数的非常数多项式至少有一个复数根。这是代数基本定理，由高斯在1799年首次证明，也是复数不可或缺的原因之一：没有复数，我们无法将 x² + 1 分解为线性因子。使用复数可以培养代数运算的流畅性、对二维数系的直观理解，并为深入学习向量空间和傅里叶分析做好准备。

2. Cartesian Form and the Argand Diagram

In Cartesian form z = x + yi, the modulus |z| = √(x² + y²) gives the distance from the origin, and the argument arg(z) = θ gives the anticlockwise angle from the positive real axis. The argument is defined modulo 2π, and the principal argument typically lies in (-π, π] or [0, 2π) depending on the convention your exam board uses. Representing complex numbers on the Argand diagram transforms algebraic operations into geometric ones. Addition z₁ + z₂ corresponds to completing a parallelogram; multiplication z₁z₂ involves multiplying moduli and adding arguments. This geometric insight is the gateway to polar form. 在笛卡尔形式 z = x + yi 中，模 |z| = √(x² + y²) 表示到原点的距离，辐角 arg(z) = θ 表示从正实轴开始的逆时针角度。辐角以 2π 为模定义，主辐角通常位于 (-π, π] 或 [0, 2π)，具体取决于考试局的约定。在 Argand 图上表示复数将代数运算转化为几何运算。加法 z₁ + z₂ 对应平行四边形法则；乘法 z₁z₂ 涉及模相乘和辐角相加。这种几何洞察是通往极坐标形式的门户。

Conjugates are equally important: the complex conjugate of z = x + yi is z* = x – yi (or z̄ in some notation). Geometrically, conjugation reflects a point across the real axis. Key properties include zz* = |z|², which is always real and non-negative, and z + z* = 2Re(z). These identities underpin the algebraic manipulation of complex fractions and the derivation of quadratic relationships from complex roots. A-Level examiners frequently test the ability to find the other root of a quadratic given one complex root, which relies directly on conjugate symmetry. 共轭同样重要：z = x + yi 的复共轭是 z* = x – yi（有些符号中用 z̄ 表示）。几何上，共轭将点关于实轴反射。关键性质包括 zz* = |z|²（始终为实数且非负），以及 z + z* = 2Re(z)。这些恒等式支撑了复数分式的代数运算以及由复数根推导二次关系。A-Level 考官经常测试在已知一个复数根的情况下求二次方程另一个根的能力，这直接依赖于共轭对称性。

3. Polar Form: Modulus-Argument Representation

Polar form expresses a complex number as z = r(cos θ + i sin θ), where r = |z| and θ = arg(z). This representation separates magnitude from direction, making it far more convenient for multiplication, division, and exponentiation than Cartesian form. Euler’s formula, e^(iθ) = cos θ + i sin θ, provides an even more compact notation: z = re^(iθ). While Euler’s formula is not formally examined at A-Level, using the exponential shorthand is widely accepted and simplifies many derivations. The polar form reveals that every non-zero complex number is fully determined by two real parameters: its distance from the origin and its angle relative to the positive real axis. 极坐标形式将复数表示为 z = r(cos θ + i sin θ)，其中 r = |z| 且 θ = arg(z)。这种表示法将大小与方向分离，使其在乘法、除法和指数运算中远比笛卡尔形式方便。欧拉公式 e^(iθ) = cos θ + i sin θ 提供了更紧凑的符号：z = re^(iθ)。虽然欧拉公式在 A-Level 中不正式考查，但使用指数简写被广泛接受并简化了许多推导。极坐标形式揭示了每个非零复数完全由两个实参数确定：其到原点的距离及其相对于正实轴的角度。

Converting between Cartesian and polar form is a routine skill. Given z = x + yi, compute r = √(x² + y²) and θ = arctan(y/x), adjusted by ±π depending on the quadrant. The signs of x and y uniquely determine the quadrant: x > 0, y > 0 gives θ in (0, π/2); x < 0, y > 0 gives θ in (π/2, π); x < 0, y < 0 gives θ in (-π, -π/2); x > 0, y < 0 gives θ in (-π/2, 0). When x = 0, the angle is π/2 (for y > 0) or -π/2 (for y < 0). This quadrant-aware arctan is often denoted atan2(y, x) in computing. In the opposite direction, given r and θ, the Cartesian form is simply x = r cos θ, y = r sin θ. 在笛卡尔形式和极坐标形式之间转换是一项常规技能。给定 z = x + yi，计算 r = √(x² + y²) 以及 θ = arctan(y/x)，根据象限通过 ±π 调整。x 和 y 的符号唯一确定象限：x > 0, y > 0 时 θ 在 (0, π/2)；x < 0, y > 0 时 θ 在 (π/2, π)；x < 0, y < 0 时 θ 在 (-π, -π/2)；x > 0, y < 0 时 θ 在 (-π/2, 0)。当 x = 0 时，角度为 π/2（y > 0）或 -π/2（y < 0）。这种象限感知的反正切在计算中通常记为 atan2(y, x)。反之，给定 r 和 θ，笛卡尔形式为 x = r cos θ, y = r sin θ。

4. Multiplication and Division in Polar Form

The multiplication rule in polar form is elegant: if z₁ = r₁(cos θ₁ + i sin θ₁) and z₂ = r₂(cos θ₂ + i sin θ₂), then z₁z₂ = r₁r₂[cos(θ₁ + θ₂) + i sin(θ₁ + θ₂)]. This follows directly from the compound-angle formulas for sine and cosine. Geometrically, multiplying complex numbers multiplies their moduli and adds their arguments ： a combination of scaling by r₂ and rotating by θ₂. This geometric interpretation explains why multiplying by i rotates a complex number by 90° anticlockwise: i has modulus 1 and argument π/2. Multiplying by -1 corresponds to a 180° rotation, which squares to the identity rotation of 360°. 极坐标形式的乘法规则非常优雅：若 z₁ = r₁(cos θ₁ + i sin θ₁) 且 z₂ = r₂(cos θ₂ + i sin θ₂)，则 z₁z₂ = r₁r₂[cos(θ₁ + θ₂) + i sin(θ₁ + θ₂)]。这直接由正弦和余弦的和角公式推导而来。几何上，复数相乘将它们的模相乘并将辐角相加：这是以 r₂ 缩放和以 θ₂ 旋转的组合。这种几何解释说明了为什么乘以 i 会将复数逆时针旋转 90°：i 的模为 1，辐角为 π/2。乘以 -1 对应 180° 旋转，其平方为 360° 的恒等旋转。

Division follows naturally: z₁/z₂ = (r₁/r₂)[cos(θ₁ – θ₂) + i sin(θ₁ – θ₂)], provided r₂ ≠ 0. The reciprocal of a complex number z has modulus 1/|z| and the negative of z’s argument, reflecting it across the real axis and compressing or stretching it. These rules make polar form indispensable for problems involving powers and roots, where computing (x + iy)^n in Cartesian form would be algebraically catastrophic. They also provide a quick way to verify worked solutions: check that |z₁z₂| = |z₁||z₂| and arg(z₁z₂) = arg(z₁) + arg(z₂) within modulo 2π. 除法自然随之而来：z₁/z₂ = (r₁/r₂)[cos(θ₁ – θ₂) + i sin(θ₁ – θ₂)]，前提是 r₂ ≠ 0。复数 z 的倒数模为 1/|z|，辐角为 z 辐角的负数，将其关于实轴反射并进行压缩或拉伸。这些规则使极坐标形式在处理幂和根的问题中不可或缺，在笛卡尔形式下计算 (x + iy)^n 在代数上将是一场灾难。它们还提供了快速验证解答的方法：检查 |z₁z₂| = |z₁||z₂| 以及 arg(z₁z₂) = arg(z₁) + arg(z₂)（模 2π 内）。

5. De Moivre’s Theorem

De Moivre’s theorem states that for any real number θ and integer n: (cos θ + i sin θ)^n = cos(nθ) + i sin(nθ). This is the single most powerful tool in the A-Level complex numbers toolkit. The proof for positive integers n follows by induction using the compound-angle formulas. For negative integers, write (cos θ + i sin θ)^(-n) = 1/(cos θ + i sin θ)^n = 1/[cos(nθ) + i sin(nθ)] = cos(-nθ) + i sin(-nθ), confirming the formula holds for all integer exponents. Abraham de Moivre, a French mathematician who settled in London, discovered this relationship in 1707 and used it to solve cubic equations, predating Euler’s more general formulation by decades. 棣莫弗定理指出，对于任意实数 θ 和整数 n：(cos θ + i sin θ)^n = cos(nθ) + i sin(nθ)。这是 A-Level 复数工具箱中最强大的工具。正整数的证明通过归纳法使用和角公式完成。对于负整数，写出 (cos θ + i sin θ)^(-n) = 1/(cos θ + i sin θ)^n = 1/[cos(nθ) + i sin(nθ)] = cos(-nθ) + i sin(-nθ)，确认该公式对所有整数指数成立。法国数学家亚伯拉罕·棣莫弗于1707年定居伦敦后发现了这一关系，并用它求解三次方程，比欧拉更一般的公式早了数十年。

The theorem’s power lies in reducing n-th powers to a simple argument multiplication. To compute (1 + i√3)^10, express it in polar form ： modulus 2, argument π/3 ： then apply de Moivre: 2^10 [cos(10π/3) + i sin(10π/3)] = 1024[cos(4π/3) + i sin(4π/3)] = 1024(-1/2 – i√3/2) = -512 – 512i√3. Without de Moivre, expanding (1 + i√3)^10 by binomial theorem would fill a page with algebraic detail and invite errors. The theorem also extends to rational exponents when care is taken with multi-valuedness, leading directly to the concept of n-th roots of complex numbers. 该定理的强大之处在于将 n 次幂简化为简单的辐角乘法。要计算 (1 + i√3)^10，先将其表示为极坐标形式：模 2，辐角 π/3：然后应用棣莫弗定理：2^10 [cos(10π/3) + i sin(10π/3)] = 1024[cos(4π/3) + i sin(4π/3)] = 1024(-1/2 – i√3/2) = -512 – 512i√3。没有棣莫弗定理，用二项式定理展开 (1 + i√3)^10 将写满一整页代数细节且容易出错。该定理在小心处理多值性时也适用于有理指数，直接引出复数 n 次根的概念。

6. Roots of Unity

The n-th roots of unity are the complex numbers z satisfying z^n = 1. There are exactly n distinct n-th roots, given by z_k = cos(2πk/n) + i sin(2πk/n) for k = 0, 1, …, n-1. These roots are evenly distributed around the unit circle in the Argand diagram, forming the vertices of a regular n-gon. The sum of all n-th roots of unity is always zero ： a result that follows from the geometric series formula and has elegant consequences in number theory and combinatorics. For cube roots of unity, the three values are 1, ω = cos(2π/3) + i sin(2π/3) = -1/2 + i√3/2, and ω² = cos(4π/3) + i sin(4π/3) = -1/2 – i√3/2, with the key property 1 + ω + ω² = 0 and ω³ = 1. n 次单位根是满足 z^n = 1 的复数。恰好有 n 个不同的 n 次根，由 z_k = cos(2πk/n) + i sin(2πk/n)（k = 0, 1, …, n-1）给出。这些根均匀分布在 Argand 图的单位圆上，形成正 n 边形的顶点。所有 n 次单位根之和始终为零：这一结果由等比数列公式推导得出，在数论和组合数学中具有优美的推论。对于三次单位根，三个值为 1、ω = cos(2π/3) + i sin(2π/3) = -1/2 + i√3/2 和 ω² = cos(4π/3) + i sin(4π/3) = -1/2 – i√3/2，关键性质为 1 + ω + ω² = 0 且 ω³ = 1。

Finding the n-th roots of a general complex number z = r(cos θ + i sin θ) extends the same logic: the n-th roots are r^(1/n)[cos((θ + 2πk)/n) + i sin((θ + 2πk)/n)] for k = 0, 1, …, n-1. Note that while the real n-th root symbol √ denotes the principal (positive) root for real numbers, complex n-th roots are multi-valued ： there are always n of them, spaced equally around a circle of radius r^(1/n). A subtlety examiners exploit: the argument of the root is (θ + 2πk)/n, not (θ/n + 2πk). The division by n applies to the entire expression θ + 2πk, not just to θ. Getting this wrong converts a straightforward calculation into a marks-losing trap. 求一般复数 z = r(cos θ + i sin θ) 的 n 次根扩展了相同的逻辑：n 次根为 r^(1/n)[cos((θ + 2πk)/n) + i sin((θ + 2πk)/n)]（k = 0, 1, …, n-1）。注意，虽然实数 n 次根符号 √ 表示实数的（正）主根，但复数 n 次根是多值的：总有 n 个，均匀分布在半径为 r^(1/n) 的圆上。考官常利用的一个细微之处：根的辐角是 (θ + 2πk)/n，而不是 (θ/n + 2πk)。除以 n 适用于整个表达式 θ + 2πk，而不仅仅是 θ。搞错这一点会将直接的计算变成失分的陷阱。

7. Applications to Trigonometric Identities

De Moivre’s theorem provides a systematic method for deriving multiple-angle trigonometric identities. Starting from (cos θ + i sin θ)^n = cos(nθ) + i sin(nθ), expand the left-hand side using the binomial theorem. Equating real and imaginary parts yields cos(nθ) and sin(nθ) as polynomials in cos θ and sin θ. For example, with n = 3: (cos θ + i sin θ)^3 = cos³θ + 3i cos²θ sin θ – 3 cos θ sin²θ – i sin³θ. Equating real parts: cos(3θ) = cos³θ – 3 cos θ sin²θ = 4 cos³θ – 3 cos θ (using sin²θ = 1 – cos²θ). Equating imaginary parts: sin(3θ) = 3 cos²θ sin θ – sin³θ = 3 sin θ – 4 sin³θ. This technique generalises to any n, producing Chebyshev polynomials when expressed purely in terms of one trigonometric function. 棣莫弗定理为推导倍角三角恒等式提供了一套系统方法。从 (cos θ + i sin θ)^n = cos(nθ) + i sin(nθ) 出发，用二项式定理展开左边。将实部和虚部分别相等，得到 cos(nθ) 和 sin(nθ) 作为 cos θ 和 sin θ 的多项式。例如，n = 3 时：(cos θ + i sin θ)^3 = cos³θ + 3i cos²θ sin θ – 3 cos θ sin²θ – i sin³θ。比较实部：cos(3θ) = cos³θ – 3 cos θ sin²θ = 4 cos³θ – 3 cos θ（利用 sin²θ = 1 – cos²θ）。比较虚部：sin(3θ) = 3 cos²θ sin θ – sin³θ = 3 sin θ – 4 sin³θ。此技术可推广到任意 n，在用单一三角函数表示时产生切比雪夫多项式。

A related application expresses powers of sin θ and cos θ as sums of multiple angles. By writing cos θ = (e^(iθ) + e^(-iθ))/2 and sin θ = (e^(iθ) – e^(-iθ))/(2i), then applying the binomial theorem, we obtain formulas such as cos⁴θ = (1/8)(cos 4θ + 4 cos 2θ + 3) and sin⁵θ = (1/16)(sin 5θ – 5 sin 3θ + 10 sin θ). These are particularly useful in integration ： integrating cos⁴θ directly would be formidable, but integrating the right-hand side as a sum of cosines is trivial. A-Level integration questions that involve even powers of sine or cosine above the second power almost always expect students to use these de Moivre-derived reductions. 一个相关的应用是将 sin θ 和 cos θ 的幂表示为倍角的和。通过写出 cos θ = (e^(iθ) + e^(-iθ))/2 和 sin θ = (e^(iθ) – e^(-iθ))/(2i)，然后应用二项式定理，我们得到诸如 cos⁴θ = (1/8)(cos 4θ + 4 cos 2θ + 3) 和 sin⁵θ = (1/16)(sin 5θ – 5 sin 3θ + 10 sin θ) 的公式。这在积分中特别有用：直接积分 cos⁴θ 将非常困难，但将右边作为余弦之和积分则很简单。A-Level 中涉及正弦或余弦偶数次幂（高于二次）的积分题几乎总是期望学生使用这些由棣莫弗定理推导出的约化公式。

8. Loci in the Complex Plane

Complex loci are a distinctive A-Level topic that tests geometric understanding. The equation |z – z₀| = r describes a circle centred at z₀ with radius r. The equation |z – z₁| = |z – z₂| describes the perpendicular bisector of the segment joining z₁ and z₂. The equation arg(z – z₀) = α describes a half-line from z₀ at angle α to the positive real direction. Combining these, |z – z₁| = k|z – z₂| (for k ≠ 1) produces a circle of Apollonius ： all points whose distance to z₁ is a constant multiple k of their distance to z₂. These locus problems are often set in the context of inequalities, requiring students to shade regions such as |z – 3i| ≤ 2 and arg(z – 1 + i) ≥ π/4. 复数轨迹是 A-Level 中一个独特的主题，考查几何理解。方程 |z – z₀| = r 描述一个以 z₀ 为圆心、r 为半径的圆。方程 |z – z₁| = |z – z₂| 描述连接 z₁ 和 z₂ 线段的中垂线。方程 arg(z – z₀) = α 描述一条从 z₀ 出发、与正实方向成 α 角的半直线。结合这些，|z – z₁| = k|z – z₂|（k ≠ 1）产生阿波罗尼奥斯圆：所有到 z₁ 的距离是到 z₂ 距离的 k 倍的点。这些轨迹问题常在不等式情境中出题，要求学生用阴影标示诸如 |z – 3i| ≤ 2 和 arg(z – 1 + i) ≥ π/4 的区域。

Locus questions reward precise diagram-sketching. Begin by marking the fixed points, draw the boundary locus accurately, then determine which side of the boundary satisfies the inequality by testing a convenient point such as the origin. If the origin satisfies |0 – z₀| < r, shade the interior of the circle; otherwise shade the exterior. For combined inequalities where loci intersect, the solution region is the intersection (region that satisfies all conditions simultaneously). When one condition is strict (e.g., |z| < 3) and another is non-strict (|z - 2| ≤ 1), the boundary from the strict condition is drawn with a dashed line to indicate it is not included in the solution set. 轨迹题奖励精确的草图绘制。从标出固定点开始，准确画出边界轨迹，然后通过测试原点等方便的点来确定边界的哪一侧满足不等式。如果原点满足 |0 - z₀| < r，则涂阴影于圆内部；否则涂外部。对于轨迹相交的组合不等式，解区域是交集（同时满足所有条件的区域）。当一个条件是严格的（如 |z| < 3）而另一个是非严格的（|z - 2| ≤ 1）时，严格条件的边界用虚线绘制，表示它不包含在解集中。

9. Exam Tips and Common Pitfalls

Students regularly lose marks on complex number questions through avoidable mistakes. The most frequent is mishandling the argument: forgetting to add or subtract π based on the quadrant. Always sketch the point on an Argand diagram, even as a quick margin doodle ： it takes five seconds and prevents a sign error that costs two or three marks. A second pitfall is applying de Moivre’s theorem to non-integer n without considering multi-valuedness. The theorem holds for all integer n without qualification, but for rational n = p/q in lowest terms, (cos θ + i sin θ)^(p/q) yields q distinct values, not one. Third, when simplifying trigonometric expressions derived from de Moivre, students often forget the identity sin²θ + cos²θ = 1 and leave their answer in a messier form than necessary, forfeiting simplification marks. 学生在复数题目中常因可避免的错误而失分。最常见的是辐角处理错误：忘记根据象限加上或减去 π。始终在 Argand 图上草绘该点，即使只是边角的快速涂鸦：这只需五秒钟，却能防止导致两到三分的符号错误。第二个陷阱是将棣莫弗定理应用于非整数 n 而不考虑多值性。该定理对所有整数 n 毫无保留地成立，但对于最简形式的有理数 n = p/q，(cos θ + i sin θ)^(p/q) 产生 q 个不同的值，而不是一个。第三，在简化从棣莫弗定理推导出的三角表达式时，学生常忘记恒等式 sin²θ + cos²θ = 1，将答案留得比必要的更混乱，从而失去化简分。

For locus questions, the most damaging error is sketching the boundary correctly but shading the wrong region. After shading, always test one point from the shaded region and one point from the unshaded region to confirm the inequality holds exactly where intended. For exam boards that require algebraic derivations alongside diagrams, set out your working methodically: state the condition, substitute z = x + yi, separate real and imaginary parts, and simplify to the Cartesian equation of the boundary. The algebraic derivation confirms the geometric sketch and provides a cross-check. Finally, when a question asks for the roots of a complex equation, remember that unless specified otherwise, you must list all roots ： submitting only the principal root will score at most half marks. 对于轨迹题，最具破坏性的错误是正确画出边界但涂错了区域。涂阴影后，始终从涂阴影区域测试一个点，从未涂阴影区域测试一个点，以确认不等式恰恰在预期的位置成立。对于要求代数推导配合图形的考试局，有条理地展示计算过程：陈述条件，代入 z = x + yi，分离实部和虚部，并化简为边界的笛卡尔方程。代数推导确认了几何草图并提供交叉检查。最后，当一道题要求解复数方程的根时，记住除非另有说明，必须列出所有根：只提交主根最多只能得一半分。