Visual walkthrough — Sum-to-product formulas
Before we start, one word we will use constantly:
Step 1 — Two angles, and the two combinations that matter
WHAT. Pick two angles. Instead of calling them and right away, call them and . That is not a trick yet — it is just a naming choice that will pay off.
WHY. The angle addition formulas are built for exactly this shape: they tell us what happens to and of and of . If we feed the machine those two inputs, magic terms will cancel in Step 2.
PICTURE. Look at the figure. The blue angle is . We tilt up by to reach (yellow), and down by to reach (green). So is the half-spread between the two angles, and sits exactly in the middle.
- — the middle angle (the average of our two angles).
- — the half-spread: how far each angle leans off the middle.
- — the upper angle. · — the lower angle.
Step 2 — Add the two sine formulas (watch a term vanish)
WHAT. Write both sine-addition formulas and stack them:
Here each symbol is:
- (term P) — appears with a in both rows.
- (term Q) — appears in the top row, in the bottom row.
Adding the rows, the two Q's are and : they cancel. The two P's survive and double:
\sin(x+y) + \sin(x-y) = 2\sin x\cos y \tag{1}
WHY. We added precisely because the odd (sign-flipping) term is the one we want gone. Addition is a filter: it keeps the part that is the same in both rows, kills the part that flips.
PICTURE. The figure shows the two expansions as two horizontal bars of coloured blocks. Term Q is red and points opposite ways in the two bars — stacking them, the red arrows annihilate. Term P is blue and points the same way — it stacks to double height.
Step 3 — Subtract instead, to catch the other term
WHAT. Same two rows, but now subtract the bottom from the top:
\sin(x+y) - \sin(x-y) = 2\cos x\sin y \tag{2}
Term by term: the two (P) blocks are identical, so subtracting kills them; the (Q) blocks are and , so they double.
WHY. Subtraction is the complementary filter to Step 2: it keeps what flips and kills what stays. Between add (Step 2) and subtract (Step 3) we have now captured both products and . Nothing about these two angles is left unexplored.
PICTURE. Mirror of the last figure: this time the blue P-blocks cancel and the red Q-blocks survive and double.
Step 4 — Do the same for cosine (all four cases now covered)
WHAT. The cosine-addition formulas differ by one sign, so their sum and difference behave differently:
- — enters in both rows.
- — enters on top, on bottom (note: cosine's cross term is negative up top).
Add ⇒ the terms ( and ) cancel: \cos(x+y)+\cos(x-y) = 2\cos x\cos y \tag{3}
Subtract (, chosen so the surviving term is positive) ⇒ the terms cancel: \cos(x-y)-\cos(x+y) = 2\sin x\sin y \tag{4}
WHY. Cosine's addition rule carries a minus on its cross term. That minus is the entire reason will end up with a leading minus sign later — it is born right here, not invented at the end.
PICTURE. Two mini-panels: the top panel adds (green blocks annihilate); the bottom subtracts (yellow blocks annihilate). The red minus badge on the block is highlighted — remember where it lives.
Step 5 — The rename that finishes the job
WHAT. Equations (1)–(4) still speak in and . We now rename: Solve this little 2-equation system:
- Add them: — the half-sum.
- Subtract them: — the half-difference.
WHY. The left side of (1) is . After renaming that is literally — a plain sum of the two functions we care about! The rename converts "sum of functions" into "product with half-sum and half-difference arguments." That is the payoff promised in Step 1: choosing = middle, = half-spread makes and automatically.
PICTURE. A number line: and marked; their midpoint (blue) sits dead centre, and the arrow of length (yellow) reaches from the midpoint out to . This is the same -in-the-middle, -half-spread picture from Step 1, now labelled in .
- — the centre of the two angles (blue dot).
- — half the gap between them (yellow arrow).
Step 6 — Substitute and read off all four identities
WHAT. Replace and , and (etc.) in (1)–(4):
Term-by-term for the first one: the leading came from the doubling in Step 2; is the old ; is the old .
WHY. Each identity is just one of (1)–(4) wearing new clothes. The minus in the fourth line is the same minus that survived Step 4 — geometry, not magic.
PICTURE. A summary table-figure pairs each equation with a tiny icon of which term cancelled to make it.
Step 7 — Degenerate case: when
WHAT. What if the two angles are equal? Set . Then and .
WHY. A formula you cannot trust at its boundaries is a formula you cannot trust. Here gives the obvious answers (; a thing minus itself is ), so the identity survives its own edge case. This limit is also the doorway to the Double Angle Formulas — feed into the cosine-difference-of-arguments route and doubling appears.
PICTURE. The half-spread arrow shrinks to a point as slides onto ; of it climbs to , of it falls to .
The one-picture summary
WHAT. One figure carries the entire journey: add/subtract the addition formulas → a term cancels → rename to half-sum & half-difference → read off the product.
Recall Feynman: tell the whole story in plain words
I have two angles. I decide to think of them not as "this one and that one," but as a middle and a spread: is where they balance, is how far each leans off. Now I use the angle-addition rules on the upper angle and the lower angle . Each rule splits into two pieces. When I add the upper and lower results, one piece appears with opposite signs and dies; the surviving piece doubles. When I subtract, the other piece dies and the first doubles. So from four add/subtract combos I get four clean " something something" statements. Finally I rename: the middle was always and the spread was always . Swap those in, and the left side turns into the plain sum I actually wanted. The right side is now a product — and a product is a machine for solving equations, because if it equals zero, one of its factors must be zero. The one weird sign — the minus in — isn't a special rule to memorize; it's just cosine's own minus sign from Step 4, riding along to the end.
Recall Quick self-test
Why does adding the sine formulas kill ? ::: Because that term is on top and on the bottom, so the two cancel; only survives and doubles. Where does the minus in come from? ::: From cosine's negative cross term in the addition formula, surviving through the subtraction in Step 4. What are and in terms of ? ::: (half-sum), (half-difference). Check at . ::: , matching .
Connections
- Angle Addition Formulas — the single seed everything grew from.
- Product-to-Sum Formulas — run this whole picture backwards.
- Double Angle Formulas — the limit of Step 7.
- Solving Trigonometric Equations — why we wanted a product at all.
- Beats and Superposition (Waves) — the physical face of the product form.