The theorem is usually used to simplify the problem of locating zeros, as follows. Given an analytic function, we write it as the sum of two parts, one of which is simpler and grows faster than (thus dominates) the other part. We can then locate the zeros by looking at only the dominating part. For example, the polynomial has exactly 5 zeros in the disk since for every , and , the dominating part, has five zeros in the disk.
It is possible to provide an informal explanation on why the Rouche's theorem holds.
First we need to rephrase the theorem a little bit. Let h(z) = f(z) + g(z). Notice that f, g holomorphic implies h holomorphic too. Then, with the conditions imposed above, Rouche's theorem says that
Notice that the condition |f(z)| > |h(z) − f(z)| means that for any z, the distance of f(z) to the origin is larger than the length of h(z) − f(z), which in the following picture means that for each point on the blue curve, the segment joining to the origin is larger than the green segment associated to it. Informally we can say that the red curve h(z) is always closer to the blue curve f(z) than to the origin.
But the previous paragraph shows that since f(z) winds exactly once around 0, so must h(z), and by the argument principle, the index of both curves around zero is the same, which means that f(z) and h(z) have the same number of zeros.
One popular, informal way to summarize this argument is as follows: If a person were to walk a dog on a leash around and around a tree, and the length of the leash is less than the radius of the tree, then the person and the dog go around the tree an equal number of times. (Indeed, one may see that the converse of Rouche's theorem is false, insofar as the leash need only be less than the circumference of the tree.)
Consider the polynomial (where ). By the quadratic formula we find that it has two zeros at . Since
Rouché's theorem can also be used to give a short proof of the Fundamental Theorem of Algebra. Let , and choose a so large that:
One advantage of this proof over the others is that it shows not only that a polynomial must have a zero but the number of its zeros is equal to its degree (counting, as usual, multiplicity).
Another use of Rouché's theorem is to prove the open mapping theorem for analytic functions. We refer to the article for the proof.
The hypothesis, that |g(z)| < |f(z)| on C, implies
for all z∈C. Hence the function F(z) = [f(z)+g(z)]/f(z) takes the curve C to a curve F(C) in the interior of the disc of radius 1 and center 1. The winding number of F(C) about the origin is thus zero. On the other hand, by the argument principle, this winding number is given by
where NF(C) is the number of zeroes of F inside C, PF(C) is the number of poles inside C. Hence NF = PF. But F is the ratio of two holomorphic functions f+g and f inside C, and so the zeros are those of f+g and the poles are the zeros of f. That is,