柯西积分定理

柯西积分定理是本学科的奠基性奇迹:若一个函数在一条闭环内部及环上处处全纯,那么沿该环绕行一周的积分恰好为零。沿边界的环行完全自相抵消。直觉是全纯被积函数在局部有原函数,而一个导数沿任意闭路的积分会把你带回出发处——净变化为零。

一个干净的陈述:若 f 在单连通开集 U(没有洞的区域)上全纯,则对每条位于 U 内的闭围道 gamma,f 沿 gamma 的围道积分为 0。单连通这一假设至关重要——它保证没有隐藏的奇点供环路环绕。古萨的精炼表明你只需假设 f 复可微,而无需导数连续,这正是它有时被称作柯西–古萨定理的原因。

该定理立即给出路径无关性:在两个端点之间,全纯函数的积分不依赖于所取路线(在单连通区域内)。它也是积分公式和留数定理的跳板。关键的告诫在于拓扑:在带洞的区域上,或在确实环绕某奇点的环路上,积分可以非零——1/z 绕单位圆的积分为 2pi i,正是因为原点是环路所环绕的一个洞。