Investigation 3 – Euler's Form | 探究三：欧拉形式

📚 Investigation 3 – Euler’s Form | 探究三：欧拉形式

Euler’s form, expressed as e^(iθ) = cosθ + i sinθ, is one of the most remarkable connections in mathematics. It unifies exponential and trigonometric functions, profoundly simplifying multiplication, division, powers, and roots of complex numbers. In the IB Mathematics course, understanding Euler’s form allows students to explore complex analysis, solve equations elegantly, and appreciate the deep interplay between algebra and geometry.

欧拉形式 e^(iθ) = cosθ + i sinθ 是数学中最优美的联系之一。它把指数函数和三角函数统一起来，极大地简化了复数的乘、除、乘方和开方运算。在 IB 数学课程中，理解欧拉形式能让学生深入探究复分析，优雅地求解方程，并体会代数与几何之间的深刻互动。

1. Complex Numbers and Polar Form Review | 复数与极坐标形式回顾

A complex number z = x + iy can be represented on the Argand plane by Cartesian coordinates (x, y). Its modulus r = |z| = √(x² + y²) gives the distance from the origin, and its argument θ = arg(z) satisfies tanθ = y/x, with careful consideration of the quadrant. The polar form is z = r(cosθ + i sinθ). This representation naturally connects to vector rotation and scaling.

复数 z = x + iy 可以用阿尔冈平面上的直角坐标 (x, y) 表示。它的模 r = |z| = √(x² + y²) 是到原点的距离，辐角 θ = arg(z) 满足 tanθ = y/x，并需注意象限。极坐标形式为 z = r(cosθ + i sinθ)。这种表达自然地与向量旋转和伸缩联系在一起。

Manipulating complex numbers in polar form simplifies products and quotients, but the real breakthrough comes when the expression (cosθ + i sinθ) is identified with the exponential function. This is where Euler’s form emerges.

用极坐标形式处理复数能够简化乘积和商，但真正的突破在于把 (cosθ + i sinθ) 与指数函数等同起来。这正是欧拉形式产生的起点。

2. Deriving Euler’s Formula via Series | 通过级数推导欧拉公式

Consider the Maclaurin series expansions: eˣ = 1 + x + x²/2! + x³/3! + x⁴/4! + …, cosθ = 1 − θ²/2! + θ⁴/4! − θ⁶/6! + …, and sinθ = θ − θ³/3! + θ⁵/5! − θ⁷/7! + … . Substitute x = iθ into the exponential series, separating real and imaginary parts.

考虑麦克劳林级数展开：eˣ = 1 + x + x²/2! + x³/3! + x⁴/4! + …，cosθ = 1 − θ²/2! + θ⁴/4! − θ⁶/6! + …，sinθ = θ − θ³/3! + θ⁵/5! − θ⁷/7! + …。将 x = iθ 代入指数级数，分别整理实部和虚部。

e^(iθ) = 1 + iθ + (iθ)²/2! + (iθ)³/3! + (iθ)⁴/4! + …

Using i² = − 1, i³ = − i, i⁴ = 1, etc., we obtain: e^(iθ) = (1 − θ²/2! + θ⁴/4! − …) + i(θ − θ³/3! + θ⁵/5! − …). The real part is precisely the series for cosθ, and the imaginary part is that for sinθ. Thus,

利用 i² = −1, i³ = −i, i⁴ = 1 等，我们得到：e^(iθ) = (1 − θ²/2! + θ⁴/4! − …) + i(θ − θ³/3! + θ⁵/5! − …)。实部恰好是 cosθ 的级数，虚部是 sinθ 的级数。因此，

e^(iθ) = cosθ + i sinθ

This derivation is valid for real θ (in radians) and demonstrates the profound link between complex exponentials and circular functions.

这一推导对实数 θ（弧度制）有效，并证明了复指数与圆函数之间的深刻联系。

3. Euler’s Form and Its Geometric Meaning | 欧拉形式及其几何意义

