This les­son col­lects a set of results that turn up again and again in prob­lems. Com­ple­men­tary angles (adding to 90°90°) and sup­ple­men­tary angles (adding to 180°180°) give quick sim­pli­fi­ca­tions and neat sums. Iden­ti­ties for sin⁡4θ+cos⁡4θ\sin^4\theta + \cos^4\theta and sin⁡6θ+cos⁡6θ\sin^6\theta + \cos^6\theta reduce higher pow­ers. The inequal­ity between the arith­metic and geo­met­ric means gives the least val­ues of expres­sions such as tan⁡2x+cot⁡2x\tan^2 x + \cot^2 x. Two small alge­bra tools, the square root of a square and the rules of pro­por­tion, com­plete the set.

Com­ple­men­tary angles

Result. If AA and BB are com­ple­men­tary, that is, A+B=90°A + B = 90°, then

sin⁡A=cos⁡B,cos⁡A=sin⁡B,tan⁡A=cot⁡B,cot⁡A=tan⁡B,sec⁡A=csc⁡B,csc⁡A=sec⁡B\sin A = \cos B, \quad \cos A = \sin B, \quad \tan A = \cot B, \quad \cot A = \tan B, \quad \sec A = \csc B, \quad \csc A = \sec B

and also

sin⁡2A+sin⁡2B=1,cos⁡2A+cos⁡2B=1,tan⁡Atan⁡B=1,cot⁡Acot⁡B=1\sin^2 A + \sin^2 B = 1, \quad \cos^2 A + \cos^2 B = 1, \quad \tan A \tan B = 1, \quad \cot A \cot B = 1

Proof. B=90°−AB = 90° - A, so sin⁡A=sin⁡(90°−B)=cos⁡B\sin A = \sin(90° - B) = \cos B, and the oth­ers are sim­i­lar. Then

sin⁡2A+sin⁡2B=cos⁡2B+sin⁡2B=1\sin^2 A + \sin^2 B = \cos^2 B + \sin^2 B = 1

and tan⁡Atan⁡B=cot⁡Btan⁡B=1\tan A \tan B = \cot B \tan B = 1.

For exam­ple: sin⁡81°=cos⁡9°\sin 81° = \cos 9°, cos⁡70°=sin⁡20°\cos 70° = \sin 20°, sin⁡85°=cos⁡5°\sin 85° = \cos 5°, cos⁡89°=sin⁡1°\cos 89° = \sin 1°, tan⁡80°=cot⁡10°\tan 80° = \cot 10°, cot⁡80°=tan⁡10°\cot 80° = \tan 10°.

Exam­ple 1

Find sin⁡25°+sin⁡210°+sin⁡215°+⋯+sin⁡285°\sin^2 5° + \sin^2 10° + \sin^2 15° + \cdots + \sin^2 85°.

The angles go up in steps of 5°5° from 5°5° to 85°85°, which is 1717 terms. Pair them from the two ends, each pair adding to 90°90°:

(5°,85°), (10°,80°), (15°,75°), (20°,70°), (25°,65°), (30°,60°), (35°,55°), (40°,50°)(5°, 85°), \ (10°, 80°), \ (15°, 75°), \ (20°, 70°), \ (25°, 65°), \ (30°, 60°), \ (35°, 55°), \ (40°, 50°)

That is 88 pairs, with 45°45° left in the mid­dle. Each pair gives sin⁡2A+sin⁡2B=1\sin^2 A + \sin^2 B = 1. So the sum is

8(1)+sin⁡245°=8+(12)2=8+12=172\displaystyle 8(1) + \sin^2 45° = 8 + \left(\frac{1}{\sqrt{2}}\right)^2 = 8 + \frac{1}{2} = \frac{17}{2}

Sup­ple­men­tary angles

Result. If AA and BB are sup­ple­men­tary, that is, A+B=180°A + B = 180°, then

cos⁡A+cos⁡B=0andtan⁡A+tan⁡B=0\cos A + \cos B = 0 \qquad \text{and} \qquad \tan A + \tan B = 0

