留数定理

在奇点附近对 Laurent 展开逐项积分：每个幂 $(z-a{)}^n$（$n\ne -1$）在去心平面上都有单值原函数 $(z-a{)}^{n+1}/(n+1)$，沿闭曲线绕一圈积分归零；唯独 $n=-1$ 的"原函数"是多值的对数，绕一圈净增 $2\pi i$。于是闭路积分像一台只对系数 $c_{-1}$ 敏感的探测器，读数再乘以绕圈次数——这正是"留数"（residue，剩余之物）名字的来历：整条展开式里绕圈后唯一剩下的东西。另一半直觉来自 Cauchy 积分定理公理库Cauchy 积分定理与公式Cauchy integral theorem · Cauchy integral formula全纯函数在可缩闭路上的积分为零，并可由边界积分重建内部值与所有导数。：在无奇点的区域内曲线可以自由变形而不改变积分值，因此大回路可以收缩成绕各奇点的小圆圈之并。两件事合起来，本来要沿整条曲线累积的全局解析信息，坍缩成了有限个局部代数量。

标准正例是实积分 ${\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\frac{dx}{1+x^2}$。取上半平面半径 $R$ 的半圆回路，它只围住简单极点 $z=i$，留数为 $\underset{z\to i}{lim}(z-i)\frac{1}{1+z^2}=\frac{1}{2i}$，故回路积分恒为 $2\pi i\cdot \frac{1}{2i}=\pi$；圆弧段的贡献被 $\pi R/(R^2-1)$ 控制，随 $R\to \mathrm{\infty }$ 趋于零，于是实积分等于 $\pi$，与用 $\arctan$ 原函数所得一致。计算留数时，简单极点用 $\mathrm{Res}(f,a)=\underset{z\to a}{lim}(z-a)f(z)$；$m$ 阶极点先乘 $(z-a{)}^m$、求 $m-1$ 阶导数，再除以 $(m-1)!$。

留数并不专属于极点。本性奇点 $e^{1/z}$ 在 $0$ 处的 Laurent 展开为 $\sum _{n\ge 0}{z}^{-n}/n!$，故 $c_{-1}=1$，${\int }_{|z|=1}{e}^{1/z}dz=2\pi i$；这里 $\underset{z\to 0}{lim}z{e}^{1/z}$ 不存在，极点公式失效，但奇点仍是孤立的，定理照常适用。

边界情形都出在假设上。曲线穿过奇点时积分本身可能发散，需要主值之类的额外约定；奇点非孤立时不能套用有限求和公式，例如 $1/\sin \left(1/z\right)$ 的极点 $1/(k\pi )$ 聚集到 $0$，使 $0$ 成为非孤立奇点，围绕它的回路无法逐点取留数。绕数为零的奇点自动不贡献，这正是权重 $n(\gamma ,a_k)$ 存在的意义。

留数定理把围道积分公理库复路径积分Complex contour integral沿分段光滑复路径对复值函数进行的有向线积分。这一全局对象化为局部代数计算，是复分析计算能力的主要来源。取 $f(z)=g(z)/(z-a)$ 且 $g$ 全纯，就退回 Cauchy 积分公式；对 $f^{\prime }/f$ 应用定理得到辐角原理与 Rouché 定理，用绕数清点零点与极点个数。实用方向包括：有理函数与三角函数的实积分、含振荡因子的 Fourier 型积分、以 $\pi \cot \left(\pi z\right)$ 为核求级数和（如 $\sum _{n\ge 1}1/n^2={\pi }^2/6$）、Laplace 逆变换的 Bromwich 回路计算，以及生成函数公理库普通生成函数Ordinary generating function把序列编码为形式幂级数 Σ a_n x^n。系数的奇点渐近分析。