For every natural number $n$, we denote by $S_{n}$ the function defined on $\mathbb{R}$ by
$$\forall x \in \mathbb{R}, \quad S_{n}(x) = \sum_{k=-n}^{n} e^{2\pi\mathrm{i} kx}$$
Prove that
$$\forall n \in \mathbb{N}, \quad \forall x \in \left[-\frac{1}{2}, \frac{1}{2}\right] \backslash\{0\}, \quad S_{n}(x) = \frac{\sin((2n+1)\pi x)}{\sin(\pi x)}$$