なぜ複素線積分は0になる？コーシーの積分定理の直感と証明を徹底解説

なぜ複素線積分は0になる？コーシーの積分定理の直感と証明を徹底解説とはどんな影響があるのか? 専門的な分析を簡潔に解説します。

初学者が講義の後半で混乱を極めるのが、「積分定理」「積分公式」「留数定理」という名前の似た3兄弟の役割分担です。これらは決して独立した別個の理論ではなく、特異点の有無と扱い方に応じた進化のグラデーションをなしています。 各定理の特性、条件、計算結果の違いを俯瞰できる比較表を用意しました。

定理の名称内部に含まれる特異点計算結果（積分値）複素解析における役割と位置づけコーシーの積分定理0個（完全になし）$\oint_C f(z)\,dz = 0$すべての出発点。閉曲線内の積分が消滅することを示す基本原理。コーシーの積分公式1個の単純な極（$z = z_0$）$2\pi i f(z_0)$境界上の値だけで内部の任意の点の値が決まる驚異の再現公式。留数定理任意の有限個の特異点$2\pi i \sum \mathrm{Res}(f, z_k)$実数関数の難解な定積分を瞬時に解く、解析計算の最高峰ツール。

コーシーの積分公式との違いは、「分母に $(z - z_0)$ という特異点があるかないか」に尽きます。分母がゼロになる点 $z_0$ がループの内側に1つ侵入した瞬間、保存場に竜巻のような渦が発生し、積分値はゼロから跳ね上がって $2\pi i f(z_0)$ という確定値を生み出します。 さらに、その特異点が領域内に無数に散らばった状況を一般化したものが留数定理との関係です。それぞれの穴の周りで生じる局所的な歪みを孤立特異点とローラン展開によって級数分解し、係数 $a_{-1}$（留数）を取り出して足し合わせるだけで全体の積分が求まります。コーシーの積分定理は、いわば「留数がすべてゼロの特殊ケース」として美しく統合されているのです。