なぜ複素線積分は0になる？コーシーの積分定理の直感と証明を徹底解説について見逃せない ポイントを分かりやすい構成で解説いたします。

インターネットの知恵袋や学習コミュニティを観察すると、初学者が陥りやすい致命的な誤解が散見されます。その筆頭が「閉曲線の複素積分なのだから、何も考えずにゼロと書いておけば正解だろう」という短絡的な思い込みです。 代表的な反例として、複素解析の基礎と例題で必ず登場する次の計算を見てみましょう。 原点を中心とする半径1の単位円 $C$ を反時計回りに一周するとき、関数 $f(z) = \frac{1}{z}$ の線積分はどうなるでしょうか。 $$z = e^{i\theta} \quad (0 \le \theta \le 2\pi), \quad dz = i e^{i\theta}\,d\theta$$ これを愚直に計算すると、次の結果が得られます。 $$\oint_C \frac{1}{z}\,dz = \int_0^{2\pi} \frac{1}{e^{i\theta}} (i e^{i\theta})\,d\theta = \int_0^{2\pi} i\,d\theta = 2\pi i \neq 0$$ 結果はゼロではなく、$2\pi i$ という明確な値を残します。なぜコーシーの積分定理が使えないのか。それは原点 $z = 0$ において関数が発散し、微分不可能（正則ではない特異点）になっているからです。閉曲線の内部に特異点という穴が空いているため、単連結領域の前提条件を満たしていません。 もう1つの重要な視点が、定理の「逆」を巡る関係です。「閉曲線の積分がゼロになるなら、その関数は必ず正則と言えるのか？」という問いに対し、肯定の答えを与えるのがモレラの定理と逆の論理です。連続関数 $f(z)$ について、領域内のあらゆる閉曲線で線積分がゼロになるならば、$f(z)$ はその領域で正則になります。コーシーの積分定理とモレラの定理は互いに表裏一体をなし、複素関数の正則性を判定する強力な両輪として機能しています。