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