The for­mu­las you will use every day

Let us clear up the most com­mon mis­take first: cos⁡(x+y)\cos(x + y) is not cos⁡x+cos⁡y\cos x + \cos y. The cor­rect for­mu­las, for sums and dif­fer­ences of angles, for dou­ble and triple angles, and for turn­ing sums of sines and cosines into prod­ucts, are the every­day tools of this chap­ter. You will use them again and again, in cal­cu­lus as well. We will state them, see where the impor­tant ones come from, and put them to work find­ing exact val­ues and prov­ing iden­ti­ties.

Sum and dif­fer­ence for­mu­las

cos⁡(x+y)=cos⁡xcos⁡y−sin⁡xsin⁡y,cos⁡(x−y)=cos⁡xcos⁡y+sin⁡xsin⁡y\cos(x + y) = \cos x \cos y - \sin x \sin y, \qquad \cos(x - y) = \cos x \cos y + \sin x \sin y
sin⁡(x+y)=sin⁡xcos⁡y+cos⁡xsin⁡y,sin⁡(x−y)=sin⁡xcos⁡y−cos⁡xsin⁡y\sin(x + y) = \sin x \cos y + \cos x \sin y, \qquad \sin(x - y) = \sin x \cos y - \cos x \sin y
tan⁡(x±y)=tan⁡x±tan⁡y1∓tan⁡xtan⁡y,cot⁡(x±y)=cot⁡xcot⁡y∓1cot⁡y±cot⁡x\displaystyle \tan(x \pm y) = \frac{\tan x \pm \tan y}{1 \mp \tan x \tan y}, \qquad \cot(x \pm y) = \frac{\cot x \cot y \mp 1}{\cot y \pm \cot x}

You don't need to mem­o­rise six sep­a­rate proofs. Only the cosine dif­fer­ence for­mula needs real work: com­pare the chord join­ing the unit-cir­cle points at angles xx and yy with the chord from (1,0)(1, 0) to the point at angle x−yx - y. The two chords are the same length, and writ­ing that out gives the for­mula. Every­thing else fol­lows by clever sub­sti­tu­tion (y→−yy \to -y, x→π2−x\displaystyle x \to \tfrac{\pi}{2} - x).

Two unit circles: the first has a chord joining (cos x, sin x) and (cos y, sin y); the second has a chord joining (1, 0) and (cos(x - y), sin(x - y)). Both chords are equally long.
The two equal chords behind the cosine dif­fer­ence for­mula

Con­se­quences. The famil­iar allied-angle results drop straight out: cos⁡(π2−x)=sin⁡x\displaystyle \cos\left(\tfrac{\pi}{2} - x\right) = \sin x, sin⁡(π−x)=sin⁡x\sin(\pi - x) = \sin x, cos⁡(π+x)=−cos⁡x\cos(\pi + x) = -\cos x and sin⁡(3π2+x)=−cos⁡x\displaystyle \sin\left(\tfrac{3\pi}{2} + x\right) = -\cos x.

Exam­ple 1. cos⁡75∘=cos⁡(45∘+30∘)=12⋅32−12⋅12=3−122\displaystyle \cos 75^\circ = \cos(45^\circ + 30^\circ) = \tfrac{1}{\sqrt{2}} \cdot \tfrac{\sqrt{3}}{2} - \tfrac{1}{\sqrt{2}} \cdot \tfrac{1}{2} = \tfrac{\sqrt{3} - 1}{2\sqrt{2}}.

Exam­ple 2. tan⁡105∘=tan⁡(60∘+45∘)=3+11−3=−(2+3)\displaystyle \tan 105^\circ = \tan(60^\circ + 45^\circ) = \frac{\sqrt{3} + 1}{1 - \sqrt{3}} = -(2 + \sqrt{3}).

Exam­ple 3. Let sin⁡x=35\displaystyle \sin x = \tfrac{3}{5} and cos⁡y=−513\displaystyle \cos y = -\tfrac{5}{13}, with both angles in quad­rant II. First find the miss­ing pieces, keep­ing an eye on signs: cos⁡x=−45\displaystyle \cos x = -\tfrac{4}{5} and sin⁡y=1213\displaystyle \sin y = \tfrac{12}{13}. Then sin⁡(x+y)=35(−513)+(−45)1213=−6365\displaystyle \sin(x + y) = \tfrac{3}{5}\left(-\tfrac{5}{13}\right) + \left(-\tfrac{4}{5}\right)\tfrac{12}{13} = -\tfrac{63}{65}.

Dou­ble and triple angles

