Mastering Complex Numbers | 复数综合问题精讲

📚 Mastering Complex Numbers | 复数综合问题精讲

Complex numbers are one of the most versatile and rewarding topics in IB Mathematics. From their geometric interpretation on the Argand diagram to their algebraic elegance in solving polynomial equations, complex numbers bridge the gap between algebra and geometry. This comprehensive guide explores the key concepts, techniques, and problem-solving strategies you need to master this topic.

复数是IB数学中最灵活且最具价值的主题之一。从阿甘图上的几何解释到解多项式方程时的代数优雅，复数架起了代数与几何之间的桥梁。本综合指南将深入探讨掌握该主题所需的核心概念、技巧和解题策略。

1. The Complex Number System | 复数系统

The complex number system extends the real numbers by introducing the imaginary unit i, defined as i² = −1. Every complex number can be written in the Cartesian form z = a + bi, where a and b are real numbers. The real part, Re(z) = a, and the imaginary part, Im(z) = b, fully characterise the number.

复数系统通过引入虚数单位i（定义为i² = −1）扩展了实数系统。每个复数都可以写成笛卡尔形式z = a + bi，其中a和b是实数。实部Re(z) = a和虚部Im(z) = b完全刻画了这个数。

Two complex numbers are equal if and only if their real parts are equal and their imaginary parts are equal. This seemingly simple fact is a powerful tool: equating real and imaginary parts across an equation can yield two separate real equations, often the key to solving complex problems.

两个复数相等当且仅当它们的实部相等且虚部相等。这一看似简单的事实是强大的工具：在方程中分别令实部和虚部相等，可以得到两个独立的实数方程，这往往是解决复数问题的关键。

The conjugate of z = a + bi is z̄ = a − bi. The conjugate plays a central role in division, in finding moduli, and in proving that polynomial equations with real coefficients have non-real roots in conjugate pairs.

z = a + bi的共轭为z̄ = a − bi。共轭在除法运算、求模以及证明实系数多项式方程的非实根成对出现时都扮演着核心角色。

2. Cartesian Form and Basic Operations | 笛卡尔形式与基本运算

Addition and subtraction of complex numbers are performed component-wise: (a + bi) + (c + di) = (a + c) + (b + d)i. This mirrors vector addition and is best visualised on the Argand diagram as the diagonal of a parallelogram.

复数的加法和减法按分量进行：(a + bi) + (c + di) = (a + c) + (b + d)i。这类似于向量加法，在阿甘图上可以看作平行四边形的对角线。

Multiplication follows the distributive law, remembering that i² = −1:

乘法遵循分配律，并记住i² = −1：

(a + bi)(c + di) = (ac − bd) + (ad + bc)i

For division, we multiply the numerator and denominator by the conjugate of the denominator to make the denominator real:

对于除法，我们将分子和分母同时乘以分母的共轭，使分母变为实数：

(a + bi) ÷ (c + di) = (a + bi)(c − di) ÷ (c² + d²)

Example: Compute (3 + 4i) ÷ (1 − 2i).

示例：计算(3 + 4i) ÷ (1 − 2i)。
Multiply by the conjugate: (3 + 4i)(1 + 2i) ÷ (1 + 4) = (3 + 6i + 4i + 8i²) ÷ 5 = (3 − 8 + 10i) ÷ 5 = −1 + 2i.

乘以共轭：(3 + 4i)(1 + 2i) ÷ (1 + 4) = (3 + 6i + 4i + 8i²) ÷ 5 = (3 − 8 + 10i) ÷ 5 = −1 + 2i。

3. The Argand Diagram | 阿甘图

The Argand diagram is a two-dimensional plane where the horizontal axis represents the real part and the vertical axis represents the imaginary part. Each complex number corresponds to a unique point (a, b), and the number can also be viewed as a position vector from the origin.

阿甘图是一个二维平面，水平轴代表实部，垂直轴代表虚部。每个复数对应唯一的点(a, b)，该数也可以看作从原点出发的位置向量。

The modulus of z = a + bi is its distance from the origin:

复数z = a + bi的模是它到原点的距离：

|z| = √(a² + b²)

The modulus satisfies key properties: |z₁z₂| = |z₁||z₂| and |z₁ ÷ z₂| = |z₁| ÷ |z₂|. Geometrically, |z₁ − z₂| represents the distance between two points z₁ and z₂ in the plane, making it invaluable for locus problems such as circles and perpendicular bisectors.