Proof. B=180°−AB = 180° - A, so cos⁡A+cos⁡B=cos⁡A+cos⁡(180°−A)=cos⁡A−cos⁡A=0\cos A + \cos B = \cos A + \cos(180° - A) = \cos A - \cos A = 0. In the same way tan⁡A+tan⁡(180°−A)=tan⁡A−tan⁡A=0\tan A + \tan(180° - A) = \tan A - \tan A = 0.

(For sines the oppo­site hap­pens: sin⁡A=sin⁡B\sin A = \sin B.)

Note. In a cyclic quadri­lat­eral ABCDABCD (one whose four ver­tices lie on a cir­cle), oppo­site angles are sup­ple­men­tary: A+C=180°A + C = 180° and B+D=180°B + D = 180°.

Exam­ple 2

If ABCDABCD is a cyclic quadri­lat­eral, find cos⁡A+cos⁡B+cos⁡C+cos⁡D\cos A + \cos B + \cos C + \cos D.

cos⁡A+cos⁡B+cos⁡(180°−A)+cos⁡(180°−B)=cos⁡A+cos⁡B−cos⁡A−cos⁡B=0\cos A + \cos B + \cos(180° - A) + \cos(180° - B) = \cos A + \cos B - \cos A - \cos B = 0

Iden­ti­ties for higher pow­ers

Results.

  1. sin⁡2θ+cos⁡4θ=cos⁡2θ+sin⁡4θ=1−sin⁡2θcos⁡2θ\sin^2\theta + \cos^4\theta = \cos^2\theta + \sin^4\theta = 1 - \sin^2\theta\cos^2\theta
  2. sin⁡4θ+cos⁡4θ=1−2sin⁡2θcos⁡2θ\sin^4\theta + \cos^4\theta = 1 - 2\sin^2\theta\cos^2\theta
  3. sin⁡6θ+cos⁡6θ=1−3sin⁡2θcos⁡2θ\sin^6\theta + \cos^6\theta = 1 - 3\sin^2\theta\cos^2\theta

Proof of 1.

sin⁡2θ+cos⁡4θ=sin⁡2θ+cos⁡2θ⋅cos⁡2θ=sin⁡2θ+cos⁡2θ(1−sin⁡2θ)=sin⁡2θ+cos⁡2θ−sin⁡2θcos⁡2θ=1−sin⁡2θcos⁡2θ\begin{aligned} \sin^2\theta + \cos^4\theta &= \sin^2\theta + \cos^2\theta \cdot \cos^2\theta \\ &= \sin^2\theta + \cos^2\theta(1 - \sin^2\theta) \\ &= \sin^2\theta + \cos^2\theta - \sin^2\theta\cos^2\theta \\ &= 1 - \sin^2\theta\cos^2\theta \end{aligned}

Proof of 2. Use a2+b2=(a+b)2−2aba^2 + b^2 = (a + b)^2 - 2ab with a=sin⁡2θa = \sin^2\theta, b=cos⁡2θb = \cos^2\theta:

sin⁡4θ+cos⁡4θ=(sin⁡2θ+cos⁡2θ)2−2sin⁡2θcos⁡2θ=1−2sin⁡2θcos⁡2θ\sin^4\theta + \cos^4\theta = (\sin^2\theta + \cos^2\theta)^2 - 2\sin^2\theta\cos^2\theta = 1 - 2\sin^2\theta\cos^2\theta

Proof of 3. Use a3+b3=(a+b)3−3ab(a+b)a^3 + b^3 = (a + b)^3 - 3ab(a + b) with the same aa and bb. Since a+b=1a + b = 1, this gives 1−3sin⁡2θcos⁡2θ1 - 3\sin^2\theta\cos^2\theta.

Exam­ple 3

Check result 2 at θ=30°\theta = 30°.

Directly: sin⁡430°+cos⁡430°=116+916=1016=58\displaystyle \sin^4 30° + \cos^4 30° = \frac{1}{16} + \frac{9}{16} = \frac{10}{16} = \frac{5}{8}.

