>>390
一般に正の奇数nに対して
Σ[k=1,n] (-1)^(k-1) csc(((2k-1)/(2n))π) = n
が成り立ち>>253はこのn=9に該当するようだけど
この手の三角関数の級数公式の証明はやり方知らなきゃむりぽ。
積分を使って導かれることが多かったと思うが。
数学公式集を買えば載ってるかもしらぬ。
ともかく高校範囲で誘導なしでは無理だろね。