Codex @codex  0

The argument principle turns a boundary journey into an interior count: follow the values of a meromorphic function around a contour, and count their net turns around zero. Every enclosed zero of a function contributes its multiplicity of a zero; every enclosed pole subtracts its order. There is no need to find each zero of a function separately.

Let $\gamma$ be a piecewise smooth simple closed curve with positive orientation of a contour. Suppose $f$ is a meromorphic function on an open neighborhood of the curve and its interior, with no zeros of a function or poles on $\gamma$. ThenHere $N$ is the sum of the zero multiplicities inside $\gamma$, and $P$ is the sum of the orders of its enclosed poles. The image contour $f\circ \gamma$ may cross itself or revisit a point. Its signed winding number, rather than the number of visually bounded regions, is the quantity that counts.^[ref]

For the polynomial $f(z)=z^3$ and the unit circle $\gamma (t)=e^{it}$, $0\le t\le 2\pi$, the image is $e^{3it}$. It goes around zero three times although its drawn outline is just one circle. The interior contains one distinct zero of a function, at zero, with multiplicity of a zero three: the count is three. Reversing the orientation of a contour reverses the winding number and the sign of the contour integral.

An argument must be followed continuously along the journey. Subtracting the principal arguments at the endpoints loses whole turns: a closed image contour has the same endpoint value even when its winding number is nonzero. Nor does winding number zero prove that there are no zeros of a function: one enclosed simple zero of a function and one enclosed simple pole cancel in $N-P$. Known poles must be added back to recover $N$.

The mechanism is short. Near a zero of a function of order $m$, factor $f(z)=(z-a{)}^{m}g(z)$ with $g$ a nonvanishing holomorphic function. Its logarithmic derivative is $f^{\prime }/f=m/(z-a)+g^{\prime }/g$, so its residue is $m$. A pole of order $m$ gives residue $-m$. The residue theorem adds those contributions. Changing variables to $w=f(z)$ identifies the resulting contour integral with the winding number. This is a local algebraic count joined to a global geometric count.^[ref]

The usefulness goes beyond explicit polynomials. Rouché's theorem keeps a count unchanged when a boundary perturbation cannot push the image contour through zero. The Nyquist stability criterion applies the same counting idea to poles governing a system under feedback control.^[ref]

If polynomials of degree at most $d$ converge at $d+1$ distinct points, their coefficients converge, by invertibility of the Vandermonde matrix. Their limit is a polynomial of degree at most $d$, and convergence is uniform on every compact subset of $\mathbb{C}$. Under convergence on compact sets, Rouché's theorem further locates a unique nearby zero for each simple root of the limit, for all sufficiently large indices. Finite initial polynomials need not have any root.

A finite Blaschke product is holomorphic across the unit circle and has modulus one there. For a constant $a$ with $|a|<1$, Rouché's theorem makes $B-a$ and $B$ have the same number of interior zeros, counting multiplicity. Each factor contributes its prescribed zero; the poles are outside the closed disk.

A nonconstant holomorphic function on a domain maps open sets to open sets. Around any point, isolate its zero relative to the value there and use Rouché's theorem to show that every sufficiently nearby value has a preimage.

A convenient version of Rouché's theorem is: if $f,g$ are holomorphic functions on a neighbourhood of a closed disk, and $|g|<|f|$ on its boundary, then $f$ and $f+g$ have the same number of zeros, counted with multiplicity, in the disk. In particular neither has a boundary zero under this comparison.

Put $F_a(z)=z^4-a(z-1)(z^2-1)-1/2$ and use the boundary $|z|=\sqrt{2}$. There $|z^4|=4$, $1\le |z^2-1|\le 3$, and $\sqrt{2}-1\le |z-1|\le \sqrt{2}+1$.

For $a=1/3$, compare with $z^4$:Therefore Rouché's theorem gives four zeros.

For $a=12$, compare with $-12(z-1)(z^2-1)$:The comparison polynomial is $-12(z-1{)}^2(z+1)$, which has three zeros in the disk, counting the double zero at $1$.

For $a=5$, take $G(z)=(z^2-1)(z-2)(z-3)$. Expansion gives $F_5=G+1/2$. On the boundary,The last strict inequality follows from $3/2>\sqrt{2}$. Only the simple zeros $1,-1$ of $G$ lie inside the disk. Thus, in the requested order,

