(5+I)^4 / (239+I) = 2 + 2I
∴ 4atan(1/5) - atan(1/239) = atan(2/2) = π/4
マチンの公式の証明って答案的にはこれでもＯＫでしょうか？ (PARI/GPで計算)
今どきの大学の試験て関数電卓持込み可の科目あるから大丈夫な気がするんですけど。