Let . The useful identity on the square contour is
On the vertical edges the first term equals one; on the horizontal edges and . Thus on every edge. Also and the contour has length , so the estimation lemma gives
At every nonzero integer , the residue is . At zero the Laurent series is
so the residue there is . The positive orientation and the residue theorem therefore give
Letting yields the alternating reciprocal-square sum

Articles by others on the same topic (0)

There are currently no matching articles.