# Cauchy integral teoremi
Matematiğin bir dalı olan karmaşık analizde Cauchy integral teoremi, karmaşık düzlemdeki holomorf fonksiyonların çizgi integralleri hakkında önemli bir teoremdir.
Teorem, Augustin Louis Cauchy'nin adını taşımaktadır.


## Teoremin ifadesi.
Cauchy integral teoremi: "U", C 'nin basit bağlantılı açık bir altkümesi olsun. "f" : "U" → C holomorf bir fonksiyon olsun ve γ, "U" içinde başlangıç noktası bitiş noktasıyla aynı olan doğrultulabilir bir yol olsun. O zaman :∮_γf(z) dz = 0 eşitliği vardır.
Édouard Goursat tarafından gösterildiği gibi, Cauch integral teoremi, "U" içinde her yerde "f" 'nin karmaşık türevi olan "f" '("z") varsa, kanıtlanabilir. Bu önemlidir çünkü bu fonksiyonlar için o zaman Cauchy integral formülü de kanıtlanabilir ve bundan aslında bu fonksiyonların sonsuz kere türevlenebilmesi özelliği çıkar.
"U" 'nun basit bağlantılı olması koşulu kabaca "U" 'da "delik" olmaması anlamına gelir veya homotopi kavramlarıyla anlatılacak olursa, "U" 'nun temel grubunun bariz olması demektir. Örneğin, U={ z: |z-z_0| lt; r} açık diski bunlardan biridir. Bu şart teoremde çok önemlidir. Birim çemberi dolaşan
γ(t) = e^it t ∈[0,2π]
düşünüldüğünde, 
∮_γ1/z dz = ∫_0^2π ie^it e^it dt= ∫_0^2πi dt = 2πi 
yol integrali sıfır olmayacaktır. Cauchy integral teoremi, "f"("z") = 1/"z" fonksiyonu "z" = 0 noktasında tanımlı olmadığı (ve elbette holomorf olmadığı) için artık burada geçerli değildir.
Teoremin önemli sonuçlarından birisi basit bağlantılı bölgelerdeki holomorf fonksiyonların yol integrallerinin hesabın temel teoremindekine benzer bir şekilde hesaplanabilmesidir: "U", C 'nin basit bağlantılı açık bir kümesi olsun. "f" : "U" → C holomorf bir fonksiyon olsun ve γ, başlangıç noktası "a", bitiş noktası "b" olan bir parçalı sürekli türevlenebilir yol olsun. "F", "f" 'nin karmaşık antitürevi ise, o zaman
∫_γf(z) dz=F(b)-F(a)
eşitliği vardır.
Cauchy integral teoremi üstte verilen halinden biraz daha güçlü halde de geçerlidir. "U" 'nun sınırı doğrultulabilir bir yolun (mesela γ) görüntüsü olsun ve ayrıca "U" basit bağlantılı açık bir C altkümesi olsun. "f", "U" üzerinde holomorf olan bir fonksiyonsa ve "U" 'nun kapanışında sürekliyse, o zaman
∮_γf(z) dz=0
eşitliği vardır.
Cauchy integral teoremi ayrıca Cauchy integral formülü 'nün ve rezidü (kalıntı) teoreminin kanıtlanmasını da sağlar.


## Kanıt.
Cauchy integral teoremi, Green teoremi ile kanıtlanabilir. Kanıt için Cauchy-Riemann denklemlerini kullanmamız yetecektir. γ kontürü saat yönünün tersi şeklinde bir döngü halinde olsun ve U kümesi basit bağlantılı ve ℂ kümesinin alt kümesi olsun. f fonksiyonu U gibi bir basit bağlantılı bölgenin tümünde holomorf olsun. z=x+iy ise, kompleks diferansiyeli dz=dx+idy olur. Fonksiyonu da gerçel ve sanal kısımlarının toplamı şeklinde yazalım: f(z)=u(x,y)+iv(x,y).
Bu durumda
∮_γf(z) dz=∮_γ(u+iv)(dx+idy)=∮_γ(u dx-v dy)+i∮_γ(vdx+udy) olacaktır.
Green teoremi kullanarak
∮_γ(udx-vdy)=∬_D (-∂v ∂x-∂u ∂y ) dx dy
∮_γ(vdx+udy)=∬_D (∂u ∂x -∂v ∂y) dx dy
yazılabilir.
Cauchy-Riemann denklemleriyle (∂u ∂x=∂v ∂y ve ∂v ∂x=-∂u ∂y) teorem kanıtlanacaktır.
∬_D (-∂v ∂x-∂u ∂y) dx dy=∬_D (∂u ∂y-∂u ∂y ) dx dy=0
∬_D (∂u ∂x -∂v ∂y) dx dy =∬_D (∂u ∂x-∂u ∂x) dx dy = 0.
Sonuç olarak,
∮_γf(z) dz = 0.