# 复数基础

> IB 数学：分析与方法 HL · 数与代数
> 来源: https://www.owlsprep.com/zh/study/ib-math-aa-hl-u1-complex-numbers-fundamentals/

本子主题介绍复数的核心定义、符号和表示方法，涵盖基础运算、直角坐标/极坐标形式和几何解释，是所有高阶复数内容的基础。

**先修:** [二次方程和判别式](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u1-quadratic-discriminants/); 基础三角学和坐标几何

## 学习目标

- 定义虚数单位和复数的核心性质
- 在复数的直角坐标形式和极坐标形式之间转换
- 在阿根图上表示复数
- 计算任意复数的模和主辐角
- 对直角坐标形式的复数进行基础加法和乘法运算

## 核心定义与直角坐标形式

**复数（直角坐标形式）** — 由实部$a = \text{Re}(z)$和虚部$b = \text{Im}(z)$组成的数，满足$i^2 = -1$，其中$a,b$均为实数。

*记法:* $z = a + bi$

*例:* 对于$z = 3 - 2i$，$\text{Re}(z) = 3$，$\text{Im}(z) = -2$（不是$-2i$）。

直角坐标形式下复数的基础运算遵循标准代数规则，只有一个关键调整：化简时将所有$i^2$替换为$-1$。

1. 加法：$(a+bi) + (c+di) = (a+c) + (b+d)i$，分别将实部和虚部相加
2. 减法：$(a+bi) - (c+di) = (a-c) + (b-d)i$，结构与加法相同
3. Multiplication: Expand like a binomial product, substitute $i^2 = -1$, then group terms

**例题:** 已知$z_1 = 4 + 2i$，$z_2 = 1 - 3i$，计算(a) $z_1 + z_2$，(b) $z_1 z_2$。

1. 加法中，将实部和虚部分别合并：
2. $$z_1 + z_2 = (4 + 1) + (2 + (-3))i = 5 - i$$
3. 乘法中，展开二项式乘积：
4. $$(4 + 2i)(1 - 3i) = 4(1) + 4(-3i) + 2i(1) + 2i(-3i) = 4 - 12i + 2i - 6i^2$$
5. 代入$i^2 = -1$并化简：
6. $$= 4 - 10i - 6(-1) = 10 - 10i$$

## 几何表示：阿根图

任意复数都可以表示在一个名为阿根图（或复平面）的特殊坐标平面上，对应一个点或位置向量。

**阿根图** — 一个坐标平面，横轴为实轴（对应$\text{Re}(z)$），纵轴为虚轴（对应$\text{Im}(z)$）。复数$z = a + bi$对应点$(a, b)$。

> **info**
>
> 阿根图上复数的加法遵循向量加法的平行四边形法则，和实数向量加法一致。

**例题:** 在阿根图上画出$z_1 = 3 + i$，$z_2 = -2 - 2i$和$z_1 + z_2$，验证加法符合向量加法规则。

1. 首先确定每个点的坐标：$z_1 = (3,1)$，$z_2 = (-2,-2)$
2. 计算和得到它的坐标：
3. $$z_1 + z_2 = (3-2) + (1-2)i = 1 - i \rightarrow (1, -1)$$
4. 当画图后，点$(1,-1)$是两个位置向量的合向量，符合向量加法的平行四边形法则。

## 模与主辐角

复数的极坐标形式由两个关键属性定义：模（到原点的距离）和辐角（与正实轴的夹角）。

**模与主辐角** — 对于$z = a + bi$，模$|z| = \sqrt{a^2 + b^2}$是到原点的距离。主辐角$\arg(z)$是从正实轴逆时针测量的角度，IB规定其范围为$-\pi < \arg(z) \leq \pi$。

*记法:* $|z|$, $\arg(z)$

> **warning**
>
> 计算辐角前一定要先确定复数所在的象限。$\arctan$函数的输出范围仅在$-\frac{\pi}{2}$到$\frac{\pi}{2}$之间，因此第二和第三象限的辐角需要调整。

**例题:** 求$z = -1 + \sqrt{3}i$的模和主辐角。

1. 用勾股定理计算模：
2. $$|z| = \sqrt{(-1)^2 + (\sqrt{3})^2} = \sqrt{1 + 3} = 2$$
3. 确定象限：$\text{Re}(z) < 0$，$\text{Im}(z) > 0$，因此$z$位于第二象限。计算参考角：
4. $$\tan \alpha = \left| \frac{\text{Im}(z)}{\text{Re}(z)} \right| = \left| \frac{\sqrt{3}}{-1} \right| = \sqrt{3} \implies \alpha = \frac{\pi}{3}$$
5. 调整角度得到第二象限的主辐角：
6. $$\arg(z) = \pi - \alpha = \pi - \frac{\pi}{3} = \frac{2\pi}{3}$$

