复数与几何表示

物理问题引入：为什么实数物理世界需要虚数 $i$ i？

在日常经验中，长度、速度、温度、电荷、质量等所有可以直接测量的宏观物理量都是实数．既然如此，为什么理论物理学家在经典力学振动、电磁波动理论、流体力学以及量子力学中无处不在地使用虚数单位 $i = \sqrt{- 1}$ i = -1？

补充说明

「The shortest path between two truths in the real domain passes through the complex domain.」——Jacques Hadamard
（联系两个实数领域中真理的最短路径往往穿过复数领域．）

两个决定性的原因回答了这个问题：

将多变量初等三角振动降维为单变量代数运算：
一个简谐振动的质点同时具有振幅 $A$ A 和初始相位 $ϕ$ phi．在实数三角函数框架下，两个不同相位简谐振动的合成与叠加需要调用繁杂的和差化积公式；而一旦引入复指数 $e^{i ω t}$ e^iomega t，时间和相位的演化直接转化为复数的乘除代数，微分方程被彻底化为代数方程；
量子力学的本质内在要求：
正如诺贝尔物理学奖得主杨振宁先生在《虚数与量子力学》中所指出的，量子力学中的状态函数 $ψ (r, t)$ psi(r, t) 是本质性的复数场，单粒子薛定谔方程显式包含虚数单位 $i ℏ \frac{\partial ψ}{\partial t} = \hat{H} ψ$ ihbar dpsi/d t = Hpsi．复概率幅的干涉使得微观粒子的空间概率密度必须通过双线性的模长平方 $ρ = | ψ |^{2} = ψ^{*} ψ$ rho = |psi|^2 = psi^* psi 来描述．

1. 复数的数系扩充历史与代数结构

1.1 从一元三次方程到阿根图复平面

历史上，虚数并不是为了解一元二次方程 $x^{2} + 1 = 0$ x^2 + 1 = 0 凭空发明的，而是在 16 世纪意大利数学家卡尔达诺（Cardano）与塔尔塔利亚（Tartaglia）求解一元三次方程 $x^{3} = p x + q$ x^3 = px + q 的争论中不得不正视的存在．即使一个三次方程的三个根全部是实数，使用卡尔达诺公式时依然必须通过中间含有负数平方根的表达式（称为「不可约情形」）．1572 年，邦贝利（Bombelli）在其著作《代数学》中首次系统制定了虚数单位的运算法则．

随后，欧拉（Euler）引入了符号 $i = \sqrt{- 1}$ i = -1，高斯（Gauss）与阿根（Argand）正式建立了复平面（Complex Plane/阿根图），彻底赋予了虚数严谨的直角坐标几何含义．

1.2 复数定义与基本四则运算

定义：一个复数 $z$ z 由一对有序实数 $(x, y)$ (x, y) 与虚数单位 $i$ i 线性组合而成：

z = x + i y (x, y \in R)

z = x + iy quad (x, y in R)

其中：

$x = Re (z)$ x = Re(z) 称为复数 $z$ z 的 实部（Real Part）；
$y = Im (z)$ y = Im(z) 称为复数 $z$ z 的 虚部（Imaginary Part）．注意虚部本身是实数．

实数的所有运算法则在复数域中保持完全有效，唯一的新增公理是虚数单位满足：

i^{2} = - 1, i^{3} = - i, i^{4} = 1, i^{4 k + n} = i^{n} (k \in Z)

i^2 = -1, quad i^3 = -i, quad i^4 = 1, quad i^4k+n = i^n quad (k in Z)

设有两个复数 $z_{1} = x_{1} + i y_{1}$ z_1 = x_1 + i y_1， $z_{2} = x_{2} + i y_{2}$ z_2 = x_2 + i y_2：

