📚 PDF资源导航

Euler’s Identity: The Most Beautiful Equation in Mathematics | 欧拉恒等式:数学中最优美的方程

📚 Euler’s Identity: The Most Beautiful Equation in Mathematics | 欧拉恒等式:数学中最优美的方程

Euler’s identity is often described as the most beautiful equation in mathematics. It links five of the most important numbers – 0, 1, e, i and π – in a single, surprising statement: e^(iπ) + 1 = 0. For AQA A-Level Mathematics, the identity is the natural endpoint of work on complex numbers, polar form and Maclaurin series.

欧拉恒等式常被称为数学中最优美的方程。它把五个最重要的数——0、1、e、i 和 π——联系在一个令人惊叹的式子中:e^(iπ)+1=0。对 AQA A-Level 数学而言,这个恒等式是复数、极坐标形式和麦克劳林级数内容的自然终点。


1. What is Euler’s Identity? | 什么是欧拉恒等式

Euler’s identity states that e^(iπ) + 1 = 0. It follows directly from Euler’s formula, e^(iθ) = cos θ + i sin θ, by letting θ = π. The identity is remarkable because it combines exponentiation, complex numbers and trigonometry in one short equation.

欧拉恒等式指出 e^(iπ)+1=0。它直接来自欧拉公式 e^(iθ)=cos θ + i sin θ,令 θ=π 即可得到。这个恒等式之所以引人注目,是因为它把指数运算、复数和三角函数结合在一个简短的方程中。

e^(iπ) + 1 = 0

At A-Level, you are not expected to accept this as magic. You should be able to derive it from the Maclaurin expansions of e^x, sin x and cos x, or by using the polar form of a complex number.

在 A-Level 阶段,你不应把它当作魔术来接受。你应该能够从 e^x、sin x 和 cos x 的麦克劳林展开式,或使用复数的极坐标形式推导出它。


2. From Complex Numbers to Polar Form | 从复数到极坐标形式

Any complex number can be written in Cartesian form as z = x + iy. On an Argand diagram, the point (x, y) has a distance r from the origin and an angle θ from the positive real axis. The polar form is therefore z = r(cos θ + i sin θ).

任何复数都可以写成笛卡儿形式 z = x + iy。在 Argand 图上,点 (x, y) 到原点的距离为 r,与正实轴的夹角为 θ。因此极坐标形式为 z = r(cos θ + i sin θ)。

r = √(x² + y²),  tan θ = y/x

The angle θ is called the argument of z and is usually written as arg z. The argument must be measured in radians. This polar form is essential because it gives a geometric meaning to multiplication of complex numbers.

角 θ 称为 z 的辐角,通常写作 arg z。辐角必须以弧度为单位。极坐标形式之所以重要,是因为它赋予了复数乘法一个几何意义。


3. The Exponential Form of a Complex Number | 复数的指数形式

Euler’s formula allows the polar form to be written much more compactly. If z = r(cos θ + i sin θ), then z can also be written as z = re^(iθ). This is called the exponential form of a complex number.

欧拉公式使极坐标形式可以写得更紧凑。如果 z = r(cos θ + i sin θ),那么 z 也可以写成 z = re^(iθ)。这称为复数的指数形式。

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

In this form, multiplication and division of complex numbers follow the usual laws of indices. If z₁ = r₁e^(iθ₁) and z₂ = r₂e^(iθ₂), then z₁z₂ = r₁r₂ e^(i(θ₁+θ₂)). You multiply the moduli and add the arguments.

在这种形式下,复数的乘法和除法遵循通常的指数律。如果 z₁ = r₁e^(iθ₁) 且 z₂ = r₂e^(iθ₂),那么 z₁z₂ = r₁r₂ e^(i(θ₁+θ₂))。模相乘,辐角相加。


4. Euler’s Formula: Proof by Maclaurin Series | 欧拉公式:麦克劳林级数证明

The AQA specification expects you to know the Maclaurin series for e^x, sin x and cos x. These series are given below.

AQA 考纲要求你掌握 e^x、sin x 和 cos x 的麦克劳林级数。这些级数如下所示。

e^x = 1 + x + x²/2! + x³/3! + x⁴/4! + …

sin x = x – x³/3! + x⁵/5! – …

cos x = 1 – x²/2! + x⁴/4! – …

If we replace x by iθ in the expansion of e^x, we obtain e^(iθ) = 1 + iθ + (iθ)²/2! + (iθ)³/3! + (iθ)⁴/4! + … . Since i² = -1, i³ = -i and i⁴ = 1, the terms simplify to a real part and an imaginary part.

如果我们在 e^x 的展开式中将 x 替换为 iθ,就得到 e^(iθ) = 1 + iθ + (iθ)²/2! + (iθ)³/3! + (iθ)⁴/4! + …。由于 i² = -1,i³ = -i,i⁴ = 1,这些项化简为一个实部和一个虚部。

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