## 极坐标（模-辐角）形式

利用阿根图上的直角三角学，我们可以将任意非零复数写成极坐标形式，这种形式相比直角坐标形式更适合乘法、除法和幂运算。

**复数的极坐标形式** — 对于模为$r = |z|$、主辐角为$\theta = \arg(z)$的任意非零复数，$z$可以写成$r(\cos \theta + i \sin \theta)$，其中对于$z = a + bi$，有$a = r \cos \theta$，$b = r \sin \theta$。

*记法:* $z = r(\cos \theta + i \sin \theta)$

**例题:** 将$z = 1 - i$从直角坐标形式转换为极坐标形式。

1. 首先计算模$r$：
2. $$r = |z| = \sqrt{1^2 + (-1)^2} = \sqrt{2}$$
3. 求主辐角$\theta$：$z$位于第四象限，因此：
4. $$\tan \theta = \frac{-1}{1} = -1 \implies \theta = -\frac{\pi}{4}$$
5. 写出最终的极坐标形式：
6. $$z = \sqrt{2} \left( \cos \left(-\frac{\pi}{4}\right) + i \sin \left(-\frac{\pi}{4}\right) \right)$$

## 常见错误

- **错误做法:** 对于$z = a + bi$，认为$\text{Im}(z) = bi$，而非仅$b$。
  - 原因: 虚部定义为$i$的实系数，它本身不包含$i$。
  - 正确做法: 对于$z = 5 - 3i$，$\text{Im}(z) = -3$，不是$-3i$。
- **错误做法:** 直接写$\arg(z) = \arctan\left(\frac{b}{a}\right)$，没有根据象限调整。
  - 原因: 反正切函数仅返回$-\frac{\pi}{2}$到$\frac{\pi}{2}$之间的值，因此对于第二和第三象限结果错误。
  - 正确做法: 先求参考角，再根据$z$所在象限调整得到正确的主辐角。
- **错误做法:** 对于正实数$a,b$，化简得到$\sqrt{-a} \times \sqrt{-b} = \sqrt{ab}$。
  - 原因: 平方根恒等式$\sqrt{x} \sqrt{y} = \sqrt{xy}$仅对非负实数$x,y$成立。
  - 正确做法: 先改写$\sqrt{-a} = i\sqrt{a}$，$\sqrt{-b} = i\sqrt{b}$，再相乘得到$-\sqrt{ab}$。
- **错误做法:** 主辐角使用范围$0 \leq \arg(z) < 2\pi$。
  - 原因: 除非另有说明，IB AA HL大纲要求主辐角在$-\pi < \arg(z) \leq \pi$范围内。
  - 正确做法: 将大于$\pi$的角度减去$2\pi$，使其落入主值范围。
- **错误做法:** 将模计算为$\sqrt{a^2 - b^2}$而非平方和。
  - 原因: 混淆了勾股定理和平方差公式。
  - 正确做法: 模是到原点的距离，因此始终使用$|z| = \sqrt{a^2 + b^2}$。

## 速查表

| 概念 | 公式/规则 |
| --- | --- |
| 直角坐标形式 | $z = a + bi$, $\text{Re}(z)=a$, $\text{Im}(z)=b$, $i^2=-1$ |
| 模 | $\|z\| = \sqrt{a^2 + b^2}$ |
| 主辐角范围 | $-\pi < \arg(z) \leq \pi$ |
| 加法 | $(a+bi)+(c+di) = (a+c)+(b+d)i$ |
| 乘法 | $(a+bi)(c+di) = (ac-bd)+(ad+bc)i$ |
| 极坐标形式 | $z = r(\cos\theta + i\sin\theta)$, $r=\|z\|$, $\theta = \arg(z)$ |
| 阿根图坐标 | $z=a+bi \leftrightarrow (a, b)$ |

## 下一步

扎实掌握复数基础是IB AA HL后续所有复数主题的要求，从极坐标形式的复数乘法到棣莫弗定理和求复数根都离不开它。它也是多项式的复共轭根定理的基础，而这是考试中常见的考点。这里建立的复数几何直觉会帮助你理解复数乘法的旋转和缩放性质，这在拓展回答题中经常出现。

- [复数的极坐标形式与指数形式](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u1-polar-and-exponential-form-of/)
- [棣莫弗定理](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u1-de-moivre-s-theorem/)

---

来自 [OwlsPrep](https://www.owlsprep.com) —— A-Level / IB / AP / IGCSE 免费学习指南，依据官方考纲编写。原页面：https://www.owlsprep.com/zh/study/ib-math-aa-hl-u1-complex-numbers-fundamentals/
