Lemme de Goursat (analyse complexe)
# Lemme de Goursat (analyse complexe)

En analyse complexe, le lemme de Goursat (ou théorème de Goursat) est une version faible du théorème intégral de Cauchy. Selon ce lemme, si une fonction d'une variable complexe est définie et dérivable au voisinage d'un rectangle ou d'un triangle, alors son intégrale curviligne sur le contour est nulle. Initialement, le lemme de Goursat a été pressenti en 1814 par Augustin Louis Cauchy, qui intégra des fonctions d'une variable complexe sur des rectangles.

La preuve du lemme de Goursat ne fait intervenir aucun résultat d'analyse complexe : dans les cours de licence ou dans les livres d'introduction, le lemme de Goursat prépare le terrain à la formule intégrale de Cauchy, qui permet de calculer la valeur d'une fonction holomorphe et de ses dérivées en fonction de ses valeurs sur un contour (pas forcément un triangle ou un rectangle).

Le lemme de Goursat présente pour seul intérêt des démonstrations plus faciles que la formule intégrale très générale de Cauchy.

## Préparation

Dans cet article, U désigne un ouvert du plan complexe $\mathbb {C}$, et f est une fonction définie sur U à valeurs complexes.

### Dérivation

La fonction f est dérivable en un point Z de U (sous-entendu, par rapport à la variable complexe) si, pour tout nombre complexe z dans U, on a :

$f(z)=f(Z)+a(z-Z)+o(z-Z)$

Cette écriture est un développement limité en Z et donne le comportement de f au premier ordre, sans aucune information supplémentaire. Le nombre a est un nombre complexe, appelé nombre dérivé de f en Z , et noté $f'(Z)$. Si f est dérivable en Z, alors elle est continue en ce point. Une présentation plus détaillée est donnée dans l'article fonction holomorphe.

Le plan complexe $\mathbb {C}$ peut être naturellement identifié au plan réel $\mathbb {R}$$^2.$ À un nombre complexe z, on peut associer sa partie réelle x et sa partie imaginaire y. Si la fonction f est dérivable en Z, alors elle est différentiable en Z (en tant que fonction de deux variables réelles), et sa différentielle est l'application

$df(Z):\,\mathbb {C} \to \mathbb {C} ,h\mapsto f'(Z)h$

En particulier, il vient:

$(i\partial _{x}-\partial _{y})f=0$

Cette équation, appelée équation de Cauchy-Riemann, servira par la suite pour calculer des variations de f.

### Intégrale curviligne sur un segment

Si Z et W sont des points du plan complexe $\mathbb {C}$, alors le segment [Z , W] est l'ensemble des nombres complexes qui s'écrivent sous la forme:

$\sigma (t)=tW+(1-t)Z$

L'application $\sigma :[0,1]\rightarrow \mathbb {C}$ est une application affine, d'image le segment [Z , W]. C'est ce qu'on appelle un paramétrage affine. Si l'application f est définie et continue au voisinage du segment [Z , W], alors la composée $f\circ \sigma$ est une fonction continue d'une variable réelle. On définit alors l'intégrale curviligne de f le long du segment [Z , W] :

$\int _{[Z,W]}f(z)\,dz:=\int _{0}^{1}f\left[tW+(1-t)Z\right]\,(W-Z)\,dt$

Une ligne polygonale, à l'exemple du triangle ou du rectangle, est une concaténation de segments, dont l'extrémité de l'un est l'origine du suivant. L'intégrale curviligne le long d'une ligne polygonale se définit comme la somme des intégrales curvilignes le long des segments qui la constituent.

## Le lemme de Goursat

Le théorème de Goursat peut s'énoncer soit pour les rectangles, soit pour les triangles.

### Pour les rectangles

Énoncé du lemme de Goursat pour les rectangles — Si f est une fonction d'une variable complexe définie et dérivable (holomorphe) sur un voisinage ouvert d'un rectangle $\ R$, alors l'intégrale curviligne de f sur le contour $\partial R$ de $\ R$ est nulle :

    $\oint _{\partial R}f(z)\,dz=0$.

Ce résultat reste vrai si f est supposée continue sur l'ouvert considéré, et holomorphe sur cet ouvert sauf peut-être en un nombre fini de points.

