// リプシッツ公式(%o1)はオイラーのコタンジェント公式から導くことができます。 (%i1) lip:sum((z-n)^(-k),n,-inf,inf)=(-2*%pi*%i)^k/(k-1)!*sum(n^(k-1)*q^n,n,1,inf); $$ \tag{%o1} \sum_{n=-\infty }^{\infty }{\frac{1}{\left(z-n\right)^{k}}}=\frac…