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(omegact+m(t))\sin(\omega_c t + m(t))ct+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, §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. §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.