Principio del argumento
En el análisis complejo, el principio del argumento (o principio del argumento de Cauchy) expresa que si f(z) es una función meromorfa definida en el conjunto abierto limitado por un camino cerrado C, tal que f no tiene ceros ni polos en C, entonces se cumple la siguiente relación:
donde N y P denotan respectivamente el número de ceros y polos de f(z) en el abierto limitado por el camino C, contando cada cero y polo tantas veces como indique su multiplicidad y orden respectivamente. En esta versión del teorema se supone que el camino C es simple, es decir, sin cortes consigo mismo, y que tiene una orientación antihoraria.
De manera más general, considérese una curva C, orientada en sentido antihorario, que se pueda deformar hasta un punto en el interior de un conjunto abierto Ω del plano complejo. Para cada punto z ∈ Ω, sea n(C,z) el índice de C en torno al punto z. Entonces se tiene:
donde la primera suma recorre todos los ceros a de f, contados tantas veces como indiquen sus multiplicidades, y la segunda suma recorre los polos b de f, contados tantas veces como indiquen sus órdenes.
Sea zN un cero de f. Podemos entonces escribir f(z) = (z − zN)kg(z), donde k es la multiplicidad del cero, y por consiguiente, g(zN) ≠ 0. Obtenemos entonces:
y
Dado que g(zN) ≠ 0, se sigue que g' (z)/g(z) no tiene singularidades en zN, y es por lo tanto analítica en zN, lo cual implica que el residuo de f′(z)/f(z) en zN será k.
Sea zP un polo de f. Podemos entonces escribir f(z) = (z − zP)−mh(z), donde m es el orden del polo, y por consiguiente h(zP) ≠ 0. Se tiene entonces:
y
de manera análoga al caso anterior. De ahí se sigue que h′(z)/h(z) no tiene singularidades en zP ya que h(zP) ≠ 0, y por consiguiente es analítica en zP. Se tiene entonces que el residuo de f′(z)/f(z) en zP es −m.
Combinando estos resultados, vemos que cada cero zN de multiplicidad k de f da lugar a un polo simple (de orden 1) para f′(z)/f(z) de residuo k, y cada polo zP de orden m de f da lugar a un polo simple para f′(z)/f(z) de residuo −m. Además, puede demostrarse que f′(z)/f(z) no tiene ningún otro polo y, por lo tanto, ningún otro residuo.
De acuerdo con el teorema de los residuos, tendremos que la integral sobre C es el producto de 2πi por la suma de los residuos. Combinando estos resultados, la suma de los k para cada cero zN es el número de ceros contado tantas veces como indique su multiplicidad, y lo mismo para los polos, de lo que se sigue el resultado buscado.
El principio del argumento tiene consecuencias sobre el índice de f(z) en torno al origen. Si, por ejemplo, C es un camino cerrado centrado en el origen, vemos que la integral de f′(z)/f(z) sobre C es igual a la variación en valor de log f(z). Dado que C es cerrado solo necesitamos considerar la variación en arg f(z) sobre C −, que será un múltiplo de 2π ya que C es cerrado (pero puede dar más de una vuelta en torno al origen). Pero debido al principio del argumento:
los factores de 2π se cancelan y nos quedará:
donde I(C,0) denota el índice de f sobre C en 0.
El teorema de Rouché se apoya en el principio del argumento.