昆仑山:眼中无形心中有穴之穴人合一

夫君子之行，静以修身，俭以养德；非澹泊无以明志，非宁静无以致远。夫学须静也，才须学也；非学无以广才，非志无以成学。怠慢则不能励精，险躁则不能冶性。年与时驰，意与岁去，遂成枯落，多不接世。悲守穷庐，将复何及！

 

ch01复数基础知识

复数基础知识点详解与推导证明

作为深耕数学领域60余年的研究员，我将从起源背景、预备数学基础、复数核心定义与运算、性质证明四个维度，逐层拆解这份讲义的全部知识点，保证推导严谨、讲解透彻，最后用结构化表格完成全知识点归纳。

一、复数的起源与引入背景

复数的诞生，本质是为了解决实数域内无解的代数方程问题，核心起源于一元二次方程的求根：
对于一元二次方程 \(ax^2 + bx + c = 0\)（\(a\neq0\)），其求根公式为：

\[x = \frac{-b \pm \sqrt{b^2-4ac}}{2a} \]

当判别式 \(\Delta = b^2-4ac < 0\) 时，实数范围内不存在“平方为负数”的数，求根公式失去意义。

为了突破这一限制，数学家欧拉（Euler, 1707-1783）首次引入虚数单位 \(i\)，定义 \(i = \sqrt{-1}\)，满足核心性质 \(i^2 = -1\)，是方程 \(x^2+1=0\) 的根。

  • 此前我们熟知的、可以表示在数轴上的数，被命名为实数（Real Number）；
  • 形如 \(a+ib\)（\(a,b\) 为实数）的数，被命名为复数（Complex Number）。

早期 \(i\) 的引入仅停留在“实用工具”层面，缺乏严谨的逻辑基础，直到哈密顿（Hamilton）用有序实数对给出复数的算术定义、高斯（Gauss）给出复数的几何解释（复平面），复数才拥有了严格的数学根基，被数学界完全认可。

二、预备数学基础（后续推导的核心工具）

这部分是复数代数结构的前置知识，涵盖逻辑、集合、函数三大模块，是严谨数学推导的通用语言。

2.1 逻辑蕴含符号（单向与双向）

数学命题的推导，核心是“蕴含关系”，分为两类：

  1. 单向蕴含 \(\boldsymbol{P \Rightarrow Q}\)
    定义：若命题 \(P\) 为真，则命题 \(Q\) 一定为真，读作“\(P\) 蕴含 \(Q\)”，即“如果 \(P\)，那么 \(Q\)”。
    示例：\(ABCD\) 是平行四边形 \(\Rightarrow AB=CD\)（平行四边形的对边必然相等）。

  2. 双向等价 \(\boldsymbol{P \Leftrightarrow Q}\)
    定义：同时满足 \(P \Rightarrow Q\) 和 \(Q \Rightarrow P\)，即 \(P\) 和 \(Q\) 互为充分必要条件，读作“\(P\) 当且仅当 \(Q\)”，也可表述为“\(P\) 蕴含且被 \(Q\) 蕴含”。
    示例：\(ABCD\) 是平行四边形 \(\Leftrightarrow AB=CD\) 且 \(BC=AD\)（两组对边相等是平行四边形的充要条件，可互相推导）。

2.2 集合论基础

2.2.1 集合的核心符号

  • 集合：有明确定义的元素的集合，给定规则可判断任意对象是否属于该集合。
  • 属于 \(\boldsymbol{\in}\)：若 \(a\) 是集合 \(S\) 的元素，记作 \(a \in S\)，读作“\(a\) 属于 \(S\)”。
  • 子集 \(\boldsymbol{\subset}\)：若集合 \(S_1\) 的每一个元素都属于 \(S_2\)，则 \(S_1\) 是 \(S_2\) 的子集，记作 \(S_1 \subset S_2\)，读作“\(S_1\) 包含于 \(S_2\)”。

2.2.2 集合的三大运算

运算 符号与定义 核心性质
并集 \(S = S_1 \cup S_2\)，定义：\(x \in S\) 当且仅当 \(x \in S_1\) 或 \(x \in S_2\) 取两个集合的所有元素，去重合并
交集 \(S = S_1 \cap S_2\)，定义：\(x \in S\) 当且仅当 \(x \in S_1\) 且 \(x \in S_2\) 取两个集合的公共元素
补集 若 \(A \subset S\)（\(S\) 为全集），则 \(A\) 的补集 \(A'\) 定义为：\(x \in A'\) 当且仅当 \(x \notin A\) 核心恒等式：\(S = A \cup A'\)，\(\emptyset = A \cap A'\)

补充定义：

  • 空集 \(\boldsymbol{\emptyset}\)：不含任何元素的集合，也叫零集。若两个集合无公共元素，即 \(S_1 \cap S_2 = \emptyset\)，称二者为不相交集合。

2.2.3 核心量词

  • 全称量词 \(\boldsymbol{\forall}\)：读作“对于所有的”“对任意的”，用于表述“对集合内全部元素都成立的性质”。
  • 存在量词 \(\boldsymbol{\exists}\)：读作“存在”“有一个”，用于表述“集合内至少有一个元素满足的性质”。

2.3 函数与复合函数

2.3.1 函数的基础定义

给定两个集合 \(S\) 和 \(T\)，若规则 \(f\) 为 \(S\) 中的每一个元素 \(x\)，都对应 \(T\) 中唯一的元素 \(f(x)\)，则称 \(f\) 是从 \(S\) 到 \(T\) 的函数，记作 \(f: S \to T\)。

  • 定义域：集合 \(S\)，即函数的输入集合；
  • 函数值/像：\(f(x)\)，即 \(x\) 通过 \(f\) 对应到 \(T\) 中的元素；
  • 值域：\(\{f(x) \mid x \in S\}\)，即所有输入对应的函数值构成的集合，值域一定是 \(T\) 的子集。

补充两类特殊函数：

  1. 单射（one-one）：若 \(x_1 \neq x_2\)，则 \(f(x_1) \neq f(x_2)\)，即“不同输入对应不同输出”，等价于“\(f(x_1)=f(x_2) \Rightarrow x_1=x_2\)”。
  2. 满射（onto）：若函数的值域等于 \(T\)，即 \(T\) 中的每一个元素都能被 \(S\) 中的某个元素对应到，称 \(f\) 是从 \(S\) 到 \(T\) 的满射。

2.3.2 复合函数与结合律证明

复合函数的定义

若有函数 \(f: S \to T\)，\(g: T \to U\)，则可定义复合函数 \(g \circ f: S \to U\)，核心规则为：

\[(g \circ f)(x) = g\left(f(x)\right), \quad \forall x \in S \]

即先通过 \(f\) 将 \(x\) 映射到 \(T\) 中的 \(f(x)\)，再通过 \(g\) 将 \(f(x)\) 映射到 \(U\) 中的 \(g(f(x))\)。

复合函数结合律的严谨证明

命题：若有三个函数 \(f: S \to T\)，\(g: T \to U\)，\(h: U \to V\)，则复合函数满足结合律：

\[h \circ (g \circ f) = (h \circ g) \circ f \]

证明思路：两个函数相等，当且仅当对定义域内的任意输入，二者的函数值完全相等。因此只需证明 \(\forall x \in S\)，\([h \circ (g \circ f)](x) = [(h \circ g) \circ f](x)\)。

推导过程：

  1. 计算左边：

    \[\begin{align*} [h \circ (g \circ f)](x) &= h\left( (g \circ f)(x) \right) \quad \text{（复合函数定义）} \\ &= h\left( g\left(f(x)\right) \right) \quad \text{（再次应用复合函数定义）} \end{align*} \]

  2. 计算右边：

    \[\begin{align*} [(h \circ g) \circ f](x) &= (h \circ g)\left( f(x) \right) \quad \text{（复合函数定义）} \\ &= h\left( g\left(f(x)\right) \right) \quad \text{（再次应用复合函数定义）} \end{align*} \]

  3. 结论：左边=右边，对所有 \(x \in S\) 成立，因此 \(h \circ (g \circ f) = (h \circ g) \circ f\)，结合律得证。

三、复数的正式定义与代数运算（哈密顿有序实数对定义）

这部分是复数的核心内容，用有序实数对给出复数的严谨算术定义，彻底解决了虚数单位 \(i\) 的逻辑争议，同时定义复数的加减运算与核心性质。

3.1 复数的定义

定义：一个有序实数对 \((a,b)\) 称为一个复数，记作 \(\alpha = (a,b)\)，其中 \(a,b\) 均为实数。
所有复数构成的集合称为复数集，记作 \(\mathbb{C}\)，即：

\[\mathbb{C} = \{ (a,b) \mid a \in \mathbb{R}, b \in \mathbb{R} \} \]

核心说明：“有序”是关键——\((a,b)\) 和 \((b,a)\) 是两个不同的复数，除非 \(a=b\)，这一性质对应后续复平面的横坐标（实轴）与纵坐标（虚轴）。

3.2 两个复数相等的充要条件

定义：两个复数 \((a,b)\) 和 \((c,d)\) 相等，当且仅当它们的实部、虚部分别相等，即：

\[(a,b) = (c,d) \quad \Leftrightarrow \quad a = c \text{ 且 } b = d \]

这一定义是复数运算的核心基础：将复数的等式问题，转化为两个独立的实数等式问题，实现了“复数问题实数化”。

3.3 复数的加法运算与性质证明

3.3.1 加法的定义

设两个复数 \(\alpha = (a,b)\)，\(\beta = (c,d)\)，则二者的和定义为：

\[\alpha + \beta = (a,b) + (c,d) = (a+c, b+d) \]

核心规则：两个复数相加，实部与实部相加，虚部与虚部相加，结果仍是一个复数。

3.3.2 复数加法四大核心性质的严谨证明

复数集 \(\mathbb{C}\) 上的加法运算，满足四大基本性质，这四大性质证明了：\(\mathbb{C}\) 关于加法构成一个交换群（阿贝尔群），是复数代数结构的核心基石。

性质A.1：加法交换律

命题：对任意的复数 \(\alpha, \beta \in \mathbb{C}\)，都有 \(\alpha + \beta = \beta + \alpha\)。

证明：
设 \(\alpha = (a,b)\)，\(\beta = (c,d)\)（\(a,b,c,d\) 均为实数）。
左边：\(\alpha + \beta = (a,b) + (c,d) = (a+c, b+d)\)
因为实数的加法满足交换律，即 \(a+c = c+a\)，\(b+d = d+b\)，因此：

\[(a+c, b+d) = (c+a, d+b) \]

右边：\(\beta + \alpha = (c,d) + (a,b) = (c+a, d+b)\)
因此左边=右边，\(\alpha + \beta = \beta + \alpha\)，交换律得证。

性质A.2：加法结合律

命题：对任意的复数 \(\alpha, \beta, \gamma \in \mathbb{C}\)，都有 \(\alpha + (\beta + \gamma) = (\alpha + \beta) + \gamma\)。

证明：
设 \(\alpha = (a,b)\)，\(\beta = (c,d)\)，\(\gamma = (e,f)\)（\(a,b,c,d,e,f\) 均为实数）。
先计算左边：

\[\begin{align*} \alpha + (\beta + \gamma) &= (a,b) + \left[(c,d)+(e,f)\right] \\ &= (a,b) + (c+e, d+f) \\ &= \left(a + (c+e), b + (d+f)\right) \end{align*} \]

再计算右边：

\[\begin{align*} (\alpha + \beta) + \gamma &= \left[(a,b)+(c,d)\right] + (e,f) \\ &= (a+c, b+d) + (e,f) \\ &= \left((a+c)+e, (b+d)+f\right) \end{align*} \]

因为实数的加法满足结合律，即 \(a+(c+e)=(a+c)+e\)，\(b+(d+f)=(b+d)+f\)，因此左边=右边，结合律得证。

性质A.3：加法单位元（零元）存在

命题：存在复数 \((0,0)\)，对任意的复数 \(\alpha = (a,b) \in \mathbb{C}\)，都有 \(\alpha + (0,0) = \alpha\)。

