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