📚 IB Maths: The General Exponential Form of a Complex Number | IB数学：复数的一般指数形式
In the IB Analysis and Approaches HL syllabus, complex numbers are first met in Cartesian form z = x + iy, then in modulus-argument form z = r(cos θ + i sin θ), and finally in the compact exponential form z = r e^(iθ). This last notation is far more than a shorthand: it turns multiplication into addition of angles, converts powers into simple multiplication of the argument, and makes the n-th roots of a complex number almost routine. Examiners love it because it tests algebra, trigonometry and geometric insight in a single question.
在 IB 数学分析与方法 HL（AA HL）的考纲中，复数先以笛卡尔形式 z = x + iy 出现，再以模-辐角形式 z = r(cos θ + i sin θ) 出现，最后才进入简洁的指数形式 z = r e^(iθ)。指数形式绝不只是记号上的简写：它把乘法变成角度的相加，把乘方变成辐角的简单倍乘，也让复数的 n 次方根变得几乎程式化。考官偏爱这种形式，因为一道题就能同时考查代数运算、三角恒等变换和几何直观。
1. Why the Exponential Form Matters | 为什么指数形式如此重要
The modulus-argument form already works, but multiplying two of them forces you to expand brackets and apply compound-angle formulas. The exponential form removes all of that. Every operation you need in IB questions – products, quotients, powers, roots, conjugates and loci – has a one-line rule in exponential notation.
模-辐角形式当然也能用，但两个这样的式子相乘时要展开括号并套用和角公式，十分繁琐。指数形式把这一切都省掉了。IB 题目中需要用到的每一种运算——积、商、乘方、开方、共轭以及轨迹问题——在指数记号下都只有一行规则。
Equally important, the exponential form is the natural language of rotations in the Argand diagram. Multiplying by e^(iα) rotates a point anticlockwise about the origin through the angle α, and the modulus is untouched. This single idea explains why e^(iπ) = −1 and why the n-th roots of unity are equally spaced around a circle.
同样重要的是，指数形式是阿尔冈图中旋转的天然语言。乘以 e^(iα) 就是把点绕原点逆时针旋转 α 角，而模保持不变。正是这一想法解释了为什么 e^(iπ) = −1，以及为什么 n 次单位根会均匀分布在圆周上。
2. From Modulus-Argument Form to Euler’s Formula | 从模-辐角形式到欧拉公式
Euler’s formula is the bridge between the two notations. It states that for any real number θ, measured in radians, the complex number cos θ + i sin θ is exactly e^(iθ). IB expects you to quote this result and use it freely; you are not required to prove it from series, although the Taylor-series derivation is a nice extension activity.
欧拉公式是两种记号之间的桥梁。它指出：对任意实数 θ（以弧度为单位），复数 cos θ + i sin θ 恰好等于 e^(iθ)。IB 要求你直接引用并使用这一结论，并不要求你从级数出发给出证明，尽管用泰勒级数推导是一个很好的拓展活动。
e^(iθ) = cos θ + i sin θ
Combining Euler’s formula with the modulus r gives the general exponential form of a non-zero complex number.
把欧拉公式与模 r 结合起来，就得到非零复数的一般指数形式。
z = r e^(iθ), r = |z| > 0, θ = arg z
Setting θ = π gives e^(iπ) = cos π + i sin π = −1, hence the celebrated identity e^(iπ) + 1 = 0. Setting θ = π/2 gives e^(iπ/2) = i, and θ = π/3 gives e^(iπ/3) = 1/2 + i√3/2.
取 θ = π 得 e^(iπ) = cos π + i sin π = −1，于是有著名的恒等式 e^(iπ) + 1 = 0。取 θ = π/2 得 e^(iπ/2) = i，取 θ = π/3 得 e^(iπ/3) = 1/2 + i√3/2。
3. The General Form and the Convention on the Argument | 一般形式与辐角的约定
Because sine and cosine are periodic with period 2π, the same complex number has infinitely many exponential representations: e^(i(θ + 2kπ)) = e^(iθ) for every integer k. When IB writes “the general exponential form” it usually wants this whole family written out, especially in root questions.
由于正弦和余弦都以 2π 为周期，同一个复数有无限多种指数表示：对任意整数 k 都有 e^(i(θ + 2kπ)) = e^(iθ)。当 IB 提到”一般指数形式”时，通常正是指这整个表示族，在求根的题目中尤其如此。
z = r e^(i(θ + 2kπ)), k ∈ ℤ
The principal argument Arg z is the unique value in the interval (−π, π], and this is the value a calculator or a markscheme normally quotes. Note carefully: the modulus must be positive. If you write −3e^(iπ/2), you have not produced an exponential form, because the modulus is negative; the correct form is 3e^(−iπ/2), or equivalently 3e^(i3π/2).
主辐角 Arg z 是区间 (−π, π] 内唯一确定的那个值，也是计算器或评分标准通常给出的值。务必注意：模必须为正。如果你写成 −3e^(iπ/2)，那并不是指数形式，因为模是负的；正确的形式是 3e^(−iπ/2)，或者等价地写成 3e^(i3π/2)。
4. Extracting Modulus and Argument: Standard Techniques | 提取模与辐角的标准技巧
To convert z = x + iy into exponential form, compute the modulus and then locate the argument in the correct quadrant. Never trust arctan(y/x) alone, because inverse tangent cannot distinguish between opposite quadrants.
要把 z = x + iy 化为指数形式，先算模，再在正确的象限中确定辐角。千万不要只依赖 arctan(y/x)，因为反正切无法区分对角象限。
r = |z| = √(x² + y²), tan θ = y ÷ x, with θ placed by quadrant
A safer method for IB is to sketch the point on an Argand diagram, or to compare z with one of the exact standard angles π/6, π/4, π/3, π/2 and their multiples. Exact values are almost always required in the final answer.
对 IB 考生而言更稳妥的方法是：在阿尔冈图上画出该点，或者把 z 与标准精确角 π/6、π/4、π/3、π/2 及其倍数作比较。最终答案几乎总是要求精确值。
- Quadrant I (x > 0, y > 0): θ = arctan(y/x), between 0 and π/2. 第一象限：θ 在 0 与 π/2 之间。
- Quadrant II (x < 0, y > 0): θ = π − arctan(|y/x|), between π/2 and π. 第二象限：θ = π − arctan(|y/x|)。
- Quadrant III (x < 0, y < 0): θ = −π + arctan(|y/x|), between −π and −π/2. 第三象限：θ = −π + arctan(|y/x|)。
- Quadrant IV (x > 0, y < 0): θ = −arctan(|y/x|), between −π/2 and 0. 第四象限：θ = −arctan(|y/x|)。
For example, z = √3 + i has r = √(3 + 1) = 2 and θ = π/6, so z = 2e^(iπ/6). Meanwhile z = −1 + i has r = √2 and θ = 3π/4, so z = √2 e^(i3π/4).
例如 z = √3 + i 的模 r = √(3 + 1) = 2，辐角 θ = π/6，故 z = 2e^(iπ/6)。而 z = −1 + i 的模 r = √2，辐角 θ = 3π/4，故 z = √2 e^(i3π/4)。
5. Multiplication, Division and Powers as One-Line Rules | 乘法、除法与乘方的”一行规则”
This is where the exponential form pays for itself. All the hard trigonometric work collapses into arithmetic on the exponents.
这正是指数形式”物超所值”之处：所有繁重的三角运算都坍缩为指数上的算术。
z₁ z₂ = r₁ r₂ e^(i(θ₁ + θ₂))
z₁ ÷ z₂ = (r₁ ÷ r₂) e^(i(θ₁ − θ₂))
zⁿ = rⁿ e^(inθ) for n ∈ ℤ
| Operation 运算 | Modulus 模 | Argument 辐角 |
| Product 积 | r₁r₂ | θ₁ + θ₂ |
| Quotient 商 | r₁ ÷ r₂ | θ₁ − θ₂ |
| Power n 次幂 | rⁿ | nθ |
| Conjugate 共轭 | r | −θ |
| Reciprocal 倒数 | 1 ÷ r | −θ |
A quick check: (1 + i)⁸. Since 1 + i = √2 e^(iπ/4), we get (1 + i)⁸ = (√2)⁸ e^(i2π) = 16 × 1 = 16. No binomial expansion required.
快速验证一下：(1 + i)⁸。由 1 + i = √2 e^(iπ/4) 得 (1 + i)⁸ = (√2)⁸ e^(i2π) = 16 × 1 = 16，完全不需要二项式展开。
6. De Moivre’s Theorem in Exponential Clothing | 指数形式外衣下的棣莫弗定理
De Moivre’s theorem says that (cos θ + i sin θ)ⁿ = cos nθ + i sin nθ for integer n. In exponential notation it is simply (e^(iθ))ⁿ = e^(inθ), which is nothing more than the ordinary index law. This is why the exponential form is preferred for anything beyond a square or cube.
棣莫弗定理指出：对整数 n，(cos θ + i sin θ)ⁿ = cos nθ + i sin nθ。在指数记号下，它不过是 (e^(iθ))ⁿ = e^(inθ)，也就是普通的指数运算法则。正因如此，只要幂次超过平方或立方，指数形式就是首选。
Typical IB use: express (√3 + i)⁶ in the form a + ib. Write √3 + i = 2e^(iπ/6), so (√3 + i)⁶ = 2⁶ e^(iπ) = 64(−1) = −64. Alternatively, (1 − i√3)⁵: we have 1 − i√3 = 2e^(−iπ/3), so the fifth power is 32e^(−i5π/3) = 32e^(iπ/3) = 16 + 16i√3.
典型的 IB 用法：把 (√3 + i)⁶ 写成 a + ib 的形式。由 √3 + i = 2e^(iπ/6) 得 (√3 + i)⁶ = 2⁶ e^(iπ) = 64(−1) = −64。再如 (1 − i√3)⁵：由 1 − i√3 = 2e^(−iπ/3) 得五次幂为 32e^(−i5π/3) = 32e^(iπ/3) = 16 + 16i√3。
7. Solving zⁿ = w and the n-th Roots | 求解 zⁿ = w 与 n 次方根
Root finding is the single most heavily examined application. Write the right-hand side in exponential form, then remember that the argument is only defined up to multiples of 2π before you take the n-th root.
求根是考得最多的单一应用。先把右端写成指数形式，然后记住：在开 n 次方之前，辐角只在相差 2π 的整数倍的意义下确定。
If zⁿ = r e^(iθ), then z = r^(1/n) e^(i(θ + 2kπ) ÷ n), k = 0, 1, 2, …, n − 1
The n roots all have the same modulus r^(1/n) and arguments separated by 2π/n, so they form a regular n-gon on a circle of radius r^(1/n) centred at the origin. Stopping at k = n − 1 is essential; larger values of k simply repeat the same roots.
这 n 个根的模都等于 r^(1/n)，辐角依次相差 2π/n，因此它们构成以原点为圆心、半径为 r^(1/n) 的圆上的正 n 边形。取到 k = n − 1 为止至关重要，更大的 k 只会重复相同的根。
Worked example: solve z³ = 8i. Since 8i = 8e^(iπ/2), we get z = 2e^(i(π/2 + 2kπ) ÷ 3) for k = 0, 1, 2, giving 2e^(iπ/6), 2e^(i5π/6) and 2e^(i3π/2), that is √3 + i, −√3 + i and −2i.
例题：解 z³ = 8i。由 8i = 8e^(iπ/2) 得 z = 2e^(i(π/2 + 2kπ) ÷ 3)，k = 0, 1, 2，得到 2e^(iπ/6)、2e^(i5π/6) 和 2e^(i3π/2)，即 √3 + i、−√3 + i 和 −2i。
8. Exponential Form and Trigonometric Identities | 指数形式与三角恒等式
Euler’s formula also gives a slick route to multiple-angle identities, which appear in AA HL paper 3 and in some paper 1 questions.
欧拉公式还提供了推导倍角恒等式的巧妙途径，这类问题常出现在 AA HL 的试卷三以及部分试卷一中。
cos θ = (e^(iθ) + e^(−iθ)) ÷ 2, sin θ = (e^(iθ) − e^(−iθ)) ÷ (2i)
To show cos 3θ = 4cos³θ − 3cos θ, start from 2cos θ = e^(iθ) + e^(−iθ) and cube both sides, using the binomial expansion and then regrouping terms into cos 3θ and cos θ. The algebra is mechanical and much shorter than repeated use of the addition formulas.
要证明 cos 3θ = 4cos³θ − 3cos θ，可从 2cos θ = e^(iθ) + e^(−iθ) 出发，两边立方，做二项式展开，再把各项归并成 cos 3θ 与 cos θ。整个过程是机械的代数运算，比反复使用和角公式短得多。
A related classic is the sum of the n-th roots of unity: 1 + ω + ω² + … + ω^(n−1) = 0 for n > 1, which follows immediately from the geometric-series formula in exponential form.
一个相关的经典结论是 n 次单位根之和：当 n > 1 时，1 + ω + ω² + … + ω^(n−1) = 0，用指数形式代入等比级数求和公式即可立刻得到。
9. Geometric Interpretation: Rotation and Scaling | 几何解释：旋转与伸缩
Multiplication by re^(iα) is a combined operation: the modulus r scales distances from the origin by a factor r, and the argument α rotates the plane anticlockwise about the origin through α. Because r and α are independent, the map is a spiral similarity.
乘以 re^(iα) 是一个复合操作：模 r 把到原点的距离按倍数 r 缩放，辐角 α 则把整个平面绕原点逆时针旋转 α 角。由于 r 与 α 相互独立，这个映射是一个”螺旋相似”变换。
Multiplication by i = e^(iπ/2) is a quarter-turn anticlockwise; multiplication by −1 = e^(iπ) is a half-turn; multiplication by e^(−iπ/4) is a clockwise rotation of 45°. This is the cleanest way to describe rotations in locus and transformation questions.
乘以 i = e^(iπ/2) 是逆时针旋转四分之一圈；乘以 −1 = e^(iπ) 是旋转半圈；乘以 e^(−iπ/4) 是顺时针旋转 45°。在轨迹与变换问题中，这是描述旋转最简洁的方式。
The division rule also explains why arg(z₁ ÷ z₂) is the angle between the two vectors in the Argand diagram, a fact used constantly in geometry proofs about perpendicular lines and cyclic quadrilaterals.
除法法则也解释了为什么 arg(z₁ ÷ z₂) 就是阿尔冈图中两个向量之间的夹角，这一事实在关于垂直直线与共圆四边形的几何证明中被反复使用。
10. Common Pitfalls and Examiner Expectations | 常见陷阱与阅卷要点
Most lost marks in this topic come from a small set of recurring errors, and almost all of them are avoidable with care.
这一主题上失掉的分大多来自少数几类反复出现的错误，而它们几乎都可以通过细心避免。
- Using degrees. All arguments in exponential form must be in radians. 用角度制：指数形式中的辐角必须用弧度。
- Writing a negative modulus. Always factor a −1 out first. 写出负的模：必须先把 −1 提出来。
- Forgetting the +2kπ when solving zⁿ = w, and therefore losing n − 1 roots. 解 zⁿ = w 时忘记 +2kπ，从而丢掉 n − 1 个根。
- Giving only an approximate angle when the question asks for an exact value such as π/6. 题目要求精确值（如 π/6）时只给出近似角。
- Quoting a non-principal argument when the question explicitly asks for Arg z in (−π, π]. 题目明确要求 (−π, π] 内的主辐角时却给出了别的辐角。
- Leaving the answer as 2e^(i7π/6) when the markscheme expects 2e^(−i5π/6). 评分标准期望 2e^(−i5π/6) 时却留下 2e^(i7π/6)。
Markschemes typically award one mark for the correct modulus, one for the correct argument, and one for a correct statement of the general form – so show every step explicitly.
评分标准通常给出：模正确得 1 分，辐角正确得 1 分，一般形式表述正确得 1 分——因此务必把每一步都写清楚。
11. Typical IB Exam Questions and Approaches | 典型 IB 考题与解法思路
The following patterns cover the overwhelming majority of exam appearances of this topic.
下列题型覆盖了本主题在考试中出现的绝大多数情形。
Type 1 – Conversion. Express −2 + 2i√3 in the form re^(iθ). Here r = √(4 + 12) = 4 and the point lies in quadrant II with tan θ = −√3, so θ = 2π/3, giving 4e^(i2π/3).
类型 1——形式转换。 把 −2 + 2i√3 写成 re^(iθ)。此处 r = √(4 + 12) = 4，点位于第二象限且 tan θ = −√3，故 θ = 2π/3，得 4e^(i2π/3)。
Type 2 – Powers. Find (1 + i√3)⁴ ÷ (1 − i)². Numerator: 1 + i√3 = 2e^(iπ/3), so the fourth power is 16e^(i4π/3). Denominator: 1 − i = √2 e^(−iπ/4), so its square is 2e^(−iπ/2). Dividing gives 8e^(i4π/3 + iπ/2) = 8e^(i11π/6) = 8e^(−iπ/6).
类型 2——乘方。 求 (1 + i√3)⁴ ÷ (1 − i)²。分子：1 + i√3 = 2e^(iπ/3)，四次幂为 16e^(i4π/3)。分母：1 − i = √2 e^(−iπ/4)，平方为 2e^(−iπ/2)。相除得 8e^(i4π/3 + iπ/2) = 8e^(i11π/6) = 8e^(−iπ/6)。
Type 3 – Roots. Solve z⁴ = −16 and plot the solutions. Since −16 = 16e^(iπ), z = 2e^(i(π + 2kπ) ÷ 4) for k = 0, 1, 2, 3, giving 2e^(iπ/4), 2e^(i3π/4), 2e^(i5π/4) and 2e^(i7π/4), which are the vertices of a square of side 2√2 inscribed in the circle |z| = 2.
类型 3——求根。 解 z⁴ = −16 并画出解。由 −16 = 16e^(iπ) 得 z = 2e^(i(π + 2kπ) ÷ 4)，k = 0, 1, 2, 3，即 2e^(iπ/4)、2e^(i3π/4)、2e^(i5π/4)、2e^(i7π/4)，它们构成内接于圆 |z| = 2 的正方形，边长 2√2。
Type 4 – Proof. Show that arg(z₁z₂) = arg z₁ + arg z₂. Multiply r₁e^(iθ₁) by r₂e^(iθ₂) to obtain r₁r₂e^(i(θ₁ + θ₂)), and read off the argument directly.
类型 4——证明。 证明 arg(z₁z₂) = arg z₁ + arg z₂。把 r₁e^(iθ₁) 与 r₂e^(iθ₂) 相乘得 r₁r₂e^(i(θ₁ + θ₂))，直接读出辐角即可。
12. Revision Checklist and Formula Summary | 复习清单与公式速查
Use this checklist before every mock examination. If you can do all five items without notes, this topic is secure.
每次模拟考前都过一遍这份清单。如果五项都能不看书完成，这个知识点就稳固了。
- Convert freely between x + iy, r(cos θ + i sin θ) and re^(iθ). 能在 x + iy、r(cos θ + i sin θ) 与 re^(iθ) 之间自由转换。
-
Published by TutorHao | IB Mathematics Revision Series | aleveler.com
Find IB Maths Textbooks on eBay UK
New, used and second-hand copies of textbooks and revision guides are often much cheaper than retail — check current listings and prices before you buy.
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导Cancel reply