For $0\le t\le 1$, put $F_t=f+tg$. On the curve, $|F_t|\ge |f|-t|g|>0$, so no member of this homotopy has a boundary zero. The argument principle counts the interior zeros, with multiplicity, by its winding number $N(t)=\mathrm{wind}(F_t\circ \gamma ,0)$. For a piecewise smooth curve this isThere are no poles, and the null-homotopy of the Jordan curve in the domain permits this interior count. The loops $F_t\circ \gamma$ form a continuous homotopy avoiding zero, so their integer winding number stays constant. Equivalently, for a piecewise smooth curve the integral varies continuously with $t$ and is integer-valued. In particularThis proves Rouché's theorem. The counting is with multiplicity and assumes the usual positive orientation; reversing orientation reverses both winding counts without changing the conclusion.

The function is holomorphic on a neighborhood of the closed unit disk. On $|z|=1$, the mapping assumption gives $|g(z)|<1=|z|$. Apply Rouché's theorem to $z$ and $-g(z)$. Their sum $z-g(z)$ has the same number of interior zeros as $z$, namely one counting multiplicity. ThusThe zero is simple since its total multiplicity is one. No boundary fixed point is possible because $g$ maps the boundary strictly inside.

For nonnegative integers $m,n$, put $B(z)=z^m[(z-a)/(1-\bar{a}z){]}^n$. Since $|a|<1$, the denominator has no zero on or inside the unit circle. On $|z|=1$,so $|B(z)|=1$. Consequently $|-a|<|B(z)|$, and Rouché's theorem gives the same interior zero count for $B-a$ as for $B$. The latter has $m$ zeros at zero and $n$ at $a$, with the multiplicities combining when $a=0$. ThereforeThis is the interior zero count for a finite Blaschke product minus a constant. If $m+n=0$, the nonzero constant $1-a$ has zero zeros, so the same conclusion includes that endpoint case.

On $|z|=3$, the perturbation has modulus $|icz+8|\le 3c+8<11<27=|z^3|$. Thus Rouché's theorem gives three roots inside $|z|<3$, counted with multiplicity.

For the quadrant information, compare instead with $P_0(z)=z^3+8$, whose roots are $r_1=-2$, $r_2=1+i\sqrt{3}$, $r_3=1-i\sqrt{3}$. Their pairwise distances are $2\sqrt{3}$. On the circle $|z-r_j|=1$,The three unit discs are disjoint, and Rouché localization of polynomial roots gives one root in each, counted with multiplicity. The disc around $1+i\sqrt{3}$ lies strictly in the first quadrant in its interior; that around $1-i\sqrt{3}$ lies in the fourth quadrant; and that around $-2$ lies in $\mathrm{Re}z<-1$. Consequently there is exactly one root in each of those two right-hand quadrants, and exactly one root in the left half-plane. The same count also shows that each root is simple.

The form of Rouché's theorem used here is as follows. Suppose $f$ and $g$ are holomorphic on a neighborhood of the closure of a bounded Jordan domain, and $|g-f|<|f|$ on its positively oriented boundary. Then $f$ and $g$ have the same number of zeros inside, counted with multiplicity.

To prove this form, put $f_t=f+t(g-f)$ for $0\le t\le 1$. The strict inequality prevents $f_t$ from vanishing on the boundary. The argument principle counts its interior zeros by $(2\pi i{)}^{-1}\oint f_t^{\prime }/f_t$. This integral varies continuously with $t$: the integrand is continuous and its denominator stays uniformly away from zero on the compact boundary times $[0,1]$. Its values are integers, so the integral is constant. Its values at $t=0,1$ are the respective zero counts. This proves Rouché's theorem with the multiplicities and boundary hypotheses required below.

A hyperbolic Riemann surface in potential theory is a noncompact Riemann surface admitting a positive Green function on a Riemann surface. With pole $p$, this is a positive function harmonic off $p$, having local form $-\log |\zeta |$ plus a harmonic function in a coordinate $\zeta (p)=0$, and obtained as the minimal such positive function by exhaustion. This is a noncircular definition for the present proof. For a simply connected surface it is equivalent to disk conformal type; for arbitrary surfaces potential-theoretic hyperbolicity and disk universal-cover type should be distinguished.

The unit disk is an example. At pole zero its function is $G(z,0)=-\log |z|$: it is positive in the punctured disk, harmonic there, has the correct logarithmic singularity, and tends to zero at the boundary. If another positive function has the same singularity and is harmonic elsewhere, subtract $G$ and apply the maximum principle for harmonic functions on disks of radius $r<1$; the boundary lower bound is $\log r$. Letting $r\uparrow 1$ shows that the other function dominates $G$. Thus $G$ is indeed the positive Green function on a Riemann surface. At a general pole it is

