Intuition What this page is for
The parent note gave you the four identities and a handful of examples. Here we make a map of every kind of problem these formulas can throw at you — and then work one example for each region of that map. When you finish, there should be no situation ("what if the angles are equal?", "what if the answer is negative?", "what if it's a word problem?") that you have not already seen solved.
This is a companion to the parent note . Everything here uses only:
sin A + sin B = 2 sin 2 A + B cos 2 A − B
sin A − sin B = 2 cos 2 A + B sin 2 A − B
cos A + cos B = 2 cos 2 A + B cos 2 A − B
cos A − cos B = − 2 sin 2 A + B sin 2 A − B
Here A and B are the two angles you start with; 2 A + B is the half-sum and 2 A − B is the half-difference .
Before solving anything, let us list every distinct kind of situation these four formulas produce. Each row is a "cell". Every worked example below is tagged with the cell it covers, so you can see the whole territory is filled.
Cell
Situation
What's tricky about it
Example
C1
Solve an equation, sum = 0
product = 0 → split factors
Ex 1
C2
Exact value, both angles "nice"
pick right formula, know exact values
Ex 2
C3
The minus case (cos A − cos B )
remembering the − 2 sin sin
Ex 3
C4
The swap case (sin A − sin B )
outer cos , inner sin
Ex 4
C5
Degenerate A = B
half-difference = 0 , collapses to double-angle
Ex 5
C6
Answer comes out negative / sign of factors
tracking sign across quadrants
Ex 6
C7
Word problem / physics (beats)
translate reality → symbols → back
Ex 7
C8
Exam twist : prove an identity (ratio)
common factor cancels
Ex 8
C9
Limiting behaviour : B → A
what the collapse looks like as a limit
Ex 9
C10
Equation = nonzero constant
can't split-to-zero; move to one side first
Ex 10
Every quadrant/sign question is folded into C6; every zero/degenerate case into C5 and C9; the "not equal to zero" trap is C10. Let us fill each cell.
Worked example Ex 1 — Cell C1: solve
cos 3 x + cos x = 0
Forecast: guess — how many families of solutions will there be? (Hint: a product of two factors → two families.)
Identify A = 3 x , B = x .
Why this step? The formula needs two angles; name them.
Half-sum 2 A + B = 2 4 x = 2 x ; half-difference 2 A − B = 2 2 x = x .
Why this step? These are the only two arguments the product will use.
Use the cosine-sum formula (both terms are cos , joined by + ):
cos 3 x + cos x = 2 cos 2 x cos x = 0
Why this step? A product = 0 means at least one factor is 0 — that is the whole point of factoring.
Split: cos 2 x = 0 or cos x = 0 .
cos 2 x = 0 ⇒ 2 x = 2 π + nπ ⇒ x = 4 π + 2 nπ .
cos x = 0 ⇒ x = 2 π + nπ .
Why this step? Each factor is now a basic equation whose solutions we know.
Answer: x = 4 π + 2 nπ or x = 2 π + nπ , n ∈ Z .
Verify: try x = 4 π : cos 4 3 π + cos 4 π = − 2 2 + 2 2 = 0 ✓. Try x = 2 π : cos 2 3 π + cos 2 π = 0 + 0 = 0 ✓.
Worked example Ex 2 — Cell C2: exact value of
sin 7 5 ∘ + sin 1 5 ∘
Forecast: which formula, and which two "nice" angles will pop out?
A = 7 5 ∘ , B = 1 5 ∘ . Half-sum = 4 5 ∘ , half-difference = 3 0 ∘ .
Why this step? 4 5 ∘ and 3 0 ∘ have exact known values — that is why the problem was designed this way.
Use sine-sum → sin ⋅ cos :
sin 7 5 ∘ + sin 1 5 ∘ = 2 sin 4 5 ∘ cos 3 0 ∘
Why this step? Both starting terms are sin , joined by + , so this is the sine-sum row.
Substitute exact values sin 4 5 ∘ = 2 2 , cos 3 0 ∘ = 2 3 :
= 2 ⋅ 2 2 ⋅ 2 3 = 2 6
Why this step? We replace the two special-angle values with their exact surds so the answer stays exact (no calculator); the 2 cancels one of the halves and 2 ⋅ 3 = 6 .
Answer: 2 6 ≈ 1.2247 .
Verify: sin 7 5 ∘ ≈ 0.9659 , sin 1 5 ∘ ≈ 0.2588 ; sum ≈ 1.2247 ✓.
Worked example Ex 3 — Cell C3: the minus case,
cos 2 0 ∘ − cos 10 0 ∘
Forecast: will the answer be positive or negative? (cos 2 0 ∘ is big, cos 10 0 ∘ is negative — so the difference is a big positive... watch the formula's own minus sign.)
A = 2 0 ∘ , B = 10 0 ∘ . Half-sum = 6 0 ∘ , half-difference = − 4 0 ∘ .
Why this step? Order matters here: A is the first term (2 0 ∘ ), so the half-difference is genuinely negative.
Use cosine-difference — the one with the minus:
cos 2 0 ∘ − cos 10 0 ∘ = − 2 sin 6 0 ∘ sin ( − 4 0 ∘ )
Why this step? This is the "odd one out" row; forgetting the leading − is the classic error.
sin ( − 4 0 ∘ ) = − sin 4 0 ∘ , so two minuses make a plus:
= − 2 sin 6 0 ∘ ⋅ ( − sin 4 0 ∘ ) = 2 sin 6 0 ∘ sin 4 0 ∘
Why this step? The odd function sin flips sign, cancelling the formula's minus — this is exactly why the final answer ends up positive, matching our forecast.
2 ⋅ 2 3 ⋅ sin 4 0 ∘ = 3 sin 4 0 ∘ .
Why this step? We substitute the exact value sin 6 0 ∘ = 2 3 ; the 2 cancels the denominator 2 , leaving the clean form 3 sin 4 0 ∘ (there is no special surd for 4 0 ∘ , so we leave it as sin 4 0 ∘ ).
Answer: 3 sin 4 0 ∘ ≈ 1.1131 .
Verify: cos 2 0 ∘ ≈ 0.9397 , cos 10 0 ∘ ≈ − 0.1736 ; difference ≈ 1.1133 ✓ (rounding).
Worked example Ex 4 — Cell C4: the swap case, factor
sin 5 x − sin 3 x
Forecast: in sin A + sin B the outer factor is sin . In the difference , does it stay sin ? (No — it swaps.)
A = 5 x , B = 3 x . Half-sum 2 A + B = 2 8 x = 4 x ; half-difference 2 A − B = 2 2 x = x .
Why this step? The formula only ever uses these two arguments, so we compute them first; note A (the + term) is 5 x , fixing the order of the difference.
Use sine-difference — outer cos , inner sin (the swap ):
sin 5 x − sin 3 x = 2 cos 4 x sin x
Why this step? Compared with the sine-sum, the sin and cos trade places. Getting this backwards is Ex-mistake #3 in the parent note.
Answer: 2 cos 4 x sin x .
Verify: at x = 6 π : LHS = sin 6 5 π − sin 6 3 π = sin 6 5 π − sin 2 π = 0.5 − 1 = − 0.5 . RHS = 2 cos 6 4 π sin 6 π = 2 cos 3 2 π sin 6 π = 2 ( − 0.5 ) ( 0.5 ) = − 0.5 ✓.
Worked example Ex 5 — Cell C5: degenerate
A = B , evaluate sin A + sin A
Forecast: if the two angles are identical, the half-difference is 0 . What does cos 0 do to the formula?
Set A = B . Half-sum = 2 A + A = A ; half-difference = 2 A − A = 0 .
Why this step? This is the boundary case — the formula must still hold, and it should reduce to something obvious.
Sine-sum formula:
sin A + sin A = 2 sin A cos 0 = 2 sin A ⋅ 1 = 2 sin A
Why this step? cos 0 = 1 — the half-difference factor disappears , leaving the trivial truth 2 sin A . The formula degrades gracefully.
Now run the cosine-sum through the identical collapse: cos A + cos A = 2 cos A cos 0 = 2 cos A ✓.
Why this step? We repeat the boundary check on a second formula to confirm the collapse behaviour is a general feature of all four identities, not a lucky coincidence of the sine-sum alone.
And the cosine-difference at A = B : cos A − cos A = − 2 sin A sin 0 = 0 .
Why this step? This is the sharpest consistency test: the formula must return exactly 0 (a quantity minus itself), and it does because sin 0 = 0 — proving the minus-formula is well-behaved at the degenerate point, not broken.
Verify: at A = 3 0 ∘ : sin 3 0 ∘ + sin 3 0 ∘ = 1 and 2 sin 3 0 ∘ = 1 ✓.
Worked example Ex 6 — Cell C6: sign / quadrant tracking, evaluate
sin 20 0 ∘ + sin 4 0 ∘
Forecast: sin 20 0 ∘ is negative (third quadrant), sin 4 0 ∘ positive. Will they cancel to something small, or reinforce? Guess the sign of the answer first.
Figure (Ex 6): the unit circle. Two arrows point to the angles 20 0 ∘ (red) and 4 0 ∘ (black). The dashed vertical drop from each arrow's tip to the horizontal axis is that angle's sine — its height . The red arrow's tip sits below the axis, so sin 20 0 ∘ < 0 ; the black arrow's tip sits above , so sin 4 0 ∘ > 0 . The figure's job is to let you literally see the two opposite signs before we add them, so the small positive total is no surprise.
A = 20 0 ∘ , B = 4 0 ∘ . Half-sum = 12 0 ∘ , half-difference = 8 0 ∘ .
Why this step? Notice the half-sum 12 0 ∘ lands in quadrant II , where sin is positive but cos is negative — the sign lives here.
Sine-sum:
sin 20 0 ∘ + sin 4 0 ∘ = 2 sin 12 0 ∘ cos 8 0 ∘
Why this step? Both starting terms are sin , joined by + , so we are in the sine-sum row; this converts the awkward sum of a negative and a positive sine into a single product whose sign we can read factor-by-factor.
sin 12 0 ∘ = 2 3 > 0 , cos 8 0 ∘ ≈ 0.1736 > 0 , so the product is positive .
Why this step? We track each factor's sign through its quadrant instead of guessing the total blindly.
2 ⋅ 2 3 ⋅ 0.1736 ≈ 0.3006 .
Answer: ≈ 0.3006 (positive — the reinforcement wins over the near-cancellation).
Verify: sin 20 0 ∘ ≈ − 0.3420 , sin 4 0 ∘ ≈ 0.6428 ; sum ≈ 0.3007 ✓.
Worked example Ex 7 — Cell C7: word problem (beats)
Statement: Two tuning forks vibrate at f 1 = 264 Hz and f 2 = 260 Hz. Struck together, how many times per second does the loudness rise and fall (the beat rate), and what is the pitch you actually hear (carrier)?
Forecast: guess — is the beat rate the sum or the difference of the frequencies?
Model each fork as sin ( 2 π f 1 t ) and sin ( 2 π f 2 t ) ; the combined pressure is their sum, so let A = 2 π f 1 t , B = 2 π f 2 t .
Why this step? Sound pressures add ; a sum of sines is exactly what sum-to-product eats.
Sine-sum:
sin A + sin B = 2 envelope cos ( 2 π 2 f 1 − f 2 t ) carrier sin ( 2 π 2 f 1 + f 2 t )
Why this step? The half-difference rides the slow cosine (envelope); the half-sum rides the fast sine (carrier).
Envelope frequency = 2 f 1 − f 2 = 2 264 − 260 = 2 Hz. But loudness peaks twice per cosine cycle (once at + 1 , once at − 1 ), so the audible beat rate = 2 × 2 = 4 Hz = ∣ f 1 − f 2 ∣ .
Why this step? cos has the same magnitude at its peak and trough, so "loud" happens at both — doubling the perceived rate.
Carrier frequency = 2 f 1 + f 2 = 2 264 + 260 = 262 Hz — the pitch you hear.
Answer: beats at 4 per second; pitch 262 Hz.
Verify: beat rate should equal ∣ f 1 − f 2 ∣ = ∣264 − 260∣ = 4 ✓; carrier = 262 ✓.
Worked example Ex 8 — Cell C8: exam identity, prove
sin A − sin B cos A − cos B = − tan 2 A + B
Forecast: which common factor will cancel top-and-bottom, and where does the minus survive?
Top (cosine-difference): cos A − cos B = − 2 sin 2 A + B sin 2 A − B .
Why this step? We factor the numerator into a product using the "odd one out" row, because the whole strategy of an identity like this is to expose a factor that the denominator also contains so it can cancel.
Bottom (sine-difference): sin A − sin B = 2 cos 2 A + B sin 2 A − B .
Why this step? Factor the denominator with the swap row so a shared piece appears — the 2 and sin 2 A − B .
Divide; the 2 and the sin 2 A − B cancel, provided sin 2 A − B = 0 , i.e. A = B (mod 2 π ):
c o s 2 A + B − s i n 2 A + B = − tan 2 A + B
Why this step? We may only cancel a factor that is nonzero; if A = B the denominator sin A − sin B is itself 0 and the original fraction is undefined, so excluding A = B costs us nothing.
The leading − from the cosine-difference has nowhere to cancel, so it stays in the answer; the surviving c o s s i n of the half-sum is exactly tan 2 A + B .
Why this step? tan θ = c o s θ s i n θ by definition, so we read the leftover ratio directly as a tangent.
Result: sin A − sin B cos A − cos B = − tan 2 A + B for A = B . Proved.
Verify: at A = 8 0 ∘ , B = 2 0 ∘ : LHS = s i n 8 0 ∘ − s i n 2 0 ∘ c o s 8 0 ∘ − c o s 2 0 ∘ = 0.9848 − 0.3420 0.1736 − 0.9397 ≈ 0.6428 − 0.7661 ≈ − 1.1918 . RHS = − tan 5 0 ∘ ≈ − 1.1918 ✓.
Worked example Ex 9 — Cell C9: limiting behaviour as
B → A
Statement: What does A − B cos A − cos B approach as B → A (angles in radians)?
Forecast: guess — does this blow up, vanish, or settle to a finite value? (Recall: a difference over a difference is a slope .)
Figure (Ex 9): the black curve is y = cos x . The red straight segment joins the two points at x = A and x = B — it is the chord , whose slope is exactly A − B c o s A − c o s B . The black dashed line is the tangent at x = A , whose slope is − sin A . The figure's job is to show that as B slides toward A , the red chord tips over until it lies flat against the dashed tangent — so the ratio we are computing is the slope of cos at A .
Factor the top with the cosine-difference formula:
cos A − cos B = − 2 sin 2 A + B sin 2 A − B
Why this step? We want to expose the tiny factor sin 2 A − B that will control the limit.
Introduce a name for the small angle: let θ = 2 A − B (this is the half-difference; as B → A it shrinks to 0 ). Then A − B = 2 θ , so divide top and bottom by A − B = 2 θ :
A − B c o s A − c o s B = 2 θ − 2 s i n 2 A + B s i n θ = − sin 2 A + B ⋅ θ s i n θ
Why this step? Renaming 2 A − B as θ lets us see the classic pattern θ s i n θ cleanly; the 2 in the numerator's − 2 cancels the 2 in 2 θ , leaving one clean sin θ / θ .
Use the small-angle fact: for a tiny angle, sin θ ≈ θ , so θ sin θ → 1 as θ → 0 .
Why this step? Geometrically a tiny chord equals its arc, so the sine of a small angle equals the angle itself — this is the one limit we must import, and it kills the sin θ / θ factor down to 1 .
As B → A : θ → 0 so θ s i n θ → 1 , and 2 A + B → A so sin 2 A + B → sin A . Multiplying the two limits:
A − B c o s A − c o s B ⟶ − sin A ⋅ 1 = − sin A
Why this step? Each factor has its own clean limit, so the product's limit is the product of the limits — collapsing the whole ratio to − sin A .
Answer: the limit is − sin A (which is exactly the derivative of cos A — the formula reveals calculus).
Verify: at A = 1 rad, B = 1.001 rad: 1 − 1.001 c o s 1 − c o s 1.001 ≈ − 0.8409 , while − sin 1 ≈ − 0.8415 ✓ (close, and tightens as B → A ).
Worked example Ex 10 — Cell C10: equation equal to a
nonzero constant, solve cos 5 x − cos x = 1 (on [ 0 , 2 π ) , illustrative)
Forecast: the tempting move is to factor and "set each factor to 1 " — but a product equal to 1 does not split that way. Guess what must change first.
Factor the left side with the cosine-difference row: A = 5 x , B = x , half-sum = 3 x , half-difference = 2 x :
cos 5 x − cos x = − 2 sin 3 x sin 2 x
Why this step? Sum-to-product still turns the left side into a single product — but the right side is 1 , not 0 .
The equation is now − 2 sin 3 x sin 2 x = 1 .
Why this step? Crucially you cannot split this into separate factor-equations — a product = 1 can happen with neither factor equal to 1 (e.g. 2 × 2 1 ). The zero-product trick only works against 0 .
So the correct route is: keep everything on one side, − 2 sin 3 x sin 2 x − 1 = 0 , and solve the resulting product-form-plus-constant either numerically or by a further identity — there is no clean factoring shortcut .
Why this step? Recognising when a tool does not apply is itself the lesson of this cell; forcing "each factor = 1 " would produce wrong answers.
Answer / takeaway: sum-to-product is for factoring , and factoring only solves an equation when the equation is set to 0 . Against a nonzero constant, first subtract to make one side 0 , or bound the product (∣ − 2 sin 3 x sin 2 x ∣ ≤ 2 , so a value of 1 is at least possible ), then solve numerically.
Verify: the false shortcut "sin 3 x = 1 and sin 2 x = − 2 1 " would need both simultaneously; at x = 6 π , − 2 sin 2 π sin 3 π = − 2 ( 1 ) ( 2 3 ) = − 3 ≈ − 1.732 = 1 , confirming the product form is correct and the naive split is invalid.
Recall Which cell is each problem?
"cos 4 0 ∘ − cos 8 0 ∘ exactly" ::: C3 (minus case)
"sin 3 x − sin x = 0 " ::: C4 (swap) then C1 (solve)
"beat rate of 440 and 443 Hz" ::: C7 (word problem) → 3 Hz
"lim B → A A − B s i n A − s i n B " ::: C9 → cos A
"sin 3 x + sin x = 1 " ::: C10 (move to one side; no zero-split)
Mnemonic Two-line summary of the whole matrix
To solve (against 0 ) → make a product, set each factor = 0 . Against a nonzero constant → first move everything to one side. To simplify → factor, then cancel the shared cos 2 A − B or sin 2 A − B (only when it's nonzero). Everything else is picking the right one of four rows and minding the cosine-difference minus.