complex analysis - How to finish proof of $ {1 over 2}+ sum_{k=1}^n cos(kvarphi ) = {sin({n+1 over 2}varphi)over 2 sin {varphi over 2}}$

I'm trying to prove the identity $$ {1 \over 2}+ \sum_{k=1}^n \cos(k\varphi ) = {\sin({n+1 \over 2}\varphi)\over 2 \sin {\varphi \over 2}}$$

What I've done so far:

From geometric series $\sum_{k=0}^{n-1}q = {1-q^n \over 1 - q}$ for $q = e^{i \varphi}$ and taking the real part on both sides I got

$$ \sum_{k=0}^{n-1}\cos (k\varphi ) = {\sin {\varphi \over 2} - \cos (n\varphi) + \cos (n-1)\varphi \over 2 \sin {\varphi \over 2}}$$

I checked all my calculations twice and found no mistake. Then I used trigonometric identities to get

$$ {1 \over 2} + \sum_{k=1}^{n-1}\cos (k\varphi ) + {\cos n\varphi \over 2 } = {\sin \varphi \sin (n \varphi ) \over 2 \sin {\varphi \over 2}}$$

How to finish this proof? Is there a way to rewrite

$\sin \varphi \sin (n \varphi )$ as

$\sin({n+1 \over 2}\varphi) - \sin {\varphi \over 2} \cos (n \varphi)
$?

Answer

There is a mistake in the real part.

$$
\frac{q^n - 1}{q - 1} = \frac{e^{in\phi} - 1}{e^{i\phi} - 1}

= \frac{e^{i(n-1/2)\phi} - e^{-i\phi/2}}{e^{i\phi/2} - e^{-i\phi/2}}
= \frac{- i e^{i(n-1/2)\phi} + i e^{-i\phi/2}} {2\sin{\phi/2}}
$$
the real part is
$$
\frac{\sin ((n-1/2)\phi) + \sin(\phi/2)} {2\sin{\phi/2}}
$$
yielding the right result.

---

However, there is a simpler solution:
$$
1 + 2\sum_{k=1}^n \cos k\phi
= 1+ \sum_{k=1}^n \left(e^{i k\phi} + e^{-i k\phi}\right) = \sum_{k=-n}^n e^{i k\phi}
$$
which simplifies to
$$
e^{-i n\phi} \frac{1 - e^{i (2n+1)\phi}}{1 - e^{i\phi}}
= \frac{e^{-i (n + 1/2)\phi} - e^{i (n + 1/2)\phi}}

{ e^{-i\phi/2} - e^{i\phi/2}} = \frac{\sin((n + 1/2)\phi)}{\sin(\phi/2)}
$$