加减法：实部虚部分别相加减：
$z_{1} \pm z_{2} = (x_{1} \pm x_{2}) + i (y_{1} \pm y_{2})$ z_1 +/- z_2 = (x_1 +/- x_2) + i(y_1 +/- y_2)
乘法：按多项式乘法展开并利用 $i^{2} = - 1$ i^2 = -1：
$z_{1} z_{2} = (x_{1} x_{2} - y_{1} y_{2}) + i (x_{1} y_{2} + x_{2} y_{1})$ z_1 z_2 = (x_1 x_2 - y_1 y_2) + i(x_1 y_2 + x_2 y_1)
除法（分子分母同乘分母的共轭复数实现「分母实数化」）：
$\frac{z_{1}}{z_{2}} = \frac{(x_{1} + i y_{1}) (x_{2} - i y_{2})}{(x_{2} + i y_{2}) (x_{2} - i y_{2})} = \frac{x_{1} x_{2} + y_{1} y_{2}}{x_{2}^{2} + y_{2}^{2}} + i \frac{x_{2} y_{1} - x_{1} y_{2}}{x_{2}^{2} + y_{2}^{2}} (z_{2} \neq 0)$ z_1z_2 = (x_1 + i y_1)(x_2 - i y_2)(x_2 + i y_2)(x_2 - i y_2) = x_1 x_2 + y_1 y_2x_2^2 + y_2^2 + ix_2 y_1 - x_1 y_2x_2^2 + y_2^2 quad (z_2 != 0)

2. 复共轭与模长几何性质

2.1 复共轭（Complex Conjugation）

复数 $z = x + i y$ z = x + iy 的 共轭复数 记作 $z^{*}$ z^* 或 $\bar{z}$ z，几何上对应于复平面内关于实轴（ $X$ X 轴）的镜像对称反射：

z^{*} \equiv x - i y, i^{*} = - i

z^* equiv x - iy, quad i^* = -i

核心代数性质：

提取实部与虚部：
$x = Re (z) = \frac{z + z^{*}}{2}, y = Im (z) = \frac{z - z^{*}}{2 i}$ x = Re(z) = z + z^*2, quad y = Im(z) = z - z^*2i
模长平方：
$z z^{*} = (x + i y) (x - i y) = x^{2} + y^{2} = | z |^{2} \geq 0$ z z^* = (x + iy)(x - iy) = x^2 + y^2 = |z|^2 >= 0
共轭运算的分配律：
$(z_{1} \pm z_{2})^{*} = z_{1}^{*} \pm z_{2}^{*}, (z_{1} z_{2})^{*} = z_{1}^{*} z_{2}^{*}, {(\frac{z_{1}}{z_{2}})}^{*} = \frac{z_{1}^{*}}{z_{2}^{*}}$ (z_1 +/- z_2)^* = z_1^* +/- z_2^*, quad (z_1 z_2)^* = z_1^* z_2^*, quad left(z_1z_2right)^* = z_1^*z_2^*

2.2 复平面阿根图与几何不等式

复数 $z = x + i y$ z = x + iy 与平面直角坐标系中的点 $(x, y)$ (x, y) 或以原点为起点的二维矢量 $r = (x, y)$ r = (x, y) 存在严格的一一对应映射．

三角形不等式：对任意两复数 $z_{1}, z_{2}$ z_1, z_2，有：

| | z_{1} | - | z_{2} | | \leq | z_{1} + z_{2} | \leq | z_{1} | + | z_{2} |

||z_1| - |z_2|| <= |z_1 + z_2| <= |z_1| + |z_2|

补充说明

几何与代数证明：
在复平面阿根图上，矢量 $z_{1}, z_{2}$ z_1, z_2 与其和 $z_{1} + z_{2}$ z_1 + z_2 构成平面三角形．几何上三角形任意两边之和大于第三边，两边之差小于第三边．
代数推导： $| z_{1} + z_{2} |^{2} = (z_{1} + z_{2}) (z_{1}^{*} + z_{2}^{*}) = | z_{1} |^{2} + | z_{2} |^{2} + (z_{1} z_{2}^{*} + z_{1}^{*} z_{2}) = | z_{1} |^{2} + | z_{2} |^{2} + 2 Re (z_{1} z_{2}^{*})$ |z_1 + z_2|^2 = (z_1 + z_2)(z_1^* + z_2^*) = |z_1|^2 + |z_2|^2 + (z_1 z_2^* + z_1^* z_2) = |z_1|^2 + |z_2|^2 + 2Re(z_1 z_2^*)．
因为 $Re (w) \leq | w |$ Re(w) <= |w|，所以 $2 Re (z_{1} z_{2}^{*}) \leq 2 | z_{1} z_{2}^{*} | = 2 | z_{1} | | z_{2} |$ 2Re(z_1 z_2^*) <= 2|z_1 z_2^*| = 2|z_1||z_2|，从而 $| z_{1} + z_{2} |^{2} \leq (| z_{1} | + | z_{2} |)^{2}$ |z_1 + z_2|^2 <= (|z_1| + |z_2|)^2，开方即证．