模满足关键性质：|z₁z₂| = |z₁||z₂|，|z₁ ÷ z₂| = |z₁| ÷ |z₂|。在几何上，|z₁ − z₂|表示平面中两点z₁和z₂之间的距离，这使得它在圆、垂直平分线等轨迹问题中具有重要价值。

4. Modulus and Argument | 模与辐角

Every non-zero complex number can be described in polar form using its modulus r and argument θ. The argument is the angle the position vector makes with the positive real axis, measured anticlockwise.

每个非零复数都可以用模r和辐角θ以极坐标形式描述。辐角是位置向量与正实轴之间的夹角，逆时针方向测量。

z = r(cos θ + i sin θ), where r = |z| and θ = arg(z)

The principal argument, denoted Arg(z), is conventionally chosen to lie in the interval (−π, π]. Care must be taken to select the correct quadrant based on the signs of a and b:

主辐角记为Arg(z)，通常取在区间(−π, π]内。必须根据a和b的符号小心选择正确的象限：

Quadrant	Sign of a, b	Principal Argument
First	a > 0, b > 0	θ = tan⁻¹(b/a)
Second	a < 0, b > 0	θ = π − tan⁻¹(b/\|a\|)
Third	a < 0, b < 0	θ = −π + tan⁻¹(\|b\|/\|a\|)
Fourth	a > 0, b < 0	θ = −tan⁻¹(\|b\|/a)

5. Polar and Euler Forms | 极坐标形式与欧拉形式

The polar form z = r(cos θ + i sin θ) leads directly to Euler’s formula, one of the most beautiful results in mathematics:

极坐标形式z = r(cos θ + i sin θ)直接引出欧拉公式——数学中最优美的结果之一：

e^(iθ) = cos θ + i sin θ, so z = r e^(iθ)

Euler form dramatically simplifies multiplication and division:

欧拉形式大大简化了乘法和除法运算：

r₁e^(iθ₁) × r₂e^(iθ₂) = r₁r₂e^(i(θ₁+θ₂))

When multiplying two complex numbers, their moduli multiply and their arguments add. When dividing, the moduli divide and the arguments subtract. These rules transform complex multiplication into simple arithmetic on the polar components.

两个复数相乘时，模相乘、辐角相加；相除时，模相除、辐角相减。这些规则将复数乘法转化为极坐标分量的简单算术运算。

6. De Moivre’s Theorem | 棣莫弗定理

De Moivre’s theorem is arguably the most powerful tool for computing powers of complex numbers. It states that for any integer n:

棣莫弗定理可以说是计算复数幂的最强大工具。它指出，对任何整数n：

zⁿ = rⁿ(cos(nθ) + i sin(nθ))

In Euler form, this is simply zⁿ = rⁿe^(inθ). The theorem allows us to compute high powers such as (1 + i)²⁰ easily: first convert to polar form, then apply the theorem.

在欧拉形式下，这简化为zⁿ = rⁿe^(inθ)。该定理使我们能够轻松计算(1 + i)²⁰等高次幂：先转为极坐标形式，再应用定理。

Example: Compute (1 + i)⁸. We have 1 + i = √2 e^(iπ/4), so (1 + i)⁸ = (√2)⁸ e^(i·8·π/4) = 16 e^(2πi) = 16. This confirms a purely real result, as expected since the imaginary parts cancel.

示例：计算(1 + i)⁸。我们有1 + i = √2 e^(iπ/4)，因此(1 + i)⁸ = (√2)⁸ e^(i·8·π/4) = 16 e^(2πi) = 16。这确认了一个纯实数结果，符合虚部相互抵消的预期。

7. Roots of Complex Numbers | 复数的根

De Moivre’s theorem also enables us to find all nth roots of a complex number. A key insight: a non-zero complex number has exactly n distinct nth roots, all lying on a circle centred at the origin with radius √(r), equally spaced by angle 2π/n.

棣莫弗定理还使我们能够找到复数的所有n次根。一个关键认知是：非零复数恰好有n个不同的n次根，它们都位于以原点为圆心、半径为√(r)的圆上，且以角度2π/n等间隔分布。

To find the nth roots of w = r(cos θ + i sin θ), we solve zⁿ = w:

要求w = r(cos θ + i sin θ)的n次根，我们解方程zⁿ = w：

