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:
“From whichever angle one looks at it, the application of racial theories remains a striking proof of the lowered demands of public opinion upon the purity of critical judgment.”
—Johan Huizinga (1872–1945)
“There are some persons in this world, who, unable to give better proof of being wise, take a strange delight in showing what they think they have sagaciously read in mankind by uncharitable suspicions of them.”
—Herman Melville (1819–1891)
“A short letter to a distant friend is, in my opinion, an insult like that of a slight bow or cursory salutation—a proof of unwillingness to do much, even where there is a necessity of doing something.”
—Samuel Johnson (1709–1784)
“Argument is conclusive ... but ... it does not remove doubt, so that the mind may rest in the sure knowledge of the truth, unless it finds it by the method of experiment.... For if any man who never saw fire proved by satisfactory arguments that fire burns ... his hearer’s mind would never be satisfied, nor would he avoid the fire until he put his hand in it ... that he might learn by experiment what argument taught.”
—Roger Bacon (c. 1214–1294)
“Life is a game in which the rules are constantly changing; nothing spoils a game more than those who take it seriously. Adultery? Phooey! You should never subjugate yourself to another nor seek the subjugation of someone else to yourself. If you follow that Crispian principle you will be able to say “Phooey,” too, instead of reaching for your gun when you fancy yourself betrayed.”
—Quentin Crisp (b. 1908)