sin⁡2x=2sin⁡xcos⁡x=2tan⁡x1+tan⁡2x\displaystyle \sin 2x = 2\sin x \cos x = \frac{2\tan x}{1 + \tan^2 x}
cos⁡2x=cos⁡2x−sin⁡2x=2cos⁡2x−1=1−2sin⁡2x=1−tan⁡2x1+tan⁡2x\displaystyle \cos 2x = \cos^2 x - \sin^2 x = 2\cos^2 x - 1 = 1 - 2\sin^2 x = \frac{1 - \tan^2 x}{1 + \tan^2 x}
tan⁡2x=2tan⁡x1−tan⁡2x\displaystyle \tan 2x = \frac{2\tan x}{1 - \tan^2 x}
sin⁡3x=3sin⁡x−4sin⁡3x,cos⁡3x=4cos⁡3x−3cos⁡x,tan⁡3x=3tan⁡x−tan⁡3x1−3tan⁡2x\displaystyle \sin 3x = 3\sin x - 4\sin^3 x, \quad \cos 3x = 4\cos^3 x - 3\cos x, \quad \tan 3x = \frac{3\tan x - \tan^3 x}{1 - 3\tan^2 x}

Half angles come from read­ing the cos⁡2x\cos 2x for­mu­las back­wards: sin⁡2x2=1−cos⁡x2\displaystyle \sin^2 \tfrac{x}{2} = \tfrac{1 - \cos x}{2} and cos⁡2x2=1+cos⁡x2\displaystyle \cos^2 \tfrac{x}{2} = \tfrac{1 + \cos x}{2}. The square root leaves a sign to decide, and the quad­rant of the half angle decides it.

Exam­ple 4. To find tan⁡π8\displaystyle \tan \tfrac{\pi}{8}, put x=π8\displaystyle x = \tfrac{\pi}{8} and let t stand for its tan­gent. Then tan⁡2x=1=2t1−t2\displaystyle \tan 2x = 1 = \tfrac{2t}{1 - t^2}, so t2+2t−1=0t^2 + 2t - 1 = 0, and tak­ing the pos­i­tive root, t=2−1t = \sqrt{2} - 1.

Exam­ple 5. Let cos⁡x=−725\displaystyle \cos x = -\tfrac{7}{25} with π<x<3π2\displaystyle \pi < x < \tfrac{3\pi}{2}. Then x2\displaystyle \tfrac{x}{2} lies in quad­rant II, where sine is pos­i­tive and cosine neg­a­tive. So sin⁡x2=1+7/252=45\displaystyle \sin \tfrac{x}{2} = \sqrt{\tfrac{1 + 7/25}{2}} = \tfrac{4}{5}, cos⁡x2=−1−7/252=−35\displaystyle \cos \tfrac{x}{2} = -\sqrt{\tfrac{1 - 7/25}{2}} = -\tfrac{3}{5} and tan⁡x2=−43\displaystyle \tan \tfrac{x}{2} = -\tfrac{4}{3}.

Sum-to-prod­uct and prod­uct-to-sum

sin⁡x+sin⁡y=2sin⁡x+y2cos⁡x−y2,sin⁡x−sin⁡y=2cos⁡x+y2sin⁡x−y2\displaystyle \sin x + \sin y = 2\sin\tfrac{x + y}{2}\cos\tfrac{x - y}{2}, \qquad \sin x - \sin y = 2\cos\tfrac{x + y}{2}\sin\tfrac{x - y}{2}
cos⁡x+cos⁡y=2cos⁡x+y2cos⁡x−y2,cos⁡x−cos⁡y=−2sin⁡x+y2sin⁡x−y2\displaystyle \cos x + \cos y = 2\cos\tfrac{x + y}{2}\cos\tfrac{x - y}{2}, \qquad \cos x - \cos y = -2\sin\tfrac{x + y}{2}\sin\tfrac{x - y}{2}

Going the other way, prod­ucts turn back into sums: 2sin⁡xcos⁡y=sin⁡(x+y)+sin⁡(x−y)2\sin x \cos y = \sin(x + y) + \sin(x - y), 2cos⁡xcos⁡y=cos⁡(x+y)+cos⁡(x−y)2\cos x \cos y = \cos(x + y) + \cos(x - y) and 2sin⁡xsin⁡y=cos⁡(x−y)−cos⁡(x+y)2\sin x \sin y = \cos(x - y) - \cos(x + y). When­ever a ques­tion mixes sums of sines or cosines with a frac­tion, try these first.

Exam­ple 6. sin⁡7x+sin⁡3xcos⁡7x+cos⁡3x=2sin⁡5xcos⁡2x2cos⁡5xcos⁡2x=tan⁡5x\displaystyle \frac{\sin 7x + \sin 3x}{\cos 7x + \cos 3x} = \frac{2\sin 5x \cos 2x}{2\cos 5x \cos 2x} = \tan 5x.

Exam­ple 7. Here is a lovely trick for cos⁡20∘cos⁡40∘cos⁡80∘\cos 20^\circ \cos 40^\circ \cos 80^\circ. Mul­ti­ply and divide by 8sin⁡20∘8\sin 20^\circ, then apply 2sin⁡θcos⁡θ=sin⁡2θ2\sin\theta\cos\theta = \sin 2\theta three times over. The prod­uct col­lapses to sin⁡160∘8sin⁡20∘=18\displaystyle \frac{\sin 160^\circ}{8\sin 20^\circ} = \tfrac{1}{8}.

