3.1.16 · D2Advanced Trigonometry

Visual walkthrough — Sum-to-product formulas

1,804 words8 min readBack to topic

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