コーシーの積分定理

コーシーの積分定理（コーシーのせきぶんていり、）は、コーシーの第1定理ともいわれる、オーギュスタン＝ルイ・コーシーによって示された、数学、特に微分積分学において、複素平面上のある領域において正則な関数の複素積分についての定理である。
内容.
コーシーの積分定理は様々な形があるが代表的なのは次であろう。
"D" を領域とし、"f"("z") は "D" 上で正則である複素関数とする。Cが"D" 内のある有界領域の境界であって、互いに交わらない有限個の区分的に滑らかなJordan閉曲線からなるとき
つまり、ある領域を囲む閉曲線で関数 "f"("z") を積分するとき、その領域内で "f"("z") が常に正則であれば、その積分の値は必ず 0 となることを主張している。
また、領域内に formula_2 となるような正則関数 formula_3 が存在する場合、始点と終点を定めれば積分路によらず
となる。このとき閉曲線、つまり始点と終点が一致する場合に値が 0 になることは明らかである。すなわちコーシーの積分定理は、単連結な領域上の正則関数には、このような formula_3 が常に存在することを意味している。
証明.
この定理の証明は導関数が連続という仮定下ではグリーンの定理とコーシー・リーマンの関係式を用いるとよい。
証明は複素積分の定義から導くことができる。
ここで、正則関数であればコーシー・リーマンの関係式が成立するので、実部と虚部の項が0になる。
コーシーの積分定理は、20 世紀にによって導関数の連続性の仮定無しに証明された。
一般化.
積分路"C"を1サイクル、即ち有限個の閉曲線の形式和"C=C_1+...C_n"として次のように一般化することが出来る。
"D" を領域とし、"f"("z") は "D" 上で正則である複素関数とする。"D" 内の区分的に滑らかな1サイクル"C" が"D" 内で 0にホモローグであるとき、
ここで"D" 内で0にホモローグ(homologous to 0)とは0にホモトピー同値な有限個の"D" 内の閉曲線の形式和として書けることを言う。
1サイクル"C" が"D" 内で 0にホモローグであるとはつまり「Cで囲まれる有界領域」がDに含まれるということである。ただし「Cで囲まれる有界領域」という概念は（視覚的には明らかに指定出来るものであるが）正確な数学的定式化にはジョルダンの曲線定理（ただし区分的C^1なJordan曲線に対するもので十分であり、この場合に限った証明は随分簡単になる）を仮定するか回転数 (数学)#複素解析学という概念を用いるかしなければならない。
特に冒頭の条件である、Cが"D" 内のある有界領域の境界であって互いに交わらない有限個の区分的に滑らかなJordan閉曲線からなるとき、"C" は"D" 内で 0 にホモローグである。
またCが単に区分的に滑らかな閉曲線であるとき、可縮（0にホモトピー同値）ならば"C" は1チェインとして"D" 内で 0にホモローグである（注：逆は不成立）から、系として次が得られる。
"D" を領域とし、"f"("z") は "D" 上で正則である複素関数とする。"D" 内の区分的に滑らかな閉曲線"C"が"D" 内で可縮（0にホモトピー同値）であるとき、
特に"D" が単連結なら任意の区分的に滑らかな閉曲線"C"に対して上の仮定が満たされることは明らかである。