2.3 复平面常见轨迹曲线

利用复数模长方程可极简描述平面解析几何曲线：

圆周： $| z - z_{0} | = R$ |z - z_0| = R 表示以 $z_{0}$ z_0 为圆心、半径为 $R$ R 的圆周；
椭圆： $| z - z_{1} | + | z - z_{2} | = 2 a$ |z - z_1| + |z - z_2| = 2a（ $2 a > | z_{1} - z_{2} |$ 2a > |z_1 - z_2|）表示以 $z_{1}, z_{2}$ z_1, z_2 为焦点的椭圆；例如 $| z - 3 | + | z + 3 | = 10$ |z - 3| + |z + 3| = 10，焦点在 $(\pm 3, 0)$ (+/- 3, 0)， $c = 3, a = 5 ⟹ b = \sqrt{5^{2} - 3^{2}} = 4$ c = 3, a = 5 implies b = 5^2 - 3^2 = 4，标准方程为 $\frac{x^{2}}{25} + \frac{y^{2}}{16} = 1$ x^2/25 + y^2/16 = 1；
直线/垂直平分线： $| z - z_{1} | = | z - z_{2} |$ |z - z_1| = |z - z_2| 表示连接 $z_{1}, z_{2}$ z_1, z_2 两点线段的中垂线．

3. 欧拉公式、极坐标与多值辐角

3.1 欧拉公式（Euler's Formula）

数学上最深刻的桥梁——欧拉公式 给出了复指数函数与三角函数的统一：

e^{i θ} = \cos θ + i \sin θ (θ \in R)

e^itheta = costheta + isintheta quad (theta in R)

当取 $θ = π$ theta = pi 时，得到被誉为「最卓越的数学公式」的 欧拉恒等式：

e^{i π} + 1 = 0

e^ipi + 1 = 0

它在极简的代数形式中凝聚了数学分析的五大基石常数：

$0$ 0：加法单位元与一切测度的基准；
$1$ 1：乘法单位元与丈量的尺度；
$π$ pi：空间几何对称与周期振动的周期常数；
$e$ e：连续增长与自然演化的特征尺度；
$i$ i：将实数维度拓宽至复平面的转动因子．

反之，正弦与余弦函数可用复指数线性表示：

\cos θ = \frac{e^{i θ} + e^{- i θ}}{2}, \sin θ = \frac{e^{i θ} - e^{- i θ}}{2 i}

costheta = e^itheta + e^-itheta2, quad sintheta = e^itheta - e^-itheta2i

3.2 极坐标形式与辐角主值

引入平面极坐标 $(r, θ)$ (r, theta)，任意非零复数可写为：

z = r \cos θ + i r \sin θ = r e^{i θ}

z = rcostheta + i rsintheta = r e^itheta

其中：

模长： $r = | z | = \sqrt{x^{2} + y^{2}} \geq 0$ r = |z| = x^2 + y^2 >= 0；
辐角（Argument）： $θ = \arg (z)$ theta = arg(z)．

由于三角函数具有 $2 π$ 2pi 周期性， $e^{i (θ + 2 k π)} = e^{i θ}$ e^i(theta + 2kpi) = e^itheta，复数的辐角具有天然的 多值性．为了避免歧义，引入 辐角主值（Principal Value of Argument）：

Arg (z) \in (- π, π]

Arg(z) in (-pi, pi]

通值辐角与主值的关系为：

\arg (z) = Arg (z) + 2 k π (k \in Z)

arg(z) = Arg(z) + 2kpi quad (k in Z)

乘除法的几何图像：模相乘除，辐角相加减

设 $z_{1} = r_{1} e^{i θ_{1}}, z_{2} = r_{2} e^{i θ_{2}}$ z_1 = r_1 e^itheta_1, z_2 = r_2 e^itheta_2：

