Many exam­i­na­tion prob­lems in trigonom­e­try look long but rest on one short idea. This les­son col­lects sev­eral such ideas: least val­ues from the AM-GM inequal­ity, the care­ful han­dling of square roots, and sums that col­lapse because of com­ple­men­tary, sup­ple­men­tary or related angles. In each case, spot­ting the idea turns a page of cal­cu­la­tion into a few lines.

Con­cept 1: least val­ues from AM ≥ GM

For pos­i­tive real num­bers, the arith­metic mean is at least the geo­met­ric mean (and the geo­met­ric mean is at least the har­monic mean): AM≥GM≥HM\text{AM} \ge \text{GM} \ge \text{HM}. For two pos­i­tive num­bers aa and bb,

a+b2≥ab  ⟹  a+b≥2ab\displaystyle \frac{a + b}{2} \ge \sqrt{ab} \implies a + b \ge 2\sqrt{ab}

with equal­ity when a=ba = b. Tak­ing b=1a\displaystyle b = \frac{1}{a}:

x+1x≥2 for x>0,x+1x≤−2 for x<0\displaystyle x + \frac{1}{x} \ge 2 \text{ for } x > 0, \qquad x + \frac{1}{x} \le -2 \text{ for } x < 0

Exam­ple 1

Show that sin⁡2x+csc⁡2x≥2\sin^2 x + \csc^2 x \ge 2, and find the least value of 3tan⁡2x+27cot⁡2x3\tan^2 x + 27\cot^2 x.

sin⁡2x\sin^2 x is pos­i­tive (where csc⁡x\csc x is defined) and csc⁡2x=1sin⁡2x\displaystyle \csc^2 x = \frac{1}{\sin^2 x}, so by the result above sin⁡2x+csc⁡2x≥2\sin^2 x + \csc^2 x \ge 2. In the same way cos⁡2x+sec⁡2x≥2\cos^2 x + \sec^2 x \ge 2.

For the sec­ond, both terms are pos­i­tive and their prod­uct is 3tan⁡2x×27cot⁡2x=813\tan^2 x \times 27\cot^2 x = 81, so

3tan⁡2x+27cot⁡2x≥281=183\tan^2 x + 27\cot^2 x \ge 2\sqrt{81} = 18

The least value 1818 occurs when the two terms are equal, 3tan⁡2x=27cot⁡2x3\tan^2 x = 27\cot^2 x, that is, tan⁡4x=9\tan^4 x = 9.

Con­cept 2: the square root of a square

For any real num­ber xx,