The real part is exactly the Maclaurin series for cos θ, and the imaginary part is exactly the series for sin θ. Therefore e^(iθ) = cos θ + i sin θ. This proof is a standard A-Level justification of Euler’s formula.

实部正是 cos θ 的麦克劳林级数,虚部正是 sin θ 的级数。因此 e^(iθ) = cos θ + i sin θ。这个证明是 A-Level 对欧拉公式的标准论证。


5. Understanding e^(iπ): Rotation by π Radians | 理解 e^(iπ):旋转 π 弧度

Now let θ = π in Euler’s formula. Since cos π = -1 and sin π = 0, we get e^(iπ) = -1 + i(0) = -1. Adding 1 to both sides gives Euler’s identity e^(iπ) + 1 = 0.

现在令欧拉公式中的 θ=π。由于 cos π = -1 且 sin π = 0,我们得到 e^(iπ) = -1 + i(0) = -1。两边加 1 就得到欧拉恒等式 e^(iπ)+1=0。

e^(iπ) = cos π + i sin π = -1

Geometrically, multiplying a complex number by e^(iπ) rotates it by π radians, which is 180 degrees. This maps any complex number z to -z. The identity therefore represents a half-turn around the origin on the Argand diagram.

从几何上看,将一个复数乘以 e^(iπ) 会使其旋转 π 弧度,即 180 度。这会把任何复数 z 映射到 -z。因此该恒等式表示 Argand 图上绕原点的一个半圈旋转。


6. The Five Fundamental Constants | 五个基本常数

Euler’s identity contains five of the most important constants in mathematics. The number 0 is the additive identity; 1 is the multiplicative identity; e is the base of natural logarithms; i is the imaginary unit satisfying i² = -1; and π is the ratio of a circle’s circumference to its diameter.

欧拉恒等式包含数学中五个最重要的常数。数 0 是加法单位元;1 是乘法单位元;e 是自然对数的底;i 是满足 i² = -1 的虚数单位;π 是圆周长与直径之比。

e^(iπ) + 1 = 0

What makes the identity so elegant is that it uses only addition, multiplication, exponentiation and equality. It links algebra, geometry and analysis in one line. Many mathematicians regard it as a symbol of deep unity in mathematics.

这个恒等式之所以如此优雅,是因为它只用到了加法、乘法、指数和等号。它在一行中将代数、几何与分析联系在一起。许多数学家将其视为数学深刻统一性的象征。


7. Deriving Euler’s Identity Step by Step | 逐步推导欧拉恒等式

For exam success, it is useful to learn a clear step-by-step derivation. Begin with Euler’s formula, substitute θ = π, evaluate the trigonometric functions, and rearrange.

为了考试成功,掌握一个清晰的分步推导很有帮助。从欧拉公式开始,代入 θ=π,计算三角函数值,然后移项。

  • Step 1: Start with Euler’s formula. | 第一步:从欧拉公式开始。
  • Step 2: Let θ = π. | 第二步:令 θ=π。
  • Step 3: Use cos π = -1 and sin π = 0. | 第三步:使用 cos π = -1 和 sin π = 0。
  • Step 4: Simplify to get e^(iπ) = -1. | 第四步:化简得到 e^(iπ) = -1。
  • Step 5: Add 1 to both sides. | 第五步:两边同时加 1。

e^(iπ) + 1 = 0

You should also be able to work backwards from the identity to find values such as e^(iπ/2) = i and e^(2πi) = 1. These follow in exactly the same way from cos(π/2) = 0, sin(π/2) = 1, cos(2π) = 1 and sin(2π) = 0.

你还应该能够从该恒等式反推出其他值,例如 e^(iπ/2)=i 和 e^(2πi)=1。它们完全按照同样的方式由 cos(π/2)=0、sin(π/2)=1、cos(2π)=1 和 sin(2π)=0 得到。


8. De Moivre’s Theorem and Euler’s Formula | 德莫弗定理与欧拉公式

De Moivre’s theorem states that (cos θ + i sin θ)^n = cos(nθ) + i sin(nθ) for any integer n. Using the exponential form, this theorem becomes very easy to understand: (e^(iθ))^n = e^(inθ).

德莫弗定理指出,对于任何整数 n,有 (cos θ + i sin θ)^n = cos(nθ) + i sin(nθ)。使用指数形式后,这个定理变得非常容易理解:(e^(iθ))^n = e^(inθ)。

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

This connection is frequently examined in AQA papers. You may be asked to prove a trigonometric identity or simplify a complex expression such as (1+i√3)^6 by first converting to exponential form.

这种联系在 AQA 试卷中经常考查。你可能需要证明某个三角恒等式,或者先将 (1+i√3)^6 这样的复数表达式转换为指数形式后再化简。


