Sum and Difference Identities
Learning objectives
- State and apply the sine and cosine addition formulas
- Derive and use double angle formulas
- Compute exact values using addition formulas
- Prove trigonometric identities using addition formulas
You know the unit circle gives sin and cos for every standard angle. But what about an angle that is not a standard one, like or ? If you can write the awkward angle as a sum or difference of two standard angles, the addition formulas convert that algebraic decomposition into an exact value. Beyond computation, they are the engine behind the double-angle formulas, the half-angle identities used in calculus integration, the rotation matrices in linear algebra, and the proof that sine and cosine satisfy the differential equation .
The four formulas
For any angles and :
Notice the sign pattern: sine of a sum mixes sine and cosine with a plus, while cosine of a sum mixes sine-and-sine with a minus. The minus inside is the formula’s claim to fame, it is what makes .
Worked example: cos 15°
, both standard. Apply the cosine difference formula:
Exact, no calculator. The same trick handles , , and any angle expressible as a sum or difference of , , , .
The double-angle formulas
Set in the sum formulas:
The cosine version has three equivalent forms thanks to the Pythagorean identity. Each is the right one in a different context. Rearranged, they become the half-angle formulas and , indispensable when integrating or in calculus.
Tangent of a sum
Dividing the sine sum by the cosine sum and simplifying yields:
valid whenever the denominator is nonzero. The denominator vanishes precisely when , right where has an asymptote, as it should.
- Signal Processing: Modulating a carrier signal with audio uses ; expanding via the addition formula gives the sum-of-frequencies form that AM/FM radio engineers use to design tuner circuits.
- Computer Graphics: Rotating a model by angle instead of by then by should give the same result; the addition formulas are the algebraic statement of that geometric consistency.
- Quantum Mechanics: Spin-half rotation matrices contain and ; the double-angle formula is what lets physicists derive that a spin-1/2 particle returns to itself only after a full 720^\circ rotation.
(Use the unit-circle widget to verify your worked answers. Snap to to read off and ; the addition formulas combine these with values at to give exact answers at .)
Try it
- Compute using .
- Given and QI, find and . (First find from the Pythagorean identity, then plug in.)
- Show that . (Subtract the two sine formulas; the terms cancel.)
Pause: in the cosine formula, why is the sign rule reversed compared to sine? Hint: the cosine wave has different symmetry, it is even () while sine is odd (). Substitute for in and see what happens.
A trap to watch for
The sign in the cosine sum formula reverses for a difference, but in the opposite direction from sine:
, the second term is plus, not minus.
Beginners routinely write , copying the sum formula. Use this memory device: for cosine, sum gets a minus, difference gets a plus; for sine, sum gets a plus, difference gets a minus. The reason is the odd/even symmetry of sine and cosine: substituting for flips the sine but not the cosine, which is exactly why the rule flips.
What you now know
You can state all four addition formulas, derive the double-angle formulas as the special case , compute exact values for angles like or that are not on the standard table, and avoid the cosine sign-flip trap. The next section uses these formulas as the algebraic backbone of rotations, turning the plane around the origin via a matrix whose entries are sin and cos.
Quick check
Mark section complete →
References
- Lang, S. (1971). Basic Mathematics. Springer. Chapter 11, §5, derivation of the addition formulas from the unit-circle definition.
- Spivak, M. (2008). Calculus (4th ed.). Publish or Perish. Chapter 15: addition formulas derived from the differential equation .
- Apostol, T. M. (1967). Calculus, Volume 1 (2nd ed.). Wiley. §2.5, algebraic and geometric proofs of the sum-of-angles identities.