z_{1} z_{2} = (r_{1} r_{2}) e^{i (θ_{1} + θ_{2})}, \frac{z_{1}}{z_{2}} = (\frac{r_{1}}{r_{2}}) e^{i (θ_{1} - θ_{2})}

z_1 z_2 = (r_1 r_2) e^i(theta_1 + theta_2), quad z_1z_2 = left(r_1r_2right) e^i(theta_1 - theta_2)

乘以因子 $e^{i ϕ}$ e^iphi 的物理本质是：在复平面上将向量以原点为轴 逆时针纯旋转 $ϕ$ phi 弧度，模长保持恒定．

4. 棣莫弗公式、方根与分圆方程

4.1 棣莫弗公式（de Moivre's Formula）

对于任意实数（特别是整数） $n$ n：

(\cos θ + i \sin θ)^{n} = {(e^{i θ})}^{n} = e^{i n θ} = \cos (n θ) + i \sin (n θ)

(costheta + isintheta)^n = left(e^ithetaright)^n = e^i ntheta = cos(ntheta) + isin(ntheta)

棣莫弗公式是三角恒等式极其高效的「代数生成器」．

例题：推导三倍角公式

令 $n = 3$ n = 3：

\cos 3 θ + i \sin 3 θ = (\cos θ + i \sin θ)^{3} = \cos^{3} θ + 3 i \cos^{2} θ \sin θ - 3 \cos θ \sin^{2} θ - i \sin^{3} θ

cos 3theta + isin 3theta = (costheta + isintheta)^3 = cos^3theta + 3icos^2thetasintheta - 3costhetasin^2theta - isin^3theta

两端分别对比实部与虚部（记 $C \equiv \cos θ, S \equiv \sin θ$ C equiv costheta, S equiv sintheta）：

实部： $\cos 3 θ = C^{3} - 3 C S^{2} = C^{3} - 3 C (1 - C^{2}) = 4 C^{3} - 3 C$ cos 3theta = C^3 - 3C S^2 = C^3 - 3C(1 - C^2) = 4C^3 - 3C；
虚部： $\sin 3 θ = 3 C^{2} S - S^{3} = 3 (1 - S^{2}) S - S^{3} = 3 S - 4 S^{3}$ sin 3theta = 3C^2 S - S^3 = 3(1 - S^2)S - S^3 = 3S - 4S^3．

4.2 复数方根的多值性

对于正整数 $n$ n，求解方程 $w^{n} = z = r e^{i (Arg z + 2 k π)}$ w^n = z = r e^i(Argz + 2kpi)：

w = z^{1 / n} = r^{1 / n} \exp [i (\frac{Arg z + 2 k π}{n})] (k = 0, 1, 2, \dots, n - 1)

w = z^1/n = r^1/n expleft[ileft(Argz + 2knright)right] quad (k = 0, 1, 2, dots, n-1)

一个非零复数的 $n$ n 次方根在复平面上恰好均匀分布在以原点为中心、半径为 $r^{1 / n}$ r^1/n 的圆周上，构成一个正 $n$ n 边形的各个顶点．

例题：计算

(1 + i \sqrt{3})^{1 / 2}

(1 + i3)^1/2 的全部值

将 $1 + i \sqrt{3}$ 1 + i3 化为极坐标： $r = \sqrt{1^{2} + 3} = 2$ r = 1^2 + 3 = 2，主值 $Arg = \arctan \sqrt{3} = \frac{π}{3}$ Arg = arctan3 = pi/3．

1 + i \sqrt{3} = 2 e^{i (\frac{π}{3} + 2 k π)}

1 + i3 = 2 e^ileft(pi/3 + 2kpiright)

取二次方根：

(1 + i \sqrt{3})^{1 / 2} = \sqrt{2} e^{i (\frac{π}{6} + k π)} = (- 1)^{k} \sqrt{2} e^{i \frac{π}{6}} (k = 0, 1)

(1 + i3)^1/2 = 2 e^ileft(pi/6 + kpiright) = (-1)^k 2 e^ipi/6 quad (k = 0, 1)

