Let . The useful identity on the square contour isOn 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 givesAt every nonzero integer , the residue is . At zero the Laurent series isso the residue there is . The positive orientation and the residue theorem therefore giveLetting yields the alternating reciprocal-square sum
Articles by others on the same topic
There are currently no matching articles.