HSF.TF.C.9: Prove the addition and subtraction formulas for sine, cosine, and tangent and use them to solve problems.