当 $k = 0$ k = 0 时，主根为 $\sqrt{2} (\frac{\sqrt{3}}{2} + \frac{1}{2} i) = \frac{\sqrt{6} + \sqrt{2} i}{2}$ 2left(32 + 1/2iright) = 6 + 2i2；
当 $k = 1$ k = 1 时，次根为 $- \frac{\sqrt{6} + \sqrt{2} i}{2}$ -6 + 2i2．

4.3 割圆方程与单位根分解

方程 $x^{n} - 1 = 0$ x^n - 1 = 0 的根称为 $n$ n 次单位根： $ω_{k} = e^{i \frac{2 k π}{n}}$ omega_k = e^i2kpi/n（ $k = 0, 1, \dots, n - 1$ k = 0, 1, dots, n-1）．因式分解得：

x^{n} - 1 = (x - 1) (x^{n - 1} + x^{n - 2} + \dots + x + 1) = 0

x^n - 1 = (x - 1)(x^n-1 + x^n-2 + dots + x + 1) = 0

去除显然实根 $x = 1$ x = 1 后，留下的多项式称为 割圆多项式（Cyclotomic Polynomial）：

x^{n - 1} + x^{n - 2} + \dots + x + 1 = 0

x^n-1 + x^n-2 + dots + x + 1 = 0

其 $n - 1$ n-1 个根为 $x_{k} = e^{i \frac{2 k π}{n}}$ x_k = e^i2kpi/n（ $k = 1, 2, \dots, n - 1$ k = 1, 2, dots, n-1）．

例题：利用割圆方程求

\cos \frac{2 π}{5}

cos2pi/5 与分圆乘积

问题 1：求 $\cos \frac{2 π}{5}$ cos2pi/5 的精确根式解．
由五倍角展开：

\sin 5 x = 16 \sin^{5} x - 20 \sin^{3} x + 5 \sin x

sin 5x = 16sin^5 x - 20sin^3 x + 5sin x

取 $x = \frac{2 π}{5}$ x = 2pi/5 时， $\sin 5 x = \sin 2 π = 0$ sin 5x = sin 2pi = 0．由于 $\sin \frac{2 π}{5} \neq 0$ sin2pi/5 != 0，除以 $\sin x$ sin x 得到关于 $\sin^{2} x$ sin^2 x 的二次方程：

16 (\sin^{2} x)^{2} - 20 \sin^{2} x + 5 = 0 ⟹ \sin^{2} \frac{2 π}{5} = \frac{20 + \sqrt{400 - 320}}{32} = \frac{5 + \sqrt{5}}{8}

16(sin^2 x)^2 - 20sin^2 x + 5 = 0 implies sin^22pi/5 = 20 + 400 - 32032 = 5 + 58

进而：

\cos^{2} \frac{2 π}{5} = 1 - \frac{5 + \sqrt{5}}{8} = \frac{3 - \sqrt{5}}{8} = \frac{6 - 2 \sqrt{5}}{16} = {(\frac{\sqrt{5} - 1}{4})}^{2}

cos^22pi/5 = 1 - 5+58 = 3-58 = 6-2516 = left(5-14right)^2

由于 $\frac{2 π}{5}$ 2pi/5 位于第一象限， $\cos \frac{2 π}{5} > 0$ cos2pi/5 > 0，故得：

\cos \frac{2 π}{5} = \frac{\sqrt{5} - 1}{4}

cos2pi/5 = 5-14

问题 2：求乘积 $\cos \frac{2 π}{7} \cos \frac{4 π}{7} \cos \frac{6 π}{7} = - \frac{1}{8}$ cos2pi/7cos4pi/7cos6pi/7 = -1/8．
利用半角技巧，分子分母同乘 $8 \sin \frac{2 π}{7}$ 8sin2pi/7，连续应用二倍角公式即可直接验证．

5. 理论物理中的实战代数计算工具

5.1 物理三角级数复指数求和法

在量子光学干涉光栅、声学阵列以及统计力学配分函数求和中，经常需要计算有限项振动三角级数：

S = \sum_{n = 1}^{M} \sin n θ, C = \sum_{n = 1}^{M} \cos n θ

S = sum_n=1^M sin ntheta, quad C = sum_n=1^M cos ntheta