Pour rappel, un rectangle n'est pas simplement son contour, c'est également le domaine intérieur à ce contour (un rectangle est un compact simplement connexe), et donc il ne suffit pas que f soit holomorphe sur le contour, il faut qu'elle le soit sur tout le rectangle.

Le fait que ce théorème soit valable pour une fonction holomorphe sauf en quelques points où elle est continue se transmet au théorème intégral de Cauchy. L'intérêt réside alors dans la démonstration de la formule intégrale de Cauchy à partir d'une fonction holomorphe sauf en un point où elle est continue à laquelle on applique le théorème intégral de Cauchy.

### Pour les triangles

Énoncé du lemme de Goursat pour les triangles — Si f est une fonction d'une variable complexe définie et dérivable (holomorphe) sur un voisinage ouvert d'un triangle T, alors l'intégrale curviligne de f sur le contour $\partial T$ de T est nulle :

    $\oint _{\partial T}f(z)~\mathrm {d} z=0$.

Ce résultat reste vrai si f est supposée continue sur l'ouvert considéré, et holomorphe sur cet ouvert sauf peut-être en un nombre fini de points.

Pour rappel, un triangle n'est pas simplement son contour, c'est également le domaine intérieur à ce contour (un triangle est un compact simplement connexe), et donc il ne suffit pas que f soit holomorphe sur le contour, il faut qu'elle le soit sur tout le triangle (ou si elle y est holomorphe sauf en un nombre fini de points où elle est néanmoins continue).

Le fait que ce théorème soit valable pour une fonction holomorphe sauf peut-être en quelques points où elle est continue se transmet au théorème intégral de Cauchy. L'intérêt réside alors dans la démonstration de la formule intégrale de Cauchy à partir d'une fonction holomorphe sauf en un point où elle est continue à laquelle on applique le théorème intégral de Cauchy.

Ce théorème a une sorte de réciproque, appelée théorème de Morera, qui dit que

   Si U est un ouvert du plan complexe, f une fonction d'une variable complexe continue sur U et si, pour tout triangle fermé T inclus dans U, on a
   $\oint _{\partial T}f(z)~\mathrm {d} z=0$
   alors
   $f\in H(U).$

En combinant :

* le fait que le lemme de Goursat est encore vrai si f n'est pas supposée holomorphe en un nombre fini de points où elle est néanmoins continue ;
* le théorème de Morera ;

on obtient le corollaire suivant.

Corollaire — S'il existe $a_{1},...,a_{n}\in U$ tels que $f\in H(U\setminus \{a_{1},...,a_{n}\})$ et f continue sur U tout entier, alors $f\in H(U)$.

### Extension à tout polygone

Ces résultats s'étendent à tout polygone : soit une fonction holomorphe sur un ouvert contenant le domaine défini par le polygone ; son intégrale sur le contour est nulle.

Le résultat reste également vrai si la fonction n'est pas supposée holomorphe sur un nombre fini de points, tout en y restant continue.

On explique dans le cas d'un polygone convexe, en passant par un découpage en triangle du polygone. Si le polygone n'est pas un triangle, on joint un des sommets du polygone à un autre qui n'est pas un sommet voisin. On a ainsi défini deux nouveaux polygones de chaque côté du segment. On répète cette opération dans chacun des nouveaux polygones jusqu'à n'obtenir que des triangles. L'intégrale d'une fonction holomorphe étant nulle sur chaque triangle, la somme des intégrales sur les triangles est nulle, or cette somme (en prenant une orientation correcte du parcours de chaque triangle) est égale à l'intégrale de la fonction sur le contour du polygone, puisque chaque segment intérieur au polygone est parcouru une fois dans chaque sens, ce qui annule l'intégrale de la fonction sur ce segment.

Cette extension est l'aboutissement du lemme de Goursat : elle permet de démontrer le théorème intégral de Cauchy.

## Démonstrations

Cet article propose deux démonstrations différentes du lemme de Goursat :

* La première démonstration remonte à l'article Sur les intégrales définies de Cauchy, publié en 1814. Cette preuve consiste à effectuer des variations sur la taille d'un rectangle, de partir d'un rectangle plat pour l'allonger. La même preuve pourrait être adaptée pour les triangles mais les notations seraient plus délicates à introduire et à manipuler ;
* La seconde démonstration, rédigée ci-dessous pour les triangles pleins, est un argument géométrique fondé sur des subdivisions successives. Elle s'appuie sur un raisonnement par l'absurde.