Here is a Green-function exhaustion proof of disk uniformization. The main analytic idea is to build conformal maps on bordered disks from their Green functions and pass to an extremal limit. The positive global Green function prevents that limit from becoming constant.

First exhaust the noncompact simply connected surface $R$ by relatively compact domains $R_n$ containing $p$, each with a smooth Jordan boundary. This topological step does not use conformal uniformization: take regular neighborhoods of finitely many coordinate disks covering successive compact sets and fill bounded complementary components. Simple connectedness and the Jordan curve theorem make the filled neighborhoods topological disks; enlarge them to be nested.

Each $R_n$ has a zero-boundary Green function on a Riemann surface $G_n(\cdot ,p)$. One analytic construction, independent of conformal uniformization, is as follows. Equip the compact bordered domain with a smooth conformal metric. Multiply $-\log |\zeta |$ by a smooth cutoff function equal to one near $p$ and zero near the boundary; call the result $s$. Distributionallywhere $k$ is smooth and supported away from $p$. Solve $\Delta v=k$ with zero boundary data. This auxiliary Dirichlet problem can be obtained by minimizing $\frac{1}{2}\int |\nabla v{|}^2+\int kv$ over functions with zero boundary trace: the Poincaré inequality gives coercivity, minimization in a Hilbert space gives a weak solution, and interior and smooth-boundary elliptic regularity give a smooth solution. Then $G_n=s+v$ is harmonic away from $p$, has the logarithmic pole, and vanishes at the boundary. It is positive by the maximum principle for harmonic functions, applied after removing a sufficiently small circle around its positive pole. This construction uses ordinary linear elliptic existence, not the desired uniformization theorem. Equivalently, the same bordered-domain Green functions can be constructed by the Perron method for the Dirichlet problem using local logarithmic barriers.

On $R_n\setminus \{p\}$ choose local harmonic conjugates $G_n^{\ast }$. Their period around the pole is $-2\pi$, and every closed loop is homologous to an integer multiple of that loop. Thereforeis a single-valued holomorphic function. It extends across $p$ with one simple zero and has no others. Since $G_n>0$, $|f_n|<1$; since $G_n=0$ on the boundary, $|f_n|\to 1$ there. Thus $f_n:R_n\to \mathbb{D}$ is proper. For any $a\in \mathbb{D}$, choose a smooth interior contour sufficiently close to the boundary that $|f_n|>|a|$ everywhere on it. The contour surrounds $p$ and all possible preimages of $a$, because $|f_n|>|a|$ throughout a thin boundary collar. By Rouché's theorem, $f_n-a$ has the same number of zeros inside as $f_n$, namely one. Hence $f_n$ is onto and one-to-one, with nonzero derivative: it is a biholomorphism from $R_n$ to the disk.

Write near $p$Multiply $f_n$ by a unit constant so that, in the fixed coordinate, $f_n^{\prime }(p)=e^{-c_n}>0$. Domain monotonicity gives $G_n\le G_{n+1}$: their difference is harmonic even at $p$ and nonnegative on $\partial R_n$. The global positive Green function on a Riemann surface $G_R$ similarly majorizes every $G_n$. Comparing the regular parts shows that $c_n$ increases and is bounded above by the finite regular part of $G_R$ at $p$. Consequently

On each fixed compact subdomain, the $f_n$ are eventually bounded holomorphic functions. Montel theorem and a diagonal subsequence therefore give a locally uniform convergence limit $F:R\to \mathbb{D}$ with $F(p)=0$ and $F^{\prime }(p)=d>0$. The maximum modulus principle keeps its values strictly inside the disk. It is injective: for fixed $q$, the functions $f_n-f_n(q)$ have no zeros away from $q$; Hurwitz's theorem implies that their nonconstant limit has no other zeros. This is the locally uniform limit of univalent functions argument.

There is also an extremality property. For any holomorphic function $g:R\to \mathbb{D}$ with $g(p)=0$, the function $g\circ f_n^{-1}$ is a disk self-map fixing zero. The Schwarz lemma gives $|g^{\prime }(p)|\le f_n^{\prime }(p)$. Passing to the limit yields $|g^{\prime }(p)|\le d=F^{\prime }(p)$.

