Cauchyn integraalilause

Cauchyn integraalilause on yksi matemaattisen kompleksianalyysin perustavimmista lauseista. Se koskee holomorfisten funktioiden viivaintegraalia kompleksitasolla. Oleellisesti se sanoo, että jos kaksi pistettä yhdistetään toisiinsa kahdella eri polulla ja jokin funktio on holomorfinen kaikkialla näiden polkujen välisellä alueella, molemmat viivaintegraalit saavat saman arvon. Lause on nimetty Augustin-Louis Cauchyn mukaan.
Lauseen muotoilu.
Lause muotoillaan tavallisesti seuraavasti: Olkoon "U" formula_1:n yhdesti yhtenäinen avoin osajoukko ja "f": "U" ? formula_1 holomorfinen funktio ja formula_3 joukossa U kulkeva suoristuva polku, jonka päätepiste on sama kuin alkupiste. Silloin "f":n viivaintegraali tämän polun yli on nolla:
formula_4
Cauchyn integraalilause voidaan yhtäpitävästi muotoilla myös niin, että yhdesti yhtenäisessä alueessa analyyttisen funktion käyräintegraali pisteestä "a" pisteeseen "b" on sama kaikilla käyrillä tai poluilla, jotka johtavat pisteestä "a" pisteeseen "b".
Että alue "U" on yhdesti yhtenäinen, merkitsee intuitiivisesti, että siinä ei ole "reikiä" keskellä. Täsmällisemmin käsite voidaan määritellä homotopian avulla. Alue on yhdesti yhtenäinen, jos siinä jokainen umpinainen polku eli polku, jonka päätepiste on sama kuin alkupiste, voidaan jatkuvasti muuntaa pisteeksi. Tämä on yhtäpitävää sen kanssa, että alueen perusryhmä on triviaali ryhmä. Esimerkiksi kaikki kiekot sekä kompleksitasossa kahden yhdensuuntaisen suoran väliin jäävät alueet ovat yhdesti yhtenäisiä, samoin kaikki alueet, jotka ovat homeomorfisia jonkin tällaisen alueen kanssa. Sen sijaan esimerkiksi rengasmainen, kahden sisäkkäisen ympyrän väliin jäävä alue alue formula_5, ei ole yhdesti yhtenäinen.
Lauseen edellytykset.
Cauchy todisti integraalilauseen funktioille, jotka hänen käyttämänsä määritelmän mukaan olivat analyyttisiä. Hänen käyttämäänsä määritelmään ei kuulunut ainoastaan, että funktiolla on derivaatta, vaan myös että sen reaali- ja imaginaariosan osittaisderivaatat ovat jatkuvia. Hänen todistamassaan muodossa lause päti ainoastaan tällä edellytyksellä. Myöhemmin Édouard Goursat todisti keksimänsä apulauseen, Goursat'n lemman avulla, että lause pätee jokaiselle kompleksitason kompleksiarvoiselle funktiolle, jolla on derivaatta kaikkialla jollakin alueella. Vasta näin todistetun Cauchyn integraalilauseen yleisemmän version avulla voidaan todistaa, että kompleksitasossa jokaisella funktiolla, jolla on derivaatta jollakin alueella, osittaisderivaatat ovat jatkuvat ja funktiolla on kaikkien kertalukujen derivaatat. Nykyisin kompleksitasossa onkin tapana määritellä analyyttinen eli holomorinen funktio funktioksi, jolla on derivaatta; Cauchyn integraalilause pätee kaikille tällaisille funktioille.
Ehto, että alue "U" on yhdesti yhtenäinen, on kuitenkin oleellisen tärkeä. Esimerkkinä voidaan tarkastella polkua
formula_6,
jonka jälki on yksikköympyrä, ja käyräintegraalia
formula_7
joka siis ei ole nolla. Cauchyn integraalilause ei päde tällaiselle funktiolle, koska formula_8 ei ole määritelty origossa. Laajin alue, jossa funktio formula_9 on määritelty, onkin formula_10, joka ei ole yhdesti yhtenäinen, koska siinä on "reikä" origossa.
Lauseen merkitys.
Cauchyn integraalilause on kompleksianalyysin keskeisimpiä tuloksia. Sen avulla voidaan todistaa monia muita tärkeitä tuloksia kuten
Liouvillen lauseesta seuraa suoraan myös algebran peruslause, jonka mukaan kompleksitasossa jokaisella polynomilla, joka ei ole vakio, on ainakin yksi nollakohta. Tämän tosin Karl Friedrich Gauss oli jo vuonna 1799 todistanut toisin keinoin, käyttämättä kompleksianalyysin tuloksia.
Käänteislause.
Cauchyn integraalilauseen käänteislause on Moreran lause. Sen mukaan jos funktio "f" on jatkuva alueessa "U" ja jos 
formula_4
jokaisella alueen "U" umpinaisella paloittain säännölliselle polulle formula_13, niin "f" on holomorfinen alueessa "U".