Any non‑zero complex number can be written in Euler’s form: z = r e^(iθ), where r = |z| ≥ 0 and θ = arg(z) is usually taken in the principal range (−π, π]. The factor e^(iθ) represents a point on the unit circle with angle θ measured from the positive real axis. Multiplying a complex number by e^(iθ) corresponds geometrically to a rotation by θ anticlockwise.

任意非零复数都可以写成欧拉形式：z = r e^(iθ)，其中 r = |z| ≥ 0，θ = arg(z) 通常取主值范围 (−π, π]。因子 e^(iθ) 表示单位圆上一点，其角度 θ 从正实轴量起。将一个复数乘以 e^(iθ) 在几何上相当于逆时针旋转 θ 角。

When θ = π, we obtain Euler’s identity e^(iπ) + 1 = 0, often celebrated for linking five fundamental constants. The identity shows that the complex exponential maps the real line onto the unit circle periodically with period 2π.

当 θ = π 时，我们得到欧拉恒等式 e^(iπ) + 1 = 0，这一等式因联结五个基本常数而备受称赞。该恒等式表明，复指数将实线以 2π 为周期映射到单位圆上。

4. Modulus and Argument Properties | 模与辐角的性质

From Euler’s form, it is immediate that |e^(iθ)| = √(cos²θ + sin²θ) = 1, and arg(e^(iθ)) = θ + 2kπ (k ∈ ℤ). For two complex numbers z₁ = r₁ e^(iθ₁) and z₂ = r₂ e^(iθ₂), the product is z₁z₂ = r₁r₂ e^(i(θ₁+θ₂)). Therefore, the modulus multiplies and the arguments add.

从欧拉形式直接可得 |e^(iθ)| = √(cos²θ + sin²θ) = 1，且 arg(e^(iθ)) = θ + 2kπ (k ∈ ℤ)。对于两个复数 z₁ = r₁ e^(iθ₁) 和 z₂ = r₂ e^(iθ₂)，乘积为 z₁z₂ = r₁r₂ e^(i(θ₁+θ₂))。因此，模相乘，辐角相加。

The conjugate of z = r e^(iθ) is z̅ = r e^(−iθ), which flips the sign of the argument. Division gives z₁/z₂ = (r₁/r₂) e^(i(θ₁−θ₂)), with the arguments subtracting. These properties make calculations extremely efficient.

z = r e^(iθ) 的共轭是 z̅ = r e^(−iθ)，这将辐角反号。除法给出 z₁/z₂ = (r₁/r₂) e^(i(θ₁−θ₂))，辐角相减。这些性质使得运算极其高效。

5. Multiplication and Division in Euler Form | 欧拉形式下的乘法与除法

