nは1でない自然数とする
Σ[k:1→n-1]{1/(sinkπ/n)^2}={(n^2)-1}/3
を示せ
倍角にしたり、cosに置き換えて分数の和にバラしてみましたが分かりません