### Variation sur les rectangles

Préliminaire

La démonstration sur un rectangle R1 quelconque est maladroite car multiplie le nombre de paramètres : deux pour chacun de ses sommets. Il est aisé de montrer qu'un rectangle quelconque est l'image par une rotation d'un rectangle R0 aux côtés parallèles aux axes des réels et des imaginaires. Un tel rectangle ne possède que 4 paramètres car l'affixe de chaque sommet partage avec celle de ses voisins soit sa partie réelle (abscisse) soit sa partie imaginaire (ordonnée), simplifiant le problème ; la démonstration qui suit est effectuée sur ce type de rectangle.

Pour la démonstration à un rectangle R1 quelconque, il suffit de dire que l'intégrale curviligne d'une fonction holomorphe sur R1 est égale à l'intégrale curviligne sur R0 du produit de la dérivée de la rotation par la fonction composant la rotation (changement de variable), de remarquer que cette fonction composition-produit est une fonction holomorphe. On est ainsi ramené à l'intégrale d'une fonction holomorphe sur R0.

Pour les fonctions qui ne sont pas holomorphes mais continues en un point d'un ouvert contenant le rectangle, on se ramène à un cas particulier à partir des quatre cas qui peuvent se présenter :

* Le point est à l'extérieur du rectangle : ce cas est trivial : on peut trouver un ouvert contenant le rectangle mais pas ce point, le théorème démontré ci-dessus s'applique alors ;
* Le point est sur le sommet : le rectangle peut se découper en quatre rectangles, dont un qui peut être aussi petit que voulu, par continuité de la fonction (elle est bornée) sur le contour de ce petit rectangle (qui est aussi petit que voulu donc son périmètre aussi), l'intégrale est aussi petite que voulu ;
* Le point est sur le contour du rectangle privé des sommets : on coupe le rectangle en deux par une perpendiculaire au rectangle passant par le point qui devient le sommet de deux nouveaux rectangles ;
* Le point est à l'intérieur du rectangle, alors il est le sommet de 4 nouveaux rectangles.

Une illustration est disponible dans les détails de la démonstration.

Pour les fonctions qui ne sont pas holomorphes mais continues sur un nombre fini de points d'un ouvert contenant le rectangle il suffit de répéter cette opération autant de fois que nécessaire en isolant chaque point dans un rectangle.

Démonstration principale

Soit une fonction f définie et dérivable sur un voisinage ouvert du rectangle plein R, de côtés parallèles à l'axe des réels et des imaginaires. La démonstration aux fonctions continues mais non dérivable en un nombre fini de points sera étendue plus loin.

Le rectangle plein R, représenté ci-à droite, est délimité par ses quatre sommets a + ic, a + id, b + id et b + ic. On va effectuer des variations sur b, et obtenir que l'intégrale curviligne sur le contour $\partial R$ ne dépend pas de b. En prenant b = a (rectangle de largeur nulle), on obtient le résultat recherché. Pour marquer la dépendance de R en b, on le note R(b).

En faisant varier b, on modifie les segments horizontaux [a + ic , b + ic] et [a + id, b + id]. Cette modification induit une variation $\left[f(b+ic)-f(a+ic)\right]\delta b$ sur les intégrales curvilignes.

Par ailleurs, on déplace horizontalement le segment vertical [b + ic, b + id]. Pour calculer la variation de l'intégrale curviligne sur ces segments verticaux, il est nécessaire d'effectuer une dérivation sous le signe intégrale. En appliquant l'équation de Cauchy-Riemann rappelée plus haut, on constate que cette variation compense la variation précédente (pour les segments horizontaux).

Préliminaire

Un rectangle quelconque R1 est l'image d'un rectangle R0 aux côtés parallèles à l'axe des réels et des imaginaires par une rotation r de centre l'un des sommets du rectangle R1. L'intégrale curviligne d'une fonction holomorphe h sur R1 est donc l'intégrale curviligne du produit de la dérivée de la rotation r avec la composition de la r par h sur R0 :

    $\oint _{\partial \mathbf {R1=r<R0>} }h(z)~\mathrm {d} z=\oint _{\partial \mathbf {R0} }r'(w)h(r(w))~\mathrm {d} w.$

