proving or refuting the convergence of a digital sequence Let the following digital sequence; $\Sigma_{n=2}^\infty \dfrac{sin(nx)}{log(n)}$
Dirichlet's criteria says that if $b_n$ decreases and $lim$  $b_n =0$ and if  the partial sums of a sequence $a_n \in \mathbb{R}$ then $\Sigma_{n=1}^\infty a_n b_n$ converges.


*

*It's obvious that $b_n$ in this case is $1/log(n)$ and it does indeed decrease and converges in $0$.

*Now what I have trouble on is showing that all the partial sums of $a_n$ (in this case $sin(nx)$) converge. I know that showing that all the partial sums of a sequence converge is equivalent to showing that $\exists M>0, \forall n \vert{S_n}\vert \leq M$  With $S_n := \Sigma_{n=1}^\infty a_n$
I found a proof (that all the partial sums of $a_n$ converge) but I can't seem to understand the first step. It goes like this:
$\vert \vert \Sigma_{k=1}^\infty  sin(kx) \vert \vert$ = $\vert \vert \dfrac{sin(\dfrac{1}{2} nx) sin ((n+1)\dfrac{x}{2})}{sin\dfrac{x}{2}} \vert \vert$
I really don't know where that result come from

let the statement be true for $k=n-1$ we show it is also true for $k=n$
$\Sigma_{k=1}^n  \sin(kx) \sin\frac{x}{2}$ 
=$\Sigma_{k=1}^{n-1} \sin(kx) \sin\frac{x}{2}+ \sin(nx) \sin\frac{x}{2}$
= $\sin(\frac{1}{2} nx)\{ \sin ((n-1)\frac{x}{2})+2 \cos\frac{nx}{2} \sin\frac{x}{2}\}$
=$\sin(\frac{1}{2} nx)\{ \sin ((n-1)\frac{x}{2})+\sin ((n+1)\frac{x}{2})-\sin ((n-1)\frac{x}{2})\}$
=$\sin(\frac{1}{2} nx) \sin ((n+1)\frac{x}{2})$
