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