证明：

\[\alpha + (0,0) = (a,b) + (0,0) = (a+0, b+0) = (a,b) = \alpha \]

因此 \((0,0)\) 是复数加法的单位元，我们称之为复数零，记作 \(0=(0,0)\)，对应实数中的0。

性质A.4：加法逆元存在

命题：对任意的复数 \(\alpha = (a,b) \in \mathbb{C}\)，都存在唯一的复数，使得 \(\alpha\) 与该复数的和为零元 \((0,0)\)。

证明：
构造复数 \((-a,-b)\)，计算二者的和：

\[\alpha + (-a,-b) = (a,b) + (-a,-b) = (a+(-a), b+(-b)) = (0,0) \]

因此 \((-a,-b)\) 是 \(\alpha\) 的加法逆元，记作 \(-\alpha = (-a,-b)\)，对应实数中的“相反数”。

3.4 复数的减法运算

定义：两个复数的减法，定义为“被减数加上减数的加法逆元”，即：

\[\alpha - \beta = \alpha + (-\beta) \]

推导具体表达式：
设 \(\alpha=(a,b)\)，\(\beta=(c,d)\)，则 \(-\beta = (-c,-d)\)，因此：

\[\begin{align*} \alpha - \beta &= (a,b) + (-c,-d) \\ &= (a+(-c), b+(-d)) \\ &= (a-c, b-d) \end{align*} \]

核心规则：两个复数相减，实部与实部相减，虚部与虚部相减，结果仍是一个复数。

四、全知识点结构化归纳总结

表1：预备数学基础汇总

