# Proving sum identity for complex sine operation

show that the complex version of the addition law for the sine still holds:

$\sin(z+w)=\sin(z)\cos(w)+\cos(z)\sin(w)$

We will use the complex definition of $\sin(z)=\frac{e^{iz}-e^{-iz}}{2i}$ and $\cos(z)=\frac{e^{iz}+e^{-iz}}{2i}$ along with defining $z=x+iy$ and $w=a+bi$. The LHS yields $$\frac{e^{i(z+w)}-e^{-i(z+w)}}{2i}$$ $$\frac{e^{iz}e^{iw}-e^{-iz}e^{-iw}}{2i}$$

Substituting in our defined complex values for $z$ and $w$ and Using Euler's identity:

$$\frac{\frac{\cos(x)+i\sin(x)}{e^y}\cdot\frac{\cos(a)+i\sin(a)}{e^b}-\frac{e^y}{\cos(x)+i\sin(x)}\cdot\frac{e^b}{\cos(a)+i\sin(a)}}{2i}$$

Finding a common denominator:

$$\frac{\frac{[[\cos(x)+i\sin(x)][\cos(a)+i\sin(a)]^2-e^{2(y+b)}}{e^{y+b}[\cos(x)+i\sin(x)][\cos(a)+i\sin(a)]}}{2i}$$

At this point I got lost so I attempt to use the prior definitions for the RHS to get $$\frac{\frac{[\cos(x)+i\sin(x)]-e^{2y}}{e^y[\cos(x)+i\sin(x)]}}{2i}\cdot\frac{\frac{[\cos(a)+i\sin(a)]+e^{2b}}{e^b[\cos(a)+i\sin(a)]}}{2}+\frac{\frac{[\cos(x)+i\sin(x)]+e^{2y}}{e^y[\cos(x)+i\sin(x)]}}{2}\cdot\frac{\frac{[\cos(a)+i\sin(a)]-e^{2b}}{e^b[\cos(a)+i\sin(a)]}}{2i}$$

And I'm more confident in this result for the RHS than I am for the result I got for the LHS. I'm a bit lost as to where to take this problem from here.