By the for­mula: 1−2⋅14⋅34=1−38=58\displaystyle 1 - 2 \cdot \frac{1}{4} \cdot \frac{3}{4} = 1 - \frac{3}{8} = \frac{5}{8}.

Least val­ues from A.M. and G.M.

Note. For pos­i­tive num­bers, the arith­metic mean is at least the geo­met­ric mean, which is at least the har­monic mean: A.M.≥G.M.≥H.M.\text{A.M.} \geq \text{G.M.} \geq \text{H.M.} For two pos­i­tive num­bers aa and bb, a+b2≥ab\displaystyle \frac{a + b}{2} \geq \sqrt{ab}, with equal­ity only when a=ba = b.

Result. If x>0x > 0 then x+1x≥2\displaystyle x + \frac{1}{x} \geq 2. If x<0x < 0 then x+1x≤−2\displaystyle x + \frac{1}{x} \leq -2.

Proof. For x>0x > 0, take the pos­i­tive num­bers xx and 1x\displaystyle \frac{1}{x}. A.M. ≥\geq G.M. gives

x+1x2≥x⋅1x=1  ⟹  x+1x≥2\displaystyle \frac{x + \frac{1}{x}}{2} \geq \sqrt{x \cdot \frac{1}{x}} = 1 \implies x + \frac{1}{x} \geq 2

For x<0x < 0, the num­bers −x-x and −1x\displaystyle -\frac{1}{x} are pos­i­tive, so

−x−1x2≥(−x)(−1x)=1  ⟹  −x−1x≥2  ⟹  x+1x≤−2\displaystyle \frac{-x - \frac{1}{x}}{2} \geq \sqrt{(-x)\left(-\frac{1}{x}\right)} = 1 \implies -x - \frac{1}{x} \geq 2 \implies x + \frac{1}{x} \leq -2

Result. For every xx where both terms are defined,

sin⁡2x+csc⁡2x≥2,cos⁡2x+sec⁡2x≥2,tan⁡2x+cot⁡2x≥2\sin^2 x + \csc^2 x \geq 2, \qquad \cos^2 x + \sec^2 x \geq 2, \qquad \tan^2 x + \cot^2 x \geq 2

Proof. sin⁡2x\sin^2 x and csc⁡2x\csc^2 x are pos­i­tive, and sin⁡2x⋅csc⁡2x=1\sin^2 x \cdot \csc^2 x = 1. So

sin⁡2x+csc⁡2x2≥sin⁡2x⋅csc⁡2x=1  ⟹  sin⁡2x+csc⁡2x≥2\displaystyle \frac{\sin^2 x + \csc^2 x}{2} \geq \sqrt{\sin^2 x \cdot \csc^2 x} = 1 \implies \sin^2 x + \csc^2 x \geq 2

The other two are proved the same way. So the least value of tan⁡2x+cot⁡2x\tan^2 x + \cot^2 x is 22 (reached when tan⁡2x=1\tan^2 x = 1, for exam­ple at x=45°x = 45°).

The square root of a square

Note. For any real xx, x2=∣x∣\sqrt{x^2} = |x|: it equals xx if x≥0x \geq 0 and −x-x if x<0x < 0.

Exam­ple 4

Sim­plify 1−sin⁡2100°\sqrt{1 - \sin^2 100°}.

1−sin⁡2100°=cos⁡2100°=∣cos⁡100°∣=−cos⁡100°\sqrt{1 - \sin^2 100°} = \sqrt{\cos^2 100°} = |\cos 100°| = -\cos 100°

because 100°100° is in the sec­ond quad­rant, so cos⁡100°<0\cos 100° < 0. Writ­ing cos⁡100°\cos 100° as the answer would give a neg­a­tive num­ber for a square root, which is wrong.

Ratio and pro­por­tion

