Solution

ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2014/4/c/solution

For fixed , integrate
counterclockwise around the specified square of half-side , choosing . The integer poles inside it are , and their residues are because has residue one at each integer.
The two other possible poles are and . Their residues are each , hence sum to . This formula still applies when the numerator vanishes and a possible pole is removable. The residue theorem gives
On the square, , its perimeter is , and the supplied cotangent bound gives
The series converges absolutely by part (b), so its symmetric partial sums have the same limit as the full sum. Therefore
At half-integers the cotangent form makes the value zero explicit; the reciprocal-tangent notation is understood by its continuous extension there. The cotangent contour summation rests on the contour estimate, not only on formally matching poles.

New to topics? Read the docs here!