Math Core

Module 1.7 · Algebra

Trigonometry in algebra

Many AIME "trig problems" have no triangle in sight. They are algebra problems where the variables happen to be sin⁡\sin, cos⁡\cos or tan⁡\tan of some angles. The winning moves are to use identities to telescope or collapse products, to rewrite trig equations as polynomial equations (then apply Vieta), and to treat sin⁡x\sin x and cos⁡x\cos x as two variables tied by sin⁡2x+cos⁡2x=1\sin^2 x + \cos^2 x = 1.

Identities to have ready

TypeIdentity
Double anglesin⁡2x=2sin⁡xcos⁡x\sin 2x = 2\sin x\cos x, cos⁡2x=2cos⁡2x−1=1−2sin⁡2x\cos 2x = 2\cos^2 x - 1 = 1 - 2\sin^2 x
Triple anglecos⁡3x=4cos⁡3x−3cos⁡x\cos 3x = 4\cos^3 x - 3\cos x, sin⁡3x=3sin⁡x−4sin⁡3x\sin 3x = 3\sin x - 4\sin^3 x, tan⁡3x=3tan⁡x−tan⁡3x1−3tan⁡2x\tan 3x = \dfrac{3\tan x - \tan^3 x}{1 - 3\tan^2 x}
Additiontan⁡(A+B)=tan⁡A+tan⁡B1−tan⁡Atan⁡B\tan(A + B) = \dfrac{\tan A + \tan B}{1 - \tan A\tan B}
Product to sum2sin⁡Asin⁡B=cos⁡(A−B)−cos⁡(A+B)2\sin A\sin B = \cos(A - B) - \cos(A + B)
Complementarysin⁡(90∘−x)=cos⁡x\sin(90^\circ - x) = \cos x

Four standard techniques

1. Collapse products with the double-angle formula. Multiply a product of cosines of doubling angles by sin⁡x\sin x. Each sin⁡θcos⁡θ\sin\theta\cos\theta becomes 12sin⁡2θ\dfrac12\sin 2\theta, and the product collapses:

cos⁡xcos⁡2xcos⁡4x⋯cos⁡2n−1x=sin⁡2nx2nsin⁡x.\cos x\cos 2x\cos 4x\cdots\cos 2^{n-1}x = \frac{\sin 2^n x}{2^n\sin x}.

2. Combine asin⁡x+bcos⁡xa\sin x + b\cos x into one wave. Since (a,b)(a, b) has length R=a2+b2R = \sqrt{a^2 + b^2}, you can write asin⁡x+bcos⁡x=Rsin⁡(x+φ)a\sin x + b\cos x = R\sin(x + \varphi) for some angle φ\varphi. So its maximum is RR and its minimum is −R-R.

3. Use symmetric functions of sin⁡x\sin x and cos⁡x\cos x. If you know s=sin⁡x+cos⁡xs = \sin x + \cos x, then squaring gives sin⁡xcos⁡x=s2−12\sin x\cos x = \dfrac{s^2 - 1}{2}. Every symmetric expression in sin⁡x\sin x and cos⁡x\cos x follows, just as in Vieta.

4. Turn a trig equation into a polynomial. The values cos⁡20∘\cos 20^\circ, cos⁡100∘\cos 100^\circ, cos⁡140∘\cos 140^\circ all satisfy cos⁡3θ=12\cos 3\theta = \dfrac12. By the triple-angle formula, they are the three roots of

4c3−3c=12,that is,8c3−6c−1=0.4c^3 - 3c = \frac12, \qquad \text{that is,} \qquad 8c^3 - 6c - 1 = 0.

Now Vieta's formulas give you any symmetric expression in these three cosines.

Trig values as roots

If the angles in a problem are all solutions of one equation like cos⁡nθ=c\cos n\theta = c or tan⁡nθ=c\tan n\theta = c, expand with a multiple-angle formula to get a polynomial whose roots are the trig values. Then use Vieta.

A related trick for tangents: if A+B=45∘A + B = 45^\circ, then tan⁡A+tan⁡B=1−tan⁡Atan⁡B\tan A + \tan B = 1 - \tan A\tan B, which rearranges to (1+tan⁡A)(1+tan⁡B)=2(1 + \tan A)(1 + \tan B) = 2.

Common mistake

When you turn angles into polynomial roots, make sure the angles give distinct values and that you have all the roots. For example, cos⁡3θ=12\cos 3\theta = \dfrac12 is solved by θ=20∘,100∘,140∘\theta = 20^\circ, 100^\circ, 140^\circ but also by 220∘,260∘,340∘220^\circ, 260^\circ, 340^\circ, which have the same cosines. The cubic has exactly three roots, so list three distinct values, not six.

Worked examples

Worked example: A collapsing product

Compute cos⁡20∘cos⁡40∘cos⁡80∘\cos 20^\circ\cos 40^\circ\cos 80^\circ.

Multiply and divide by sin⁡20∘\sin 20^\circ and apply sin⁡θcos⁡θ=12sin⁡2θ\sin\theta\cos\theta = \dfrac12\sin 2\theta three times:

