The Argument Principle — Mathematics Knowledge System

Overview

The argument principle counts the zeros and poles of a meromorphic function enclosed by a contour, using only a single contour integral of f'/f. If f is meromorphic inside and on a positively oriented simple closed contour C, with no zeros or poles on C itself, then (1/2πi)∮_C f'(z)/f(z) dz equals Z − P, where Z is the number of zeros and P the number of poles inside C, each counted with multiplicity. The name comes from an equivalent description: this integral equals (1/2π) times the total change in the argument (angle) of f(z) as z traverses C once, i.e. it counts how many times the image curve f(C) winds around the origin. This turns questions like 'how many roots does this polynomial have in this region' into a winding-number computation, and it underlies Rouché's theorem, a workhorse for locating roots without solving equations directly.

Intuition

Near a zero of order m, f(z) behaves like c(z−z₀)^m, so f'/f behaves like m/(z−z₀) — a simple pole with residue exactly m. Near a pole of order k, f(z) behaves like c(z−z₀)^{−k}, so f'/f behaves like −k/(z−z₀) — a simple pole with residue −k. So f'/f is itself a meromorphic function whose only singularities sit exactly at the zeros and poles of f, with residues equal to the zero's multiplicity or minus the pole's order. Applying the residue theorem to f'/f therefore sums up (+multiplicity) at each enclosed zero and (−order) at each enclosed pole, giving Z − P directly. The winding-number interpretation is the same fact seen geometrically: as z travels once around C, f(z) traces some closed curve in the plane, and every time f(z) circles the origin it's because f briefly looked like a monomial (z−z₀)^m near a zero or pole, contributing one full loop per unit of multiplicity.

Formal Definition

Definition

Let f be meromorphic on and inside a positively oriented simple closed contour C, with no zeros or poles lying on C, having Z zeros and P poles inside C (each counted according to multiplicity/order):

\frac{1}{2\pi i}\oint_C \frac{f'(z)}{f(z)}\,dz = Z - P

The argument principle

\frac{1}{2\pi i}\oint_C \frac{f'(z)}{f(z)}\,dz = \frac{1}{2\pi}\Delta_C \arg f(z)

Equivalent statement via the winding number of f(C) around 0

Worked Examples

f(z) = z² has a single zero at z=0 of multiplicity 2 (since z² = (z-0)²), and no poles anywhere.
$Z = 2 \text{ (zero at } z=0 \text{, multiplicity 2)}, \quad P = 0$
By the argument principle, the contour integral of f'/f equals Z − P.
$\frac{1}{2\pi i}\oint_{|z|=1} \frac{2z}{z^2}\,dz = Z - P = 2 - 0 = 2$
Check directly: f'/f = 2z/z² = 2/z, whose residue at z=0 is 2, confirming the integral equals 2πi·2/(2πi) = 2.
$\operatorname{Res}\left(\frac{2}{z}, 0\right) = 2$

Answer: f(z)=z² has exactly 2 zeros (counted with multiplicity) inside |z|=1, matching Z − P = 2.

Practice Problems

Difficulty 6/10

How many zeros (with multiplicity) does f(z) = z³ have inside |z| = 2, and what does the argument principle give for (1/2πi)∮ f'/f dz over that contour?

Difficulty 7/10

For f(z) = 1/z² on the contour |z|=1, compute Z − P using the argument principle.

Difficulty 8/10

f(z) = (z-1)(z+3)/(z-2) has zeros at z=1 and z=-3, and a pole at z=2. How many zeros minus poles are enclosed by the contour |z| = 1.5, and what value does the argument principle predict for (1/2πi)∮f'/f dz?

Quiz

Summary

The argument principle: (1/2πi)∮_C f'(z)/f(z) dz = Z − P, the number of zeros minus poles of f enclosed by C, each counted with multiplicity.
This follows from the residue theorem applied to f'/f, whose only poles are at the zeros and poles of f, with residues equal to +multiplicity (zeros) or −order (poles).
Equivalently, the integral counts how many times the image curve f(C) winds around the origin as z traverses C once.
The argument principle is the basis for Rouché's theorem, used to locate the number of roots of equations in a region without solving them.

References

WebsiteWikipedia — Argument principle