Identities like these can always be proven using the definitions of the trigonometric functions. These definitions are:
$$\cos(x) = \frac{e^{ix} + e^{-ix}}{2} \qquad \text{and} \qquad \sin(x) = \frac{e^{ix} - e^{-ix}}{2i}$$
So, in order to prove the relation that was posted by the OP, we can proceed as follows:
\begin{align*}
\sin(x) + \sin(x+a) &= \frac{e^{ix} - e^{-ix}}{2i} + \frac{e^{i(x+a)} - e^{-i(x+a)}}{2i} \\
&= \frac{e^{i(x+\frac{a}{2})}e^{-i\frac{a}{2}} - e^{-i(x+\frac{a}{2})}e^{i\frac{a}{2}} + e^{i(x+\frac{a}{2})}e^{-i\frac{a}{2}} - e^{-i(x+\frac{a}{2})}e^{i\frac{a}{2}}}{2i} \\
&= \frac{(e^{i\frac{a}{2}} + e^{-i\frac{a}{2}})(e^{i(x+\frac{a}{2})} - e^{-i(x+\frac{a}{2})})}{2i} \\
&= 2\cos\left(\frac{a}{2}\right)\sin\left(x+\frac{a}{2}\right)
\end{align*}
Agreed, depending on the amount of heavy machinery one is prepared to use, there might be different, faster, or more elegant ways to provide proofs of these kinds of identities. But this method always works, never takes more than six lines, and uses no heavily involved theorems, and therefore usually is the method I prefer.