# Teorema di Rouché

In matematica il teorema di Rouché è un teorema dell'analisi complessa che afferma che, se due funzioni complesse $f$ e $g$ sono olomorfe su di un contorno chiuso $C$ e al suo interno, con $|g(z)|<|f(z)|$ su $C$, allora $f$ e $f+g$ possiedono lo stesso numero di zeri all'interno di $C$, dove ogni zero deve essere contato con la sua molteplicità. Questo teorema ha come ipotesi il fatto che il contorno $C$ deve essere semplice, cioè senza autointersezioni.

## Spiegazione geometrica

Si può fornire una dimostrazione informale del teorema di Rouché.
Per prima cosa, occorre riformulare il teorema in un modo leggermente diverso. Sia $h=f+g$. Si noti che, dato che $f$ e $g$ sono olomorfe, anche $h$ deve essere olomorfa. Allora, con le condizioni imposte precedentemente, il teorema di Rouché afferma che
    se $|f(z)|>|h(z)-f(z)|$ su $C$ allora $f$ e $h$ hanno lo stesso numero di zeri all'interno di $C$.
Si noti che la condizione $|f(z)|>|h(z)-f(z)|$ su $C$ significa che, per ogni $z\in C$, la distanza di $f(z)$ dall'origine è maggiore della lunghezza di $h(z)-f(z)$. Facendo riferimento alla figura, questo significa che, per ogni punto della curva blu, il segmento che unisce tale punto con l'origine è più lungo del segmento verde ad esso associato. Si può dunque affermare che la curva rossa, determinata dalla composizione di $h$ con la curva, è sempre più vicina alla curva blu, determinata dalla composizione di $f$ con la curva, piuttosto che all'origine. Allora, intuitivamente, tali curve devono avvolgersi attorno all'origine lo stesso numero di volte e poiché, per il principio dell'argomento, il numero di volte con le quali tali curve si avvolgono attorno allo zero restituisce il numero di zeri delle rispettive funzioni, si ha che queste hanno lo stesso numero di zeri.

## Dimostrazione

Sia $h=f+g$. Per il principio dell'argomento, si ha che
    $N_{h}-P_{h}={1 \over 2\pi i}\oint _{C}{h'(z) \over h(z)}\,dz,$
dove $N_{h}$ e $P_{h}$ sono rispettivamente il numero di zeri e poli di $h$ all'interno di $C$. Dato che $h$ è analitica su $C$ e al suo interno, si ha che $P_{h}$ è uguale a zero, e dunque
    $N_{h}={1 \over 2\pi i}\oint _{C}{h'(z) \over h(z)}\,dz.$
Analogamente
    $N_{f}={1 \over 2\pi i}\oint _{C}{f'(z) \over f(z)}\,dz.$
Osserviamo che dalle ipotesi segue che $f$ non ha zeri su $C$ e che $\left|{\frac {h}{f}}-1\right|<1$ su $C$. Dunque $\left|{\frac {h}{f}}-1\right|<1$ su tutto un aperto $\Omega$ contenuto nel dominio di definizione di $f$ e $h$ e contenente il supporto di $C$.
Ne consegue che, detta $\log$ la determinazione principale del logaritmo complesso, avendo $\left.{\frac {h}{f}}\right|_{\Omega }$ immagine contenuta nel disco aperto di centro 1 e raggio 1, possiamo comporre $\log$ con la restrizione di $h \over f$ a $\Omega$, ottenendo una funzione olomorfa su $\Omega$.
Dunque, sfruttando il fatto che l'integrale di linea complesso lungo una curva chiusa di una funzione che ammette primitiva è nullo, otteniamo
    $N_{h}-N_{f}={1 \over 2\pi i}\oint _{C}{h'(z) \over h(z)}\,dz-{1 \over 2\pi i}\oint _{C}{f'(z) \over f(z)}\,dz$
    $={1 \over 2\pi i}\oint _{C}\left({h'(z) \over h(z)}-{f'(z) \over f(z)}\right)\,dz$
    $={1 \over 2\pi i}\oint _{C}\left({d \over dz}\left(\log \left(\left.{h \over f}\right|_{\Omega }\right)\right)\right)\,dz=0.$ QED.