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