あふがにすタン

arctanによる円周率の公式一覧
http://www.pluto.ai.kyutech.ac.jp/plt/matumoto/atan_table.txt

問題1　\sum_{n = - \infty}^{\infty} (1/(n^2+1)) = \pi coth \piを証明せよ。
問題2　\sum_{n=1}^{\infty} (coth (n\pi)/n^3)を求めよ。