## A special trig identity

Show that $\sum_{k=1}^{n-1}\sin\frac{km\pi}{n}\cot\frac{k\pi}{2n} = n-m\quad (m,n\in\mathbb{N}^+,\ m\le n)$