Sum and Difference Identities

Part 12, Chapter 12: Trigonometry of the Unit Circle

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 75°75° or pi/12\\pi/12? 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 y+y=0y'' + y = 0.

The four formulas

For any angles AA and BB:

sin(A+B)=sinAcosB+cosAsinB\\sin(A + B) = \\sin A\\cos B + \\cos A\\sin B sin(AB)=sinAcosBcosAsinB\\sin(A - B) = \\sin A\\cos B - \\cos A\\sin B cos(A+B)=cosAcosBsinAsinB\\cos(A + B) = \\cos A\\cos B - \\sin A\\sin B cos(AB)=cosAcosB+sinAsinB\\cos(A - B) = \\cos A\\cos B + \\sin A\\sin B

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 cos(A+B)neqcosA+cosB\\cos(A+B) \\neq \\cos A + \\cos B.

Worked example: cos 15°

15°=45°30°15° = 45° - 30°, both standard. Apply the cosine difference formula:

cos15°=cos45°cos30°+sin45°sin30°=dfracsqrt22cdotdfracsqrt32+dfracsqrt22cdotdfrac12=dfracsqrt6+sqrt24\\cos 15° = \\cos 45° \\cos 30° + \\sin 45° \\sin 30° = \\dfrac{\\sqrt{2}}{2} \\cdot \\dfrac{\\sqrt{3}}{2} + \\dfrac{\\sqrt{2}}{2} \\cdot \\dfrac{1}{2} = \\dfrac{\\sqrt{6} + \\sqrt{2}}{4}

Exact, no calculator. The same trick handles sin75°\\sin 75°, tan75°\\tan 75°, and any angle expressible as a sum or difference of 30°30°, 45°45°, 60°60°, 90°90°.

The double-angle formulas

Set A=B=thetaA = B = \\theta in the sum formulas:

sin(2theta)=2sinthetacostheta\\sin(2\\theta) = 2\\sin\\theta\\cos\\theta cos(2theta)=cos2thetasin2theta=2cos2theta1=12sin2theta\\cos(2\\theta) = \\cos^2\\theta - \\sin^2\\theta = 2\\cos^2\\theta - 1 = 1 - 2\\sin^2\\theta

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 cos2theta=(1+cos2theta)/2\\cos^2\\theta = (1 + \\cos 2\\theta)/2 and sin2theta=(1cos2theta)/2\\sin^2\\theta = (1 - \\cos 2\\theta)/2, indispensable when integrating sin2x\\sin^2 x or cos2x\\cos^2 x in calculus.

Tangent of a sum

Dividing the sine sum by the cosine sum and simplifying yields:

tan(A+B)=dfractanA+tanB1tanAtanB\\tan(A + B) = \\dfrac{\\tan A + \\tan B}{1 - \\tan A \\tan B}

valid whenever the denominator is nonzero. The denominator vanishes precisely when A+B=pi/2+npiA + B = \\pi/2 + n\\pi, right where tan(A+B)\\tan(A+B) has an asymptote, as it should.

Where this shows up
  • Signal Processing: Modulating a carrier signal with audio uses sin(omega_ct+m(t))\\sin(\\omega\_c t + m(t)); 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 alpha+beta\\alpha + \\beta instead of by alpha\\alpha then by beta\\beta should give the same result; the addition formulas are the algebraic statement of that geometric consistency.
  • Quantum Mechanics: Spin-half rotation matrices contain cos(theta/2)\\cos(\\theta/2) and sin(theta/2)\\sin(\\theta/2); 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 pi/4\\pi/4 to read off sin(pi/4)\\sin(\\pi/4) and cos(pi/4)\\cos(\\pi/4); the addition formulas combine these with values at pi/6\\pi/6 to give exact answers at 5pi/125\\pi/12.)

Try it

  • Compute sin75°\\sin 75° using 75°=45°+30°75° = 45° + 30°.
  • Given sintheta=3/5\\sin\\theta = 3/5 and thetain\\theta \\in QI, find sin(2theta)\\sin(2\\theta) and cos(2theta)\\cos(2\\theta). (First find costheta=4/5\\cos\\theta = 4/5 from the Pythagorean identity, then plug in.)
  • Show that sin(A+B)sin(AB)=2cosAsinB\\sin(A+B) - \\sin(A-B) = 2\\cos A \\sin B. (Subtract the two sine formulas; the sinAcosB\\sin A\\cos B 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 (cos(theta)=costheta\\cos(-\\theta) = \\cos\\theta) while sine is odd (sin(theta)=sintheta\\sin(-\\theta) = -\\sin\\theta). Substitute B-B for BB in cos(A+B)\\cos(A + B) 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:

cos(AB)=cosAcosB+sinAsinB\\cos(A - B) = \\cos A\\cos B + \\sin A\\sin B, the second term is plus, not minus.

Beginners routinely write cos(AB)=cosAcosBsinAsinB\\cos(A-B) = \\cos A\\cos B - \\sin A\\sin B, 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 B-B for BB 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 A=BA = B, compute exact values for angles like 75°75° or 15°15° 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 2times22 \\times 2 matrix whose entries are sin and cos.

Quick check

Mark section complete →

References

  • Lang, S. (1971). Basic Mathematics. Springer. Chapter 11, Section 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 y=yy'' = -y.
  • Apostol, T. M. (1967). Calculus, Volume 1 (2nd ed.). Wiley. Section 2.5, algebraic and geometric proofs of the sum-of-angles identities.

This page is prerendered for SEO and accessibility. The interactive widgets above hydrate on JavaScript load.