Product-to-Sum Formulas/Cosine by Sine/Proof 1