Sine and Cosine/Real/Addition theorem/Rotation/Fact/Proof/Exercise

Prove the addition theorems for sine and cosine, using the rotation matrices.

Create a solution