共轭复数
gòng è fù shù
a + bi 的共轭复数是 a - bi,即把虚部取相反数,而实部保持不变。
Formula
\overline{a + bi} = a - bi
Definition
$a + bi$ 的共轭复数是 $a - bi$，只需把虚部的符号翻转，它是这个复数关于实轴的镜像。关键性质：$z\bar{z} = a^2 + b^2 = |z|^2$ 总是实数且非负，$z + \bar{z} = 2a = 2\text{Re}(z)$，$z - \bar{z} = 2bi$；这使我们可以通过把分子和分母都乘以共轭复数来对复数进行除法，即"有理化"分母。复共轭运算 $z \to \bar{z}$ 是 $\mathbb{C}$ 上固定 $\mathbb{R}$ 的唯一非平凡域自同构：它是一个对合（$\bar{\bar{z}} = z$），满足 $\overline{z+w} = \bar{z} + \bar{w}$ 和 $\overline{zw} = \bar{z}\bar{w}$，在厄米内积空间中，共轭出现在定义 $\langle z, w \rangle = \bar{z} w$ 之中。
Example
$3 + 5i$ 的共轭是 $3 - 5i$，$6$ 的共轭就是 $6$（因为 $6 = 6 + 0i$）。要计算 $(2+3i)/(1-2i)$，把分子和分母都乘以共轭 $(1+2i)$：$(2+4i+3i+6i^2)/(1+4) = -4/5 + (7/5)i$。一个矩阵 $A$ 的厄米转置（共轭转置）是 $A^* = \bar{A}^T$，若 $A^* = A$，这个矩阵就是厄米矩阵；所有厄米矩阵都有实特征值，这是把对称矩阵推广到复向量空间的结果。
Key Insight
实系数多项式的复数根总是成共轭对出现，若 $a + bi$ 是一个根，则 $a - bi$ 也是，这正是为什么二次方程要么有两个实根，要么有两个共轭复根。共轭运算是把 $\mathbb{C}$ 与它的"镜像"区分开来的自同构，量子力学中要求物理可观测量对应厄米算子，本质上正是要求测量结果（特征值）为实数，这通过共轭对称性得以保证。