Utilizar los números complejos y la forma exponencial quizá ayude (al menos algebraicamente) a digerir estas fórmulas trigonométricas de adición:
Todo lo que tenemos que saber es $\cos a+i\cdot\sin a=e^{ai}$ para cualquier $a\in\Bbb R$ y que $i^2=-1$ y que $e^{x+y}=e^x\cdot e^y$ para cualquier $x,y\in\Bbb C$ . A continuación, calcula ambos lados de $e^{(a+b)i}=e^{ai}e^{bi}$ .
Si lo prefieres, en su lugar, puedes utilizar las matrices de rotación: $$R_a:=\pmatrix{\cos a&-\sin a\\ \sin a &\cos a}$$ y utilizar la multiplicación de matrices para verificar las identidades, sabiendo que $$R_{a+b}=R_a\cdot R_b \ .$$