$\sum_{k=1}^{n-1} \frac{1}{\sin^2(\frac{k\pi}{n})} = \frac{n^2-1}{3}$

做法可能是构造多项式用韦达定理。