zₖ = r^(1/n) [cos((θ + 2kπ)/n) + i sin((θ + 2kπ)/n)], k = 0, 1, …, n − 1

Notice the crucial addition of 2kπ to the argument: this is what generates all n distinct roots rather than just one. The roots form a regular n-gon on the Argand diagram. The nth roots of unity (roots of zⁿ = 1) lie on the unit circle and always include z = 1 as one of the roots.

注意辐角中加上的2kπ至关重要：正是它生成了全部n个不同的根，而不仅仅是一个。这些根在阿甘图上构成正n边形。n次单位根（方程zⁿ = 1的根）位于单位圆上，且总是包含z = 1作为其中一个根。

8. The Conjugate Roots Theorem | 共轭根定理

The conjugate roots theorem is essential for solving polynomial equations with real coefficients. It states that if a polynomial P(z) has real coefficients and z = a + bi is a root, then the conjugate z̄ = a − bi is also a root.

共轭根定理对于求解实系数多项式方程至关重要。它指出：如果多项式P(z)具有实系数，且z = a + bi是一个根，那么其共轭z̄ = a − bi也是根。

This theorem has powerful consequences. A cubic equation with real coefficients has either three real roots or one real root and a conjugate pair of complex roots. A quartic equation may have four real roots, two real and one conjugate pair, or two conjugate pairs. This structure is reflected in the factorised form of the polynomial.

该定理有强大的推论。实系数三次方程要么有三个实根，要么有一个实根和一对共轭复根。四次方程可能有四个实根、两个实根加一对共轭复根，或两对共轭复根。这种结构反映在多项式的因式分解形式中。

For example, if z = 2 + i is a root of z⁴ − 6z³ + 18z² − 30z + 25 = 0, then z = 2 − i is also a root. Their product (z − (2 + i))(z − (2 − i)) = (z − 2)² + 1 = z² − 4z + 5, which must be a factor of the quartic. Dividing the quartic by this quadratic factor yields z² − 2z + 5, whose roots are 1 ± 2i. The full solution set is {2 ± i, 1 ± 2i}.

例如，如果z = 2 + i是方程z⁴ − 6z³ + 18z² − 30z + 25 = 0的一个根，那么z = 2 − i也是根。它们的乘积(z − (2 + i))(z − (2 − i)) = (z − 2)² + 1 = z² − 4z + 5必定是四次多项式的因式。用该二次因式除原四次多项式得到z² − 2z + 5，其根为1 ± 2i。完整解集为{2 ± i, 1 ± 2i}。

9. Solving Polynomial Equations | 解多项式方程

Solving polynomial equations with real coefficients often requires a systematic strategy combining multiple techniques. When a root is known to be complex, its conjugate is automatically a root, reducing the degree of the remaining problem.

求解实系数多项式方程通常需要结合多种技巧的系统性策略。当已知一个根为复数时，其共轭自动是另一个根，从而简化剩余问题。

Step 1: If a complex root is given, immediately write down its conjugate as another root. 如果给出了一个复根，立即写出其共轭作为另一个根。
Step 2: Form the quadratic factor from the conjugate pair: (z − α)(z − ᾱ) = z² − 2Re(α)z + |α|². 由共轭对构造二次因式：(z − α)(z − ᾱ) = z² − 2Re(α)z + |α|²。
Step 3: Divide the original polynomial by this quadratic factor via polynomial long division or synthetic division. 通过多项式长除法或综合除法用该二次因式去除原多项式。
Step 4: Solve the resulting reduced polynomial, which now has a lower degree. 解出降次后的多项式。

For example, given that z = 1 − i is a root of z³ − 3z² + 4z − 2 = 0, we know z = 1 + i is also a root. The quadratic factor is (z − 1)² + 1 = z² − 2z + 2. Dividing z³ − 3z² + 4z − 2 by z² − 2z + 2 gives z − 1. Hence the roots are 1 ± i and 1.

例如，已知z = 1 − i是方程z³ − 3z² + 4z − 2 = 0的根，则z = 1 + i也是根。二次因式为(z − 1)² + 1 = z² − 2z + 2。用z² − 2z + 2去除z³ − 3z² + 4z − 2得到z − 1。因此根为1 ± i和1。

10. Problem-Solving Strategies | 解题策略

Effective problem-solving in complex numbers requires recognising which representation is best suited to the problem at hand.

