Lagmental Vicfred

The Argument Principle Counts Zeros Minus Poles by Vicfred

Last updated: Sat 04 October 2025

tags: mathematics, complex analysis, contour integration, residues

The logarithmic derivative winds around a contour once for each zero and oppositely for each pole. The example is deliberately concrete; it is a test of the statement, not a substitute for it.

The mathematical object

A holomorphic function \(f:U\to\mathbf C\) has a complex derivative independent of direction. Cauchy's integral formula controls each value \(f^{(n)}(a)\) from boundary data.

$$ f\ \text{meromorphic},\qquad f\ne0,\infty\ \text{on }\gamma $$

The formulas should not be merged too early. The datum \(\mathsf D\), the conclusion \(\mathsf C\), and the bridge \(\Longrightarrow\) have three different logical jobs.

$$ \frac1{2\pi i}\oint_\gamma\frac{f'(z)}{f(z)}\,dz=N-P $$

One explicit computation

The computation below is not a second theorem. It is a checksum for the definitions and a place to inspect the difficult LaTeX at full size.

$$ \frac{f'(z)}{f(z)}=\sum_j\frac{m_j}{z-a_j}-\sum_k\frac{n_k}{z-b_k}+h(z) $$

Why the identity matters

The compact alignment is a local map of the argument: assumptions on the first row, consequence on the second. Any generalisation must preserve that dependency.

$$ \begin{aligned} \mathsf{D}\;&:\quad f\ \text{meromorphic},\qquad f\ne0,\infty\ \text{on }\gamma,\\[5pt] \mathsf{C}\;&:\quad \frac1{2\pi i}\oint_\gamma\frac{f'(z)}{f(z)}\,dz=N-P. \end{aligned} $$

Where it can fail

Contour formulas require orientation, winding number, and hypotheses about singularities. A pole on the contour cannot be ignored.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] \frac1{2\pi i}\oint_\gamma\frac{f'(z)}{f(z)}\,dz=N-P \end{gathered}} $$

The result is compact enough to reuse without pretending that the caveat has disappeared. The worked line remains the quickest consistency check.

This article was posted on Tue 30 April 2024. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.