求解方法：利用欧拉公式将实三角函数构造为复等比级数的虚部与实部：

P = \sum_{n = 1}^{M} e^{i n θ} = e^{i θ} + e^{i 2 θ} + \dots + e^{i M θ}

P = sum_n=1^M e^intheta = e^itheta + e^i2theta + dots + e^iMtheta

由等比级数求和公式（公比 $q = e^{i θ}$ q = e^itheta）：

P = e^{i θ} \frac{e^{i M θ} - 1}{e^{i θ} - 1}

P = e^itheta e^iMtheta - 1e^itheta - 1

核心提因子技巧（半角提取）：分子分母同除以或提出半角因子 $e^{i θ / 2}$ e^itheta/2：

P = \frac{e^{i θ / 2} (e^{i M θ} - 1)}{e^{i θ / 2} - e^{- i θ / 2}} = \frac{e^{i \frac{2 M + 1}{2} θ} - e^{i \frac{θ}{2}}}{2 i \sin \frac{θ}{2}} = - i \frac{[\cos (\frac{2 M + 1}{2} θ) + i \sin (\frac{2 M + 1}{2} θ)] - [\cos \frac{θ}{2} + i \sin \frac{θ}{2}]}{2 \sin \frac{θ}{2}}

P = e^itheta/2(e^iMtheta - 1)e^itheta/2 - e^-itheta/2 = e^i2M+1/2theta - e^itheta/22isintheta/2 = -ileft[cosleft(2M+1/2thetaright) + isinleft(2M+1/2thetaright)right] - left[costheta/2 + isintheta/2right]2sintheta/2

分别提取虚部与实部，得到通用物理结论：

\sum_{n = 1}^{M} \sin n θ = Im (P) = \frac{\cos \frac{θ}{2} - \cos (\frac{2 M + 1}{2} θ)}{2 \sin \frac{θ}{2}}

sum_n=1^M sin ntheta = Im(P) = costheta/2 - cosleft(2M+1/2thetaright)2sintheta/2

\sum_{n = 1}^{M} \cos n θ = Re (P) = \frac{- \sin \frac{θ}{2} + \sin (\frac{2 M + 1}{2} θ)}{2 \sin \frac{θ}{2}}

sum_n=1^M cos ntheta = Re(P) = -sintheta/2 + sinleft(2M+1/2thetaright)2sintheta/2

5.2 多值初等函数：复对数与复幂

复对数函数定义为指数映射的反函数：若 $e^{w} = z$ e^w = z，则 $w = \ln z$ w = ln z．设 $z = | z | e^{i (Arg z + 2 k π)}$ z = |z|e^i(Argz + 2kpi)：

\ln z = \ln | z | + i \arg (z) = \ln | z | + i (Arg z + 2 k π) (k \in Z)

ln z = ln|z| + iarg(z) = ln|z| + i(Argz + 2kpi) quad (k in Z)

其主值为 $Ln z = \ln | z | + i Arg z$ Ln z = ln|z| + iArgz．

典型例题：

\ln i

ln i 与纯虚数幂

i^{i}

i^i

计算 $\ln i$ ln i： $| i | = 1, Arg (i) = \frac{π}{2}$ |i| = 1, Arg(i) = pi/2：
$\ln i = \ln 1 + i (\frac{π}{2} + 2 k π) = i (\frac{π}{2} + 2 k π) (k \in Z)$ ln i = ln 1 + ileft(pi/2 + 2kpiright) = ileft(pi/2 + 2kpiright) quad (k in Z)
其主值为 $i \frac{π}{2}$ ipi/2．
计算 $i^{i}$ i^i 的所有可能值：利用一般复数幂定义 $a^{b} = \exp (b \ln a)$ a^b = exp(bln a)：
$i^{i} = \exp (i \ln i) = \exp [i \cdot i (\frac{π}{2} + 2 k π)] = e^{- \frac{π}{2} - 2 k π} (k \in Z)$ i^i = exp(iln i) = expleft[i * ileft(pi/2 + 2kpiright)right] = e^-pi/2 - 2kpi quad (k in Z)
重要发现：虚数的虚数次方 所有取值全部为纯实数！其中主值（ $k = 0$ k = 0）为 $e^{- π / 2} \approx 0.20788$ e^-pi/2 ~ 0.20788．