x2=∣x∣={x,x≥0−x,x<0\sqrt{x^2} = |x| = \begin{cases} x, & x \ge 0 \\ -x, & x < 0 \end{cases}

A square root is never neg­a­tive, so when we sim­plify cos⁡2θ\sqrt{\cos^2\theta} we must check the sign of cos⁡θ\cos\theta.

Exam­ple 2

Find 1−sin⁡2100∘⋅sec⁡100∘\sqrt{1 - \sin^2 100^\circ} \cdot \sec 100^\circ.

1−sin⁡2100∘=cos⁡2100∘=∣cos⁡100∘∣\sqrt{1 - \sin^2 100^\circ} = \sqrt{\cos^2 100^\circ} = |\cos 100^\circ|. Since 100∘100^\circ is in the sec­ond quad­rant, cos⁡100∘<0\cos 100^\circ < 0, so ∣cos⁡100∘∣=−cos⁡100∘|\cos 100^\circ| = -\cos 100^\circ.

−cos⁡100∘×1cos⁡100∘=−1\displaystyle -\cos 100^\circ \times \frac{1}{\cos 100^\circ} = -1

Exam­ple 3

If π<α<2π\pi < \alpha < 2\pi, sim­plify 1sin⁡α−cot⁡2α−cos⁡2α\displaystyle \frac{1}{\sin\alpha - \sqrt{\cot^2\alpha - \cos^2\alpha}}.

cot⁡2α−cos⁡2α=cos⁡2αsin⁡2α−cos⁡2α=cos⁡2α(1−sin⁡2α)sin⁡2α=cos⁡4αsin⁡2α\displaystyle \cot^2\alpha - \cos^2\alpha = \frac{\cos^2\alpha}{\sin^2\alpha} - \cos^2\alpha = \frac{\cos^2\alpha(1 - \sin^2\alpha)}{\sin^2\alpha} = \frac{\cos^4\alpha}{\sin^2\alpha}

So cot⁡2α−cos⁡2α=cos⁡2α∣sin⁡α∣\displaystyle \sqrt{\cot^2\alpha - \cos^2\alpha} = \frac{\cos^2\alpha}{|\sin\alpha|}. For π<α<2π\pi < \alpha < 2\pi, sin⁡α<0\sin\alpha < 0, so ∣sin⁡α∣=−sin⁡α|\sin\alpha| = -\sin\alpha, and the denom­i­na­tor becomes

sin⁡α+cos⁡2αsin⁡α=sin⁡2α+cos⁡2αsin⁡α=1sin⁡α\displaystyle \sin\alpha + \frac{\cos^2\alpha}{\sin\alpha} = \frac{\sin^2\alpha + \cos^2\alpha}{\sin\alpha} = \frac{1}{\sin\alpha}

The expres­sion equals sin⁡α\sin\alpha.

Exam­ple 4

If 1+sin⁡A1−sin⁡A=sec⁡A+tan⁡A\displaystyle \sqrt{\frac{1 + \sin A}{1 - \sin A}} = \sec A + \tan A, in which quad­rants can AA lie?

Mul­ti­ply top and bot­tom inside the root by 1+sin⁡A1 + \sin A:

(1+sin⁡A)21−sin⁡2A=1+sin⁡A∣cos⁡A∣\displaystyle \sqrt{\frac{(1 + \sin A)^2}{1 - \sin^2 A}} = \frac{1 + \sin A}{|\cos A|}

(The numer­a­tor 1+sin⁡A1 + \sin A is never neg­a­tive.) This equals 1+sin⁡Acos⁡A=sec⁡A+tan⁡A\displaystyle \frac{1 + \sin A}{\cos A} = \sec A + \tan A only when ∣cos⁡A∣=cos⁡A|\cos A| = \cos A, that is, cos⁡A>0\cos A > 0. So AA lies in the first or fourth quad­rant.

Con­cept 3: com­ple­men­tary angles

If A+B=90∘A + B = 90^\circ, then sin⁡B=cos⁡A\sin B = \cos A, so sin⁡2A+sin⁡2B=sin⁡2A+cos⁡2A=1\sin^2 A + \sin^2 B = \sin^2 A + \cos^2 A = 1. Like­wise tan⁡Atan⁡B=tan⁡Acot⁡A=1\tan A \tan B = \tan A \cot A = 1. This makes long sums col­lapse in pairs.

Exam­ple 5

Find sin⁡25∘+sin⁡210∘+sin⁡215∘+⋯+sin⁡290∘\sin^2 5^\circ + \sin^2 10^\circ + \sin^2 15^\circ + \dots + \sin^2 90^\circ.

There are 1818 terms. Pair them: (5∘,85∘)(5^\circ, 85^\circ), (10∘,80∘)(10^\circ, 80^\circ), ..., (40∘,50∘)(40^\circ, 50^\circ) make 88 pairs, each adding to 11. Left over are sin⁡245∘=12\displaystyle \sin^2 45^\circ = \frac{1}{2} and sin⁡290∘=1\sin^2 90^\circ = 1.

Sum=8+12+1=912\displaystyle \text{Sum} = 8 + \frac{1}{2} + 1 = 9\frac{1}{2}

In the same way cos⁡25∘+cos⁡210∘+⋯+cos⁡290∘=8+12+0=812\displaystyle \cos^2 5^\circ + \cos^2 10^\circ + \dots + \cos^2 90^\circ = 8 + \frac{1}{2} + 0 = 8\frac{1}{2}.

Extend­ing to 180∘180^\circ, the angles from 95∘95^\circ to 175∘175^\circ repeat the val­ues from 85∘85^\circ down to 5∘5^\circ, so sin⁡25∘+⋯+sin⁡2180∘=812+1+812+0=18\displaystyle \sin^2 5^\circ + \dots + \sin^2 180^\circ = 8\frac{1}{2} + 1 + 8\frac{1}{2} + 0 = 18, and sim­i­larly the cosine sum to 180∘180^\circ is 1818. Up to 360∘360^\circ each sum is 3636. (A quick check: the sine and cosine sums over the same angles must add to the num­ber of terms, since each pair sin⁡2θ+cos⁡2θ\sin^2\theta + \cos^2\theta is 11.)

If A+B=180∘A + B = 180^\circ, then sin⁡A=sin⁡B\sin A = \sin B, cos⁡A=−cos⁡B\cos A = -\cos B and tan⁡A=−tan⁡B\tan A = -\tan B. So cos⁡A+cos⁡B=0\cos A + \cos B = 0 and tan⁡A+tan⁡B=0\tan A + \tan B = 0.

In any quadri­lat­eral the angles add to 360∘360^\circ; in a cyclic quadri­lat­eral oppo­site angles are sup­ple­men­tary, A+C=180∘A + C = 180^\circ and B+D=180∘B + D = 180^\circ. Hence cos⁡A+cos⁡B+cos⁡C+cos⁡D=0\cos A + \cos B + \cos C + \cos D = 0 for a cyclic quadri­lat­eral.

If A−B=180∘A - B = 180^\circ, then A=180∘+BA = 180^\circ + B, so sin⁡A+sin⁡B=0\sin A + \sin B = 0, cos⁡A+cos⁡B=0\cos A + \cos B = 0 and tan⁡A−tan⁡B=0\tan A - \tan B = 0.

If A+B=360∘A + B = 360^\circ, then sin⁡A=−sin⁡B\sin A = -\sin B, cos⁡A=cos⁡B\cos A = \cos B and tan⁡A=−tan⁡B\tan A = -\tan B, so sin⁡A+sin⁡B=0\sin A + \sin B = 0, cos⁡A−cos⁡B=0\cos A - \cos B = 0 and tan⁡A+tan⁡B=0\tan A + \tan B = 0.

Exam­ple 6

Find cos⁡π7+cos⁡2π7+cos⁡3π7+cos⁡4π7+cos⁡5π7+cos⁡6π7\displaystyle \cos\frac{\pi}{7} + \cos\frac{2\pi}{7} + \cos\frac{3\pi}{7} + \cos\frac{4\pi}{7} + \cos\frac{5\pi}{7} + \cos\frac{6\pi}{7}.

The angles pair up to π\pi: π7+6π7=π\displaystyle \frac{\pi}{7} + \frac{6\pi}{7} = \pi, 2π7+5π7=π\displaystyle \frac{2\pi}{7} + \frac{5\pi}{7} = \pi, 3π7+4π7=π\displaystyle \frac{3\pi}{7} + \frac{4\pi}{7} = \pi. Each pair of cosines adds to 00, so the sum is 00.

Exam­ple 7

Find sin⁡24∘+sin⁡32∘+sin⁡204∘+sin⁡212∘\sin 24^\circ + \sin 32^\circ + \sin 204^\circ + \sin 212^\circ.

sin⁡204∘=sin⁡(180∘+24∘)=−sin⁡24∘,sin⁡212∘=sin⁡(180∘+32∘)=−sin⁡32∘\sin 204^\circ = \sin(180^\circ + 24^\circ) = -\sin 24^\circ, \qquad \sin 212^\circ = \sin(180^\circ + 32^\circ) = -\sin 32^\circ

So the sum is sin⁡24∘+sin⁡32∘−sin⁡24∘−sin⁡32∘=0\sin 24^\circ + \sin 32^\circ - \sin 24^\circ - \sin 32^\circ = 0.

Prac­tice

  1. Find the least value of 4tan⁡2x+9cot⁡2x4\tan^2 x + 9\cot^2 x.
  2. Find the least value of cos⁡2x+sec⁡2x\cos^2 x + \sec^2 x.
  3. Find 1−cos⁡2200∘⋅csc⁡200∘\sqrt{1 - \cos^2 200^\circ} \cdot \csc 200^\circ.
  4. If 1−sin⁡A1+sin⁡A=sec⁡A−tan⁡A\displaystyle \sqrt{\frac{1 - \sin A}{1 + \sin A}} = \sec A - \tan A, in which quad­rants can AA lie?
  5. Find sin⁡210∘+sin⁡220∘+⋯+sin⁡290∘\sin^2 10^\circ + \sin^2 20^\circ + \dots + \sin^2 90^\circ.
  6. Find cos⁡21∘+cos⁡22∘+⋯+cos⁡289∘\cos^2 1^\circ + \cos^2 2^\circ + \dots + \cos^2 89^\circ.
  7. Find tan⁡1∘tan⁡2∘tan⁡3∘⋯tan⁡89∘\tan 1^\circ \tan 2^\circ \tan 3^\circ \cdots \tan 89^\circ.
  8. Find cos⁡20∘+cos⁡40∘+cos⁡60∘+⋯+cos⁡160∘\cos 20^\circ + \cos 40^\circ + \cos 60^\circ + \dots + \cos 160^\circ.
  9. Find sin⁡10∘+sin⁡20∘+sin⁡190∘+sin⁡200∘\sin 10^\circ + \sin 20^\circ + \sin 190^\circ + \sin 200^\circ.

Answers

Show answers
  1. 4tan⁡2x×9cot⁡2x=364\tan^2 x \times 9\cot^2 x = 36, so the least value is 236=122\sqrt{36} = 12.
  2. 22
  3. ∣sin⁡200∘∣⋅1sin⁡200∘\displaystyle |\sin 200^\circ| \cdot \frac{1}{\sin 200^\circ}, and sin⁡200∘<0\sin 200^\circ < 0 (quad­rant III), so the value is −1-1.
  4. (1−sin⁡A)2cos⁡2A=1−sin⁡A∣cos⁡A∣\displaystyle \sqrt{\frac{(1 - \sin A)^2}{\cos^2 A}} = \frac{1 - \sin A}{|\cos A|}, which equals sec⁡A−tan⁡A\sec A - \tan A when cos⁡A>0\cos A > 0: quad­rants I and IV.
  5. Pairs (10∘,80∘)(10^\circ, 80^\circ), (20∘,70∘)(20^\circ, 70^\circ), (30∘,60∘)(30^\circ, 60^\circ), (40∘,50∘)(40^\circ, 50^\circ) give 44, plus sin⁡290∘=1\sin^2 90^\circ = 1: total 55.
  6. 4444 pairs give 4444, plus cos⁡245∘=12\displaystyle \cos^2 45^\circ = \frac{1}{2}: total 4412\displaystyle 44\frac{1}{2}.
  7. Each pair tan⁡θtan⁡(90∘−θ)=1\tan\theta \tan(90^\circ - \theta) = 1, and tan⁡45∘=1\tan 45^\circ = 1: the prod­uct is 11.
  8. The eight angles pair to 180∘180^\circ (20∘20^\circ with 160∘160^\circ, and so on), so the sum is 00.
  9. sin⁡190∘=−sin⁡10∘\sin 190^\circ = -\sin 10^\circ and sin⁡200∘=−sin⁡20∘\sin 200^\circ = -\sin 20^\circ, so the sum is 00.