Theorem
Letwhere the functions
and
are analytic at the point
and
then
Proof:
In order to prove the theorem we first need to show that an if an analytic functionhas a singularity at
then
providing this limit exists.
To do this letIf
then
has a removable singularity at
If
then f has a simple pole at
and
(Note that we can expandin a Laurent series about
obtaining
so that
then)
Now putthen
(since
), then
The theorem is proved.
Example: Evaluate the residue ofat
at
and
at
so the
rule gives