Soit une fonction holomorphe non identiquement nulle dans un ouvert connexe contenant le disque fermé . Soit le cercle orienté positivement.
Montrer que a un nombre fini de zéros dans .
On suppose que n’a pas de zéros sur . Calculer pour (utiliser les zéros de dans ).
On suppose toujours que n’a pas de zéros sur . On prend . Montrer que l’intégrale précédente est égale au nombre total de zéros de dans . Montrer que ce nombre est aussi l’indice du point par rapport à la courbe fermée .
Soit et la multiplicité du zéro pour la fonction . Montrer que l’on peut choisir tel que ne s’annule pas pour , et qu’il existe un tel que pour tout avec , l’équation a exactement racines dans le disque .
En déduire le principe du maximum : si est holomorphe et non constante dans , alors n’a pas de maximum dans .