Click on formula to see proof.
Converting the sum of two trig functions to the product of two trig functions.