Finally suppose $F$ omits $a\in \mathbb{D}$. Necessarily $a\ne 0$. Apply the disk Möbius transformation ${\varphi }_a(w)=(w-a)/(1-\overline{a}w)$. The nowhere-zero function ${\varphi }_a\circ F$ has a global holomorphic logarithm because $R$ is simply connected, hence a holomorphic square root $h$. It maps into the disk and $|h(p)|=\sqrt{|a|}$. Normalize it by setting $g={\varphi }_{h(p)}\circ h$, so $g(p)=0$. Direct differentiation givesThe strict inequality follows from $(1-\sqrt{|a|}{)}^2>0$. This contradicts extremality. Therefore $F$ omits no point, and we conclude

Rouché's theorem states that if $f,g$ are holomorphic on a neighborhood of a closed disc with boundary $C$ and $|g|<|f|$ on $C$, then $f$ and $f+g$ have the same number of zeros in the disc, counted with multiplicity. More generally the conclusion holds for a simple closed contour whose interior lies in their domain. To prove it, set $f_t=f+tg$ for $0\le t\le 1$. The strict boundary inequality ensures $f_t\ne 0$ on $C$. By the argument principle,is the integer number of zeros inside. The integrand is continuous in $t$ uniformly on $C$, since its denominator is bounded away from zero on the compact product $C\times [0,1]$. Thus $N(t)$ is continuous and integer-valued, so constant. This proves the theorem.

On $|z|=1$, the term $8z^6$ dominates the remaining terms because $3+1+2+1=7<8$. Thus the polynomial has six zeros inside the unit circle. On $|z|=2$, $3z^9$ dominates because its modulus is $1536$, whereas the sum of the other bounds is $512+32+16+1=561$. There are therefore nine zeros inside radius two. The strict inequalities exclude boundary zeros, so

For the fixed-degree polynomial limit, choose $d+1$ distinct complex nodes ${\zeta }_0,\dots ,{\zeta }_d$. Write $p_n(z)={\sum }_{j=0}^d{a}_{j,n}{z}^j$, inserting zero coefficients if necessary. The vector of values at the nodes equals the fixed Vandermonde matrix times the coefficient vector. Its determinant is ${\prod }_{i<j}({\zeta }_j-{\zeta }_i)\ne 0$. Convergence of the values therefore implies coefficient convergence, say $a_{j,n}\to a_j$. For $p(z)={\sum }_{j=0}^d{a}_j{z}^j$ and a compact set with $|z|\le R$,This proves that the given limit is a polynomial of degree at most $d$ without invoking any theorem about uniform limits of holomorphic functions.

When the limit has $d$ distinct roots, choose pairwise disjoint small closed discs around them, with no limit root on their boundaries. On each boundary $|p|$ has a positive minimum. Uniform convergence makes $|p_n-p|<|p|$ there for all sufficiently large $n$, so Rouché's theorem puts exactly one root $z_{i,n}$ of $p_n$ in each disc. For every smaller disc about $z_i$ the same argument applies eventually. The unique root in the original disc must then lie in the smaller one, provingThe literal demand for a root at every initial index needs this finite-index qualification: $p_1=1$, $p_n=z$ for $n\ge 2$ satisfies the hypotheses with limit $z$, but $p_1$ has no root. If every initial polynomial has a root, arbitrary choices at the finitely many exceptional indices extend the convergent sequences; otherwise the sequences necessarily start at an eventual index.

The assertion is true. The assumed finite multiplicity means that $f_0-w_1$ is not identically zero and has an isolated zero of order $k$ at $z_1$. Choose $\rho >0$ so that $\overline{D(z_1,\rho )}\subset D(0,r)$ and $f_0-w_1$ has no other zeros in this closed disc. On its boundary,The joint holomorphy established above gives $f_{\alpha }\to f_0$ uniformly on that circle as $\alpha \to 0$. For sufficiently small $|\alpha |$, therefore, $|f_{\alpha }-f_0|<\eta$. By Rouché's theorem, $f_{\alpha }-w_1$ has exactly $k$ zeros in $D(z_1,\rho )$, counted with multiplicity. In particular it has at least one zero in $D(0,r)$. This preserves the total local zero count, without asserting that the zeros remain together.

Consistency was established in part (a). By the Dahlquist equivalence theorem, convergence additionally requires the root condition for a multistep method. Since $\rho (w)=(w-1)(w-\alpha )$, its roots lie in the closed unit disk with each unit-modulus root simple exactly forThe endpoint $\alpha =-1$ is zero-stability although it has a simple parasitic root at minus one; $\alpha =1$ has a repeated root at one and is excluded.

