This post gives
$$\cos A+\cos B+\cos C=1+4\sin \frac {A}{2}\sin \frac {B}{2}\sin \frac {C}{2}$$
Is it possible to derive a generalised formula for
$$\cos A+\cos B+\cos C+...+\cos N$$
i.e., a formula for summing an arbitrary number $n$ of $\cos$ functions? Perhaps something along the lines of
$$\cos A+\cos B+\cos C+...+\cos N=1+(n+1)\sin \frac {A}{2}\sin \frac {B}{2}\sin \frac {C}{2}...\sin \frac {N}{2}$$
But that's just a wild guess, and I'd have no idea how to prove it.