Prac­tice ques­tions

  1. Find exactly: sin⁡15∘\sin 15^\circ; cos⁡105∘\cos 105^\circ; tan⁡75∘\tan 75^\circ.
  2. Prove: cos⁡(π4+x)+cos⁡(π4−x)=2cos⁡x\displaystyle \cos\left(\tfrac{\pi}{4} + x\right) + \cos\left(\tfrac{\pi}{4} - x\right) = \sqrt{2}\cos x.
  3. Prove: tan⁡(π4+x)tan⁡(π4−x)=(1+tan⁡x1−tan⁡x)2\displaystyle \frac{\tan(\tfrac{\pi}{4} + x)}{\tan(\tfrac{\pi}{4} - x)} = \left(\frac{1 + \tan x}{1 - \tan x}\right)^2.
  4. tan⁡A=12\displaystyle \tan A = \tfrac{1}{2}, tan⁡B=13\displaystyle \tan B = \tfrac{1}{3}. Show A+B=π4\displaystyle A + B = \tfrac{\pi}{4} (both acute).
  5. sin⁡x=1213\displaystyle \sin x = \tfrac{12}{13}, xx in II. Find sin⁡2x\sin 2x, cos⁡2x\cos 2x, tan⁡2x\tan 2x.
  6. tan⁡x=34\displaystyle \tan x = \tfrac{3}{4}, π<x<3π2\displaystyle \pi < x < \tfrac{3\pi}{2}. Find sin⁡x2\displaystyle \sin \tfrac{x}{2}, cos⁡x2\displaystyle \cos \tfrac{x}{2}.
  7. Prove: sin⁡5x−sin⁡3xcos⁡5x+cos⁡3x=tan⁡x\displaystyle \frac{\sin 5x - \sin 3x}{\cos 5x + \cos 3x} = \tan x.
  8. Prove: cos⁡4x=1−8sin⁡2xcos⁡2x\cos 4x = 1 - 8\sin^2 x \cos^2 x.
  9. Prove: sin⁡3x+sin⁡2x−sin⁡x=4sin⁡xcos⁡x2cos⁡3x2\displaystyle \sin 3x + \sin 2x - \sin x = 4\sin x \cos\tfrac{x}{2}\cos\tfrac{3x}{2}.
  10. Find sin⁡18∘\sin 18^\circ using sin⁡2θ=cos⁡3θ\sin 2\theta = \cos 3\theta for θ=18∘\theta = 18^\circ.

Answers

Show answers
  1. 3−122\displaystyle \tfrac{\sqrt{3} - 1}{2\sqrt{2}}; 1−322\displaystyle \tfrac{1 - \sqrt{3}}{2\sqrt{2}}; 2+32 + \sqrt{3}.
  2. The sin⁡\sin terms can­cel: 2cos⁡π4cos⁡x\displaystyle 2\cos\tfrac{\pi}{4}\cos x.
  3. tan⁡(π4±x)=1±tan⁡x1∓tan⁡x\displaystyle \tan(\tfrac{\pi}{4} \pm x) = \tfrac{1 \pm \tan x}{1 \mp \tan x}; divide.
  4. tan⁡(A+B)=1/2+1/31−1/6=1\displaystyle \tan(A + B) = \tfrac{1/2 + 1/3}{1 - 1/6} = 1.
  5. cos⁡x=−513\displaystyle \cos x = -\tfrac{5}{13}: sin⁡2x=−120169\displaystyle \sin 2x = -\tfrac{120}{169}; cos⁡2x=−119169\displaystyle \cos 2x = -\tfrac{119}{169}; tan⁡2x=120119\displaystyle \tan 2x = \tfrac{120}{119}.
  6. cos⁡x=−45\displaystyle \cos x = -\tfrac{4}{5}; x2\displaystyle \tfrac{x}{2} in II: sin⁡x2=310\displaystyle \sin \tfrac{x}{2} = \tfrac{3}{\sqrt{10}}, cos⁡x2=−110\displaystyle \cos \tfrac{x}{2} = -\tfrac{1}{\sqrt{10}}.
  7. 2cos⁡4xsin⁡x2cos⁡4xcos⁡x\displaystyle \frac{2\cos 4x \sin x}{2\cos 4x \cos x}.
  8. cos⁡4x=1−2sin⁡22x=1−8sin⁡2xcos⁡2x\cos 4x = 1 - 2\sin^2 2x = 1 - 8\sin^2 x\cos^2 x.
  9. sin⁡3x−sin⁡x=2cos⁡2xsin⁡x\sin 3x - \sin x = 2\cos 2x \sin x; add sin⁡2x=2sin⁡xcos⁡x\sin 2x = 2\sin x \cos x: 2sin⁡x(cos⁡2x+cos⁡x)=4sin⁡xcos⁡3x2cos⁡x2\displaystyle 2\sin x(\cos 2x + \cos x) = 4\sin x \cos\tfrac{3x}{2}\cos\tfrac{x}{2}.
  10. 2sin⁡θcos⁡θ=4cos⁡3θ−3cos⁡θ2\sin\theta\cos\theta = 4\cos^3\theta - 3\cos\theta; divide by cos⁡θ\cos\theta: 2s=1−4s22s = 1 - 4s^2, s=5−14\displaystyle s = \tfrac{\sqrt{5} - 1}{4}.