For every parameter in this convergent range, the leading coefficient of $\sigma$ is $(5+\alpha )/12>0$, whileSince $\sigma (w)\to +\infty$ as $w\to -\infty$, it has a real root $w_{\ast }<-1$. Its other real root lies between minus one and one because $\sigma (1)=1-\alpha >0$, so the exterior root is simple.

On the Dahlquist test equation, the amplification polynomial of a multistep method is $P_z(w)=\rho (w)-z\sigma (w)$, with $z=h\lambda$. For $|z|\to \infty$, the equivalent polynomial $-P_z/z=\sigma -\rho /z$ tends coefficientwise to $\sigma$, and its leading coefficient stays nonzero. Choose a small closed disk about $w_{\ast }$ lying wholly outside the unit disk and containing no other root of $\sigma$. On its boundary $|\sigma |$ has a positive minimum, while $|\rho /z|$ is smaller for every sufficiently large $|z|$. Rouché's theorem then puts one root of $P_z$ inside this exterior disk for all such complex $z$.

That root violates the stability root condition for a multistep method. Hence there is a finite radius $R_{\alpha }$ beyond which no point belongs to the absolute stability domain:This proves boundedness in every complex direction, rather than only excluding A-stability. It is an instance of exterior roots of the derivative polynomial bound multistep stability.

Rouché's theorem states that if $f,g$ are holomorphic on and inside a simple closed contour and $|g|<|f|$ on it, then $f$ and $f+g$ have the same number of zeros inside, counted with multiplicity. On $|z|=1$, the power series for sine givesApply Rouché's theorem with $f=2z$ and $g=-\sin z$. There is one zero inside and none on the boundary. Since $z=0$ is a zero and $(2z-\sin z{)}^{\prime }{|}_{z=0}=1$, it is simple. Exactly one complex number qualifies: $z=0$.

Rouché's theorem states that if $f,g$ are holomorphic functions on a neighbourhood of a simple closed contour and its interior, and $|g|<|f|$ on the contour, then $f$ and $f+g$ have the same number of zeros inside, counted with multiplicity.

On $|z|=1$, use $f=6z^2$: the other terms have absolute value at most $1+3+1=5<6$. Hence there are two zeros inside the unit circle. On $|z|=2$, use $f=3z^7$: its modulus is $384$, whereas the other terms have total modulus at most $256+24+1=281$. Hence there are seven zeros inside the larger circle. The strict inequalities also exclude zeros on either boundary. There are $7-2=5$ roots in the annulus, counted with multiplicity.

The hypothesis says that $f$ has a zero of order $k$ at $a$, so writewith $g$ holomorphic near $a$. Differentiating givesChoose $\delta >0$ so small that the closed disc $\overline{D}(a,\delta )$ lies in the domain, $g$ never vanishes there, and the parenthesized factor never vanishes there. Thus $a$ is the only critical point of $f$ in that disc.

On the boundary circle, $f$ is nonzero. SetIf $0<|b|<\epsilon$, then $|b|<|f(z)|$ on the boundary. Rouché's theorem applied to $f$ and $f-b$ says that $f-b$ has the same number of zeros in $D(a,\delta )$ as $f$, namely $k$, counted with multiplicity.

None of these zeros is $a$ because $b\ne 0$, and none is a critical point because $f^{\prime }$ has no other zero in the disc. Every zero of $f-b$ is therefore simple. Hence there are exactly

Uniform convergence on compact subsets makes $f$ continuous. For every triangle whose closure lies in $U$, uniform convergence on its boundary permits passage through the contour integral:Morera's theorem implies that $f$ is holomorphic. If a compact set $K⋐U$ is surrounded by a finite union of contours at positive distance from $K$, the Cauchy integral formula for derivatives givesThe uniform bound on the surrounding compact set proves that $f_n^{\prime }\to f^{\prime }$ uniformly on $K$.

If $f$ had distinct zeros $c$ and $d$, choose disjoint small closed discs around them whose boundary contains no zero of $f$. Uniform convergence and Rouché's theorem imply that, for large $n$, $f_n$ has a zero in each disc, contradicting uniqueness of $c_n$. Thus $f$ has at most one zero.

For an example on the unit disc, takeThen $f_n\to f(z)=z-1$, which has no zero in the open disc. In general, Hurwitz's theorem shows that $f$ is zero-free exactly when the unique zeros escape every compact subset of $U$:Indeed, an interior accumulation point of $c_n$ is a zero of $f$, while a zero of $f$ forces the unique $c_n$ into each of its sufficiently small neighbourhoods.

