Cosecant partial-fraction identity

ID: cosecant-partial-fraction-identity

For , integrate around large squares whose sides have half-integer coordinates. The cotangent is uniformly bounded on these sides and the integral tends to zero. The residue theorem gives residues at the integers and at , proving the identity. For , the geometric-series formula for the cotangent also gives .

New to topics? Read the docs here!