Proof of The Argument Principle
Let zN be a zero of f. We can write f(z) = (z − zN)kg(z) where k is the multiplicity of the zero, and thus g(zN) ≠ 0. We get
and
Since g(zN) ≠ 0, it follows that g' (z)/g(z) has no singularities at zN, and thus is analytic at zN, which implies that the residue of f′(z)/f(z) at zN is k.
Let zP be a pole of f. We can write f(z) = (z − zP)−mh(z) where m is the order of the pole, and thus h(zP) ≠ 0. Then,
and
similarly as above. It follows that h′(z)/h(z) has no singularities at zP since h(zP) ≠ 0 and thus it is analytic at zP. We find that the residue of f′(z)/f(z) at zP is −m.
Putting these together, each zero zN of multiplicity k of f creates a simple pole for f′(z)/f(z) with the residue being k, and each pole zP of order m of f creates a simple pole for f′(z)/f(z) with the residue being −m. (Here, by a simple pole we mean a pole of order one.) In addition, it can be shown that f′(z)/f(z) has no other poles, and so no other residues.
By the residue theorem we have that the integral about C is the product of 2πi and the sum of the residues. Together, the sum of the k 's for each zero zN is the number of zeros counting multiplicities of the zeros, and likewise for the poles, and so we have our result.
Read more about this topic: Argument Principle
Famous quotes containing the words proof of the, proof of, proof, argument and/or principle:
“The fact that several men were able to become infatuated with that latrine is truly the proof of the decline of the men of this century.”
—Charles Baudelaire (1821–1867)
“In the reproof of chance
Lies the true proof of men.”
—William Shakespeare (1564–1616)
“Sculpture and painting are very justly called liberal arts; a lively and strong imagination, together with a just observation, being absolutely necessary to excel in either; which, in my opinion, is by no means the case of music, though called a liberal art, and now in Italy placed even above the other two—a proof of the decline of that country.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
““English! they are barbarians; they don’t believe in the great God.” I told him, “Excuse me, Sir. We do believe in God, and in Jesus Christ too.” “Um,” says he, “and in the Pope?” “No.” “And why?” This was a puzzling question in these circumstances.... I thought I would try a method of my own, and very gravely replied, “Because we are too far off.” A very new argument against the universal infallibility of the Pope.”
—James Boswell (1740–1795)
“Help thyself: then everyone will help thee too. Principle of Christian charity.”
—Friedrich Nietzsche (1844–1900)