分类 符号/概念 定义/核心含义 关键性质/示例
逻辑蕴含 \(\Rightarrow\)（单向蕴含） 若命题\(P\)为真，则命题\(Q\)一定为真，读作“\(P\)蕴含\(Q\)” 示例：\(ABCD\)是平行四边形 \(\Rightarrow AB=CD\)
逻辑蕴含 \(\Leftrightarrow\)（双向等价） \(P\Rightarrow Q\) 且 \(Q\Rightarrow P\)，\(P\)与\(Q\)互为充要条件 示例：\(ABCD\)是平行四边形 \(\Leftrightarrow\) 两组对边分别相等
集合基础 \(\in\)（属于） \(a\)是集合\(S\)的元素，记作\(a\in S\) 示例：\(3 \in \{1,2,3\}\)
集合基础 \(\subset\)（子集） \(S_1\)的所有元素都属于\(S_2\)，记作\(S_1 \subset S_2\) 示例：\(\{1,2\} \subset \{1,2,3\}\)
集合运算 \(\cup\)（并集） \(S_1 \cup S_2 = \{x \mid x\in S_1 \text{ 或 } x\in S_2\}\) 取两个集合的所有元素，去重合并
集合运算 \(\cap\)（交集） \(S_1 \cap S_2 = \{x \mid x\in S_1 \text{ 且 } x\in S_2\}\) 取两个集合的公共元素
集合运算 \(\emptyset\)（空集） 不含任何元素的集合 若\(S_1 \cap S_2 = \emptyset\)，则\(S_1\)与\(S_2\)不相交
集合运算 \(A'\)（补集） 全集\(S\)中，所有不属于\(A\)的元素构成的集合 恒等式：\(S = A \cup A'\)，\(A \cap A' = \emptyset\)
核心量词 \(\forall\)（全称量词） 读作“对于所有的、对任意的” 示例：\(\forall x\in \mathbb{R}, x^2 \geq 0\)
核心量词 \(\exists\)（存在量词） 读作“存在、有一个” 示例：\(\exists x\in \mathbb{R}, x+1=0\)
函数基础 函数\(f:S\to T\) 给\(S\)中每个\(x\)，对应\(T\)中唯一的\(f(x)\)；\(S\)是定义域，\(\{f(x)\mid x\in S\}\)是值域 值域是\(T\)的子集
函数基础 单射（one-one） 若\(x_1 \neq x_2\)，则\(f(x_1) \neq f(x_2)\)，不同输入对应不同输出 等价于：\(f(x_1)=f(x_2) \Rightarrow x_1=x_2\)
函数基础 满射（onto） 函数的值域等于\(T\)，\(T\)中每个元素都有对应输入 示例：\(f(x)=x+1\)是\(\mathbb{R}\to\mathbb{R}\)的满射
复合函数 \(g \circ f\) 若\(f:S\to T\)，\(g:T\to U\)，则\((g \circ f)(x)=g(f(x))\) 核心性质：满足结合律\(h \circ (g \circ f) = (h \circ g) \circ f\)

表2：复数核心定义与运算汇总

概念 数学定义/表达式 核心说明
复数的定义 复数是有序实数对\((a,b)\)，记作\(\alpha=(a,b)\)；复数集\(\mathbb{C}=\{(a,b) \mid a,b\in\mathbb{R}\}\) 有序性是核心：\((a,b)\neq(b,a)\)（除非\(a=b\)），是严谨的算术定义
复数相等 \((a,b)=(c,d) \Leftrightarrow a=c \text{ 且 } b=d\) 复数相等当且仅当实部、虚部分别相等，实现复数问题实数化
复数加法 \((a,b)+(c,d)=(a+c, b+d)\) 实部与实部相加，虚部与虚部相加，结果仍为复数
加法单位元 零元为\((0,0)\)，满足\((a,b)+(0,0)=(a,b)\)，\(\forall (a,b)\in\mathbb{C}\) 对应实数中的0，加零元不改变原复数
加法逆元 \((a,b)\)的逆元为\((-a,-b)\)，满足\((a,b)+(-a,-b)=(0,0)\)，记作\(-\alpha=(-a,-b)\) 对应实数中的相反数，是减法的定义基础
复数减法 \((a,b)-(c,d)=(a-c, b-d)\)，定义为\(\alpha-\beta=\alpha+(-\beta)\) 实部与实部相减，虚部与虚部相减，结果仍为复数

表3：复数加法的四大群性质汇总

性质名称 数学表达式 核心结论 证明依据
交换律 \(\alpha+\beta=\beta+\alpha\)，\(\forall \alpha,\beta\in\mathbb{C}\) 复数加法的顺序不影响运算结果 实数加法的交换律
结合律 \(\alpha+(\beta+\gamma)=(\alpha+\beta)+\gamma\)，\(\forall \alpha,\beta,\gamma\in\mathbb{C}\) 多个复数相加，运算顺序不影响结果 实数加法的结合律
单位元存在性 \(\exists (0,0)\in\mathbb{C}\)，使得\(\alpha+(0,0)=\alpha\)，\(\forall \alpha\in\mathbb{C}\) 存在唯一的零元，是加法的单位元素 实数加法单位元0的性质
逆元存在性 \(\forall \alpha\in\mathbb{C}\)，\(\exists -\alpha\in\mathbb{C}\)，使得\(\alpha+(-\alpha)=(0,0)\) 每个复数都有唯一的加法逆元 实数相反数的性质
最终结论 —— 复数集\(\mathbb{C}\)关于加法构成交换群（阿贝尔群） 四大性质同时满足

复数乘法、代数结构与共轭复数知识点详解（含完整推导证明）

承接上一讲复数的加法、减法基础，本次我们将完整讲解复数乘法、除法运算、代数形式的严谨化、共轭复数等核心内容，所有定理均给出符合数学规范的完整推导与证明，最终完成全知识点的结构化归纳总结。

一、复数的乘法运算与核心性质证明

1.1 复数乘法的定义

设两个复数 \(\alpha = (a,b)\)，\(\beta = (c,d)\)（\(a,b,c,d\) 均为实数），则二者的乘积定义为：

\[\alpha\beta = (a,b)(c,d) = (ac - bd, ad + bc) \]

核心说明：

  • 乘法的定义并非凭空构造，其本质是为了匹配后续 \(a+ib\) 形式的代数运算规则（\((a+ib)(c+id)=ac+iad+ibc+i^2bd=(ac-bd)+i(ad+bc)\)），与有序对定义完全一致；
  • 两个复数的乘积仍是一个复数，即复数集对乘法运算封闭。

1.2 乘法四大基本性质的严谨证明

复数集 \(\mathbb{C}\) 上的乘法运算满足四大核心性质，与加法性质共同构成了复数域的代数基础。

性质M.1 乘法交换律

命题：对任意复数 \(\alpha, \beta \in \mathbb{C}\)，都有 \(\alpha\beta = \beta\alpha\)。

证明：
设 \(\alpha=(a,b)\)，\(\beta=(c,d)\)，根据乘法定义展开：

\[\begin{align*} \alpha\beta &= (a,b)(c,d) = (ac - bd, ad + bc) \\ &= (ca - db, cb + da) \quad \text{（实数乘法、加法满足交换律）} \\ &= (c,d)(a,b) = \beta\alpha \end{align*} \]

左边=右边，乘法交换律得证。

性质M.2 乘法结合律

命题：对任意复数 \(\alpha, \beta, \gamma \in \mathbb{C}\)，都有 \((\alpha\beta)\gamma = \alpha(\beta\gamma)\)。

证明：
设 \(\alpha=(a,b)\)，\(\beta=(c,d)\)，\(\gamma=(e,f)\)，分步展开左右两边：

  1. 先计算左边 \((\alpha\beta)\gamma\)：

    \[\begin{align*} \alpha\beta &= (a,b)(c,d) = (ac - bd, ad + bc) \\ (\alpha\beta)\gamma &= (ac - bd, ad + bc)(e,f) \\ &= \left[(ac - bd)e - (ad + bc)f,\ (ac - bd)f + (ad + bc)e\right] \\ &= \left[ace - bde - adf - bcf,\ acf - bdf + ade + bce\right] \end{align*} \]

  2. 再计算右边 \(\alpha(\beta\gamma)\)：

    \[\begin{align*} \beta\gamma &= (c,d)(e,f) = (ce - df, cf + de) \\ \alpha(\beta\gamma) &= (a,b)(ce - df, cf + de) \\ &= \left[a(ce - df) - b(cf + de),\ a(cf + de) + b(ce - df)\right] \\ &= \left[ace - adf - bcf - bde,\ acf + ade + bce - bdf\right] \end{align*} \]

  3. 对比结果：左右两边的实部、虚部分别完全相等，因此 \((\alpha\beta)\gamma = \alpha(\beta\gamma)\)，乘法结合律得证。

性质M.3 乘法单位元（幺元）存在

命题：存在复数 \((1,0)\)，对任意复数 \(\alpha=(a,b) \in \mathbb{C}\)，都有 \(\alpha \cdot (1,0) = \alpha\)。

证明：
根据乘法定义展开：

\[\alpha \cdot (1,0) = (a,b)(1,0) = (a\cdot1 - b\cdot0,\ a\cdot0 + b\cdot1) = (a,b) = \alpha \]

因此 \((1,0)\) 是复数乘法的单位元，称为复数单位，对应实数中的1。

性质M.4 非零复数的乘法逆元存在

命题：对任意非零复数 \(\alpha=(a,b) \in \mathbb{C}\)，存在唯一的复数 \(\alpha^{-1}\)，使得 \(\alpha \cdot \alpha^{-1} = (1,0)\)（乘法单位元）。

证明（构造+求解）：
设 \(\alpha=(a,b) \neq (0,0)\)，其逆元为 \(\alpha^{-1}=(u,v)\)，根据乘法定义和相等条件，有：

\[(a,b)(u,v) = (au - bv,\ av + bu) = (1,0) \]

根据复数相等的充要条件，得到关于 \(u,v\) 的实系数线性方程组：

\[\begin{cases} au - bv = 1 \quad (1) \\ bu + av = 0 \quad (2) \end{cases} \]

用加减消元法求解：

  • 给(1)式两边乘 \(a\)，得：\(a^2u - abv = a \quad (3)\)
  • 给(2)式两边乘 \(b\)，得：\(b^2u + abv = 0 \quad (4)\)
  • (3)+(4)消去 \(v\)，得：\((a^2 + b^2)u = a\)

由于 \(\alpha=(a,b) \neq (0,0)\)，且 \(a,b\) 为实数，因此 \(a^2 + b^2 \neq 0\)（实数平方和为0当且仅当 \(a=b=0\)），两边除以 \(a^2 + b^2\)，得：

\[u = \frac{a}{a^2 + b^2} \]

同理，给(1)式乘 \(b\)，(2)式乘 \(a\)，相减消去 \(u\)，可解得：

\[v = -\frac{b}{a^2 + b^2} \]

因此，非零复数 \(\alpha=(a,b)\) 的乘法逆元为：

\[\alpha^{-1} = (a,b)^{-1} = \left( \frac{a}{a^2 + b^2},\ -\frac{b}{a^2 + b^2} \right) \]

逆元存在且唯一，性质得证。

二、乘法对加法的分配律与除法运算

2.1 乘法对加法的分配律（A.M.）

命题：对任意复数 \(\alpha, \beta, \gamma \in \mathbb{C}\)，都有 \(\alpha(\beta + \gamma) = \alpha\beta + \alpha\gamma\)。

证明：
设 \(\alpha=(a,b)\)，\(\beta=(c,d)\)，\(\gamma=(e,f)\)，分步展开：

\[\begin{align*} \alpha(\beta + \gamma) &= (a,b)\left[(c,d)+(e,f)\right] \\ &= (a,b)(c+e, d+f) \quad \text{（复数加法定义）} \\ &= \left[a(c+e) - b(d+f),\ a(d+f) + b(c+e)\right] \quad \text{（复数乘法定义）} \\ &= \left[ac + ae - bd - bf,\ ad + af + bc + be\right] \quad \text{（实数分配律）} \\ &= (ac - bd, ad + bc) + (ae - bf, af + be) \quad \text{（复数加法定义）} \\ &= (a,b)(c,d) + (a,b)(e,f) \\ &= \alpha\beta + \alpha\gamma \end{align*} \]

左边=右边，分配律得证。

2.2 复数的除法运算

定义：设两个复数 \(\alpha, \beta\)，且 \(\beta \neq 0\)，则 \(\alpha\) 除以 \(\beta\) 的商定义为：

\[\alpha \div \beta = \frac{\alpha}{\beta} = \alpha \cdot \beta^{-1} \]

即除法是“被除数乘以除数的乘法逆元”，是乘法的逆运算。

有序对形式的除法表达式：
设 \(\alpha=(a,b)\)，\(\beta=(c,d) \neq (0,0)\)，结合逆元的表达式，可得：

\[\begin{align*} \frac{\alpha}{\beta} &= (a,b) \cdot \left( \frac{c}{c^2 + d^2},\ -\frac{d}{c^2 + d^2} \right) \\ &= \left( \frac{ac + bd}{c^2 + d^2},\ \frac{bc - ad}{c^2 + d^2} \right) \end{align*} \]

三、复数标准代数形式 \(a+ib\) 的严谨推导

此前我们用有序实数对给出了复数的严谨算术定义，现在我们将其与常用的 \(a+ib\) 形式完全统一，解决虚数单位 \(i\) 的逻辑合法性问题。

3.1 实数到复数的嵌入

我们建立实数与复数的对应关系：对任意实数 \(a\)，令其对应复数 \((a,0)\)，即

\[a \leftrightarrow (a,0) \]

核心验证：该对应关系完全保持实数的加法和乘法运算：

  1. 加法：\(a + b \leftrightarrow (a+b,0) = (a,0) + (b,0)\)
  2. 乘法：\(ab \leftrightarrow (ab,0) = (a,0) \cdot (b,0)\)

这说明：实数可以完全看作是虚部为0的复数，实数集是复数集的子集，该对应是数学上的“同构映射”，因此我们可以直接将实数 \(a\) 写作复数 \((a,0)\)，不会产生任何逻辑矛盾。

3.2 虚数单位 \(i\) 的定义

定义虚数单位 \(i\) 为复数 \((0,1)\)，即

\[i = (0,1) \]

核心性质验证：

\[i^2 = i \cdot i = (0,1)(0,1) = (0\cdot0 - 1\cdot1,\ 0\cdot1 + 1\cdot0) = (-1,0) = -1 \]

完全符合欧拉对 \(i\) 的定义（\(i^2=-1\)），从有序对的角度给出了 \(i\) 的严谨数学定义，彻底解决了“虚数无逻辑基础”的争议。

3.3 有序对到 \(a+ib\) 的转化

对任意复数 \(\alpha=(a,b)\)，根据加法和乘法的定义，可做如下分解：

\[\begin{align*} (a,b) &= (a,0) + (0,b) \\ &= (a,0) + (b,0) \cdot (0,1) \\ &= a + b \cdot i \\ &= a + ib \end{align*} \]

结论：任意复数都可以唯一表示为 \(a+ib\) 的形式（\(a,b\) 为实数），其中：

  • \(a\) 称为复数的实部，记作 \(\text{Re}(\alpha)\)（讲义中记为 \(\text{R}(\alpha)\)）；
  • \(b\) 称为复数的虚部，记作 \(\text{Im}(\alpha)\)（讲义中记为 \(\text{I}(\alpha)\)）；
  • 该形式称为复数的代数标准形式，是后续复数运算、复变函数研究的基础。

四、复数运算的基本定律与衍生性质

4.1 复数集的完整运算定律汇总

结合上一讲的加法性质与本次的乘法性质，复数集 \(\mathbb{C}\) 满足以下全部运算定律，这些定律证明了：复数集是一个数域，是最大的数域。

分类 定律名称 数学表达式 适用范围
加法定律 交换律 \(\alpha + \beta = \beta + \alpha\) \(\forall \alpha,\beta \in \mathbb{C}\)
加法定律 结合律 \(\alpha + (\beta + \gamma) = (\alpha + \beta) + \gamma\) \(\forall \alpha,\beta,\gamma \in \mathbb{C}\)
加法定律 单位元 \(\alpha + 0 = \alpha\)（\(0=(0,0)\)） \(\forall \alpha \in \mathbb{C}\)
加法定律 逆元 \(\alpha + (-\alpha) = 0\) \(\forall \alpha \in \mathbb{C}\)
乘法定律 交换律 \(\alpha\beta = \beta\alpha\) \(\forall \alpha,\beta \in \mathbb{C}\)
乘法定律 结合律 \(\alpha(\beta\gamma) = (\alpha\beta)\gamma\) \(\forall \alpha,\beta,\gamma \in \mathbb{C}\)
乘法定律 单位元 \(\alpha \cdot 1 = \alpha\)（\(1=(1,0)\)） \(\forall \alpha \in \mathbb{C}\)
乘法定律 逆元 \(\alpha \cdot \alpha^{-1} = 1\) \(\forall \alpha \in \mathbb{C}, \alpha \neq 0\)
混合运算 分配律 \(\alpha(\beta + \gamma) = \alpha\beta + \alpha\gamma\) \(\forall \alpha,\beta,\gamma \in \mathbb{C}\)

4.2 衍生运算定律与证明

以下定律可由上述基本定律直接推导，是复数运算中常用的结论：

  1. 零元乘法性质：\(\forall \alpha \in \mathbb{C}\)，\(\alpha \cdot 0 = 0 \cdot \alpha = 0\)
    证明：\(\alpha \cdot 0 = \alpha \cdot (0+0) = \alpha \cdot 0 + \alpha \cdot 0\)，两边同时减去 \(\alpha \cdot 0\)，得 \(\alpha \cdot 0 = 0\)。

  2. 零因子性质：\(\alpha\beta = 0 \Leftrightarrow \alpha=0\) 或 \(\beta=0\)
    证明：若 \(\alpha\beta=0\) 且 \(\alpha \neq 0\)，则 \(\alpha\) 存在逆元 \(\alpha^{-1}\)，两边左乘 \(\alpha^{-1}\)，得 \(\alpha^{-1}(\alpha\beta) = \alpha^{-1} \cdot 0\)，即 \(\beta=0\)；反之若 \(\alpha=0\) 或 \(\beta=0\)，显然 \(\alpha\beta=0\)。

  3. 符号法则：\(\forall \alpha,\beta \in \mathbb{C}\)

    • \(\alpha(-\beta) = -(\alpha\beta)\)
    • \((-\alpha)(-\beta) = \alpha\beta\)
      证明：\(\alpha\beta + \alpha(-\beta) = \alpha(\beta + (-\beta)) = \alpha \cdot 0 = 0\)，因此 \(\alpha(-\beta)\) 是 \(\alpha\beta\) 的加法逆元，即 \(\alpha(-\beta) = -(\alpha\beta)\)；同理可证第二个式子。

  4. 减法分配律：\(\alpha(\beta - \gamma) = \alpha\beta - \alpha\gamma\)
    证明：\(\alpha(\beta - \gamma) = \alpha(\beta + (-\gamma)) = \alpha\beta + \alpha(-\gamma) = \alpha\beta - \alpha\gamma\)。

五、实部、虚部与共轭复数

5.1 实部与虚部的定义与性质

对复数 \(\alpha = a + ib\)（\(a,b\) 为实数）：

  • 实部：\(\text{Re}(\alpha) = a\)
  • 虚部：\(\text{Im}(\alpha) = b\)（注意：虚部是实数 \(b\)，不是 \(ib\)）

核心运算性质：

  1. 对任意复数 \(\alpha, \beta\)，有：

    \[\text{Re}(\alpha \pm \beta) = \text{Re}(\alpha) \pm \text{Re}(\beta), \quad \text{Im}(\alpha \pm \beta) = \text{Im}(\alpha) \pm \text{Im}(\beta) \]

    证明：设 \(\alpha=a+ib\)，\(\beta=c+id\)，则 \(\alpha\pm\beta=(a\pm c)+i(b\pm d)\)，直接可得结论。

  2. 一般情况下，乘积的实部/虚部不等于实部/虚部的乘积：

    \[\text{Re}(\alpha\beta) \neq \text{Re}(\alpha)\text{Re}(\beta), \quad \text{Im}(\alpha\beta) \neq \text{Im}(\alpha)\text{Im}(\beta) \]

    反例：\(\alpha=1+i\)，\(\beta=1+i\)，则 \(\alpha\beta=2i\)，\(\text{Re}(\alpha\beta)=0\)，而 \(\text{Re}(\alpha)\text{Re}(\beta)=1\times1=1\)，二者不相等。

5.2 共轭复数的定义与核心性质

定义

对复数 \(\alpha = a + ib\)，其共轭复数记作 \(\overline{\alpha}\)（讲义中记为 \(\overset{-}{\alpha}\)），定义为：

\[\overline{\alpha} = a - ib \]

对应有序对形式：若 \(\alpha=(a,b)\)，则 \(\overline{\alpha}=(a,-b)\)，即共轭复数是将原复数的虚部取反，实部保持不变。

核心运算性质（共轭保运算）

共轭映射对复数的四则运算完全保持，即和差积商的共轭，等于共轭的和差积商，具体如下：

  1. 和的共轭：\(\overline{\alpha + \beta} = \overline{\alpha} + \overline{\beta}\)
    证明：设 \(\alpha=a+ib\)，\(\beta=c+id\)，则 \(\overline{\alpha+\beta}=\overline{(a+c)+i(b+d)}=(a+c)-i(b+d)=(a-ib)+(c-id)=\overline{\alpha}+\overline{\beta}\)。

  2. 差的共轭：\(\overline{\alpha - \beta} = \overline{\alpha} - \overline{\beta}\)
    证明：与和的共轭同理，可直接展开验证。

  3. 积的共轭：\(\overline{\alpha\beta} = \overline{\alpha} \cdot \overline{\beta}\)
    证明：设 \(\alpha=a+ib\)，\(\beta=c+id\)，则 \(\alpha\beta=(ac-bd)+i(ad+bc)\)，\(\overline{\alpha\beta}=(ac-bd)-i(ad+bc)\)；而 \(\overline{\alpha}\cdot\overline{\beta}=(a-ib)(c-id)=ac - iad - ibc + i^2bd=(ac-bd)-i(ad+bc)\)，二者相等，得证。

  4. 商的共轭：\(\overline{\left( \frac{\alpha}{\beta} \right)} = \frac{\overline{\alpha}}{\overline{\beta}}\)（\(\beta \neq 0\)）
    证明：设 \(\gamma = \frac{\alpha}{\beta}\)，则 \(\alpha = \gamma\beta\)，两边取共轭得 \(\overline{\alpha} = \overline{\gamma\beta} = \overline{\gamma}\cdot\overline{\beta}\)，因此 \(\overline{\gamma} = \frac{\overline{\alpha}}{\overline{\beta}}\)，即 \(\overline{\left( \frac{\alpha}{\beta} \right)} = \frac{\overline{\alpha}}{\overline{\beta}}\)。

共轭的核心恒等式

对任意复数 \(\alpha = a + ib\)，有以下恒等式，是复数运算中最常用的结论：

  1. 和为实数：\(\alpha + \overline{\alpha} = 2a = 2\text{Re}(\alpha)\)，变形得 \(\text{Re}(\alpha) = \frac{\alpha + \overline{\alpha}}{2}\)
  2. 差为纯虚数：\(\alpha - \overline{\alpha} = 2ib = 2i\text{Im}(\alpha)\)，变形得 \(\text{Im}(\alpha) = \frac{\alpha - \overline{\alpha}}{2i}\)
  3. 积为非负实数：\(\alpha \cdot \overline{\alpha} = (a+ib)(a-ib) = a^2 + b^2 = [\text{Re}(\alpha)]^2 + [\text{Im}(\alpha)]^2\)
    该式是复数模长的定义基础，也是复数除法“分母实数化”的核心依据。

六、全知识点结构化归纳总结

表1：复数乘法与逆元核心知识点

概念 数学定义/表达式 核心说明
乘法定义 \((a,b)(c,d)=(ac-bd, ad+bc)\)；\((a+ib)(c+id)=(ac-bd)+i(ad+bc)\) 复数集对乘法封闭，运算规则匹配代数形式展开
乘法交换律 \(\alpha\beta=\beta\alpha\)，\(\forall \alpha,\beta\in\mathbb{C}\) 乘法顺序不影响运算结果，基于实数运算律推导
乘法结合律 \((\alpha\beta)\gamma=\alpha(\beta\gamma)\)，\(\forall \alpha,\beta,\gamma\in\mathbb{C}\) 多个复数相乘，运算顺序不影响结果
乘法单位元 单位元为 \((1,0)\)（即1），满足 \(\alpha\cdot1=\alpha\)，\(\forall \alpha\in\mathbb{C}\) 对应实数中的1，乘单位元不改变原复数
乘法逆元 非零复数 \(\alpha=(a,b)\) 的逆元为 \(\alpha^{-1}=\left( \frac{a}{a^2+b^2}, -\frac{b}{a^2+b^2} \right)\) 仅非零复数有逆元，满足 \(\alpha\cdot\alpha^{-1}=1\)
分配律 \(\alpha(\beta+\gamma)=\alpha\beta+\alpha\gamma\)，\(\forall \alpha,\beta,\gamma\in\mathbb{C}\) 乘法对加法的分配律，是混合运算的核心规则

表2：复数除法运算知识点

概念 数学定义/表达式 核心说明
除法定义 \(\frac{\alpha}{\beta} = \alpha \cdot \beta^{-1}\)（\(\beta \neq 0\)） 除法是乘法的逆运算，本质是乘除数的逆元
代数形式除法 \(\frac{a+ib}{c+id} = \frac{(a+ib)(c-id)}{c^2+d^2} = \frac{ac+bd}{c^2+d^2} + i\frac{bc-ad}{c^2+d^2}\) 核心方法是“分母实数化”，分子分母同乘分母的共轭复数
运算前提 除数 \(\beta \neq 0\) 零不能做除数，与实数运算规则一致

表3：复数标准形式与实部、虚部

概念 定义 核心性质
复数标准形式 \(\alpha = a + ib\)（\(a,b\in\mathbb{R}\)） 与有序对 \((a,b)\) 完全等价，是复数的通用表达形式
实部 \(\text{Re}(\alpha)\) \(\text{Re}(a+ib)=a\) \(\text{Re}(\alpha\pm\beta)=\text{Re}(\alpha)\pm\text{Re}(\beta)\)；\(\text{Re}(\alpha)=\frac{\alpha+\overline{\alpha}}{2}\)
虚部 \(\text{Im}(\alpha)\) \(\text{Im}(a+ib)=b\) \(\text{Im}(\alpha\pm\beta)=\text{Im}(\alpha)\pm\text{Im}(\beta)\)；\(\text{Im}(\alpha)=\frac{\alpha-\overline{\alpha}}{2i}\)
实数 虚部为0的复数，即 \(\alpha=a+i0=a\) 实数集 \(\mathbb{R} \subset \mathbb{C}\)，是复数集的子集
纯虚数 实部为0且虚部不为0的复数，即 \(\alpha=0+ib=ib\) 纯虚数的平方为负实数，\(i\) 是最基本的纯虚数
虚数单位 \(i\) \(i=(0,1)\)，满足 \(i^2=-1\) 是复数的核心符号，解决了负数开方的问题

表4：共轭复数核心性质汇总

性质 数学表达式 核心说明
定义 \(\overline{a+ib}=a-ib\) 实部不变，虚部取反
自反性 \(\overline{\overline{\alpha}} = \alpha\) 共轭的共轭等于原复数
和差保运算 \(\overline{\alpha\pm\beta}=\overline{\alpha}\pm\overline{\beta}\) 和差的共轭等于共轭的和差
积商保运算 \(\overline{\alpha\beta}=\overline{\alpha}\cdot\overline{\beta}\)；\(\overline{\left( \frac{\alpha}{\beta} \right)}=\frac{\overline{\alpha}}{\overline{\beta}}\)（\(\beta\neq0\)） 积商的共轭等于共轭的积商
和为实数 \(\alpha + \overline{\alpha} = 2\text{Re}(\alpha)\) 复数与其共轭的和为实数，等于2倍实部
积为非负实数 \(\alpha \cdot \overline{\alpha} = [\text{Re}(\alpha)]^2 + [\text{Im}(\alpha)]^2\) 复数与其共轭的积为非负实数，是模长的平方
实数的共轭 若 \(\alpha\) 为实数，则 \(\overline{\alpha}=\alpha\) 实数的共轭是其本身，反之亦然
纯虚数的共轭 若 \(\alpha\) 为纯虚数，则 \(\overline{\alpha}=-\alpha\) 纯虚数的共轭是其相反数

表5：复数集的代数结构总表

代数结构 满足条件 结论
加法交换群 满足加法交换律、结合律、单位元存在、逆元存在 复数集 \(\mathbb{C}\) 关于加法构成交换群
乘法交换群（非零元） 非零复数满足乘法交换律、结合律、单位元存在、逆元存在 非零复数集 \(\mathbb{C}^*\) 关于乘法构成交换群
数域 同时满足加法群、乘法群、分配律 复数集 \(\mathbb{C}\) 是一个数域，是目前最大的数域

复数的模、辐角、三角形式与方根知识点详解（含完整推导证明）

承接前序复数代数形式、四则运算与共轭复数的内容，本次我们将深入讲解复数的极坐标表示（三角形式）、模与辐角的核心性质、棣莫弗定理、单位根与复数的方根运算，所有定理均给出严谨的推导证明，最终完成全知识点的结构化归纳。

一、复数的模与辐角的核心定义

复数的代数形式 \(a+ib\) 对应复平面上的点 \((a,b)\)，而模与辐角本质是该点的极坐标参数，是复数几何意义的核心，也是复数乘除、乘方、开方运算的关键工具。

1.1 复数的三角形式

对任意复数 \(\alpha = a + ib\)（\(a,b\in\mathbb{R}\)），总可以找到非负实数 \(r\) 和实数 \(\theta\)，使得：

\[a = r\cos\theta, \quad b = r\sin\theta \]

将其代入代数形式，可得复数的三角形式（极坐标形式）：

\[\alpha = r(\cos\theta + i\sin\theta) \]

1.2 复数的模（Modulus）

定义

上述非负实数 \(r\) 称为复数 \(\alpha\) 的模，记作 \(|\alpha|\)，其计算公式为：

\[|\alpha| = |a+ib| = +\sqrt{a^2 + b^2} \]

模是复数在复平面上对应点到原点的距离，因此模一定是非负实数。

核心恒等式

结合共轭复数的性质，我们有模的核心恒等式：

\[|\alpha|^2 = \alpha \cdot \overline{\alpha} \]

推导：\(\alpha \cdot \overline{\alpha} = (a+ib)(a-ib) = a^2 + b^2 = |\alpha|^2\)，该式是模的绝大多数性质的证明基础。

1.3 复数的辐角（Argument/Amplitude）

定义

满足 \(a=r\cos\theta\)、\(b=r\sin\theta\) 的实数 \(\theta\)，称为复数 \(\alpha\) 的辐角，记作 \(\arg(\alpha)\)（或 \(\text{amp}(\alpha)\)）。

多值性与主值

  • 非零复数的辐角具有无穷多值性：若 \(\theta\) 是 \(\alpha\) 的一个辐角，则 \(\theta + 2k\pi\)（\(k\in\mathbb{Z}\)，\(k\) 为任意整数）都是 \(\alpha\) 的辐角，任意两个辐角之间相差 \(2\pi\) 的整数倍。
  • 主值：在无穷多个辐角中，满足 \(-\pi < \theta \leq \pi\) 的唯一辐角，称为辐角的主值，记作 \(\text{Arg}(\alpha)\)（大写A区分多值辐角）。

特殊说明

  • 零复数 \(\alpha=0\) 的模为0，没有确定的辐角（因为原点到原点的连线没有方向）。
  • 两个非零复数相等，当且仅当它们的模相等，且辐角的主值相等。

二、复数模的核心性质与严谨证明

模的运算性质是复数分析的基础，核心有四大基本性质，以及由其推导的三角不等式与反向三角不等式。

2.1 模的四大基本性质

设 \(\alpha, \beta\) 为任意复数，以下性质均成立：

性质I：模为零的充要条件

\[|\alpha| = 0 \quad \Leftrightarrow \quad \alpha = 0 \]

证明：
设 \(\alpha = a+ib\)，则 \(|\alpha| = \sqrt{a^2 + b^2}\)。

  • 必要性（左推右）：若 \(|\alpha|=0\)，则 \(\sqrt{a^2 + b^2}=0\)。由于实数的平方非负，因此仅当 \(a=0\) 且 \(b=0\) 时等式成立，即 \(\alpha=0\)。
  • 充分性（右推左）：若 \(\alpha=0\)，即 \(a=0,b=0\)，则 \(|\alpha|=\sqrt{0+0}=0\)。
    双向推导成立，性质得证。

性质II：乘积的模等于模的乘积

\[|\alpha\beta| = |\alpha| \cdot |\beta|, \quad \forall \alpha,\beta\in\mathbb{C} \]

证明：
利用模的核心恒等式 \(|x|^2 = x\cdot\overline{x}\)，以及共轭复数的性质 \(\overline{\alpha\beta}=\overline{\alpha}\cdot\overline{\beta}\)，展开得：

\[\begin{align*} |\alpha\beta|^2 &= (\alpha\beta) \cdot \overline{\alpha\beta} \\ &= \alpha\beta \cdot \overline{\alpha}\overline{\beta} \\ &= (\alpha \cdot \overline{\alpha}) \cdot (\beta \cdot \overline{\beta}) \\ &= |\alpha|^2 \cdot |\beta|^2 \end{align*} \]

由于模是非负实数，对等式两边同时开算术平方根，得：

\[|\alpha\beta| = |\alpha| \cdot |\beta| \]

性质得证。

性质III：商的模等于模的商

\[\left| \frac{\alpha}{\beta} \right| = \frac{|\alpha|}{|\beta|}, \quad \forall \alpha\in\mathbb{C}, \beta\neq0 \]

证明：
方法1：利用性质II推导
由除法定义，\(\alpha = \frac{\alpha}{\beta} \cdot \beta\)，两边同时取模，根据性质II得：

\[|\alpha| = \left| \frac{\alpha}{\beta} \cdot \beta \right| = \left| \frac{\alpha}{\beta} \right| \cdot |\beta| \]

由于 \(\beta\neq0\)，因此 \(|\beta|\neq0\)，两边同时除以 \(|\beta|\)，得：

\[\left| \frac{\alpha}{\beta} \right| = \frac{|\alpha|}{|\beta|} \]

方法2：利用核心恒等式直接证明

\[\left| \frac{\alpha}{\beta} \right|^2 = \frac{\alpha}{\beta} \cdot \overline{\left( \frac{\alpha}{\beta} \right)} = \frac{\alpha}{\beta} \cdot \frac{\overline{\alpha}}{\overline{\beta}} = \frac{\alpha\overline{\alpha}}{\beta\overline{\beta}} = \frac{|\alpha|^2}{|\beta|^2} \]

两边开方即得结论，性质得证。

性质IV：三角不等式（和的模不超过模的和）

\[|\alpha + \beta| \leq |\alpha| + |\beta|, \quad \forall \alpha,\beta\in\mathbb{C} \]

该不等式的几何意义是：复平面上，三角形的两边之和大于等于第三边，因此称为三角不等式，是复分析中最核心的不等式之一。

证明：
首先展开 \(|\alpha+\beta|^2\)，利用核心恒等式与共轭性质：

\[\begin{align*} |\alpha+\beta|^2 &= (\alpha+\beta) \cdot \overline{(\alpha+\beta)} \\ &= (\alpha+\beta) \cdot (\overline{\alpha} + \overline{\beta}) \\ &= \alpha\overline{\alpha} + \beta\overline{\beta} + \alpha\overline{\beta} + \beta\overline{\alpha} \\ &= |\alpha|^2 + |\beta|^2 + \left( \alpha\overline{\beta} + \beta\overline{\alpha} \right) \tag{1} \end{align*} \]

接下来分析交叉项 \(\alpha\overline{\beta} + \beta\overline{\alpha}\)：

  • 由于 \(\beta\overline{\alpha} = \overline{\alpha\overline{\beta}}\)，即二者互为共轭复数，而共轭复数的和为实数，因此 \(\alpha\overline{\beta} + \beta\overline{\alpha} = 2\text{Re}(\alpha\overline{\beta})\)（实部的2倍）。
  • 对任意复数 \(z\)，有 \(\text{Re}(z) \leq |z|\)，因此：

    \[\text{Re}(\alpha\overline{\beta}) \leq |\alpha\overline{\beta}| = |\alpha| \cdot |\overline{\beta}| = |\alpha| \cdot |\beta| \]

    两边乘2得：\(\alpha\overline{\beta} + \beta\overline{\alpha} \leq 2|\alpha||\beta|\)。

将该结论代入式(1)，得：

\[\begin{align*} |\alpha+\beta|^2 &\leq |\alpha|^2 + |\beta|^2 + 2|\alpha||\beta| \\ &= \left( |\alpha| + |\beta| \right)^2 \end{align*} \]

由于模是非负实数，对等式两边同时开算术平方根，得：

\[|\alpha + \beta| \leq |\alpha| + |\beta| \]

性质得证。

2.2 三角不等式的推论：反向三角不等式

\[|\alpha \pm \beta| \geq \left| |\alpha| - |\beta| \right|, \quad \forall \alpha,\beta\in\mathbb{C} \]

该不等式的几何意义是：三角形的两边之差小于等于第三边。

证明（以 \(|\alpha - \beta|\) 为例）：
对任意复数 \(\alpha\)，有 \(\alpha = (\alpha - \beta) + \beta\)，对其应用三角不等式：

\[|\alpha| = |(\alpha - \beta) + \beta| \leq |\alpha - \beta| + |\beta| \]

移项得：

\[|\alpha| - |\beta| \leq |\alpha - \beta| \tag{5} \]

交换 \(\alpha\) 和 \(\beta\) 的位置，得：

\[|\beta| - |\alpha| \leq |\beta - \alpha| = |\alpha - \beta| \]

即：

\[- \left( |\alpha| - |\beta| \right) \leq |\alpha - \beta| \tag{6} \]

结合式(5)和式(6)，可得：

\[-|\alpha - \beta| \leq |\alpha| - |\beta| \leq |\alpha - \beta| \]

根据绝对值的定义，该式等价于：

\[\left| |\alpha| - |\beta| \right| \leq |\alpha - \beta| \]

将 \(\beta\) 替换为 \(-\beta\)，结合 \(|-\beta|=|\beta|\)，即可得 \(|\alpha + \beta| \geq \left| |\alpha| - |\beta| \right|\)，推论得证。

三、复数辐角的核心性质与证明

辐角的运算性质完全对应复数的乘除运算，是三角形式的核心价值所在。

3.1 乘积的辐角

性质：对任意非零复数 \(\alpha, \beta\)，有

\[\arg(\alpha\beta) = \arg(\alpha) + \arg(\beta) \]

核心说明：该等式是多值意义下的相等，即：

  • 左边 \(\arg(\alpha\beta)\) 的任意一个值，都可以表示为右边 \(\arg(\alpha)\) 的一个值与 \(\arg(\beta)\) 的一个值的和；
  • 右边 \(\arg(\alpha)\) 的任意一个值与 \(\arg(\beta)\) 的任意一个值的和，都是左边 \(\arg(\alpha\beta)\) 的一个值。
    ⚠️ 注意：该等式对辐角的主值不一定成立，因为主值范围限制在 \((-\pi,\pi]\)，两个主值相加可能超出该范围，需加减 \(2\pi\) 得到主值。

证明：
设两个非零复数的三角形式为：

\[\alpha = r_1(\cos\theta_1 + i\sin\theta_1), \quad \beta = r_2(\cos\theta_2 + i\sin\theta_2) \]

其中 \(r_1=|\alpha|>0, r_2=|\beta|>0\)，\(\theta_1=\arg\alpha, \theta_2=\arg\beta\)。

将二者相乘，利用三角函数的和角公式展开：

\[\begin{align*} \alpha\beta &= r_1r_2 \left[ (\cos\theta_1\cos\theta_2 - \sin\theta_1\sin\theta_2) + i(\sin\theta_1\cos\theta_2 + \cos\theta_1\sin\theta_2) \right] \\ &= r_1r_2 \left[ \cos(\theta_1+\theta_2) + i\sin(\theta_1+\theta_2) \right] \end{align*} \]

根据三角形式的定义，乘积 \(\alpha\beta\) 的模为 \(r_1r_2=|\alpha||\beta|\)，辐角为 \(\theta_1+\theta_2\)，因此：

\[\arg(\alpha\beta) = \theta_1 + \theta_2 = \arg\alpha + \arg\beta \]

性质得证。

3.2 商的辐角

性质：对任意非零复数 \(\alpha, \beta\)，有

\[\arg\left( \frac{\alpha}{\beta} \right) = \arg(\alpha) - \arg(\beta) \]

该等式同样是多值意义下的相等，主值不一定成立。

证明：
方法1：利用乘积的辐角性质推导
由除法定义，\(\alpha = \frac{\alpha}{\beta} \cdot \beta\)，两边取辐角得：

\[\arg\alpha = \arg\left( \frac{\alpha}{\beta} \cdot \beta \right) = \arg\left( \frac{\alpha}{\beta} \right) + \arg\beta \]

移项得：

\[\arg\left( \frac{\alpha}{\beta} \right) = \arg\alpha - \arg\beta \]

方法2：直接展开三角形式证明
先求 \(\frac{1}{\beta}\) 的三角形式：

\[\frac{1}{\beta} = \frac{1}{r_2(\cos\theta_2 + i\sin\theta_2)} = \frac{1}{r_2}(\cos\theta_2 - i\sin\theta_2) = \frac{1}{r_2}\left[ \cos(-\theta_2) + i\sin(-\theta_2) \right] \]

因此 \(\arg\left( \frac{1}{\beta} \right) = -\theta_2 = -\arg\beta\)。

再结合乘积的辐角性质：

\[\arg\left( \frac{\alpha}{\beta} \right) = \arg\left( \alpha \cdot \frac{1}{\beta} \right) = \arg\alpha + \arg\left( \frac{1}{\beta} \right) = \arg\alpha - \arg\beta \]

性质得证。

3.3 辐角主值的特殊取值

为方便计算，给出常见复数的辐角主值：

  • 正实数：\(\text{Arg}(a) = 0\)（\(a>0\)）
  • 负实数：\(\text{Arg}(a) = \pi\)（\(a<0\)）
  • 正纯虚数：\(\text{Arg}(ib) = \frac{\pi}{2}\)（\(b>0\)）
  • 负纯虚数：\(\text{Arg}(ib) = -\frac{\pi}{2}\)（\(b<0\)）

四、棣莫弗定理与复数的整数次幂

4.1 棣莫弗定理（De Moivre's Theorem）

定理内容：对任意复数 \(z = r(\cos\theta + i\sin\theta)\)，以及任意整数 \(n\)，有：

\[\left[ r(\cos\theta + i\sin\theta) \right]^n = r^n (\cos n\theta + i\sin n\theta) \]

该定理将复数的乘方运算转化为模的乘方与辐角的倍角运算，是复数幂运算的核心工具。

4.2 严谨证明（分三种情况）

情况1：\(n\) 为正整数（数学归纳法）

  • 基例：当 \(n=1\) 时，左边 \(= r(\cos\theta + i\sin\theta)\)，右边 \(= r^1(\cos1\cdot\theta + i\sin1\cdot\theta)\)，等式成立。
  • 归纳假设：假设当 \(n=k\)（\(k\) 为正整数）时，等式成立，即：

    \[\left[ r(\cos\theta + i\sin\theta) \right]^k = r^k (\cos k\theta + i\sin k\theta) \]

  • 归纳递推：当 \(n=k+1\) 时：

    \[\begin{align*} \left[ r(\cos\theta + i\sin\theta) \right]^{k+1} &= \left[ r(\cos\theta + i\sin\theta) \right]^k \cdot r(\cos\theta + i\sin\theta) \\ &= r^k (\cos k\theta + i\sin k\theta) \cdot r(\cos\theta + i\sin\theta) \\ &= r^{k+1} \left[ \cos(k\theta+\theta) + i\sin(k\theta+\theta) \right] \\ &= r^{k+1} \left[ \cos((k+1)\theta) + i\sin((k+1)\theta) \right] \end{align*} \]

    等式对 \(n=k+1\) 成立。

由数学归纳法，等式对所有正整数 \(n\) 成立。

情况2：\(n=0\)

根据零次幂的定义，任意非零复数的零次幂为1，因此：
左边 \(= \left[ r(\cos\theta + i\sin\theta) \right]^0 = 1\)
右边 \(= r^0 (\cos0 + i\sin0) = 1 \cdot (1 + 0i) = 1\)
等式成立。

情况3：\(n\) 为负整数

设 \(n=-m\)，其中 \(m\) 为正整数，则：

\[\begin{align*} \left[ r(\cos\theta + i\sin\theta) \right]^n &= \left[ r(\cos\theta + i\sin\theta) \right]^{-m} \\ &= \frac{1}{\left[ r(\cos\theta + i\sin\theta) \right]^m} \\ &= \frac{1}{r^m (\cos m\theta + i\sin m\theta)} \quad \text{（正整数情况的结论）} \\ &= \frac{1}{r^m} (\cos m\theta - i\sin m\theta) \\ &= r^{-m} \left[ \cos(-m\theta) + i\sin(-m\theta) \right] \\ &= r^n (\cos n\theta + i\sin n\theta) \end{align*} \]

等式对负整数 \(n\) 成立。

综上，棣莫弗定理对所有整数 \(n\) 成立。

五、单位根（n次单位根）

5.1 定义

满足方程 \(z^n = 1\)（\(n\) 为正整数）的复数 \(z\)，称为n次单位根。

5.2 求解过程与结果

设 \(z = r(\cos\theta + i\sin\theta)\)，而 \(1 = \cos0 + i\sin0 = \cos2s\pi + i\sin2s\pi\)（\(s\in\mathbb{Z}\)）。

根据棣莫弗定理，\(z^n = r^n (\cos n\theta + i\sin n\theta) = \cos2s\pi + i\sin2s\pi\)，因此得到两个方程：

  1. 模相等：\(r^n = 1\)，由于 \(r\geq0\)，因此 \(r=1\)；
  2. 辐角相等：\(n\theta = 2s\pi\)，即 \(\theta = \frac{2s\pi}{n}\)，\(s\in\mathbb{Z}\)。

因此，n次单位根的表达式为：

\[z_s = \cos\left( \frac{2s\pi}{n} \right) + i\sin\left( \frac{2s\pi}{n} \right), \quad s=0,1,2,...,n-1 \]

5.3 核心说明

  • n次单位根共有n个不同的值：当 \(s\) 取 \(0,1,...,n-1\) 时，得到n个不同的辐角，对应n个不同的复数；当 \(s=n\) 时，\(\theta=2\pi\)，与 \(s=0\) 的辐角等价，因此不再产生新的根。
  • 几何意义：n次单位根在复平面上均匀分布在单位圆（半径为1，圆心在原点）上，相邻两个根的辐角差为 \(\frac{2\pi}{n}\)，构成一个正n边形的顶点。
  • 特殊根：当 \(s=0\) 时，\(z_0 = \cos0 + i\sin0 = 1\)，是1次单位根，也是所有n次单位根的公共根。

六、复数的有理次幂与方根运算

6.1 复数的q次方根

对任意非零复数 \(z = r(\cos\theta + i\sin\theta)\)，以及正整数 \(q\)，方程 \(Z^q = z\) 的解称为 \(z\) 的q次方根，记作 \(z^{1/q}\)。

求解过程

设 \(Z = \rho(\cos\phi + i\sin\phi)\)，代入方程得：

\[\rho^q (\cos q\phi + i\sin q\phi) = r(\cos\theta + i\sin\theta) = r\left[ \cos(\theta+2s\pi) + i\sin(\theta+2s\pi) \right], \quad s\in\mathbb{Z} \]

因此得到两个方程：

  1. 模相等：\(\rho^q = r\)，\(\rho\geq0\)，因此 \(\rho = r^{1/q}\)（正实数 \(r\) 的q次算术根）；
  2. 辐角相等：\(q\phi = \theta + 2s\pi\)，即 \(\phi = \frac{\theta + 2s\pi}{q}\)，\(s\in\mathbb{Z}\)。

因此，\(z\) 的q次方根为：

\[Z_s = z^{1/q} = r^{1/q} \left[ \cos\left( \frac{\theta + 2s\pi}{q} \right) + i\sin\left( \frac{\theta + 2s\pi}{q} \right) \right], \quad s=0,1,...,q-1 \]

核心结论：任意非零复数的q次方根有q个不同的值，在复平面上均匀分布在半径为 \(r^{1/q}\) 的圆上，相邻两个根的辐角差为 \(\frac{2\pi}{q}\)。

6.2 复数的有理次幂

对任意有理数 \(\frac{p}{q}\)（\(p,q\) 为互质整数，\(q>0\)），非零复数 \(z\) 的有理次幂定义为：

\[z^{p/q} = \left( z^{1/q} \right)^p \]

将q次方根的表达式代入，结合棣莫弗定理，可得：

\[z^{p/q} = r^{p/q} \left[ \cos\left( \frac{p(\theta + 2s\pi)}{q} \right) + i\sin\left( \frac{p(\theta + 2s\pi)}{q} \right) \right], \quad s=0,1,...,q-1 \]

核心结论：非零复数的有理次幂 \(z^{p/q}\) 共有q个不同的值。

七、全知识点结构化归纳总结

表1：复数的模与辐角核心定义

概念 定义 核心公式/取值范围 几何意义
复数的模 \(|\alpha|\) 复数对应复平面上点到原点的距离，非负实数 \(|\alpha|=|a+ib|=\sqrt{a^2+b^2}\)，\(|\alpha|\geq0\) 复平面上点 \((a,b)\) 到原点的距离
模的核心恒等式 模的平方等于复数与其共轭的乘积 \(|\alpha|^2 = \alpha \cdot \overline{\alpha}\) 距离的平方等于坐标平方和
复数的辐角 \(\arg(\alpha)\) 复数对应复平面上的向量与实轴正方向的夹角 多值性，任意两个值相差 \(2k\pi\)（\(k\in\mathbb{Z}\)） 复平面上向量的旋转角度
辐角主值 \(\text{Arg}(\alpha)\) 辐角中满足范围限制的唯一值 \(-\pi < \text{Arg}(\alpha) \leq \pi\) 向量的主旋转角度
复数的三角形式 复数的极坐标表示 \(\alpha = r(\cos\theta + i\sin\theta)\)，\(r=|\alpha|\)，\(\theta=\arg\alpha\) 用距离和角度表示复平面上的点

表2：模的核心运算性质

性质名称 数学表达式 适用条件 核心说明
零模充要条件 \(|\alpha|=0 \Leftrightarrow \alpha=0\) 任意复数 \(\alpha\) 只有零复数的模为0
乘积的模 \(|\alpha\beta|=|\alpha||\beta|\) 任意复数 \(\alpha,\beta\) 乘积的模等于模的乘积，可推广到n个复数相乘
商的模 \(\left| \frac{\alpha}{\beta} \right| = \frac{|\alpha|}{|\beta|}\) 任意复数 \(\alpha\)，\(\beta\neq0\) 商的模等于模的商
三角不等式 \(|\alpha+\beta| \leq |\alpha| + |\beta|\) 任意复数 \(\alpha,\beta\) 和的模不超过模的和，等号当且仅当 \(\alpha,\beta\) 辐角相同时成立
反向三角不等式 \(|\alpha\pm\beta| \geq \left| |\alpha| - |\beta| \right|\) 任意复数 \(\alpha,\beta\) 差的模不小于模的差的绝对值

表3：辐角的核心运算性质

性质名称 数学表达式 适用条件 核心说明
乘积的辐角 \(\arg(\alpha\beta) = \arg\alpha + \arg\beta\) 非零复数 \(\alpha,\beta\) 多值意义下相等，主值不一定成立
商的辐角 \(\arg\left( \frac{\alpha}{\beta} \right) = \arg\alpha - \arg\beta\) 非零复数 \(\alpha,\beta\) 多值意义下相等，主值不一定成立
幂的辐角 \(\arg(\alpha^n) = n\arg\alpha\) 非零复数 \(\alpha\)，整数 \(n\) 多值意义下相等，由棣莫弗定理推导

表4：棣莫弗定理与方根运算

内容 数学表达式 适用条件 核心结论
棣莫弗定理（整数次幂） \(\left[ r(\cos\theta+i\sin\theta) \right]^n = r^n(\cos n\theta + i\sin n\theta)\) 任意复数 \(r(\cos\theta+i\sin\theta)\)，整数 \(n\) 复数的整数次幂，模乘方，辐角乘n
n次单位根 \(z_s = \cos\left( \frac{2s\pi}{n} \right) + i\sin\left( \frac{2s\pi}{n} \right)\)，\(s=0,1,...,n-1\) 正整数 \(n\) 方程 \(z^n=1\) 有n个不同的根，均匀分布在单位圆上
复数的q次方根 \(z^{1/q} = r^{1/q}\left[ \cos\left( \frac{\theta+2s\pi}{q} \right) + i\sin\left( \frac{\theta+2s\pi}{q} \right) \right]\)，\(s=0,...,q-1\) 非零复数 \(z=r(\cos\theta+i\sin\theta)\)，正整数 \(q\) 非零复数的q次方根有q个不同的值，均匀分布在半径为 \(r^{1/q}\) 的圆上
复数的有理次幂 \(z^{p/q} = r^{p/q}\left[ \cos\left( \frac{p(\theta+2s\pi)}{q} \right) + i\sin\left( \frac{p(\theta+2s\pi)}{q} \right) \right]\)，\(s=0,...,q-1\) 非零复数 \(z\)，有理数 \(p/q\)（\(q>0\)） 非零复数的有理次幂有q个不同的值

复数经典例题详解（15道全解）

以下为15道复数核心例题的完整解析，包含题干、核心思路、严谨解题过程、考点总结，覆盖复数的代数运算、模与辐角、不等式、轨迹、等价关系等全考点。

题1

题干：若两个复数的和与乘积均为实数，证明这两个复数要么都是实数，要么互为共轭复数。

【核心思路】
设复数的代数形式，利用「复数为实数的充要条件是虚部为0」，对和与乘积分别列方程，推导实部、虚部的关系。

【完整解题过程】
设两个复数为 \(z_1 = x_1 + iy_1\)，\(z_2 = x_2 + iy_2\)（\(x_1,x_2,y_1,y_2 \in \mathbb{R}\)）。

  1. 和为实数的条件：
    \(z_1 + z_2 = (x_1+x_2) + i(y_1+y_2)\) 为实数，因此虚部为0：

    \[y_1 + y_2 = 0 \implies y_2 = -y_1 \tag{i} \]

  2. 乘积为实数的条件：
    \(z_1 z_2 = (x_1x_2 - y_1y_2) + i(x_1y_2 + x_2y_1)\) 为实数，因此虚部为0：

    \[x_1y_2 + x_2y_1 = 0 \tag{ii} \]

  3. 联立推导：
    将 \(y_2=-y_1\) 代入(ii)，得 \(y_1(x_2 - x_1) = 0\)，分两种情况：

    • 若 \(y_1=0\)，则 \(y_2=0\)，此时 \(z_1=x_1\)、\(z_2=x_2\)，二者均为实数；
    • 若 \(x_2=x_1\)，结合 \(y_2=-y_1\)，得 \(z_2 = x_1 - iy_1 = \overline{z_1}\)，二者互为共轭复数。

综上，命题得证。

【考点总结】

  • 复数为实数的充要条件：虚部为0；
  • 共轭复数的定义与四则运算。

题2

题干：若 \(z_1,z_2\) 为复数，满足 \(|z_1| < 1 < |z_2|\)，证明 \(\left| \frac{1 - z_1\overline{z_2}}{z_1 - z_2} \right| < 1\)。

【核心思路】
利用模的核心恒等式 \(|a|^2 = a \cdot \overline{a}\)，将模的不等式转化为代数不等式，因式分解后结合已知条件证明。

【完整解题过程】
要证原不等式，等价于证 \(|1 - z_1\overline{z_2}| < |z_1 - z_2|\)（分母 \(|z_1-z_2| \neq 0\)，与已知条件矛盾）。

对两边同时平方，利用 \(|a|^2=a\overline{a}\) 展开：

  • 左边：\((1 - z_1\overline{z_2})(1 - \overline{z_1}z_2) = 1 - z_1\overline{z_2} - \overline{z_1}z_2 + |z_1|^2|z_2|^2\)
  • 右边：\((z_1 - z_2)(\overline{z_1} - \overline{z_2}) = |z_1|^2 - z_1\overline{z_2} - \overline{z_1}z_2 + |z_2|^2\)

消去相同项，整理得：

\[1 + |z_1|^2|z_2|^2 < |z_1|^2 + |z_2|^2 \implies (1-|z_1|^2)(1-|z_2|^2) < 0 \]

由已知 \(|z_1|<1<|z_2|\)，得 \(1-|z_1|^2>0\)、\(1-|z_2|^2<0\)，乘积为负，不等式成立。

因此原不等式得证。

【考点总结】

  • 模的核心恒等式 \(|a|^2 = a\overline{a}\)；
  • 共轭复数的运算性质；
  • 模不等式的等价转化技巧。

题3

题干：若 \(iz^2 - \overline{z} = 0\)（\(\overline{z}\) 为 \(z\) 的共轭复数），求 \(|z|\) 的值。

【核心思路】
对等式两边取模，利用模的运算性质化简，得到关于 \(|z|\) 的方程求解。

【完整解题过程】
原方程移项得 \(iz^2 = \overline{z}\)，两边同时取模：

  • 左边：\(|iz^2| = |i| \cdot |z^2| = 1 \cdot |z|^2\)；
  • 右边：\(|\overline{z}| = |z|\)。

因此得 \(|z|^2 = |z|\)，整理为 \(|z|(|z|-1)=0\)，解得：

\[|z|=0 \quad \text{或} \quad |z|=1 \]

【考点总结】

  • 模的运算性质：\(|ab|=|a||b|\)、\(|z^n|=|z|^n\)、\(|\overline{z}|=|z|\)；
  • 复数方程的取模求解技巧。

题4

题干：证明 \(\arg z + \arg \overline{z} = 2n\pi\)（\(n\) 为整数）。

【核心思路】
利用辐角的运算性质 \(\arg(ab)=\arg a + \arg b\)，结合 \(z\overline{z}\) 为正实数的特征证明。

【完整解题过程】
根据辐角的运算性质（多值意义下）：

\[\arg z + \arg \overline{z} = \arg(z \cdot \overline{z}) \]

而 \(z \cdot \overline{z} = |z|^2\)，对非零复数 \(z\)，\(|z|^2\) 是正实数。正实数的辐角主值为0，所有辐角为 \(2n\pi\)（\(n\in\mathbb{Z}\)），因此：

\[\arg(z \cdot \overline{z}) = 2n\pi \]

综上，\(\arg z + \arg \overline{z} = 2n\pi\)，得证。

【考点总结】

  • 辐角的运算性质：\(\arg(ab)=\arg a + \arg b\)（多值意义）；
  • 共轭乘积性质：\(z\overline{z}=|z|^2\) 为非负实数；
  • 实数的辐角特征。

题5

题干：对复数 \(z,w\)，证明 \(|z|^2 w - |w|^2 z = z - w\) 成立的充要条件是 \(z=w\) 或 \(\overline{z}w=1\)。

【核心思路】
利用 \(|z|^2=z\overline{z}\) 代换，将方程因式分解为两个因子的乘积为0，双向证明充要条件。

【完整解题过程】
必要性（左推右）：
已知 \(|z|^2 w - |w|^2 z = z - w\)，代入 \(|z|^2=z\overline{z}\)、\(|w|^2=w\overline{w}\)，得：

\[z\overline{z}w - w\overline{w}z = z - w \]

移项提取公因子：

\[zw(\overline{z} - \overline{w}) - (z - w) = 0 \implies (z - w)(\overline{z}w - 1) = 0 \]

因此要么 \(z-w=0\)（即 \(z=w\)），要么 \(\overline{z}w-1=0\)（即 \(\overline{z}w=1\)）。

充分性（右推左）：

  • 若 \(z=w\)：左边 \(=|z|^2 z - |z|^2 z = 0\)，右边 \(=z-z=0\)，等式成立；
  • 若 \(\overline{z}w=1\)：则 \(w=\frac{1}{\overline{z}}\)，\(|w|^2=\frac{1}{|z|^2}\)，代入左边得：

    \[|z|^2 \cdot \frac{1}{\overline{z}} - \frac{1}{|z|^2} \cdot z = z - \frac{z}{|z|^2} = z - w = 右边 \]

    等式成立。

综上，命题得证。

【考点总结】

  • 模的恒等式 \(|z|^2=z\overline{z}\) 的灵活应用；
  • 复数方程的因式分解；
  • 充要条件的双向证明逻辑。

题6

题干：对实数 \(c \geq 0\)，求所有满足 \(|z|^2 - 2iz + 2c(1+i) = 0\) 的复数 \(z\)。

【核心思路】
设 \(z=x+iy\) 代入方程，分离实部、虚部得到实方程组，结合一元二次方程判别式分析解的存在性。

【完整解题过程】
设 \(z=x+iy\)（\(x,y\in\mathbb{R}\)），代入原方程得：

\[x^2+y^2 - 2i(x+iy) + 2c(1+i) = 0 \]

整理分离实部、虚部：

\[(x^2+y^2+2y+2c) + i(-2x+2c) = 0 \]

复数为0的充要条件是实部、虚部分别为0，因此得方程组：

\[\begin{cases} x^2 + y^2 + 2y + 2c = 0 \\ -2x + 2c = 0 \end{cases} \]

  1. 由第二个方程得 \(x=c\)，代入第一个方程，整理得关于 \(y\) 的一元二次方程：

    \[y^2 + 2y + (c^2 + 2c) = 0 \]

  2. 实数 \(y\) 存在的充要条件是判别式 \(\Delta \geq 0\)：

    \[\Delta = 4 - 4(c^2+2c) \geq 0 \implies c^2+2c-1 \leq 0 \]

    结合 \(c\geq0\)，解得 \(0 \leq c \leq \sqrt{2}-1\)。

  3. 分情况讨论解：

    • 当 \(0 \leq c < \sqrt{2}-1\) 时，\(\Delta>0\)，有两个解：

      \[z_1 = c + \left(-1 + \sqrt{1-c^2-2c}\right)i, \quad z_2 = c + \left(-1 - \sqrt{1-c^2-2c}\right)i \]

    • 当 \(c = \sqrt{2}-1\) 时，\(\Delta=0\)，有唯一解：

      \[z = (\sqrt{2}-1) - i \]

    • 当 \(c > \sqrt{2}-1\) 时，\(\Delta<0\)，无复数解。

【考点总结】

  • 复数为0的充要条件；
  • 一元二次方程判别式与解的存在性；
  • 复数方程的代数化求解方法。

题7

题干：若 \(\theta_i \in [0, \frac{\pi}{6}]\)（\(i=1,2,3,4,5\)），且 \(\sin\theta_1 \cdot z^4 + \sin\theta_2 \cdot z^3 + \sin\theta_3 \cdot z^2 + \sin\theta_4 \cdot z + \sin\theta_5 = 2\)，证明 \(|z| > \frac{3}{4}\)。

【核心思路】
对等式两边取模，利用三角不等式放缩，结合 \(\sin\theta_i\) 的取值范围，用反证法证明结论。

【完整解题过程】
对原等式两边取模，由三角不等式 \(|a_1+\dots+a_n| \leq |a_1|+\dots+|a_n|\)，得：

\[2 \leq |\sin\theta_1 \cdot z^4| + |\sin\theta_2 \cdot z^3| + |\sin\theta_3 \cdot z^2| + |\sin\theta_4 \cdot z| + |\sin\theta_5| \]

由 \(\theta_i \in [0,\frac{\pi}{6}]\)，得 \(0 \leq \sin\theta_i \leq \frac{1}{2}\)，结合 \(|z^n|=|z|^n\)，放缩得：

\[2 \leq \frac{1}{2}|z|^4 + \frac{1}{2}|z|^3 + \frac{1}{2}|z|^2 + \frac{1}{2}|z| + \frac{1}{2} \]

两边乘2整理得：

\[3 \leq |z| + |z|^2 + |z|^3 + |z|^4 \]

反证法：假设 \(|z| \leq \frac{3}{4}\)，则无穷等比数列求和：

\[|z| + |z|^2 + |z|^3 + |z|^4 < \sum_{n=1}^\infty |z|^n = \frac{|z|}{1-|z|} \leq \frac{\frac{3}{4}}{1-\frac{3}{4}} = 3 \]

与 \(3 \leq |z| + |z|^2 + |z|^3 + |z|^4\) 矛盾，因此假设不成立，即 \(|z| > \frac{3}{4}\)。

【考点总结】

  • 三角不等式的放缩应用；
  • 反证法的使用；
  • 无穷等比数列求和公式。

题8

题干：若 \(|z - 2 + i| \leq 2\)，求 \(|z|\) 的最大值和最小值。

【核心思路】
利用反向三角不等式，结合模的几何意义（复平面上的圆）求解最值。

【完整解题过程】

方法1：三角不等式法

已知条件改写为 \(|z - (2 - i)| \leq 2\)，由反向三角不等式：

\[||z| - |2-i|| \leq |z - (2-i)| \]

计算 \(|2-i| = \sqrt{2^2+(-1)^2} = \sqrt{5}\)，结合已知条件得：

\[||z| - \sqrt{5}| \leq 2 \]

解不等式得：

\[\sqrt{5} - 2 \leq |z| \leq \sqrt{5} + 2 \]

方法2：几何意义法

\(|z - (2-i)| \leq 2\) 表示复平面上以 \(C(2,-1)\) 为圆心、半径2的闭圆域，\(|z|\) 是圆上点到原点的距离。
圆心到原点的距离为 \(\sqrt{5}\)，因此：

  • 最大距离 = 圆心到原点距离 + 半径 = \(\sqrt{5}+2\)；
  • 最小距离 = 圆心到原点距离 - 半径 = \(\sqrt{5}-2\)。

综上，\(|z|\) 的最大值为 \(\sqrt{5}+2\)，最小值为 \(\sqrt{5}-2\)。

【考点总结】

  • 反向三角不等式；
  • 复数模的几何意义：复平面上两点间的距离；
  • 圆上点到定点的距离最值。

题9

题干：设 \(z_1=10+6i\)，\(z_2=4+6i\)，若 \(\arg\left( \frac{z - z_1}{z - z_2} \right) = \frac{\pi}{4}\)，证明 \(|z - 7 - 9i| = 3\sqrt{2}\)。

【核心思路】
利用辐角差的几何意义（点 \(z\) 对 \(z_1,z_2\) 的张角为 \(\frac{\pi}{4}\)），通过正切差角公式推导轨迹方程，化为圆的标准形式。

【完整解题过程】
设 \(z=x+iy\)（\(x,y\in\mathbb{R}\)），则：

\[z-z_1=(x-10)+i(y-6), \quad z-z_2=(x-4)+i(y-6) \]

由辐角性质：\(\arg\left( \frac{z-z_1}{z-z_2} \right) = \arg(z-z_1) - \arg(z-z_2) = \frac{\pi}{4}\)，因此：

\[\tan\left( \arg(z-z_1) - \arg(z-z_2) \right) = \tan\frac{\pi}{4} = 1 \]

由正切差角公式：

\[\frac{\frac{y-6}{x-10} - \frac{y-6}{x-4}}{1 + \frac{(y-6)^2}{(x-10)(x-4)}} = 1 \]

化简得：

\[\frac{6(y-6)}{x^2+y^2-14x-12y+76} = 1 \]

整理配方得圆的标准方程：

\[(x-7)^2 + (y-9)^2 = (3\sqrt{2})^2 \]

该方程表示以 \((7,9)\)（对应复数 \(7+9i\)）为圆心、半径 \(3\sqrt{2}\) 的圆，因此 \(|z-7-9i|\) 表示圆的半径，即 \(|z-7-9i|=3\sqrt{2}\)，得证。

【考点总结】

  • 辐角差的几何意义：复平面上的张角；
  • 正切差角公式；
  • 圆的一般方程与标准方程的转化。

题10

题干：若 \(\arg\left( z^{1/3} \right) = \frac{1}{2}\arg\left( z^2 + \overline{z} z^{1/3} \right)\)，求 \(|z|\) 的值。

【核心思路】
利用辐角运算性质化简等式，得到「复数的辐角为0（即正实数）」的结论，结合共轭性质推导 \(|z|\)。

【完整解题过程】
原等式两边乘2，由 \(\arg(a^n)=n\arg a\) 得：

\[\arg\left( z^{2/3} \right) = \arg\left( z^2 + \overline{z} z^{1/3} \right) \]

移项得：

\[\arg\left( \frac{z^2 + \overline{z} z^{1/3}}{z^{2/3}} \right) = 0 \implies \arg\left( z^{4/3} + \frac{\overline{z}}{z^{1/3}} \right) = 0 \]

辐角为0的复数为正实数，因此该复数等于自身的共轭：

\[z^{4/3} + \frac{\overline{z}}{z^{1/3}} = (\overline{z})^{4/3} + \frac{z}{(\overline{z})^{1/3}} \]

两边乘 \(|z|^{2/3} = z^{1/3}(\overline{z})^{1/3}\)，整理得：

\[(z^{4/3} - (\overline{z})^{4/3})(|z|^{2/3} - 1) = 0 \]

因此要么 \(|z|^{2/3}=1\)（即 \(|z|=1\)），要么 \(z^{4/3}=(\overline{z})^{4/3}\)（\(z\) 为实数，仅当 \(|z|=1\) 时原方程恒成立）。

综上，\(|z|=1\)。

【考点总结】

  • 辐角的运算性质；
  • 辐角为0的复数的特征：正实数，等于自身的共轭；
  • 模的恒等式应用。

题11

题干：若 \(z_1,z_2\) 满足 \(z + \overline{z} = 2|z - 1|\)，且 \(\arg(z_1 - z_2) = \frac{\pi}{4}\)，求 \(\text{Im}(z_1 + z_2)\) 的值。

【核心思路】
先求出 \(z\) 的轨迹方程，再利用辐角的斜率意义，结合轨迹方程求出虚部的和。

【完整解题过程】
设 \(z=x+iy\)，代入方程 \(z+\overline{z}=2|z-1|\)，左边 \(z+\overline{z}=2x\)，右边 \(2\sqrt{(x-1)^2+y^2}\)，因此：

\[x = \sqrt{(x-1)^2+y^2} \]

平方整理得轨迹方程：

\[2x = 1 + y^2 \]

设 \(z_1=x_1+iy_1\)，\(z_2=x_2+iy_2\)，则 \(2x_1=1+y_1^2\)，\(2x_2=1+y_2^2\)，两式相减得：

\[2(x_1-x_2) = (y_1+y_2)(y_1-y_2) \tag{1} \]

由 \(\arg(z_1-z_2)=\frac{\pi}{4}\)，得 \(\frac{y_1-y_2}{x_1-x_2} = \tan\frac{\pi}{4}=1\)，即 \(y_1-y_2 = x_1-x_2\)。

代入(1)式，约去非零的 \(y_1-y_2\)（\(z_1\neq z_2\)），得 \(y_1+y_2=2\)。

因此 \(\text{Im}(z_1+z_2) = y_1+y_2 = 2\)。

【考点总结】

  • 复数的轨迹方程求解；
  • 辐角的几何意义：复数对应直线的斜率；
  • 复数实部、虚部的定义。

题12

题干：若 \(z_1,z_2\) 为复数，\(c>0\)，证明 \(|z_1 + z_2|^2 \leq (1+c)|z_1|^2 + \left(1 + \frac{1}{c}\right)|z_2|^2\)。

【核心思路】
展开模的平方，利用 \(\text{Re}(a) \leq |a|\) 放缩，结合均值不等式（AM≥GM）证明。

【完整解题过程】
首先展开模的平方：

\[|z_1+z_2|^2 = |z_1|^2 + |z_2|^2 + 2\text{Re}(z_1\overline{z_2}) \]

由 \(\text{Re}(a) \leq |a|\)，得 \(2\text{Re}(z_1\overline{z_2}) \leq 2|z_1||z_2|\)，因此：

\[|z_1+z_2|^2 \leq |z_1|^2 + |z_2|^2 + 2|z_1||z_2| \tag{1} \]

由均值不等式，对 \(c>0\)，有：

\[c|z_1|^2 + \frac{1}{c}|z_2|^2 \geq 2\sqrt{c|z_1|^2 \cdot \frac{1}{c}|z_2|^2} = 2|z_1||z_2| \tag{2} \]

将(2)代入(1)，得：

\[\begin{align*} |z_1+z_2|^2 &\leq |z_1|^2 + |z_2|^2 + c|z_1|^2 + \frac{1}{c}|z_2|^2 \\ &= (1+c)|z_1|^2 + \left(1+\frac{1}{c}\right)|z_2|^2 \end{align*} \]

得证。

【考点总结】

  • 模的展开式：\(|z_1+z_2|^2 = |z_1|^2 + |z_2|^2 + 2\text{Re}(z_1\overline{z_2})\)；
  • 实部的放缩性质；
  • 均值不等式（AM≥GM）的应用。

题13

题干：对任意三个复数 \(z_1,z_2,z_3\)，证明 \(z_1 \text{Im}(\overline{z_2}z_3) + z_2 \text{Im}(\overline{z_3}z_1) + z_3 \text{Im}(\overline{z_1}z_2) = 0\)。

【核心思路】
利用虚部恒等式 \(\text{Im}(a) = \frac{a - \overline{a}}{2i}\) 展开，证明各项抵消和为0。

【完整解题过程】
对任意复数 \(a\)，\(\text{Im}(a) = \frac{a - \overline{a}}{2i}\)，因此：

\[\text{Im}(\overline{z_2}z_3) = \frac{\overline{z_2}z_3 - z_2\overline{z_3}}{2i}, \quad \text{Im}(\overline{z_3}z_1) = \frac{\overline{z_3}z_1 - z_3\overline{z_1}}{2i}, \quad \text{Im}(\overline{z_1}z_2) = \frac{\overline{z_1}z_2 - z_1\overline{z_2}}{2i} \]

代入左边式子，提取公因子 \(\frac{1}{2i}\)：

\[\begin{align*} \text{左边} &= \frac{1}{2i} \left[ z_1(\overline{z_2}z_3 - z_2\overline{z_3}) + z_2(\overline{z_3}z_1 - z_3\overline{z_1}) + z_3(\overline{z_1}z_2 - z_1\overline{z_2}) \right] \\ &= \frac{1}{2i} \left[ z_1\overline{z_2}z_3 - z_1z_2\overline{z_3} + z_1z_2\overline{z_3} - z_2z_3\overline{z_1} + z_2z_3\overline{z_1} - z_1\overline{z_2}z_3 \right] \\ &= \frac{1}{2i} \times 0 = 0 = \text{右边} \end{align*} \]

得证。

【考点总结】

  • 虚部的恒等式；
  • 共轭复数的运算性质；
  • 复数的代数展开与化简。

题14

题干：设 \(z_1,z_2\) 为复数，\(a,b\) 为实数且 \(a^2 + b^2 \neq 0\)，证明：

\[\left| |z_1|^2 + |z_2|^2 - |z_1^2 + z_2^2| \right| \leq \frac{2|a z_1 + b z_2|^2}{a^2 + b^2} \leq |z_1|^2 + |z_2|^2 + |z_1^2 + z_2^2| \]

【核心思路】
将复数、实数用三角形式代换，展开模的平方，利用辅助角公式求最值，结合 \(|z_1^2+z_2^2|\) 的表达式证明不等式。

【完整解题过程】
设 \(z_1 = r_1(\cos\theta_1+i\sin\theta_1)\)，\(z_2 = r_2(\cos\theta_2+i\sin\theta_2)\)（\(r_1=|z_1|,r_2=|z_2|\)）；设 \(a=r\cos\alpha\)，\(b=r\sin\alpha\)（\(r=\sqrt{a^2+b^2}>0\)）。

展开 \(|az_1+bz_2|^2\)：

\[\begin{align*} |az_1+bz_2|^2 &= a^2r_1^2 + b^2r_2^2 + 2ab\text{Re}(z_1\overline{z_2}) \\ &= r^2\left[ r_1^2\cos^2\alpha + r_2^2\sin^2\alpha + r_1r_2\sin2\alpha \cos(\theta_1-\theta_2) \right] \end{align*} \]

两边除以 \(r^2\)，乘2并利用三角恒等式化简：

\[\frac{2|az_1+bz_2|^2}{a^2+b^2} = (r_1^2+r_2^2) + (r_1^2-r_2^2)\cos2\alpha + 2r_1r_2\cos(\theta_1-\theta_2)\sin2\alpha \]

形如 \(A+B\cos\phi+C\sin\phi\) 的式子，最值为 \(A\pm\sqrt{B^2+C^2}\)，因此：

\[(r_1^2+r_2^2) - \sqrt{B^2+C^2} \leq \frac{2|az_1+bz_2|^2}{a^2+b^2} \leq (r_1^2+r_2^2) + \sqrt{B^2+C^2} \]

其中 \(\sqrt{B^2+C^2} = \sqrt{(r_1^2-r_2^2)^2 + 4r_1^2r_2^2\cos^2(\theta_1-\theta_2)} = |z_1^2+z_2^2|\)，代入得：

\[|z_1|^2+|z_2|^2 - |z_1^2+z_2^2| \leq \frac{2|az_1+bz_2|^2}{a^2+b^2} \leq |z_1|^2+|z_2|^2 + |z_1^2+z_2^2| \]

左边等价于绝对值不等式，因此原命题得证。

【考点总结】

  • 复数的三角形式；
  • 辅助角公式求三角函数最值；
  • 模的运算性质。

题15

题干：复数集上的关系 \(R\) 定义为：\(z_1 R z_2 \iff \frac{z_1 - z_2}{z_1 + z_2}\) 为实数。证明 \(R\) 是等价关系。

【核心思路】
等价关系需满足自反性、对称性、传递性，分别证明三个性质成立。

【完整解题过程】
等价关系的三个判定条件：

  1. 自反性：对任意非零复数 \(z\)，\(\frac{z-z}{z+z}=0\) 是实数，因此 \(z R z\)，自反性成立。
  2. 对称性：若 \(z_1 R z_2\)，则 \(\frac{z_1-z_2}{z_1+z_2}\) 是实数，因此 \(\frac{z_2-z_1}{z_2+z_1} = -\frac{z_1-z_2}{z_1+z_2}\) 也是实数，即 \(z_2 R z_1\)，对称性成立。
  3. 传递性：若 \(z_1 R z_2\) 且 \(z_2 R z_3\)，则 \(\frac{z_1-z_2}{z_1+z_2}\)、\(\frac{z_2-z_3}{z_2+z_3}\) 均为实数。
    复数为实数的充要条件是等于自身的共轭，因此 \(\frac{z_1}{z_2}\)、\(\frac{z_2}{z_3}\) 均为实数，设 \(\frac{z_1}{z_2}=k\in\mathbb{R}\)，\(\frac{z_2}{z_3}=m\in\mathbb{R}\)，则 \(\frac{z_1}{z_3}=km\in\mathbb{R}\)，因此 \(\frac{z_1-z_3}{z_1+z_3}\) 是实数，即 \(z_1 R z_3\)，传递性成立。

综上，\(R\) 满足自反性、对称性、传递性，因此是等价关系。

【考点总结】

  • 等价关系的三个判定条件；
  • 复数为实数的充要条件；
  • 共轭复数的运算性质。

全题考点汇总表

题号 核心考点 关键技巧
1 实数的充要条件、共轭复数 分离实部虚部列方程
2 模的恒等式、不等式证明 \(|a|^2=a\overline{a}\) 等价转化
3 模的运算性质 方程两边取模化简
4 辐角运算性质、共轭乘积 \(\arg(ab)=\arg a+\arg b\)
5 模的恒等式、复数方程因式分解 \(|z|^2=z\overline{z}\) 代换
6 复数方程代数化、一元二次方程判别式 分离实部虚部解方程组
7 三角不等式、反证法、等比数列求和 放缩法证明不等式
8 反向三角不等式、模的几何意义 圆上点到定点的距离最值
9 辐角差的几何意义、圆的方程 正切差角公式推导轨迹
10 辐角运算性质、正实数特征 辐角为0等价于正实数
11 复数轨迹方程、辐角的斜率意义 抛物线方程与斜率计算
12 模的展开、均值不等式 实部放缩+AM≥GM
13 虚部恒等式、共轭运算 展开后项抵消
14 三角形式、辅助角公式、最值求解 三角代换求最值
15 等价关系判定、实数的充要条件 自反/对称/传递性分别证明

posted on 2026-03-20 13:19  Indian_Mysore  阅读(9)  评论(0)    收藏  举报

导航