3.1.15 · D5Advanced Trigonometry

Question bank — Product-to-sum formulas

1,404 words6 min readBack to topic

True or false — justify

Every product of two first-power sines/cosines (like , not ) can be rewritten as a sum of exactly two trig terms.
True. For a product of two first-power sines/cosines the identities always yield exactly two terms, one at angle and one at . Higher powers like break the rule and need repeated application.
and both expand into a sum of cosines.
True. Same-kind products (cos·cos, sin·sin) always output cosines; the only difference is the sign in front of the term (plus for cos·cos, minus for sin·sin).
The in every formula is a convention you could drop if you like.
False. It is forced: adding or subtracting two addition formulas produces , so dividing by 2 is required to isolate the product exactly — not a cosmetic choice.
and give the same sum.
False. Both output sines, but (a plus) while (a minus). Swapping the roles of the sine and cosine flips that inner sign.
In the order of and never matters.
True here, because is even: , so swapping and leaves both terms unchanged. Be careful — this evenness rescue does not apply to the sine outputs.
For , swapping and leaves the answer unchanged.
False. is odd, so swapping flips that term's sign and turns into — a genuinely different product. Order matters whenever a sine of a difference appears.
Product-to-sum and sum-to-product are the same rule written twice.
False — they are inverses. Product-to-sum turns a multiplication into an addition; Sum-to-Product Formulas does the reverse. You choose based on whether your starting expression is a product or a sum.

Spot the error

A student writes . What's wrong?
The sign is flipped: cos·cos uses a plus. This is the sin·sin formula in disguise. It comes from adding equations and above, which keeps the ; only subtracting them to isolate sines produces the minus.
A student claims . Where's the slip?
They kept the formula's but forgot the leading cancels it. Correct: , with no fraction left.
Someone expands and writes . Fix it.
The two cosine terms are in the wrong order, giving an overall sign error. The difference angle always comes first with a plus: .
A student converts using " with " and stops at . Is anything wrong?
The application is correct but they should simplify , giving — a genuine double-angle identity, showing is a legal special case.
To integrate a student integrates the product directly as . What's the flaw?
You cannot integrate a product by integrating each factor — that's not how integration works. You must first turn it into a sum , then integrate term by term.
Someone writes . Correct it.
Both the order and the sign are off. The right form is first with a plus, subtracted.

Why questions

Why do same-kind products (cos·cos, sin·sin) output cosines while mixed products output sines?
Because we build them by combining formulas (which only contain and ) versus formulas (which contain the mixed and ). The output type is inherited from which pair of addition formulas we started with.
Why do we add the two cosine addition formulas to isolate , but subtract them for ?
In the term keeps the same sign while flips sign. Adding cancels the flipping term (sines) and keeps cosines; subtracting cancels cosines and keeps sines.
Why are these formulas the key that unlocks integrating trig products?
Because has no term-by-term rule, but does — each cosine integrates independently. This is why Integration of Trig Functions leans on them constantly.
Why does the same identity that describes beats also underlie Fourier Series?
Both rely on how products and sums of sines/cosines interconvert. In Fourier analysis, integrating a product of two different-frequency waves gives zero (orthogonality) precisely because product-to-sum turns it into cosines that integrate to zero over a full period.
Why is not a broken case but a useful one?
Setting collapses the difference angle to , and , . This turns each product-to-sum identity into a double-angle formula — a legitimate limiting member of the same family, not an exception.
Why does the term always appear (with a plus) in every cosine output?
Take : adding gives , because the terms have opposite signs in and and cancel, while the terms have matching signs and double. The surviving therefore always carries a . For sin·sin you instead compute , which flips the sign of but leaves positive. So "difference angle with a plus" is a literal consequence of which terms cancel. (Note: for the sine outputs the terms simply appear in order — check the restated formulas above rather than trusting a single mnemonic.)

Edge cases

What happens to when ? Does the formula still make sense?
With : , and the formula gives . Consistent — the identity gracefully reduces to a triviality.
If , what convenient thing happens in ?
Then , so — one term vanishes. This is exactly why simplifies so cleanly (their sum is ).
What does give when , and does it match a known identity?
It gives , so — precisely the sine double-angle formula, recovered as a special case.
In the beat expression , what happens as ?
The difference term , so the envelope stops wobbling and you hear one steady tone at frequency — the beat period stretches to infinity. See Wave Interference and Beats.
Can a product-to-sum output ever be a single term rather than two?
Yes, whenever one of the resulting angles makes its trig term vanish or the two terms coincide — e.g. merges both cosines into one, and kills a cosine term. These are the same edge cases above, viewed as term-collapse.

Connections