📚 Investigation 1 - Properties of Conjugates | 探究一：共轭的性质
Complex conjugates form a fundamental concept in IB Mathematics, particularly within the topic of complex numbers. Understanding their properties is essential for simplifying expressions, solving equations, and grasping the geometric interpretation of complex numbers. This investigation explores the definition, algebraic properties, geometric significance, and applications of conjugates, providing a solid foundation for further study in Analysis and Approaches or Applications and Interpretation.
复数共轭是 IB 数学中一个基本概念，尤其在复数专题中。理解共轭的性质对于简化表达式、解方程以及掌握复数的几何意义至关重要。本探究将探讨共轭的定义、代数性质、几何意义及其应用，为 AA 或 AI 课程的进一步学习奠定坚实基础。
1. Introduction to Complex Conjugates | 复数共轭简介
a and b real numbers. The complex conjugate arises naturally when we reflect a complex number across the real axis or when we wish to eliminate the imaginary part from certain expressions. It lies at the heart of many algebraic and geometric manipulations in the complex plane.
复数通过引入虚数单位 i (i² = −1) 扩展了实数系。每一个复数都可以写成 z = a + bi 的形式，其中 a 和 b 为实数。当我们把复数关于实轴反射，或者需要从某些表达式中消去虚部时，共轭复数就会自然出现。它在复平面上的代数与几何处理中处于核心地位。
2. Definition and Notation | 定义与符号表示
Given a complex number z = a + bi, where a, b ∈ ℝ bi. In IB Mathematics the asterisk notation z* is most common, although the bar notation z̄ ugate simply changes the sign of the imaginary part while leaving the real part unchanged.
给定复数 z = a + bi，其中 a, b ∈ ℝ，它的共轭复数定义为 z* = a − bi。在 IB 数学中最常用星号记号 z*，尽管上划线记号 z̄ 也广泛使用。共轭仅仅改变虚部的正负号，而保持实部不变。
z* = z. For a purely imaginary number (a = 0), the conjugate is its negative: (bi)* = −bi.
对于纯实数 (b = 0)，共轭就是它本身：z* = z。对于纯虚数 (a = 0)，共轭是其相反数：(bi)* = −bi。
3. Basic Algebraic Properties | 基本代数性质
Double conjugate: mber. If z = a + bi, then z* = a − bi, and (z*)* = a − (−b)i = a + bi = z. Thus (z*)* = z.
双重共轭： 连续取两次共轭得到原复数。若 z = a + bi，则 z* = a − bi，而 (z*)* = a − (−b)i = a + bi = z。因此 (z*)* = z。
Sum of z and z*: i) + (a − bi) = 2a. The result is always a real number, equal to twice the real part of z.
z 与 z* 的和： z + z* = (a + bi) + (a − bi) = 2a。结果恒为实数，等于 z 的实部的两倍。
Difference z − z*: = 2bi. This produces a purely imaginary number, equal to 2i times the imaginary part of z.
差 z − z*： z − z* = (a + bi) − (a − bi) = 2bi。结果是一个纯虚数，等于 2i 乘以 z 的虚部。
Product z z*: z z* = (a + bi)(a − bi) = a² − (bi)² = a² + b². This important quantity is real and non‑negative; it is exactly the square of the modulus of z, denoted |z|².
积 z z*： z z* = (a + bi)(a − bi) = a² − (bi)² = a² + b²。这是一个非常重要的实数且非负，恰好等于 z 的模的平方，记作 |z|²。
4. Geometric Representation: Reflection in the Real Axis | 几何表示：关于实轴的反射
). The argument of z* is the negative of the argument of z: arg(z*) = −arg(z) (modulo 2π).
在阿尔冈图上，复数 z = a + bi 对应点 (a, b)。它的共轭 z* = a − bi 对应点 (a, −b)。因此，取共轭就是将点关于实轴（横轴）进行反射。z* 的辐角是 z 的辐角的相反数：arg(z*) = −arg(z)（模 2π）。
ample, since reflection preserves distance from the origin, the modulus remains unchanged: |z*| = |z| conjugate cancels the vertical components, leaving only twice the horizontal displacement.
这种几何观点让许多性质变得直观。例如，由于反射保持到原点的距离不变，模保持不变：|z*| = |z|。同样，将一个复数与其共轭相加会抵消垂直分量，只留下两倍的水平位移。
5. Conjugates and the Modulus | 共轭与复数的模
The modulus of a complex number z = a + bi is defined as |z| = √a² + b². From the product z z* = a² + b² we obtain the crucial identity |z| o express the modulus in terms of the number and its conjugate, and to simplify quotients.
复数 z = a + bi 的模定义为 |z| = √a² + b²。由乘积 z z* = a² + b² 我们得到关键恒等式 |z|² = z z*。这一关系式常用于用复数及其共轭表示模，并简化商。
Moreover, conjugation and modulus interact nicely: |z*| = |z|, and the modulus of a product equals the product of moduli: |z₁ z₂| = |z₁||z₂|. Using the identity |z| z z*, this can be proved together with the product rule for conjugates (discussed later).
此外，共轭与模的交互也很和谐：|z*| = |z|，且积的模等于模的积：|z₁ z₂| = |z₁||z₂|。利用恒等式 |z|² = z z*，可以结合共轭的乘积法则（稍后讨论）一起证明。
6. Conjugates in Solving Quadratic Equations | 解二次方程中的共轭应用
Consider a quadratic equation with real coefficients: ax² + bx + c = 0 (a, b, c ∈ ℝ, a ≠ 0). Its discriminant is Δ = b² − 4ac. When Δ < 0, the roots are complex and non‑real. They can be written as (−b ± i√|Δ|) / (2a), which are a conjugate pair: if one root is α + βi, the other is α − βi.
考虑实系数的二次方程：ax² + bx + c = 0 (a, b, c ∈ ℝ, a ≠ 0)。其判别式为 Δ = b² − 4ac。当 Δ < 0 时，根为复数且非实数。它们可写成 (−b ± i√|Δ|) / (2a)，构成一对共轭复数：若一个根是 α + βi，则另一个根是 α − βi。
For example, the equation x² − 4x + 13 = 0 gives roots (4 ± √−36 3i are conjugates. This demonstrates that a real quadratic with a negative discriminant inevitably yields conjugate roots, a property that extends to higher‑degree polynomials with real coefficients.
例如，方程 x² − 4x + 13 = 0 的根为 (4 ± √−36) / 2 = (4 ± 6i)/2 = 2 ± 3i。其中 2 + 3i 与 2 − 3i 互为共轭。这说明判别式为负的实系数二次方程必然产生共轭复根，这一性质还可推广到更高次的实系数多项式。
7. Division of Complex Numbers Using Conjugates | 利用共轭进行复数除法
To divide two complex numbers, we multiply numerator and denominator by the conjugate of the denominator to make the denominator real. Given (a + bi) / (c + di), the conjugate of the denominator is c − di. Then
)/(c + di) = ((a + bi)(c − di)) / ((c + di)(c − di)) = (ac + bd) + (bc − ad)i / (c² + d²).
进行复数除法时，我们将分子与分母同乘以分母的共轭，使分母实数化。对于 (a + bi) / (c + di)，分母的共轭为 c − di。于是
i)/(c + di) = ((a + bi)(c − di)) / ((c + di)(c − di)) = (ac + bd) + (bc − ad)i / (c² + d²)。
This technique is essential because it expresses the quotient in the standard form x + yi. The denominator c² + d² is the square of the modulus of c + di, a real number. Without conjugates, division would be cumbersome.
这一技巧至关重要，因为它将商表为标准形式 x + yi。分母 c² + d² 是 c + di 的模的平方，是一个实数。若没有共轭，除法将十分繁琐。
8. Conjugates of Sums, Products, and Powers | 和、积与幂的共轭
. This follows immediately from the distributive property of sign change on imaginary parts.
和的共轭等于共轭的和：(z₁ + z₂)* = z₁* + z₂*。这由虚部变号的可分配性直接得出。
bc)i. Meanwhile, z₁* z₂* = (a − bi)(c − di) = (ac − bd) − (ad + bc)i, confirming the rule.
积的共轭等于共轭的积：(z₁ z₂)* = z₁* z₂*。令 z₁ = a + bi, z₂ = c + di，则 z₁ z₂ = (ac − bd) + (ad + bc)i。其共轭为 (ac − bd) − (ad + bc)i。同时，z₁* z₂* = (a − bi)(c − di) = (ac − bd) − (ad + bc)i，证实了这一法则。
ⁿ. This holds for positive and negative integers, provided z ≠ 0 for negative exponents. It is particularly useful when combined with De Moivre's theorem.
反复应用可得幂的法则：对任意整数 n，有 (zⁿ)* = (z*)ⁿ。这对正整数和负整数均成立（负指数时要求 z ≠ 0）。与棣莫弗定理结合时，该法则尤其有用。
9. Roots of Polynomials with Real Coefficients | 实系数多项式的共轭根
jugation distributes over addition and multiplication, and real coefficients are unchanged.
若多项式 P(x) 具有实系数，且复数 z 是一个根 (P(z) = 0)，则其共轭 z* 也是一个根。这是因为对 P(z) = 0 两边取共轭可得 P(z*) = 0，原因在于共轭对加法和乘法具有分配性，且实系数在共轭下保持不变。
Consequently, non‑ x² + 2 = 0, then 1 − i is also a root, and the remaining real root can be found by division.
因此，实系数多项式的非实数根必定成对出现，互为共轭。一个实系数三次多项式要么有三个实根，要么有一个实根和一对共轭复根。这一事实有助于因式分解，并在已知一个复根时找出所有根
Published by TutorHao | IB Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图