Theorem
Let
be an even function analytic on
except for poles at the points
none of which is an integer, and possibly at 0, and let
be the square contour with vertices at
Suppose also that the function
is such that![]()
Then![]()
With this theorem we can find the sum of a wide range of series exactly.
Example: Prove![]()
The function
is even and analytic on
apart from a pole of order 2 at![]()
The function
has a pole of order 3 at
The residue at
is given by![]()
![]()
![]()
As![]()

Hence![]()
If
lies on the contour
then
so
for![]()
Hence by the Estimation Theorem
as![]()
It follows![]()