Hi all! This is the second installation of my "Deriving Trigonometric Identities" series. If you haven't read the first one, I suggest you go read it here. Without further ado, let's dive into the math!
Proving the sine product to sum formula
We want to find a formula for . But how can we find the product of two sines with different angles? The key step is noting that we have seen this term before in our formulas; namely, and . We can therefore derive the formula as follows: and we are done.
Proving the cosine product to sum formula
We want to find a formula for . We can proceed much like our previous solution, but instead cancelling out the sines. and we are done.
Proving the sine-cosine product to sum formulas
We want to find a formula for . But we can't add or subtract the cosine angle sum and difference formulas anymore, because they don't have a term. However, using the same line of reasoning, we try to find another trig identity with this term, and lo and behold: and have what we want. We do a similar calculation as before: and we are done.
Proving sine sum to product formula
We want to find a formula for finding . Seeing that in our product to sum formulas, we have a sum of sines in the formula, we can maybe reverse the process and create a sum to product formula. In particular, we would like to use the formula . Making the substitution and :
Proving sine difference to product formula
We want to find a formula for . We can simply plug in in our previous formula to obtain this formula.
Proving the cosine sum to product formula
We want to find a formula for . We want to use our previous strategy of working backwards from identities we already know. We see that serves our purpose. Substituting and : and we are done.
Proving the cosine difference to sum formula
We want to find a formula for . Much like the previous few proofs, we will use the product to sum formulas to derive this formula. In particular, seems like what we should use. Substituting and (note that we are not substituting and ): and we are done.