\prod_{k=1}^{n-1}\cos(k\pi/n)=\frac{1-(-1)^n}{2^n}i^{n-1}