Given z₁ = 2 e^(iπ/4) and z₂ = 3 e^(iπ/3), the product is z₁z₂ = 6 e^(i(π/4+π/3)) = 6 e^(i7π/12). Geometrically, the vector for z₁ is stretched by a factor of 3 and rotated by 60° (. No need to expand sines and cosines; Euler’s form handles everything in one step.

给定 z₁ = 2 e^(iπ/4) 与 z₂ = 3 e^(iπ/3)，乘积为 z₁z₂ = 6 e^(i(π/4+π/3)) = 6 e^(i7π/12)。几何上，z₁ 的向量被拉伸 3 倍并旋转 60°。无需展开正弦和余弦；欧拉形式一步到位。

Division works similarly: (5 e^(i2π/3)) / (2 e^(iπ/6)) = 2.5 e^(i(2π/3−π/6)) = 2.5 e^(iπ/2). This result immediately tells us the quotient has modulus 2.5 and argument π/2, i.e., it is a purely imaginary number 2.5i.

除法同理：(5 e^(i2π/3)) / (2 e^(iπ/6)) = 2.5 e^(i(2π/3−π/6)) = 2.5 e^(iπ/2)。这个结果立刻告诉我们商的模为 2.5，辐角为 π/2，即它是一个纯虚数 2.5i。

A table of common angles in Euler form helps memorise key points.

常见角度的欧拉形式表有助于记忆关键点。

Angle θ (rad)	e^(iθ) = cosθ + i sinθ
0	1
π/6	(√3/2) + (1/2)i
π/4	(√2/2) + (√2/2)i
π/3	(1/2) + (√3/2)i
π/2	i
π	−1
3π/2	−i

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

De Moivre’s theorem states that for any integer n, (cosθ + i sinθ)ⁿ = cos(nθ) + i sin(nθ). In Euler form, this is a trivial consequence: (e^(iθ))ⁿ = e^(inθ). The power simply multiplies the argument.

棣莫弗定理指出，对任何整数 n，(cosθ + i sinθ)ⁿ = cos(nθ) + i sin(nθ)。在欧拉形式下，这是一个平凡的结果：(e^(iθ))ⁿ = e^(inθ)。幂运算仅仅将辐角相乘。

Example: (cos(π/5) + i sin(π/5))⁷ = cos(7π/5) + i sin(7π/5). Without Euler’s form, expanding the binomial would be tedious. The theorem also extends to negative integer powers, yielding division properties.

例子：(cos(π/5) + i sin(π/5))⁷ = cos(7π/5) + i sin(7π/5)。如果没有欧拉形式，展开二项式将极为繁琐。该定理还可推广到负整数次幂，从而给出除法性质。

Proof by induction relies on Euler’s product rule; the formula holds true for all integers n. This theorem is a cornerstone for deriving trigonometric identities and finding roots of complex numbers.

归纳法证明依赖于欧拉形式的乘积法则；该公式对所有整数 n 成立。这一定理是推导三角恒等式和求复数根的基础。

7. Powers and Roots of Complex Numbers | 复数的幂与根

For z = r e^(iθ) and an integer n, the power is straightforward: zⁿ = rⁿ e^(inθ). The modulus is raised to the power n, and the argument is multiplied by n. This allows quick calculation of high powers.

对 z = r e^(iθ) 和整数 n，幂运算直截了当：zⁿ = rⁿ e^(inθ)。模取 n 次方，辐角乘以 n。这使得高次幂的计算变得迅速。

Finding nth roots uses the multi‑valued nature of the argument. Since e^(i(θ+2kπ)) = e^(iθ) for any integer k, the nth roots are given by:

求 n 次方根需要用到辐角的多值性。因为对任意整数 k 有 e^(i(θ+2kπ)) = e^(iθ)，n 次方根由下式给出：

z^(1/n) = r^(1/n) e^(i(θ + 2kπ)/n), k = 0, 1, 2, …, n−1

For example, the cube roots of unity (z³ = 1) come from writing 1 = e^(i·0). The roots are 1, e^(i2π/3) = −1/2 + i√3/2, and e^(i4π/3) = −1/2 − i√3/2. They are equally spaced on the unit circle.

例如，单位立方根 (z³ = 1) 来自将 1 写成 e^(i·0)。根为 1、e^(i2π/3) = −1/2 + i√3/2 和 e^(i4π/3) = −1/2 − i√3/2。它们均匀分布在单位圆上。

8. Trigonometric Identities from Euler’s Formula | 由欧拉公式导出三角恒等式

Euler’s formula yields a compact way to express sine and cosine in terms of exponentials:

欧拉公式提供了一种用指数表示正弦和余弦的紧凑方法：

cosθ = (e^(iθ) + e^(−iθ)) / 2, sinθ = (e^(iθ) − e^(−iθ)) / (2i)

These relations allow derivation of multiple‑angle identities. For instance, cos(2θ) = (e^(i2θ) + e^(−i2θ))/2 = ( (e^(iθ))² + (e^(−iθ))² )/2. Since e^(iθ) = cosθ + i sinθ, squaring and simplifying leads to cos²θ − sin²θ. Similarly, the double‑angle formula for sine follows.

这些关系可用来推导倍角恒等式。例如，cos(2θ) = (e^(i2θ) + e^(−i2θ))/2 = ( (e^(iθ))² + (e^(−iθ))² )/2。由于 e^(iθ) = cosθ + i sinθ，平方并化简即得 cos²θ − sin²θ。正弦的倍角公式同理可得。

Even more powerful, expressions like cos⁵θ can be expanded by writing cosθ as (e^(iθ)+e^(−iθ))/2, raising to the fifth power, and grouping exponentials to recover multiple‑angle cosine terms. This method is far quicker than repeated use of trigonometric addition formulas.

更强大的是，诸如 cos⁵θ 的表达式可以通过将 cosθ 写成 (e^(iθ)+e^(−iθ))/2，取其五次方，再归并指数项来化为多倍角余弦项。这比反复使用三角加法公式快得多。

9. Solving Equations and Finding Complex Roots | 解方程与求复根

Consider the equation z⁴ = 1 − i√3. First express the right‑hand side in Euler form. Modulus: √(1² + (−√3)²) = 2. Argument: tanθ = −√3/1 = −π/3 (since the point is in the fourth quadrant). Thus, 1 − i√3 = 2 e^(−iπ/3). Then z⁴ = 2 e^(i(−π/3 + 2kπ)), k ∈ ℤ.

考虑方程 z⁴ = 1 − i√3。首先将右端写成欧拉形式。模：√(1² + (−√3)²) = 2。辐角：tanθ = −√3/1 = −π/3（因为点在第四象限）。因此，1 − i√3 = 2 e^(−iπ/3)。于是 z⁴ = 2 e^(i(−π/3 + 2kπ))，k ∈ ℤ。

Taking the fourth root gives z_k = 2^(1/4) e^(i(−π/3 + 2kπ)/4), for k = 0, 1, 2, 3. The four distinct roots lie on a circle of radius 2^(1/4) and are separated by an angle of π/2. Each can be converted back to Cartesian form if needed.

求四次方根得 z_k = 2^(1/4) e^(i(−π/3 + 2kπ)/4)，k = 0, 1, 2, 3。四个不同的根位于半径为 2^(1/4) 的圆周上，相互间隔 π/2 角。必要时可将每个根转回直角坐标形式。

This approach works for any equation of the type zⁿ = w, where w is a complex constant. Euler’s form reveals all roots systematically and clarifies their symmetry.

这种方法适用于任何形如 zⁿ = w 的方程，其中 w 为复数常量。欧拉形式系统地揭示所有根，并阐明其对称性。

10. Key Takeaways and Further Exploration | 要点总结与进一步探究

Euler’s form e^(iθ) = cosθ + i sinθ transforms complex number arithmetic into simple algebra of exponents. It provides a unified framework for powers, roots, trigonometric identities, and calculus involving complex exponentials. The identity e^(iπ) + 1 = 0 remains a hallmark of mathematical beauty.

欧拉形式 e^(iθ) = cosθ + i sinθ 将复数运算转化为简单的指数代数。它为乘方、开方、三角恒等式以及涉及复指数的微积分提供了统一框架。恒等式 e^(iπ) + 1 = 0 始终是数学美的标志。

Further exploration can extend to complex logarithms, where ln(z) = ln|z| + i arg(z); to solving differential equations using complex exponentials; and to studying conformal mappings via the exponential function. In IB investigations, students might explore the periodicity of e^(iθ), the concept of principal values, and the connection to hyperbolic functions via sin(iθ) = i sinhθ.

进一步探究可扩展到复对数，即 ln(z) = ln|z| + i arg(z)；利用复指数求解微分方程；以及通过指数函数研究共形映射。在 IB 探究中，学生可以探讨 e^(iθ) 的周期性、主值的概念，以及通过关系式 sin(iθ) = i sinhθ 联系双曲函数。

Mastery of Euler’s form equips you with a powerful lens to view seemingly disparate topics as part of one elegant structure.

掌握欧拉形式为你提供一个强大的视角，将看似毫不相关的主题视为一个优美结构的组成部分。

Published by TutorHao | Mathematics Revision Series | aleveler.com

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

Investigation 3 – Euler’s Form | 探究三：欧拉形式