F-TF.C. Prove and apply trigonometric identities.