例题：在复平面上解方程

\sin z = 2

sin z = 2

在实数范围内正弦函数的值域严格限制在 $[- 1, 1]$ [-1, 1] 内，但在复平面上正弦可取任意复数值！
由欧拉公式：

\sin z = \frac{e^{i z} - e^{- i z}}{2 i} = 2 ⟹ e^{2 i z} - 4 i e^{i z} - 1 = 0

sin z = e^iz - e^-iz2i = 2 implies e^2iz - 4i e^iz - 1 = 0

解一元二次方程：

e^{i z} = \frac{4 i \pm \sqrt{- 16 + 4}}{2} = (2 \pm \sqrt{3}) i

e^iz = 4i +/- -16 + 42 = (2 +/- 3)i

两边取复对数（注意 $(2 \pm \sqrt{3}) i$ (2 +/- 3)i 的模为 $2 \pm \sqrt{3}$ 2 +/- 3，辐角为 $\frac{π}{2} + 2 k π$ pi/2 + 2kpi）：

i z = \ln (2 \pm \sqrt{3}) + i (\frac{π}{2} + 2 k π)

iz = ln(2 +/- 3) + ileft(pi/2 + 2kpiright)

由于 $\ln (2 - \sqrt{3}) = \ln (\frac{1}{2 + \sqrt{3}}) = - \ln (2 + \sqrt{3})$ ln(2 - 3) = lnleft(1/2+3right) = -ln(2+3)，除以 $i$ i 整理得：

z = \frac{π}{2} + 2 k π \pm i \ln (2 + \sqrt{3}) (k \in Z)

z = pi/2 + 2kpi +/- iln(2 + 3) quad (k in Z)

5.3 利用复指数求实数定积分

例题：计算定积分

\int_{0}^{π} \cos^{n} θ \cos n θ d θ

int_0^pi cos^nthetacos ntheta ,dtheta

将实三角函数化为复指数：

\cos θ = \frac{e^{i θ} + e^{- i θ}}{2}, \cos n θ = \frac{e^{i n θ} + e^{- i n θ}}{2}

costheta = e^itheta + e^-itheta2, quad cos ntheta = e^intheta + e^-intheta2

由二项式定理：

(e^{i θ} + e^{- i θ})^{n} = \sum_{m = 0}^{n} (\binom{n}{m}) e^{i (2 m - n) θ}

(e^itheta + e^-itheta)^n = sum_m=0^n nm e^i(2m-n)theta

因此被积函数展开为：

\cos^{n} θ \cos n θ = \frac{1}{2^{n + 1}} \sum_{m = 0}^{n} (\binom{n}{m}) [e^{i 2 m θ} + e^{i 2 (m - n) θ}]

cos^ntheta cos ntheta = 12^n+1 sum_m=0^n nm left[e^i 2mtheta + e^i 2(m-n)thetaright]

利用复正交积分性质： $\int_{0}^{π} e^{i 2 k θ} d θ = π δ_{k, 0}$ int_0^pi e^i 2kthetadtheta = pi delta_k, 0（仅在 $k = 0$ k=0 时积分为 $π$ pi，其余非零整数积分为 $0$ 0）．
在求和项中：

$e^{i 2 m θ}$ e^i 2mtheta 仅在 $m = 0$ m = 0 时产生贡献 $(\binom{n}{0}) π = π$ n0pi = pi；
$e^{i 2 (m - n) θ}$ e^i 2(m-n)theta 仅在 $m = n$ m = n 时产生贡献 $(\binom{n}{n}) π = π$ nnpi = pi．

两项相加即得：

\int_{0}^{π} \cos^{n} θ \cos n θ d θ = \frac{1}{2^{n + 1}} (π + π) = \frac{π}{2^{n}}

int_0^pi cos^nthetacos ntheta ,dtheta = 12^n+1(pi + pi) = 2^n

6. 物理前沿与后续课程出口

