AQR.F-TF.C.9: (+) Prove the addition and subtraction formulas for sine, cosine, and tangent and use them to solve problems.