PC.AGR.4.2: Use sum, difference, double-angle, and half-angle formulas for sine, cosine, and tangent to establish other identities and apply them to solve problems.