Cauchys integralsætning er et udsagn fra funktionsteorien for en kompleks variabel .
Lad være et domæne og lad funktionen være holomorf i og kontinuerlig i lukningen af . Derefter, for nogle simpelthen forbundne domæner og for enhver lukket Jordan-kurve , forholdet
Vi giver et bevis, når domænet blot er forbundet , og den afledede er kontinuert. Det følger af Cauchy-Riemann-ligningerne , at differentialformen er lukket . Lad nu være en lukket selvadskillende stykkevis-glat kontur inde i domænet af funktionen , der afgrænser domænet . Så ved Stokes-sætningen har vi:
Det kan også bevises uden yderligere antagelser om kontinuiteten af derivatet. Ideen med beviset er, at det er tilstrækkeligt at fastslå eksistensen af et antiderivat af differentialformen . For at gøre dette er det tilstrækkeligt at bevise, at integralet over ethvert rektangel med sider parallelle med koordinatakserne er lig med nul.
Hvis dette integral er ikke-nul og lig med tallet , vil integralmodulet over et af rektanglerne falde med maksimalt fire, når rektanglet skæres i 4 lige store rektangler (igen med sider parallelt med koordinatakserne). Lad os skære det og fortsætte denne proces. Men den indlejrede sekvens af rektangler skal have et fælles punkt , i et tilstrækkeligt lille kvarter af hvilket .
Men integralet over et meget tæt rektangel af de to første led er lig med nul, og integralet af det sidste er for lille. Modsigelsen beviser teoremet.
En begrænset omvendt af Cauchys sætning er Moreras sætning . En generalisering af Cauchys sætning til tilfældet med et multidimensionelt komplekst rum er Cauchy-Poincarés sætning .