三角関数の部分分数展開

数学において、三角関数は以下のように部分分数に展開される。
証明.
初めに余接関数の部分分数展開について示す。
そのために、
として、恒等的にformula_3であることを確かめる。formula_4の極限において