モレラの定理

3行要約

1. 領域内の連続関数の複素積分が、任意の閉曲線でゼロならばその関数は正則であるという定理。
2. 複素解析におけるコーシーの積分定理の逆にあたる。
3. 関数の正則性を判定するための強力な手法であり、理論的な証明に多用される。