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