Théorème 7Analyse complexe
Formule intégrale de Cauchy
Soit holomorphe sur un ouvert contenant le disque fermé .
(i) Il existe tel que le disque ouvert soit contenu dans .
(ii) Pour tout tel que ,
Démonstration
(i) Le disque fermé est compact (Suites et séries complexes) et contenu dans l'ouvert . Considérons tous les disques ouverts tels que , et . Ils recouvrent le disque fermé, puisque chacun de ses points est le centre d'un disque ouvert contenu dans . On en extrait un nombre fini, , qui le recouvrent encore, et l'on pose ; aucun choix n'intervient, puisque la famille est définie sans désigner un rayon pour chaque point.
Si , il existe un point du disque fermé avec : le point lui-même, ou . Ce point appartient à un , donc , et .
(ii) Soit comme en (i) ; le disque , contenu dans , est convexe.
Le noyau. Soit pour et : elle est continue sur et holomorphe hors de . Par le théorème de Cauchy convexe (Cauchy, ouverts convexes), , d'où
Le calcul. Pour sur le cercle, avec , de module constant. La série géométrique converge donc uniformément sur le cercle (Convergence uniforme) :
En intégrant terme à terme, seul le terme contribue (Intégrale curviligne), et .
La formule est saisissante : les valeurs de sur un cercle déterminent toutes ses valeurs à l'intérieur. Aucune fonction dérivable d'une variable réelle n'a de propriété comparable ; c'est la rigidité propre aux fonctions holomorphes.