Or la rotation étant une holomorphie, la composée de celle-ci par une fonction holomorphe est une fonction holomorphe, de plus la dérivée de la rotation est également une holomorphie, donc son produit avec la composition est une holomorphie. On est donc ramené à prouver que l'intégrale d'une fonction holomorphe sur un rectangle aux côtés parallèles aux axes des réels et des imaginaires est nulle.

Expression de l'intégrale curviligne

    R le rectangle cité précédemment. On fixe B de sorte que R(B) soit inclus dans la domaine de définition de f. On effectue les calculs pour $0\leq b<B$. L'intégrale curviligne sur un rectangle est la somme des intégrales curvilignes sur ses quatre côtés. Isolons les trois intégrales où b intervient :
    $\oint _{\partial \mathbf {R} (b)}f(z)~\mathrm {d} z+\int _{c}^{d}f[a+it]~i\mathrm {d} t=\int _{a}^{b}f[t+ic]~\mathrm {d} t-\int _{a}^{b}f[t+id]~\mathrm {d} t+\int _{c}^{d}f[b+it]~i\mathrm {d} t.$

Variation des deux premiers termes

    On a pris soin de modifier les paramétrages pour les segments [a + ic, b + ic] et [a + id, b + id] de sorte de faire sortir au niveau des bornes d'intégration la dépendance par rapport à b des deux premières intégrales de droite. La dérivation par rapport à b pour ces deux intégrales est alors facile à obtenir :
    ${\frac {\partial }{\partial b}}\int _{a}^{b}f[t+ic]~\mathrm {d} t=f(b+ic)\quad {\text{et}}\quad {\frac {\partial }{\partial b}}\int _{a}^{b}f[t+id]~\mathrm {d} t=f(b+id).$

Variation du troisième terme

    D'après le théorème de dérivation sous le signe intégrale, il vient :
    ${\frac {\partial }{\partial b}}\int _{c}^{d}f[b+it]\,i\mathrm {d} t=\int _{c}^{d}{\frac {\partial }{\partial b}}f[b+it]\,i\mathrm {d} t$
    Or, l'équation de Cauchy-Riemann nous permet d'écrire :
    $\partial _{b}f(b+it)=-i\partial _{t}f(b+it).$
    En injectant cette expression dans l'intégrale, il vient :
    ${\frac {\partial }{\partial b}}\int _{c}^{d}f[b+it]\,i\mathrm {d} t=\int _{c}^{d}{\frac {\partial }{\partial t}}f[b+it]~\mathrm {d} t=f(b+id)-f(b+ic).$

Variation de l'intégrale curviligne

    En combinant les différentes dérivées précédemment obtenues, on trouve:
    ${\frac {\partial }{\partial b}}\oint _{\partial \mathbf {R} (b)}f(z)~\mathrm {d} z=0.$
    Donc l'intégrale curviligne de f sur le contour du rectangle plein $\mathbf {R} (b)$ est constant en fonction de b. Par suite, elle vaut la valeur pour b = a:
    $\oint _{\partial \mathbf {R} (b)}f(z)~\mathrm {d} z=\oint _{\partial \mathbf {R} (a)}f(z)~\mathrm {d} z=0.$

Pour les fonctions qui ne sont pas holomorphes mais continues en un point d'un ouvert contenant le rectangle, quatre cas peuvent se présenter (voir image à droite), dont l'un est trivial, et deux autres cas qui se ramènent au dernier :

