Sum of Cosines of Arithmetic Sequence of Angles

Theorem
Let $\alpha \in \R$ be a real number such that $\alpha \ne 2 \pi k$ for $k \in \Z$.

Then:

Also see

 * Sum of Sines of Arithmetic Sequence of Angles