Could anyone present a proof of sine of sum identity for any pair of angles $a$, $b$?
$$\sin(a+b) = \sin(a) \cos(b) + \cos(a) \sin(b)$$
Most proofs are based on geometric approach (angles are $<90$ in this case). But please note the formula is supposed to work for any pair of angles.
The other derivation I know is using Euler's formula, namely this one.
There's one thing I don't feel comfortable with - we know that we add angles when multiplying two complex numbers. This is proven with sine of sum identity. So first we prove how multiplication of two complex exponentials works using sine of sum identity, and then use multiplication of complex exponentials to prove sine of sum identity. Can you tell me how it's not a circular argument?