PC.AGRa.4: Manipulate, prove, and apply trigonometric identities and equations to solve contextual mathematical problems.