* Le point est à l'extérieur du rectangle ($Z1$ sur l'illustration) : ce cas est trivial, il existe un ouvert contenant le rectangle mais pas ce point, le théorème démontré ci-dessus s'applique alors ;
* Le point est à l'intérieur du rectangle ($Z2$ sur l'illustration) : il se découpe en 4 rectangles ayant pour sommet commun ce point. Pour ces 4 rectangles, c'est le quatrième cas qui s'applique ;
* Le point est sur le contour du rectangle privé des sommets ($Z3$ sur l'illustration) : le rectangle se coupe en deux 4par une perpendiculaire (au segment contenant le point) passant par le point, donnant deux rectangles ayant pour un de leurs sommets le point à problème : c'est le quatrième cas qui s'applique alors pour ces deux rectangles ;
* Le point est sur un sommet ($Z4$ sur l'illustration) : le rectangle peut se découper en deux rectangles, dont un qui possède ce point comme sommet, il peut être aussi petit que voulu, par continuité de la fonction (elle est bornée) sur le contour de ce petit rectangle (qui est aussi petit que voulu donc son périmètre aussi), l'intégrale est aussi petite que voulue :

$\forall \varepsilon >0$ soit $R_ε$ le carré (par exemple) de sommet $Z4$, de côté de longueur ε.

$\left|\oint _{\partial R_{\varepsilon }}\ f(z)~\mathrm {d} z\right|\leq 4\varepsilon M$

où M majore f continue sur le compact $R$.

$\forall \varepsilon ,\left|\oint _{\partial R}f(z)~\mathrm {d} z\right|=\left|\oint _{\partial R_{\varepsilon }}f(z)~\mathrm {d} z\right|\leq 4\varepsilon M.$

L'intégrale est donc nulle.

Pour les fonctions qui ne sont pas holomorphes mais continues sur un nombre fini de points d'un ouvert contenant le rectangle, il suffit d'appliquer autant de fois que nécessaire la méthode ci-dessus.

### Divisions d'un triangle

Soit une fonction f définie et dérivable au voisinage d'un triangle T, la démonstration aux fonctions continues mais non dérivable en un nombre fini de points sera étendue plus loin.

On suppose par l'absurde que l'intégrale curviligne de f le long de $\partial \mathbf {T}$ est non nulle, et on définit:

$C=\left|\oint _{\partial \mathbf {T} }f(w)\,dw\right|>0$

Par des divisions successives, on va chercher à réduire la taille du triangle, tout en garantissant une faible décroissance de l'intégrale curviligne de f sur son contour. Par une récurrence sur n, on construit une suite décroissante $\left(\mathbf {T} _{n}\right)$ de triangles pleins vérifiant:

$\left|\oint _{\partial \mathbf {T} _{n}}f(w)\,dw\right|\geq {\frac {C}{4^{n}}}$

Chaque triangle $T_n$ peut être divisé en quatre petits triangles, comme indiqués sur la figure ci-à droite, selon les milieux de ses côtés. Et $T_{n+1}$ est l'un de ces quatre triangles. La construction et le théorème de Thalès garantiront:

$l\left(\partial \mathbf {T} _{n+1}\right)={\frac {1}{2}}l\left(\partial \mathbf {T} _{n}\right)$

$diam\left(\partial \mathbf {T} _{n+1}\right)={\frac {1}{2}}diam\left(\partial \mathbf {T} _{n}\right)$

En particulier, la suite $\left(\mathbf {T} _{n}\right)$ est une suite décroissante de compacts dont le diamètre tend vers 0. Par conséquent, l'intersection est non vide, et restreinte en un unique point a. Une étude locale de f en a prouvera :

$\oint _{\partial \mathbf {T} _{n}}f(w)\,dw=o\left({\frac {1}{4^{n}}}\right)$

Cette estimation asymptotique contredira l'inégalité précédente.

Pour les fonctions qui ne sont pas holomorphes mais continues en un point d'un ouvert contenant le triangle, on se ramène à un cas particulier quatre cas peuvent se présenter :

* Le point est à l'extérieur du triangle : ce cas est trivial : on peut trouver un ouvert contenant le triangle mais pas ce point, le théorème démontré ci-dessus s'applique alors ;
* Le point est sur le sommet : le triangle peut se découper en trois triangles, dont un qui peut être aussi petit que voulu, par continuité de la fonction (elle est bornée) sur le contour de ce petit triangle (qui est aussi petit que voulu donc son périmètre aussi), l'intégrale est aussi petite que voulu ;
* Le point est sur le contour du triangle privé des sommets : on coupe le triangle en deux par une médiane passant par le point qui devient le sommet de deux nouveaux triangles ;
* Le point est à l'intérieur du triangle, alors il est le sommet de 3 nouveaux triangles.

Une illustration est disponible dans les détails de la démonstration.

Pour les fonctions qui ne sont pas holomorphes mais continues sur un nombre fini de points d'un ouvert contenant le triangle il suffit de répéter cette opération autant de fois que nécessaire en isolant chaque point dans un triangle.

**Division d'un triangle**


    Dans un triangle direct ABC du plan complexe, on définit les milieux I, J et K de [BC], [AB] et [AC]. On considère les quatre triangles directs AJK, BIJ, CKI et IKJ. Au total, on recense neuf côtés. Leurs longueurs sont données dans le tableau ci-dessous. Justifions seulement la première ligne:
   * Comme J est le milieu du segment [AB], les longueurs AJ et JB sont égales et valent la moitié de AB.

   * I et K sont les milieux respectifs des segments [BC] et [AC]. Par le théorème des milieux (conséquence du théorème de Thalès), on en déduit IJ = AB/2.

    Les deux autres lignes se justifient de manière analogue.

| Côtés | Côtés | Côtés | Longueurs |
| - | - | - | - |
| [AJ] ; | [JB] ; | [IK] | AB/2 |
| [BI] ; | [IC] ; | [JK] | BC / 2 |
| [AK] ; | [KC] ; | [IJ] | AC / 2 |

    Par conséquent, les périmètres de AJK, BIJ, CIK et IJK sont égaux et valent la moitié du triangle ABC:
    $l(AJK)=l(BIJ)=l(CIK)=l(IJK)=l(ABC)/2$.

**Construction de la suite décroissante $(T_n)**$


    On suppose dans un premier temps la fonction f définie et dérivable au voisinage du triangle ABC (quelconque). Le raisonnement suivant pourra s'appliquer au triangle plein $T_n.$ Il vient, en reprenant les notations précédentes :

| $\oint _{\partial {AJK}}f(w)\,dw=$ | $\int _{AJ}f(w)\,dw+\int _{JK}f(w)\,dw+\int _{KA}f(w)\,dw$ |
| - | - |
| $\oint _{\partial {BIJ}}f(w)\,dw=$ | $\int _{BI}f(w)\,dw+\int _{IJ}f(w)\,dw+\int _{JB}f(w)\,dw$ |
| $\oint _{\partial {CKI}}f(w)\,dw=$ | $\int _{CK}f(w)\,dw+\int _{KI}f(w)\,dw+\int _{IC}f(w)\,dw$ |
| $\oint _{\partial {IJK}}f(w)\,dw=$ | $\int _{IJ}f(w)\,dw+\int _{JK}f(w)\,dw+\int _{KI}f(w)\,dw$ |

    Une combinaison des quatre identités précédentes nous fournit:

| $\left[\oint _{\partial {AJK}}+\oint _{\partial {BIJ}}+\oint _{\partial {CKI}}-\oint _{\partial {IJK}}\right]f(w)\,dw=$ | $\left[\int _{AB}+\int _{BC}+\int _{CA}\right]f(w)\,dw$ |
| - | - |
| $=$ | $\oint _{\partial {ABC}}f(w)\,dw$ |

    L'intégrale curviligne de f sur le contour du triangle plein ABC est la somme des intégrales curvilignes sur les contours des quatre triangles AJK, BIJ, CKI et IKJ. En particulier, parmi ces quatre triangles, il existe au moins un triangle, notons-le S, de sorte que:
    $\left|\oint _{\mathbf {\partial S} }f(w)\,dw\right|\geq {\frac {1}{4}}\left|\oint _{\partial {\mathbf {T} }}f(w)\,dw\right|$.
    Ce raisonnement permet de construire par récurrence une suite décroissante $\left(\mathbf {T} _{n}\right)$ de triangles, avec $\mathbf {T} _{0}=\mathbf {T}$, et :
    $\left|\oint _{\partial {\mathbf {T} _{n}}}f(w)\,dw\right|\geq {\frac {1}{4^{n}}}\left|\oint _{\partial {\mathbf {T} }}f(w)\,dw\right|$.

**Intersection décroissante**


    Par construction, le périmètre du triangle $T_n$ vaut la moitié du périmètre du triangle $T_{n-1}.$ La même relation est vérifiée pour les diamètres. Par suite, on a :
    $l\left(\partial {\mathbf {T} _{n}}\right)={\frac {C'}{2^{n}}}\ \mathrm {et} \ diam\left(\mathbf {T} _{n}\right)={\frac {C''}{2^{n}}}$.
    La suite $(T_n)$ est une suite décroissante de compacts. Donc son intersection X est non vide. Par ailleurs, le diamètre des $T_n$ tend vers 0. En conséquence, le diamètre de X est nul ; autrement dit, X est un singleton, qui contient un unique point a.

**Étude locale**


    Comme f est une fonction dérivable en a, pour tout ε, il existe un voisinage V de a tel que:
    $\forall z\in V,\quad \left|f(z)-f(a)-f'(a)(z-a)\right|\leq \varepsilon |z-a|$
    Or, le singleton {a} est l'intersection décroissante des compacts $T_n.$ Donc, pour n suffisamment grand, le triangle plein $T_n$ est inclus dans V. Il ne serait pas difficile de prouver que l'intégrale curviligne d'une application affine sur un triangle est nulle (remarque laissée au lecteur pour alléger la preuve). Ceci permet de faire apparaître la partie gauche de l'inégalité qui peut alors s'appliquer. Puis $|w-a|$ se majore dans l'intégrale par $diam(\mathbf {T} _{n})$.

${\begin{aligned}\left|\oint _{\partial {T_{n}}}f(w)\,dw\right|&=&\left|\oint _{\partial {\mathbf {T} _{n}}}\left[f(w)-f(a)-f'(a)(w-a)\right]\,dw\right|\\&\leq &\varepsilon \,diam(\mathbf {T} _{n})\,l(\partial \mathbf {T} _{n})\\&=&\varepsilon {\frac {C'C''}{4^{n}}}\end{aligned}}$

    Cette inégalité est vraie pour n suffisamment grand, et pour tout réel positif ε. Par conséquent, on vient de prouver:
    $\oint _{\partial {T_{n}}}f(w)\,dw=o\left({\frac {1}{4^{n}}}\right)$.
    D'où une contradiction avec le choix de la suite décroissante des triangles pleins, C est donc nul.

Pour les fonctions qui ne sont pas holomorphes mais continues en un point d'un ouvert contenant le triangle, quatre cas peuvent se présenter, dont l'un est trivial, et deux autres cas qui se ramènent au dernier :

Dans ce qui suit, il faut garder à l'esprit que l'intégrale de f sur le contour du triangle est la somme des intégrales de f sur les contours des subdivisions de ce triangle (en gardant une orientation appropriée, comme dans la première partie de la démonstration). Si ces intégrales sont toutes nulles, alors celle sur le contour du triangle l'est aussi (quelle que soit l'orientation prise pour chaque contour de triangle finalement).

* Le point est à l'extérieur du triangle $(z_0$ sur l'illustration) : ce cas est trivial, il existe un ouvert contenant le triangle mais pas ce point, le théorème démontré ci-dessus s'applique alors.
* Le point est sur le contour du triangle privé des sommets $(z_1$ sur l'illustration) : le triangle se coupe en deux par une médiane passant par le point, donnant deux triangles ayant pour un de leurs sommets le point à problème : c'est le quatrième cas qui s'applique alors pour ces deux triangles.
* Le point est à l'intérieur du triangle $(z_2$ sur l'illustration) : Il se découpe en trois triangles ayant pour sommet commun ce point. Pour ces 3 triangles c'est le quatrième cas qui s'applique.
* Le point est sur un sommet $(z_3$ sur l'illustration) : le triangle peut se découper en trois triangles, dont un qui possède ce point comme sommet, il peut être aussi petit que voulu, par continuité de la fonction (elle est bornée) sur le contour de ce petit triangle (qui est aussi petit que voulu donc son périmètre aussi), l'intégrale est aussi petite que voulue :

$\forall \varepsilon >0$ soit $T_ε$ le triangle équilatéral (par exemple) de sommet $z_3,$ de côté de longueur ε.

$\left|\oint _{\partial {T_{\varepsilon }}}\ f(z)\,dz\right|\leq 3\varepsilon M$

où M majore f continue sur le compact T.

$\forall \epsilon ,\left|\oint _{\partial {T_{\varepsilon }}}f(z)\,dz\right|=\left|\oint _{\partial {T_{\epsilon }}}f(z)\,dz\right|\leq 3\varepsilon M$

L'intégrale est donc nulle.

Pour les fonctions qui ne sont pas holomorphes mais continues sur un nombre fini de points d'un ouvert contenant le triangle, il suffit d'appliquer autant de fois que nécessaire la méthode ci-dessus.