交流电路复阻抗相量法：
在电磁学：交流电路中，利用微分算子向复代数的映射 $\frac{d}{d t} \to i ω$ ddt -> iomega，将电感 $Z_{L} = i ω L$ Z_L = iomega L 与电容 $Z_{C} = \frac{1}{i ω C}$ Z_C = 1/iomega C 与电阻 $R$ R 统一为复数阻抗，通过基尔霍夫定律直接代数求解；
电动力学与光学复振幅：
在电磁学：麦克斯韦方程组与电磁波中，三维单色平面波写为 $E (r, t) = Re [E_{0} e^{i (k \cdot r - ω t)}]$ E(r, t) = Re[E_0 e^i(k*r-omega t)]，空间散度旋度算子自然转化为代数交叉乘积 $\nabla \to i k$ nabla -> ik；
量子力学规范变换与概率守恒：
在近代物理：量子力学基础中，波函数局域相位的规范变换 $ψ \to ψ e^{i α (x)}$ psi -> psi e^ialpha(x) 直接催生了 $U (1)$ U(1) 电磁规范相互作用．

7. 学习衔接

下一节：将复微积分进一步深化，进入复可微与全纯解析理论：解析函数与柯西 - 黎曼条件；
总览回顾：参考复数与复变函数模块导览与数学物理方法课程路线．

知识小测与巩固练习

补充说明

课后核心技能自测点

能否在 30 秒内通过极坐标快速计算类似 $((1 + i) / \sqrt{2})^{100}$ ((1+i)/2)^100 的高次复幂？
是否能熟练利用欧拉公式展开 $\cos 4 θ$ cos 4theta 与 $\sin 4 θ$ sin 4theta？
能否独立写出 $\ln (- 1)$ ln(-1) 与 $i^{- 2 i}$ i^-2i 的全部多值解？

本页小测与复习

本页面最近更新：2026/10/1 10:49:01，更新历史
发现错误？想一起完善？在 GitHub 上编辑此页！
本页面贡献者：Leafuke, Physics Learning Wiki Team
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供，附加条款亦可能应用

复数与几何表示

物理问题引入：为什么实数物理世界需要虚数 $i$ i？

1. 复数的数系扩充历史与代数结构

1.1 从一元三次方程到阿根图复平面

1.2 复数定义与基本四则运算

2. 复共轭与模长几何性质

2.1 复共轭（Complex Conjugation）

2.2 复平面阿根图与几何不等式

2.3 复平面常见轨迹曲线

3. 欧拉公式、极坐标与多值辐角

3.1 欧拉公式（Euler's Formula）

3.2 极坐标形式与辐角主值

4. 棣莫弗公式、方根与分圆方程

4.1 棣莫弗公式（de Moivre's Formula）

4.2 复数方根的多值性

4.3 割圆方程与单位根分解

5. 理论物理中的实战代数计算工具

5.1 物理三角级数复指数求和法

5.2 多值初等函数：复对数与复幂

5.3 利用复指数求实数定积分

6. 物理前沿与后续课程出口

7. 学习衔接

知识小测与巩固练习

本页小测与复习

复变函数基础：复数代数、几何表示与解析性速测

评论

复数与几何表示

物理问题引入：为什么实数物理世界需要虚数 𝑖ii？

1. 复数的数系扩充历史与代数结构

1.1 从一元三次方程到阿根图复平面

1.2 复数定义与基本四则运算

2. 复共轭与模长几何性质

2.1 复共轭（Complex Conjugation）

2.2 复平面阿根图与几何不等式

2.3 复平面常见轨迹曲线

3. 欧拉公式、极坐标与多值辐角

3.1 欧拉公式（Euler's Formula）

3.2 极坐标形式与辐角主值

4. 棣莫弗公式、方根与分圆方程

4.1 棣莫弗公式（de Moivre's Formula）

4.2 复数方根的多值性

4.3 割圆方程与单位根分解

5. 理论物理中的实战代数计算工具

5.1 物理三角级数复指数求和法

5.2 多值初等函数：复对数与复幂

5.3 利用复指数求实数定积分

6. 物理前沿与后续课程出口

7. 学习衔接

知识小测与巩固练习

本页小测与复习

复变函数基础：复数代数、几何表示与解析性速测

评论

物理问题引入：为什么实数物理世界需要虚数 $i$ i？