notes de cours
notes de cours
notes de cours
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Or ∣ ∫ ∣ ∣∣<br />
[z R(z) dz 1;z 1+h] ≤ ‖h‖ maxD(0,r) R<br />
Donc<br />
F (z 1 + h) − F (z 1 ) h∈C→0<br />
−−−−−→ f(z 1 )<br />
h<br />
Conclusion : f est continue et est la dérivée d’une autre fonction holomorphe F dans D(0, r) =⇒ ∀γ lacet<br />
(C 1 par morceaux) inclus dans le disque alors<br />
∫<br />
f(z) dz = 0<br />
γ<br />
Résumé ∫ : si f est holomorphe dans un disque D(z 0 , r) alors ∀γ lacet (C 1 par morceaux) inclus dans ce disque<br />
f(z) dz = 0.<br />
γ<br />
Supposons maintenant que f est holomorphe dans un domaine D(z 1 , R) \ D(z 0 , r) (en fait f est holomorphe<br />
sur un voisinage <strong>de</strong> cet ensemble). On définit γ 1 le bord extérieur et γ 2 le bord intérieur (cf schéma 5).<br />
Théorème 3.2. Alors :<br />
∫<br />
∫<br />
f(z) dz = f(z) dz<br />
γ 1 γ 2<br />
Preuve 3.3. On divise D(z 1 , R) \ D(z 0 , r) en plein <strong>de</strong> parcelles disjointes <strong>de</strong> diamètre <<br />
schéma 6) et avec <strong>de</strong>s bords C 1 par morceaux.<br />
ɛ<br />
10<br />
chacune (cf<br />
Pour chaque parcelle, f est holomorphe dans un disque qui contient cette parcelle donc ∫ f(z) dz =<br />
contour <strong>de</strong> la parcelle<br />
0. On somme sur toutes les parcelles (cf schéma 7). Tout se simplifie sauf les contributions <strong>de</strong> γ 1 et γ 2 .<br />
=⇒<br />
∫<br />
f(z) dz =<br />
γ 1 ∫<br />
f(z) dz<br />
γ 2<br />
10