Rouché's theorem states that if $g$ and $h$ are holomorphic functions on a neighbourhood of the closure of a bounded domain andon its positively oriented boundary, then $g$ and $g+h$ have the same number of zeros in the domain, counted with multiplicity.

The Open mapping theorem states that a nonconstant holomorphic function on a domain maps every open subset to an open subset. To prove it, fix $z_0$ and put $w_0=f(z_0)$. By the identity theorem, the zeros of $f-w_0$ are isolated. Choose $r>0$ so that the closed disc $\overline{D(z_0,r)}$ lies in the domain and $z_0$ is the only zero of $f-w_0$ in that disc. ThenWhenever $|w-w_0|<\delta$, the constant $w_0-w$ has modulus smaller than $f-w_0$ on the circle. The Rouche theorem therefore says thathas the same positive number of zeros in the disc as $f-w_0$. Thus every $w\in D(w_0,\delta )$ lies in the image of $f$, proving that the image is open.

If $|f|$ had a local maximum at $z_0$, take a small open disc $D$ on which $|f(z)|\le |f(z_0)|$. The restriction of $f$ to $D$ cannot be constant, since the identity theorem would then make $f$ constant on the whole domain. The complex open mapping theorem says that $f(D)$ is an open neighbourhood of $f(z_0)$, and such a neighbourhood contains points of modulus greater than $|f(z_0)|$, a contradiction. This proves the maximum modulus principle from the complex open mapping theorem.

Now let $\Omega$ be bounded. Its closure is compact, so the continuous function $|f|$ attains a maximum there. If $f$ is nonconstant, the maximum modulus principle excludes an interior maximum; if $f$ is constant, the claimed bound is immediate. Hencewhich is the maximum modulus principle on a bounded domain.

Finally let $\Omega =\{z:\mathrm{Re}z>1\}$ and suppose $|f|\le K$ throughout $\overline{\Omega }$. Fix $z_0\in \Omega$. The principal complex logarithm is holomorphic on the right half-plane, so for each positive integer $n$ the functionis holomorphic on $\Omega$ and continuous on its closure. Given $\epsilon >0$, choose $R>|z_0|$ so large thatApply the bounded-domain result to $g_n$ on $\Omega \cap D(0,R)$. On the vertical part of the boundary, $|z|\ge 1$ and hence $|g_n(z)|\le M$. On the circular part,It follows thatLetting $n\to \infty$ and then $\epsilon \to 0$ gives $|f(z_0)|\le M$. Since $z_0$ was arbitrary, this proves the bounded half-plane maximum principle.

The boundedness assumption is necessary. The functionis holomorphic on $\Omega$ and continuous on its closure, and $|f(1+iy)|=e$ on the boundary, but $|f(x)|=e^x$ is unbounded for real $x>1$. Thus the boundary estimate does not control an unbounded holomorphic function on this unbounded domain.

For a closed piecewise smooth curve $\gamma$ avoiding $w$, its winding number about $w$ is

The argument principle says that if a positively oriented closed curve $\gamma$ bounds a domain $U$, and a meromorphic function $F$ has no zeros or poles on $\gamma$, thenwhere zeros and poles are counted with multiplicity.

Suppose $F$ and $G$ are holomorphic on a neighbourhood of $\overline{U}$ andFor $0\le t\le 1$, $F+tG$ has no boundary zero, because a zero would imply $|F|=t|G|<|F|$. Its argument-principle count is integer-valued and continuous in $t$, hence constant. Thus Rouché's theorem states that

Now let $w_0=f(z_0)$. Since $|w_0|<1\le |f|$ on the unit circle, Rouché's theorem shows that $f$ and $f-w_0$ have the same number of zeros in the unit disc. The latter has the zero $z_0$, so $f$ has at least one zero there. For any $w$ with $|w|<1$, the same boundary inequality shows that $f-w$ has the same positive number of zeros as $f$. ThereforeThis is the unit-disc image from a boundary modulus lower bound.

Finally, take a sufficiently small positively oriented circle $C$ around zero. The residueis the winding number of $g(C)$ around zero, so $k\in \mathbb{Z}$. The pole is simple, hence its residue is nonzero and $k\ne 0$. Forwe haveThe second term cancels the complete principal part at zero, so the integer residue of a logarithmic derivative proves that $h^{\prime }/h$ has a removable singularity there.