Voir la source de Lemme de Goursat (analyse complexe)

{{Confusion|texte=Ne pas confondre avec le [[lemme de Goursat]] en algèbre.}}

En [[analyse complexe]], le '''[[Lemme (mathématiques)|lemme]] de [[Édouard Goursat|Goursat]]''' (ou '''théorème de [[Édouard Goursat|Goursat]]''') est une version faible du [[théorème intégral de Cauchy]]. Selon ce [[Lemme (mathématiques)|lemme]], si une fonction d'une variable complexe est définie et [[dérivabilité|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 universitaire|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, {{mvar|U}} désigne un ouvert du plan complexe <math>\mathbb C</math>, et {{mvar|f}} est une fonction définie sur {{mvar|U}} à valeurs complexes.
=== Dérivation ===
{{Article détaillé|Fonction holomorphe|Équations de Cauchy-Riemann}}

La fonction {{mvar|f}} est dérivable en un point {{mvar|Z}} de {{mvar|U}} (sous-entendu, par rapport à la variable complexe) si, pour tout nombre complexe {{mvar|z}} dans {{mvar|U}}, on a :
<center><math>f(z)=f(Z)+a (z-Z)+o(z-Z)</math>.</center>
Cette écriture est un [[développement limité]] en {{mvar|Z}} et donne le comportement de {{mvar|f}} au [[Développement limité|premier ordre]], sans aucune information supplémentaire. Le nombre {{mvar|a}} est un nombre complexe, appelé '''nombre dérivé''' de {{mvar|f}} en {{mvar|Z}} , et noté <math>f'(Z)</math>. Si {{mvar|f}} est dérivable en {{mvar|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 <math>\mathbb C</math> peut être naturellement identifié au plan réel <math>\mathbb R</math><sup>2</sup>. À un nombre complexe {{mvar|z}}, on peut associer sa partie réelle {{mvar|x}} et sa partie imaginaire {{mvar|y}}. Si la fonction {{mvar|f}} est dérivable en {{mvar|Z}}, alors elle est [[Fonction d'une variable complexe différentiable au sens réel|différentiable]] en {{mvar|Z}} (en tant que fonction de deux variables réelles), et sa différentielle est l'application
<center><math>df(Z):\, \Complex \to \Complex, h\mapsto f'(Z) h</math>.</center>
En particulier, il vient:
<center><math>(i\partial_x-\partial_y)f=0</math>.</center>
Cette équation, appelée [[Équations de Cauchy-Riemann|équation de Cauchy-Riemann]], servira par la suite pour calculer des variations de {{mvar|f}}.

=== Intégrale curviligne sur un segment ===
{{article détaillé|Intégrale curviligne}}

