How to use the argument principle to count zeros and poles of a complex function?

**Intuition:** Near a zero of order $m$ at $z_0$, $f(z) \approx (z-z_0)^m g(z)$, so $f'(z)/f(z) \approx m/(z-z_0)$. The integral picks up $2\pi i \cdot m$. Near a pole of order $p$, the contribution is $-2\pi i \cdot p$. **Example using Rouché's Theorem:** Rouché's theorem: If $|f(z) - g(z)| < |g(z)|$ on a closed contour $C$, then $f$ and $g$ have the same number of zeros inside $C$. Count zeros of $f(z) = z^5 + 3z^2 + 1$ in $|z| < 1$. Let $g(z) = 3z^2$. On $|z| = 1$: $$|f(z) - g(z)| = |z^5 + 1| \leq |z|^5 + 1 = 2$$ $$|g(z)| = 3|z|^2 = 3$$ Since $2 < 3$, Rouché applies. $g(z) = 3z^2$ has 2 zeros (at $z = 0$, multiplicity 2), so $f(z)$ also has 2 zeros in $|z| < 1$. **Application in Control Theory:** The Nyquist stability criterion uses the argument principle. The function $1 + G(s)H(s)$ is mapped as $s$ traverses the Nyquist contour. The number of encirclements of the origin equals $Z - P$ (zeros minus poles in the right half-plane), determining system stability. **Argument Principle and Winding Number:** The argument principle can be rewritten as: $$\frac{1}{2\pi} \Delta_C \arg(f(z)) = N - P$$ where $\Delta_C \arg(f(z))$ is the net change in the argument of $f(z)$ as $z$ traverses $C$. This is exactly the winding number of the curve $f(C)$ around the origin. The argument principle says the winding number counts the difference between zeros and poles inside $C$.