Prove and apply trigonometric identities. (HSF.TF.C)