Exercises — Product-to-sum formulas
The only four tools we ever use on this page (from the parent):
Reminder of the naming rule we lean on constantly:
- Same kind of factor (cos·cos or sin·sin) → output is cosines.
- Mixed factors (sin·cos or cos·sin) → output is sines.
- The difference angle always appears first; the sign in front of carries the flavour.
See the trick with your eyes first
Before any algebra, look at what a product-to-sum identity actually does to a curve. The top panel is a genuine product of two cosines — it wiggles in a way that's hard to read. The bottom panel plots the two clean cosines the identity claims it equals; their sum (dashed) lands exactly on the messy product above. That visual equality is the identity — the very first exercise below. Keep this picture in mind: every exercise is just replacing a hard-to-see multiplication with an easy-to-read addition.

The second figure shows the sign logic we'll use everywhere: why cos·cos keeps a while sin·sin keeps a . It stacks the two addition formulas so you can literally see which pieces cancel when you add versus subtract.

Level 1 — Recognition
Goal: look at a product and immediately say which identity, and what and are.
Exercise 1.1
For the product , name the correct identity and write , .
Recall Solution
The two factors are mixed (a sine times a cosine), and the sine comes first, so we use Matching term-by-term: (the argument of ), (the argument of ). WHY order matters: — swapping would flip a sign, so always read the sine's angle as .
Exercise 1.2
For , name the identity and predict whether the answer is a sum of sines or cosines.
Recall Solution
Both factors are cosines → same kind → output is cosines. Identity: Prediction: a sum of cosines, specifically .
Exercise 1.3
Which identity un-mixes , and what is the sign in front of ?
Recall Solution
Two sines → same kind → cosines out, and the sin·sin identity uses a minus: The sign in front of is .
Level 2 — Application
Goal: carry out the full expansion and simplify.
Exercise 2.1
Write as a sum.
Recall Solution
Step 1 (WHAT): identify cos·cos, . Step 2 (apply): WHY the 2 vanished: the leading cancels the formula's . This is exactly the curve pictured at the top of the page — the product on the left equals the summed cosines on the right.
Exercise 2.2
Express as a sum.
Recall Solution
sin·sin identity (minus sign!), : WHY the minus in front of ? Recall the two cosine addition formulas: and . To keep the product and cancel the part, we must subtract the second from the first: . That subtraction is where the minus sign in front of comes from — it is not a memorised quirk, it is what makes the cosine terms cancel. (Contrast cos·cos, where we add the two formulas, leaving a .) See the second figure for this cancellation drawn out.
Exercise 2.3
Find the exact value of .
Recall Solution
cos·cos, : Now and :
Level 3 — Analysis
Goal: choose the tool yourself and reason about the structure of the result.
Exercise 3.1
Evaluate .
Recall Solution
WHY product-to-sum? A product of trig functions has no direct antiderivative rule; a sum does (each cosine integrates to a sine). Step 1: sin·cos, : Step 2: integrate term by term (recall ): (See Integration of Trig Functions for the antiderivative rule used.)
Exercise 3.2
Show that simplifies to a single cosine. Which known identity does the answer reveal?
Recall Solution
Expand each product: Subtract: What it reveals: this is exactly the cosine addition formula with , since . Product-to-sum and angle-addition are two views of the same truth.
Exercise 3.3
A degenerate check: apply the sin·sin identity to and confirm you recover a familiar double-angle result.
Recall Solution
Set . Then and : So — the power-reduction identity, a special case of double-angle. WHY this matters: it shows the product-to-sum formulas cover the degenerate case gracefully; nothing breaks when the two angles coincide.
Level 4 — Synthesis
Goal: combine product-to-sum with other identities in a multi-step chain.
Exercise 4.1
Simplify using product-to-sum on each term, then interpret.
Recall Solution
Term 1: . Term 2: (cos·sin uses the minus). Subtract: Interpret: this is the sine difference formula with , and . ✓
Exercise 4.2
Two tuning forks sound and . The physics of beats gives the combined sound (via sum-to-product) as . Use product-to-sum to un-mix it and recover the two original frequencies.
Recall Solution
Set and . Apply cos·cos: Compute the angles: Therefore WHY the choice of which factor is matters: by naming the larger angle as , the difference comes out positive ( Hz) directly. Had we swapped, we'd get ; since cosine is even, , that is the same Hz tone — a negative frequency is never physically real, it's just a bookkeeping sign the evenness erases.
Level 5 — Mastery
Goal: prove a general statement / handle a full parametric case.
Exercise 5.1
Prove the triple-product collapse: show that
Recall Solution
Step 1 — combine the last two factors (sin·sin), with : Here and , so using . Step 2 — multiply by : Step 3 — expand (sin·cos), : Step 4 — add the leftover : WHY the step is crucial: is odd, so ; this minus is what lets the stray terms cancel perfectly.
Exercise 5.2
Evaluate the definite integral and explain the result in terms of orthogonality.
Recall Solution
Step 1: cos·cos, : using (cosine is even). Step 2 — integrate over : WHY both boundary evaluations vanish: each term is . For any integer , (sine is zero at every integer multiple of ) and , so both endpoints contribute nothing. Here and are integers, so : Interpretation: distinct cosine harmonics are orthogonal on a period — their integral of the product is zero. This is the engine of Fourier Series: it lets us extract one frequency's coefficient without interference from the others.
Connections
- Product-to-Sum Formulas — the parent note these exercises drill.
- Angle Addition Formulas — reappears in 3.2, 4.1 as the "collapsed" answer.
- Sum-to-Product Formulas — the inverse move used in the beats problem 4.2.
- Integration of Trig Functions — powers the L3/L5 integrals.
- Double Angle Formulas — the degenerate case in 3.3.
- Wave Interference and Beats — physical un-mixing in 4.2.
- Fourier Series — orthogonality result in 5.2.