HS.F.20(+): Proving identities and formulas within the context of trigonometry. (MP.3, MP.7)