Mostre que

$\frac{1}{2}+\cos x+\cos 2x+\dots +\cos nx=\frac{\mathrm{sen}\frac{(2n+1)x}{2}}{2\mathrm{sen}\frac{x}{2}}$