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