Définition : Soit γ un chemin et soit f une fonction définie en tout point de ce chemin.

Soit {l0,,ln} une subdivision de γ avec l0=a et ln=b. Soit ξ1,,ξn tels que pour tout i[1 ; n], ξi]li1 ; li[. On pose In=nk=1f(ξk)(zlzl1).

Si, quand n:→+, la somme In tend vers une limite indépendante du choix des lk et des ξk, alors la limite de In est appelée intégrale de f le long de γ et notée I=γf(z)dz.

Propriété : Si f est continue sur γ, son intégrale le long de γ existe.

Remarque : Si γ est paramétré par z(t)=x(t)+iy(t), on obtient I=tbtaf(z(t))z(t)dt.

Propriété : Soit f admettant une primitive F (F=f) sur un domaine Ω de C.

Alors I=γf(z)dz=F(b)F(a) avec a et b les extrémités du chemin γ, contenu dans Ω.

Proposition : Inégalité de Darboux

Soit f fonction intégrable sur un chemin γ de longueur curviligne L.

On note M=sup que l’on suppose fini.

Alors .

Théorème de Cauchy :

Soit un domaine simplement connexe.

Soit une fonction analytique sur .

Soit un contour contenu dans .

Alors .

Remarque : Un contour est un chemin dont les extrémités sont égales .

Proposition : Soit une fonction analytique sur un domaine simplement connexe .

Soit et deux points de . Soit et deux chemins contenus dans , d’extrémités communes et . Alors .

Proposition : Soit une fonction analytique sur un domaine simplement connexe . Alors admet une primitive sur .

Proposition : Formule intégrale de Cauchy

Soit une fonction analytique sur un domaine simplement connexe . Soit .

Pour tout contour de orienté positivement et entourant , on a :

Proposition : Soit une fonction analytique sur un domaine simplement connexe .

Soit . Alors est de classe sur et pour tout contour entourant , on a, pour tout

.

Théorème de Morera :

Soit une fonction continue sur un domaine simplement connexe .

Si, pour tout contour de , on a , alors est analytique sur .

Théorème de Liouville :

Soit une fonction entière. Si est bornée (c’est-à-dire s’il existe tel que pour tout , ), alors est constante.