9. Geometric Interpretation on the Argand Diagram | Argand 图上的几何解释

On the Argand diagram, e^(iθ) represents a point on the unit circle at an angle θ from the positive real axis. Multiplying by e^(iπ) rotates a complex number by π radians, reflecting it through the origin.

在 Argand 图上,e^(iθ) 表示单位圆上与正实轴夹角为 θ 的点。乘以 e^(iπ) 会将复数旋转 π 弧度,即关于原点作中心对称。

Expression Geometric effect
e^(iπ/2) Rotate by 90° anticlockwise
e^(iπ) Rotate by 180°
e^(2πi) Full turn, back to the same point

This geometric view helps explain why e^(iπ) + 1 = 0 is really a statement about return, reflection and circular motion. It also makes results such as e^(2πi) = 1 intuitive.

这种几何观点有助于解释为什么 e^(iπ)+1=0 实际上是一个关于回归、对称和圆周运动的陈述。它也使得 e^(2πi)=1 等结果变得直观。


10. Applications and Why It Matters | 应用及重要性

Euler’s identity is not just elegant; it is useful. In AQA problems, the exponential form simplifies raising complex numbers to powers, finding roots, and solving equations involving cos nθ and sin nθ.

欧拉恒等式不仅优雅,而且实用。在 AQA 试题中,指数形式可以简化复数的乘方、求根以及涉及 cos nθ 和 sin nθ 的方程求解。

Beyond A-Level, Euler’s formula underpins Fourier analysis, alternating current theory, quantum mechanics and signal processing. Understanding it now gives you a strong foundation for further study in mathematics, physics and engineering.

在 A-Level 之外,欧拉公式还是傅里叶分析、交流电理论、量子力学和信号处理的基础。现在理解它,将为你未来在数学、物理和工程领域的学习打下坚实基础。


11. Common Exam Mistakes and How to Avoid Them | 常见考试错误与避免方法

One common error is writing e^(iπ) = i or e^(iπ) = π. Remember that e^(iπ) is a complex number with real part -1 and imaginary part 0, so e^(iπ) = -1 exactly.

一个常见错误是把 e^(iπ) 写成 i 或 π。请记住,e^(iπ) 是一个实部为 -1、虚部为 0 的复数,所以 e^(iπ) 恰好等于 -1。

  • Always use radians for θ, not degrees. | θ 必须始终使用弧度,而不是角度。
  • Do not forget that i² = -1 when simplifying series. | 化简级数时不要忘记 i² = -1。
  • De Moivre’s theorem in its basic form requires an integer n. | 德莫弗定理的基本形式要求 n 为整数。
  • Check that the modulus r is non-negative. | 检查模 r 是否为非负数。

In proof questions, show every step and justify the grouping of real and imaginary parts. A clear structure earns method marks even if a small slip occurs later.

在证明题中,要展示每一步,并说明实部和虚部分组的原因。清晰的步骤结构即使后面出现小错误,也能获得方法分。


12. Worked Example and Practice | 例题与练习

Worked example: Express (1 + i√3)^6 in the form a + bi. First write z = 1 + i√3 in exponential form. Its modulus is r = √(1² + (√3)²) = √4 = 2. Its argument is θ = π/3 because tan θ = √3 and z lies in the first quadrant.

例题:将 (1+i√3)^6 表示为 a+bi 的形式。首先把 z = 1 + i√3 写成指数形式。其模为 r = √(1²+(√3)²) = √4 = 2。其辐角为 θ = π/3,因为 tan θ = √3 且 z 位于第一象限。

z = 2e^(iπ/3)

Raise both sides to the power 6: z^6 = 2^6 e^(6 × iπ/3) = 64 e^(i2π). Since e^(i2π) = cos 2π + i sin 2π = 1, we get z^6 = 64. Therefore (1 + i√3)^6 = 64 + 0i.

将两边同时 6 次方:z^6 = 2^6 e^(6 × iπ/3) = 64 e^(i2π)。由于 e^(i2π) = cos 2π + i sin 2π = 1,我们得到 z^6 = 64。因此 (1+i√3)^6 = 64 + 0i。

Practice: Show that e^(iπ/2) = i, verify that (e^(iπ/4))^4 = -1, and use the Maclaurin series to confirm the first four terms of e^(iθ).

练习:证明 e^(iπ/2)=i,验证 (e^(iπ/4))^4 = -1,并使用麦克劳林级数确认 e^(iθ) 的前四项。


Published by TutorHao | Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022(同微信)

Comments

屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导,国外大学本科硕士研究生博士课程论文辅导

Turn on JavaScript to leave a comment.

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Discover more from aleveler.com

Subscribe now to keep reading and get access to the full archive.

Continue reading

Exit mobile version