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, proof, argument and/or principle:
“Ah! I have penetrated to those meadows on the morning of many a first spring day, jumping from hummock to hummock, from willow root to willow root, when the wild river valley and the woods were bathed in so pure and bright a light as would have waked the dead, if they had been slumbering in their graves, as some suppose. There needs no stronger proof of immortality. All things must live in such a light. O Death, where was thy sting? O Grave, where was thy victory, then?”
—Henry David Thoreau (1817–1862)
“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)
“There is no teaching until the pupil is brought into the same state or principle in which you are; a transfusion takes place; he is you, and you are he; then is a teaching; and by no unfriendly chance or bad company can he ever lose the benefit.”
—Ralph Waldo Emerson (1803–1882)