在复数中有效解题需要识别哪种表示形式最适合手头的问题。

Problem Type	Recommended Form	Key Technique
Addition / Subtraction	Cartesian	Component-wise operation
Multiplication / Division	Polar or Euler	Multiply moduli, add arguments
Powers	Polar / Euler	De Moivre’s theorem
Roots	Polar	Add 2kπ, divide by n
Equating real / imaginary parts	Cartesian	Separate into two equations
Locus problems	Geometric	Interpret as distances/angles

When solving equations involving z and its conjugate z̄, treat z and z̄ as two independent variables. Substitute z = x + yi, z̄ = x − yi, and equate real and imaginary parts. This converts a complex equation into a system of two real equations.

在求解涉及z及其共轭z̄的方程时，将z和z̄视为两个独立变量。代入z = x + yi、z̄ = x − yi，并令实部与虚部分别相等。这将复数方程转化为两个实方程的方程组。

For locus problems, geometric intuition can save significant time. The equation |z − z₀| = r represents a circle with centre z₀ and radius r. The equation |z − z₁| = |z − z₂| represents the perpendicular bisector of the segment joining z₁ and z₂. Recognising these standard forms allows immediate graphical insight.

对于轨迹问题，几何直觉可以节省大量时间。方程|z − z₀| = r表示以z₀为圆心、r为半径的圆。方程|z − z₁| = |z − z₂|表示连接z₁和z₂的线段的垂直平分线。识别这些标准形式可以立即获得图形上的洞察。

11. Common Pitfalls and Exam Tips | 常见陷阱与考试技巧

Several common errors consistently cost students marks in complex number questions. Being aware of these traps is the first step to avoiding them.

几个常见错误在复数题目中持续导致学生失分。意识到这些陷阱是避免它们的第一步。

Quadrant error: Always check the signs of the real and imaginary parts before computing the argument. Using tan⁻¹(b/a) blindly can give the wrong angle. 象限错误：在计算辐角前务必检查实部和虚部的符号。盲目使用tan⁻¹(b/a)会得出错误角度。
Forgetting 2kπ: When finding n roots, omitting the 2kπ term yields only one root instead of n. Always include all values k = 0, 1, …, n − 1. 忘记2kπ：求n次根时，遗漏2kπ项只会得到一个根而不是n个。务必包含所有k = 0, 1, …, n − 1的值。
Conjugate misuse: The conjugate of a sum of complex numbers equals the sum of the conjugates, but the conjugate of a product equals the product of the conjugates — these properties are valid, but do not confuse z̄ with −z. 共轭误用：和与积的共轭性质成立，但不要将z̄与−z混淆。
Principal argument range: On the IB exams, the principal argument is often required in (−π, π]. Check the specific requirement in each question. 主辐角范围：在IB考试中，主辐角通常要求在(−π, π]内。注意每道题的具体要求。

A powerful verification strategy: after computing powers or roots, check your answer by substituting back or by confirming the modulus and argument separately. For instance, the modulus of zⁿ must equal |z|ⁿ, providing a quick independent check.

一个强大的验证策略：计算幂或根之后，通过回代或分别确认模和辐角来检查答案。例如，zⁿ的模必须等于|z|ⁿ，这提供了一个快速的独立检查方法。

12. Summary | 总结

Complex numbers unify algebraic and geometric perspectives in mathematics. The Cartesian form excels at addition, subtraction, and solving equations; the polar and Euler forms streamline multiplication, division, powers, and roots. De Moivre’s theorem, the conjugate roots theorem, and the fundamental properties of modulus and argument form the core toolkit for solving complex number problems.

复数统一了数学中的代数与几何视角。笛卡尔形式擅长加减法和方程求解；极坐标和欧拉形式简化了乘法、除法、幂和根的计算。棣莫弗定理、共轭根定理以及模和辐角的基本性质构成了解决复数问题的核心工具包。

Mastery comes from practice: work systematically, draw the Argand diagram whenever possible, verify your results, and always keep the structure of the problem in mind. With these strategies, complex number questions become not just manageable, but genuinely enjoyable.

掌握来自于练习：系统性地解题、尽可能绘制阿甘图、验证你的结果，并始终牢记问题的结构。有了这些策略，复数题目不仅变得可应对，而且真正令人愉快。

Published by TutorHao | Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）

Mastering Complex Numbers | 复数综合问题精讲