# 讲义 27：复数

> 配套 demo：[`viz/math/27-complex-numbers.html`](../../viz/math/27-complex-numbers.html)

## 适用学段
**高中（必修第二册"复数"）**。代数与几何的桥梁。

## 教学目标
- 知道：复数的代数式 a + bi、虚单位 i、复数平面
- 会：复数四则运算；几何意义（旋转 + 缩放）
- 理解：复数是为了让"x² + 1 = 0"等方程有解而引入的数集扩展

## 核心概念

### 1. 数集的扩展史
$$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$$

每一次扩展都是为了解决"上一级数集不能解决的问题"：
- ℕ → ℤ：让减法封闭（3 - 5）
- ℤ → ℚ：让除法封闭（3 ÷ 5）
- ℚ → ℝ：让开方在正数域封闭（√2）
- ℝ → ℂ：让开方在负数域封闭（√-1）

### 2. 虚单位 i
**定义**：i² = -1，即 √-1 = i。

由此：√-9 = 3i，√-4 = 2i 等。

### 3. 复数的代数式
形如 **z = a + bi**（a, b 为实数）的数。
- **实部** Re(z) = a
- **虚部** Im(z) = b
- b = 0 时退化为实数；a = 0 时为纯虚数

### 4. 复数运算

| 运算 | 公式 |
|------|------|
| 加 | (a + bi) + (c + di) = (a + c) + (b + d)i |
| 减 | (a + bi) − (c + di) = (a − c) + (b − d)i |
| 乘 | (a + bi)(c + di) = (ac − bd) + (ad + bc)i |
| 除 | (a + bi) / (c + di) = [(ac + bd) + (bc − ad)i] / (c² + d²) |
| 共轭 | $\bar{z}$ = a − bi（实部不变、虚部取反）|
| 模 | \|z\| = $\sqrt{a^2 + b^2}$ |

**乘法记忆**：
(a + bi)(c + di) 像普通展开，但要记 **i² = -1**。

**除法的核心技巧**：分母分子同乘共轭复数。

### 5. 复数的几何意义（复平面）
把 z = a + bi 对应到平面上的点 (a, b)，称作**复平面**或**高斯平面**：
- 横轴 = **实轴**（实数）
- 纵轴 = **虚轴**（纯虚数 bi）
- 点 (a, b) ↔ 复数 a + bi

### 6. 复数的三角形式（极坐标）
设 z = a + bi，r = |z|，θ 是从正实轴到 OZ 的角（**幅角**）。
$$z = r(\cos\theta + i\sin\theta)$$

### 7. 复数乘法的几何意义（关键！）
两个复数相乘，相当于：
- **模相乘**：|z₁ z₂| = |z₁| × |z₂|
- **幅角相加**：arg(z₁ z₂) = arg(z₁) + arg(z₂)

> **复数乘法 = 缩放 + 旋转**

**例**：乘 i 相当于**逆时针旋转 90°**（因为 |i| = 1, arg(i) = 90°）。
- 1 × i = i（实数 1 → 虚数 i，逆时针 90°）
- i × i = -1（虚数 i → 负实数 -1，再 90°）
- -1 × i = -i（再 90°）
- -i × i = 1（再 90°，回到起点）

### 8. 棣莫弗公式（拓展）
$$[r(\cos\theta + i\sin\theta)]^n = r^n(\cos n\theta + i\sin n\theta)$$

### 9. 应用
- 物理：交流电分析、量子力学
- 信号处理：傅里叶变换、相位
- 工程：控制系统稳定性

## 教学路径

### 1. 导入
"x² + 1 = 0 有解吗？" → 引出"我们需要扩展数集"。

### 2. 探究（demo）
- 复平面上拖动点 z，看代数式 a + bi 同步
- 演示乘 i 的旋转效果
- 演示模与幅角

### 3. 抽象
- 代数式 a + bi + 几何点 (a, b)
- 乘法 = 缩放 + 旋转

### 4. 巩固
- 四则运算练习
- 几何变换理解

## 例题

### 基础题
1. (3 + 2i) + (1 - 4i) = ?
   - = **4 - 2i**

2. 计算 (1 + i)(1 - i)。
   - = 1 - i² = 1 - (-1) = **2**

### 进阶题
3. **共轭运算**：求 z = 3 + 4i 的共轭和模。
   - $\bar{z}$ = 3 - 4i
   - |z| = √(9 + 16) = **5**

4. **除法**：(2 + 3i) / (1 + i) = ?
   - 分子分母同乘 (1 - i)
   - 分子 = (2 + 3i)(1 - i) = 2 - 2i + 3i - 3i² = 2 + i + 3 = 5 + i
   - 分母 = (1 + i)(1 - i) = 1 - i² = 2
   - 结果 = **(5 + i) / 2 = 2.5 + 0.5i**

### 拓展
5. **乘 i 旋转**：z = 3 + 4i，求 zi 和 -z。
   - zi = (3 + 4i) × i = 3i + 4i² = **-4 + 3i**（点 (3,4) 逆时针 90° 后到 (-4, 3)）
   - -z = -3 - 4i（点 (3,4) 旋转 180° 到 (-3, -4)）

6. **棣莫弗**：求 (1 + i)⁸。
   - 1 + i = √2(cos 45° + i sin 45°)
   - 八次方：(√2)⁸ × (cos 360° + i sin 360°) = 16 × 1 = **16**

## 易错点

| 错误 | 矫正 |
|------|------|
| i² = 1 | i² = **-1** |
| (a + bi)² = a² + b²i² | (a + bi)² = a² + 2abi + b²i² = (a² - b²) + 2abi |
| √-9 = -3 | √-9 = **3i**（虚数）|
| 复数大小用 a + b | 用模 |z| = √(a² + b²) |

## 配套 demo 用法
- 复平面上拖动点 z = a + bi
- 实时显示模、幅角、共轭、各种运算结果
- 乘 i 旋转动画演示