Si {{mvar|Z}} et {{mvar|W}} sont des points du plan complexe <math>\mathbb C</math>, alors le segment {{math|[''Z'' , ''W'']}} est l'ensemble des nombres complexes qui s'écrivent sous la forme:
<center><math>\sigma(t)=tW+(1-t)Z</math>.</center>
L'application <math>\sigma:[0,1]\rightarrow \mathbb{C}</math> est une [[application affine]], d'image le segment {{math|[''Z'' , ''W'']}}. C'est ce qu'on appelle un ''paramétrage affine''. Si l'application {{mvar|f}} est définie et continue au voisinage du segment {{math|[''Z'' , ''W'']}}, alors la composée <math>f\circ\sigma</math> est une fonction continue d'une variable réelle. On définit alors l'intégrale curviligne de {{mvar|f}} le long du segment {{math|[''Z'' , ''W'']}} :
<center><math>\int_{[Z,W]}f(z)\, dz:=\int_0^1f\left[tW+(1-t)Z\right]\, (W-Z)\, dt</math>.</center>
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 ===
{{théorème|Énoncé du lemme de Goursat pour les rectangles|Si {{mvar|f}} est une fonction d'une variable complexe définie et dérivable (holomorphe) sur un voisinage ouvert d'un rectangle <math>\ R</math>, alors l'intégrale curviligne de {{mvar|f}} sur le contour <math>\partial R</math> de <math>\ R</math> est nulle :
:<center><math>\oint_{\partial R} f(z)\, dz=0</math>.</center>

Ce résultat reste vrai si {{mvar|f}} est supposée continue sur l'ouvert considéré, et holomorphe sur cet ouvert sauf peut-être en un nombre fini de points<ref>En fait, on peut démontrer ultérieurement que cet affaiblissement des hypothèses n'est qu'apparent, et que la fonction est holomorphe sur tout l'ouvert.</ref>. }}
Pour rappel, un rectangle n'est pas simplement son contour, c'est également le domaine intérieur à ce contour (un rectangle est un [[Compacité (mathématiques)|compact]] [[Connexité simple|simplement connexe]]), et donc il ne suffit pas que {{mvar|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 ===
{{théorème|Énoncé du lemme de Goursat pour les triangles|Si {{mvar|f}} est une fonction d'une variable complexe définie et dérivable (holomorphe) sur un voisinage ouvert d'un triangle {{mvar|T}}, alors l'intégrale curviligne de {{mvar|f}} sur le contour <math>\partial T</math> de {{mvar|T}} est nulle :
:<center><math>\oint_{\partial T}f(z)~\mathrm dz=0</math>.</center>

Ce résultat reste vrai si {{mvar|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 {{mvar|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

{{énoncé|Si {{mvar|U}} est un ouvert du [[nombre complexe|plan complexe]], {{mvar|f}} une fonction d'une variable complexe continue sur {{mvar|U}} et si, pour tout triangle fermé {{mvar|T}} inclus dans {{mvar|U}}, on a
<center><math>\oint_{\partial T} f(z)~\mathrm dz=0</math></center>
alors
<center><math>f \in H(U).</math></center>}}

En combinant :
* le fait que le lemme de Goursat est encore vrai si {{mvar|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.

{{Théorème|Corollaire|S'il existe <math>a_1,..., a_n \in U</math> tels que <math>f \in H(U \setminus \{a_1,...,a_n\})</math> et {{mvar|f}} continue sur {{mvar|U}} tout entier, alors <math>f \in H(U)</math>.}}

=== 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.

[[Fichier:Polygone Goursat.png|vignette|Hexagone découpé en quatre triangles. Lors de la sommation des intégrales, chaque segment intérieur se trouve parcouru une fois dans chaque sens, ce qui annule l'intégrale sur celui-ci.]]

On explique dans le cas d'un [[polygone convexe]], en passant par un découpage en triangles du polygone<ref>La [[triangulation d'un polygone]] non convexe est encore faisable sous réserve qu'il soit [[Polygone simple|simple]], mais elle est plus délicate et peut être évitée : pour le cas général, voir par exemple {{Ouvrage|langue=en|prénom1=Liang-shin|nom1=Hahn|prénom2=Bernard|nom2=Epstein|titre=Classical complex analysis|éditeur=Jones & Bartlett|année=1996|pages totales=411|passage=114-115|isbn=978-0-86720-494-0|lire en ligne=https://books.google.fr/books?id=Nilzh5adHPgC&pg=PA114}}</ref>. 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émonstration (logique et mathématique)|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 [[variation]]s 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 [[notation]]s 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.
[[Fichier:R1etR0.png|vignette|Rectangle R1 et son image, le rectangle R0, par la rotation de centre (a+ic) d'angle -θ.]]
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'''
{{à vérifier|date=mars 2021|thème=mathématiques}}

Soit une fonction {{mvar|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 {{math|''a''&nbsp;+&nbsp;i''c''}}, {{math|''a''&nbsp;+&nbsp;i''d''}}, {{math|''b''&nbsp;+&nbsp;i''d''}} et {{math|''b''&nbsp;+&nbsp;i''c''}}. On va effectuer des variations sur {{mvar|b}}, et obtenir que l'intégrale curviligne sur le contour <math>\partial R</math> ne dépend pas de {{mvar|b}}. En prenant {{mvar|''b''&nbsp;{{=}}&nbsp;''a''}} (rectangle de largeur nulle), on obtient le résultat recherché. Pour marquer la dépendance de '''R''' en {{mvar|b}}, on le note '''R'''(''b'').

En faisant varier {{mvar|b}}, on modifie les segments horizontaux {{math|[''a''&nbsp;+&nbsp;i''c'' , ''b''&nbsp;+&nbsp;i''c'']}} et {{math|[''a''&nbsp;+&nbsp;i''d'',&nbsp;''b''&nbsp;+&nbsp;i''d'']}}. Cette modification induit une variation <math>\left[f(b+ic)-f(a+ic)\right]\delta b</math> sur les intégrales curvilignes.

Par ailleurs, on déplace horizontalement le segment vertical {{math|[''b''&nbsp;+&nbsp;i''c'',&nbsp;''b''&nbsp;+&nbsp;i''d'']}}. 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).

{{clr}}
{{Démonstration|titre=Détails de la démonstration|contenu=
'''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''' :
:<center><math> \oint_{\partial \mathbf{R1=r<R0>}} h(z)~\mathrm dz=\oint_{\partial \mathbf{R0}} r'(w)h(r(w))~\mathrm dw.</math></center>

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 {{mvar|f}}. On effectue les calculs pour <math>0\leq b<B</math>. 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 :
:<center><math>\oint_{\partial \mathbf{R}(b)}f(z)~\mathrm dz+\int_c^df[a+it]~i\mathrm dt=\int_a^bf[t+ic]~\mathrm dt-\int_a^bf[t+id]~\mathrm dt+\int_c^df[b+it]~i\mathrm dt.</math></center>

'''Variation des deux premiers termes'''
:On a pris soin de modifier les paramétrages pour les segments {{math|[''a''&nbsp;+&nbsp;i''c'',&nbsp;''b''&nbsp;+&nbsp;i''c'']}} et {{math|[''a''&nbsp;+&nbsp;i''d'',&nbsp;''b''&nbsp;+&nbsp;i''d'']}} de sorte de faire sortir au niveau des bornes d'intégration la dépendance par rapport à {{mvar|b}} des deux premières intégrales de droite. La dérivation par rapport à {{mvar|b}} pour ces deux intégrales est alors facile à obtenir :
:<center><math>\frac{\partial}{\partial b}\int_a^b f[t+ic]~\mathrm dt=f(b+ic)\quad\text{et}\quad\frac{\partial}{\partial b}\int_a^b f[t+id]~\mathrm dt=f(b+id).</math></center>

'''Variation du troisième terme'''
:D'après le théorème de [[Intégrale paramétrique#Dérivabilité|dérivation sous le signe intégrale]]<ref>La condition de domination est ici automatique du fait qu'on intègre sur un segment. On peut aussi appliquer une version plus faible du théorème de dérivation, dont la preuve s'appuie sur l'uniforme continuité, et non sur le théorème de convergence dominée.</ref>, il vient :
:<center><math>\frac{\partial}{\partial b}\int_c^df[b+it]\,i\mathrm dt=\int_c^d \frac{\partial}{\partial b}f[b+it]\,i\mathrm dt</math></center>
:Or, l'[[Équations de Cauchy-Riemann|équation de Cauchy-Riemann]] nous permet d'écrire :
:<center><math>\partial_b f(b+it)=-i\partial_t f(b+it).</math></center>
:En injectant cette expression dans l'intégrale, il vient :
:<center><math>\frac{\partial}{\partial b}\int_c^df[b+it]\,i\mathrm dt=\int_c^d \frac{\partial}{\partial t}f[b+it]~\mathrm dt=f(b+id)-f(b+ic).</math></center>

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

[[Fichier:Rectangle Goursat.png|vignette|Rectangle et ses subdivisions adaptées à chaque point où la fonction n'est pas holomorphe.]]
[[Fichier:Rectangle2 Goursat.png|vignette|Pour le cas où le point est un sommet, le rectangle peut se subdiviser en quatre rectangles dont un contient le point en question. Ce rectangle est aussi petit que voulu.]]
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 (<math>Z1</math> 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 (<math>Z2</math> 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 (<math>Z3</math> 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 (<math>Z4</math> 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 :

<math> \forall \varepsilon >0</math> soit {{mvar|R{{ind|ε}}}} le carré (par exemple) de sommet <math>Z4</math>, de côté de longueur {{mvar|ε}}.
<center><math>\left|\oint_{\partial R_\varepsilon}\ f(z)~\mathrm dz\right|\le4\varepsilon M</math></center>
où {{mvar|M}} majore {{mvar|f}} continue sur le compact <math>R</math>.

Pour les deux autres rectangles, {{mvar|f}} y est holomorphe, l'intégrale sur leur contour est donc nulle quel que soit {{mvar|ε}}. Donc,<center><math>\forall\varepsilon,\left|\oint_{\partial R}f(z)~\mathrm dz\right|=\left|\oint_{\partial R_\varepsilon}f(z)~\mathrm dz\right|\le4\varepsilon M.</math></center>

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 {{mvar|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 {{mvar|f}} le long de <math>\partial\mathbf{T}</math> est non nulle, et on définit:
<center><math>C=\left|\oint_{\partial \mathbf{T}} f(w)\, dw\right|>0</math></center>
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 {{mvar|f}} sur son contour. Par une récurrence sur {{mvar|n}}, on construit une suite décroissante <math>\left(\mathbf{T}_n\right)</math> de triangles pleins vérifiant:
[[Fichier:Triangle pour la démonstration du Lemme de Goursat en analyse complexe.png|vignette|Triangle ABC et ses quatre divisions.]]
<center><math>\left|\oint_{\partial \mathbf{T}_n}f(w)\, dw\right|\geq \frac{C}{4^n}</math>.</center>
Chaque triangle '''T'''<sub>''n''</sub> 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'''<sub>''n''+1</sub> est l'un de ces quatre triangles. La construction et le [[théorème de Thalès]] garantiront:
<center><math>l\left(\partial \mathbf{T}_{n+1}\right)=\frac{1}{2}l\left(\partial \mathbf{T}_n\right)</math> et <math>diam\left(\partial \mathbf{T}_{n+1}\right)=\frac{1}{2}diam\left(\partial \mathbf{T}_n\right)</math>.</center>
En particulier, la suite <math>\left(\mathbf{T}_n\right)</math> 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 {{mvar|a}}. Une étude locale de {{mvar|f}} en {{mvar|a}} prouvera :
<center><math>\oint_{\partial \mathbf{T}_n}f(w)\, dw=o\left(\frac{1}{4^n}\right)</math>.</center>
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.

{{Démonstration|contenu=
;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''&nbsp; '''='''&nbsp; ''AB''/2.
:Les deux autres lignes se justifient de manière analogue.
{{(!}} align="center" border="0"
{{!-}} bgcolor="#d9d9ff"  align="center" 
!  colspan="3" scope=col {{!}} Côtés 
!  width="150px" scope=col {{!}} Longueurs
{{!-}} bgcolor="#d9fff6"
{{!}} width="120px" align="right"{{!}} [''AJ''] ;
{{!}}  width="50px" align="right"{{!}} [''JB''] ;
{{!}}  width="120px" align="left"{{!}} [''IK'']
{{!}}  align="center" bgcolor="#d9fff6"{{!}} ''AB''/2
{{!-}} bgcolor="#d9ffd9"
{{!}} align="right" {{!}} [''BI''] ;
{{!}} align="right" {{!}} [''IC''] ;
{{!}} align="left" {{!}} [''JK'']
{{!}} align="center" {{!}} ''BC'' / 2
{{!-}}bgcolor="#d9ffd9"
{{!}} align="right" {{!}} [''AK''] ;
{{!}} align="right" {{!}} [''KC''] ;
{{!}} align="left" {{!}} [''IJ'']
{{!}} align="center" {{!}} ''AC'' / 2
{{!)}}

:Par conséquent, les périmètres de ''AJK'', ''BIJ'', ''CIK'' et ''IJK'' sont égaux et valent la moitié du triangle ''ABC'':
:<center><math>l(AJK)=l(BIJ)=l(CIK)=l(IJK)=l(ABC)/2</math>.</center>
;Construction de la suite décroissante {{math|('''T'''{{ind|''n''}})}}
:On suppose dans un premier temps la fonction {{mvar|f}} définie et dérivable au voisinage du triangle ''ABC'' (quelconque). Le raisonnement suivant pourra s'appliquer au triangle plein {{math|'''T'''{{ind|''n''}}}}. Il vient, en reprenant les notations précédentes :
{{(!}} align="center" border="0"
{{!-}}
{{!}}  align="right"{{!}}<math>\oint_{\partial {AJK}}f(w)\, dw=</math>
{{!}} align="left"{{!}}<math>\int_{AJ}f(w)\, dw+\int_{JK}f(w)\, dw+\int_{KA}f(w)\, dw</math>
{{!-}}
{{!}} align="right"{{!}}<math>\oint_{\partial {BIJ}}f(w)\, dw=</math>
{{!}} align="left"{{!}}<math>\int_{BI}f(w)\, dw+\int_{IJ}f(w)\, dw+\int_{JB}f(w)\, dw</math>
{{!-}}
{{!}} align="right"{{!}}<math>\oint_{\partial {CKI}}f(w)\, dw=</math>
{{!}} align="left"{{!}}<math>\int_{CK}f(w)\, dw+\int_{KI}f(w)\, dw+\int_{IC}f(w)\, dw</math>
{{!-}}
{{!}} align="right"{{!}}<math>\oint_{\partial {IJK}}f(w)\, dw=</math>
{{!}} align="left"{{!}}<math>\int_{IJ}f(w)\, dw+\int_{JK}f(w)\, dw+\int_{KI}f(w)\, dw</math>
{{!)}}
:Une combinaison des quatre identités précédentes nous fournit:
{{(!}} align="center" border="0"
{{!-}}
{{!}} align="right"{{!}}<math>\left[\oint_{\partial {AJK}}+\oint_{\partial {BIJ}}+\oint_{\partial {CKI}}-\oint_{\partial{IJK}}\right]f(w)\, dw=</math>
{{!}} align="left"{{!}}<math>\left[\int_{AB}+\int_{BC}+\int_{CA}\right]f(w)\, dw</math>
{{!-}}
{{!}} align="right"{{!}}<math>=</math>
{{!}} align="left"{{!}}<math>\oint_{\partial {ABC}}f(w)\, dw</math>
{{!)}}
:L'intégrale curviligne de {{mvar|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:
:<center><math>\left|\oint_{\mathbf{\partial S}}f(w)\, dw\right|\geq \frac{1}{4}\left|\oint_{\partial {\mathbf{T}}}f(w)\, dw\right|</math>.</center>
:Ce raisonnement permet de construire par récurrence une suite décroissante <math>\left(\mathbf{T}_n\right)</math> de triangles, avec <math>\mathbf{T}_0=\mathbf{T}</math>, et :
:<center><math>\left|\oint_{\partial {\mathbf{T}_{n}}}f(w)\, dw\right|\geq \frac{1}{4^n}\left|\oint_{\partial {\mathbf{T}}}f(w)\, dw\right|</math>.</center>
;Intersection décroissante
:Par construction, le périmètre du triangle {{math|'''T'''{{ind|''n''}}}} vaut la moitié du périmètre du triangle {{math|'''T'''{{ind|''n''-1}}}}. La même relation est vérifiée pour les [[diamètre]]s. Par suite, on a :
:<center><math>l\left(\partial {\mathbf{T}_n}\right)=\frac{C'}{2^n}\ \mathrm{   et   }\ diam\left(\mathbf{T}_n\right)=\frac{C''}{2^n}</math>.</center>
:La suite {{math|('''T'''{{ind|''n''}})}} est une suite décroissante de [[Compacité (mathématiques)|compacts]]. Donc son intersection {{mvar|X}} est non vide. Par ailleurs, le diamètre des {{math|'''T'''{{ind|''n''}}}} tend vers 0. En conséquence, le diamètre de {{mvar|X}} est nul ; autrement dit, {{mvar|X}} est un [[Singleton (mathématiques)|singleton]], qui contient un unique point {{mvar|a}}.
;Étude locale
:Comme {{mvar|f}} est une fonction dérivable en {{mvar|a}}, pour tout {{mvar|ε}}, il existe un voisinage ''V'' de ''a'' tel que:
:<center><math>\forall z\in V,\quad \left|f(z)-f(a)-f'(a)(z-a)\right|\leq \varepsilon |z-a|</math></center>
:Or, le singleton {''a''} est l'intersection décroissante des compacts {{math|'''T'''{{ind|''n''}}}}. Donc, pour ''n'' suffisamment grand, le triangle plein {{math|'''T'''{{ind|''n''}}}} est inclus dans {{mvar|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 <math>|w-a|</math> se majore dans l'intégrale par <math>diam(\mathbf{T}_n)</math>.

<center><math>
\begin{align}
\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{align}
</math>
</center>

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

[[Fichier:To2.png|vignette|Triangle ABC et ses subdivisions adaptées à chaque point où la fonction n'est pas holomorphe.]]
'''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 {{mvar|f}} sur le contour du triangle est la somme des intégrales de {{mvar|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).

[[Fichier:To3.png|vignette|Pour le cas où le point est un sommet, le triangle peut se subdiviser en trois triangles dont un contient le point en question. Ce triangle est aussi petit que voulu.]]
* Le point est à l'extérieur du triangle ({{math|''z''{{ind|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 ({{math|''z''{{ind|1}}}} sur l'illustration) : le triangle se coupe en deux par une [[médiane (géométrie)|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 ({{math|''z''{{ind|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 ({{math|''z''{{ind|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 :

<math> \forall \varepsilon >0</math> soit {{mvar|T{{ind|ε}}}} le triangle équilatéral (par exemple) de sommet {{math|''z''{{ind|3}}}}, de côté de longueur {{mvar|ε}}.
<center><math>\left| \oint_{\partial {T_\varepsilon}} \ f(z) \,dz \right| \leq 3\varepsilon M</math></center>
où {{mvar|M}} majore {{mvar|f}} continue sur le compact {{mvar|T}}.

Pour les deux autres triangles, {{mvar|f}} y est holomorphe, l'intégrale sur leur contour est donc nulle quel que soit {{mvar|ε}}. Donc, <center><math>\forall \epsilon, \left| \oint_{\partial {T_{\varepsilon}}} f(z) \,dz \right| = \left| \oint_{\partial {T_{\epsilon}}} f(z) \,dz \right| \leq 3\varepsilon M</math></center>

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.'''}}

== Notes et références ==
{{Références}}

{{Portail|analyse}}

[[Catégorie:Analyse complexe]]
[[Catégorie:Théorie de l'intégration]]
[[Catégorie:Lemme de mathématiques|Goursat]]