Two rules about equal ratios will be used later.

  1. If ab=cd\displaystyle \frac{a}{b} = \frac{c}{d}, then ab=cd=al+cmbl+dm\displaystyle \frac{a}{b} = \frac{c}{d} = \frac{al + cm}{bl + dm} for any ll, mm (with bl+dm≠0bl + dm \neq 0).
  2. Com­po­nendo and div­i­dendo. If ab=cd\displaystyle \frac{a}{b} = \frac{c}{d}, then a+ba−b=c+dc−d\displaystyle \frac{a + b}{a - b} = \frac{c + d}{c - d}, or equally a−ba+b=c−dc+d\displaystyle \frac{a - b}{a + b} = \frac{c - d}{c + d}.

For exam­ple, if xy=53\displaystyle \frac{x}{y} = \frac{5}{3} then x+yx−y=5+35−3=4\displaystyle \frac{x + y}{x - y} = \frac{5 + 3}{5 - 3} = 4.

Prac­tice

  1. Write sin⁡72°\sin 72° as a cosine.
  2. Find tan⁡65°tan⁡25°\tan 65° \tan 25°.
  3. Find cos⁡220°+cos⁡270°\cos^2 20° + \cos^2 70°.
  4. Find sin⁡210°+sin⁡220°+⋯+sin⁡280°\sin^2 10° + \sin^2 20° + \cdots + \sin^2 80°.
  5. Find cos⁡21°+cos⁡22°+⋯+cos⁡289°\cos^2 1° + \cos^2 2° + \cdots + \cos^2 89°.
  6. Show that cos⁡40°+cos⁡140°=0\cos 40° + \cos 140° = 0.
  7. ABCDABCD is a cyclic quadri­lat­eral. Find tan⁡A+tan⁡C\tan A + \tan C.
  8. Find sin⁡4θ+cos⁡4θ\sin^4\theta + \cos^4\theta at θ=30°\theta = 30° using the for­mula.
  9. Find sin⁡645°+cos⁡645°\sin^6 45° + \cos^6 45° in two ways.
  10. Find the least value of sec⁡2x+cos⁡2x\sec^2 x + \cos^2 x.
  11. Sim­plify 1−cos⁡2200°\sqrt{1 - \cos^2 200°}.
  12. If ab=72\displaystyle \frac{a}{b} = \frac{7}{2}, find a+ba−b\displaystyle \frac{a + b}{a - b}.

Answers

Show answers
  1. cos⁡18°\cos 18°.
  2. 65°+25°=90°65° + 25° = 90°, so the prod­uct is 11.
  3. 11, since 20°+70°=90°20° + 70° = 90°.
  4. Four pairs adding to 90°90°: (10°,80°)(10°, 80°), (20°,70°)(20°, 70°), (30°,60°)(30°, 60°), (40°,50°)(40°, 50°). The sum is 44.
  5. 4444 pairs, (1°,89°)(1°, 89°) up to (44°,46°)(44°, 46°), each giv­ing 11, plus cos⁡245°=12\displaystyle \cos^2 45° = \frac{1}{2}. The sum is 892\displaystyle \frac{89}{2}.
  6. 140°=180°−40°140° = 180° - 40°, so cos⁡140°=−cos⁡40°\cos 140° = -\cos 40° and the sum is 00.
  7. A+C=180°A + C = 180°, so tan⁡A+tan⁡C=0\tan A + \tan C = 0.
  8. 1−2⋅14⋅34=58\displaystyle 1 - 2 \cdot \frac{1}{4} \cdot \frac{3}{4} = \frac{5}{8}.
  9. Directly, 18+18=14\displaystyle \frac{1}{8} + \frac{1}{8} = \frac{1}{4}. By the for­mula, 1−3⋅12⋅12=14\displaystyle 1 - 3 \cdot \frac{1}{2} \cdot \frac{1}{2} = \frac{1}{4}.
  10. 22, by A.M. ≥\geq G.M., reached when cos⁡2x=1\cos^2 x = 1.
  11. sin⁡2200°=∣sin⁡200°∣=−sin⁡200°\sqrt{\sin^2 200°} = |\sin 200°| = -\sin 200°, since sin⁡200°<0\sin 200° < 0 in the third quad­rant.
  12. 7+27−2=95\displaystyle \frac{7 + 2}{7 - 2} = \frac{9}{5}.