sin⁡20∘cos⁡20∘cos⁡40∘cos⁡80∘=12sin⁡40∘cos⁡40∘cos⁡80∘=14sin⁡80∘cos⁡80∘=18sin⁡160∘.\sin 20^\circ\cos 20^\circ\cos 40^\circ\cos 80^\circ = \tfrac12\sin 40^\circ\cos 40^\circ\cos 80^\circ = \tfrac14\sin 80^\circ\cos 80^\circ = \tfrac18\sin 160^\circ.

Since sin⁡160∘=sin⁡20∘\sin 160^\circ = \sin 20^\circ, the product is 18\dfrac18.

Worked example: One wave

Find the maximum of 3sin⁡x+4cos⁡x+23\sin x + 4\cos x + 2.

3sin⁡x+4cos⁡x=5sin⁡(x+φ)3\sin x + 4\cos x = 5\sin(x + \varphi) where cos⁡φ=35\cos\varphi = \dfrac35 and sin⁡φ=45\sin\varphi = \dfrac45. Its maximum is 55, so the maximum of the expression is 77.

Worked example: Pairing complementary angles

Compute sin⁡21∘+sin⁡22∘+⋯+sin⁡289∘\sin^2 1^\circ + \sin^2 2^\circ + \dots + \sin^2 89^\circ.

Pair k∘k^\circ with (90−k)∘(90 - k)^\circ: sin⁡2k∘+sin⁡2(90−k)∘=sin⁡2k∘+cos⁡2k∘=1\sin^2 k^\circ + \sin^2(90 - k)^\circ = \sin^2 k^\circ + \cos^2 k^\circ = 1. There are 4444 pairs (k=1k = 1 to 4444) plus the middle term sin⁡245∘=12\sin^2 45^\circ = \dfrac12. The sum is 44+12=89244 + \dfrac12 = \dfrac{89}{2}.

Worked example: Vieta on cosines

Compute sec⁡20∘+sec⁡100∘+sec⁡140∘\sec 20^\circ + \sec 100^\circ + \sec 140^\circ.

The three cosines are the roots of 8c3−6c−1=08c^3 - 6c - 1 = 0, so e1=0e_1 = 0, e2=−68=−34e_2 = -\dfrac68 = -\dfrac34 and e3=18e_3 = \dfrac18. Then

1c1+1c2+1c3=e2e3=−3/41/8=−6.\frac1{c_1} + \frac1{c_2} + \frac1{c_3} = \frac{e_2}{e_3} = \frac{-3/4}{1/8} = -6.

Since cos⁡100∘=−cos⁡80∘\cos 100^\circ = -\cos 80^\circ and cos⁡140∘=−cos⁡40∘\cos 140^\circ = -\cos 40^\circ, this also proves the surprising identity sec⁡40∘+sec⁡80∘−sec⁡20∘=6\sec 40^\circ + \sec 80^\circ - \sec 20^\circ = 6.

Practice

Practice 1

Find the maximum value of 24sin⁡xcos⁡x+10cos⁡2x24\sin x\cos x + 10\cos^2 x over all real xx.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 2

Acute angles α,β,γ\alpha, \beta, \gamma satisfy tan⁡α=12\tan\alpha = \dfrac12, tan⁡β=15\tan\beta = \dfrac15 and tan⁡γ=18\tan\gamma = \dfrac18. Find α+β+γ\alpha + \beta + \gamma in degrees.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 3

A real number xx satisfies sin⁡x+cos⁡x=75\sin x + \cos x = \dfrac75. Then sin⁡3x+cos⁡3x=mn\sin^3 x + \cos^3 x = \dfrac mn, where mm and nn are relatively prime positive integers. Find m+nm + n.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 4

In an acute triangle ABCABC, tan⁡A:tan⁡B:tan⁡C=1:2:3\tan A : \tan B : \tan C = 1 : 2 : 3. Find tan⁡2A+tan⁡2B+tan⁡2C\tan^2 A + \tan^2 B + \tan^2 C.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 5

Compute ∑k=159sin⁡2(3k∘)\displaystyle\sum_{k=1}^{59}\sin^2(3k^\circ).

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 6

Compute 1sin⁡6∘ sin⁡42∘ sin⁡66∘ sin⁡78∘\dfrac{1}{\sin 6^\circ\,\sin 42^\circ\,\sin 66^\circ\,\sin 78^\circ}.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 7

Compute tan⁡220∘+tan⁡240∘+tan⁡280∘\tan^2 20^\circ + \tan^2 40^\circ + \tan^2 80^\circ.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Real contest practice

  • 1995 AIME, Problem 7: uses sin⁡t+cos⁡t\sin t + \cos t and sin⁡tcos⁡t\sin t\cos t as the two unknowns.
  • 1999 AIME, Problem 11: a sum of 3535 sines that telescopes with product-to-sum.
  • 2018 AIME I, Problem 6: write z=cos⁡θ+isin⁡θz = \cos\theta + i\sin\theta and count the angles that make an expression real.