Analytic Trigonometry

Study Sheet

Analytic Trigonometry

Identities, verifications, trig equations, and the sum/difference & multiple-angle formulas

Fundamental Identities & Simplifying

Concept
The identities you build everything from

Reciprocal:  csc⁡θ=1sin⁡θ\csc\theta=\dfrac{1}{\sin\theta},  sec⁡θ=1cos⁡θ\sec\theta=\dfrac{1}{\cos\theta},  cot⁡θ=1tan⁡θ\cot\theta=\dfrac{1}{\tan\theta}.

Quotient:  tan⁡θ=sin⁡θcos⁡θ\tan\theta=\dfrac{\sin\theta}{\cos\theta},  cot⁡θ=cos⁡θsin⁡θ\cot\theta=\dfrac{\cos\theta}{\sin\theta}.

Pythagorean:  sin⁡2θ+cos⁡2θ=1\sin^2\theta+\cos^2\theta=1,  1+tan⁡2θ=sec⁡2θ1+\tan^2\theta=\sec^2\theta,  1+cot⁡2θ=csc⁡2θ1+\cot^2\theta=\csc^2\theta.

Even/Odd:  sin⁡(−θ)=−sin⁡θ\sin(-\theta)=-\sin\theta,  cos⁡(−θ)=cos⁡θ\cos(-\theta)=\cos\theta,  tan⁡(−θ)=−tan⁡θ\tan(-\theta)=-\tan\theta.

Cofunction:  sin⁡ ⁣(π2−θ)=cos⁡θ\sin\!\left(\tfrac{\pi}{2}-\theta\right)=\cos\theta,  tan⁡ ⁣(π2−θ)=cot⁡θ\tan\!\left(\tfrac{\pi}{2}-\theta\right)=\cot\theta.

Analytic trigonometry is algebra with trig functions: verifying identities, using the sum, double- and half-angle formulas, rewriting products as sums, and solving equations exactly. The techniques matter later because integrals like ∫sin⁡2x dx\int\sin^2x\,dx are done by first rewriting with the double-angle identity.

Example
Simplify to one function: sec⁡θ−cos⁡θtan⁡θ\dfrac{\sec\theta-\cos\theta}{\tan\theta}
sec⁡θ−cos⁡θtan⁡θ=1cos⁡θ−cos⁡θsin⁡θcos⁡θ=1−cos⁡2θcos⁡θsin⁡θcos⁡θ=1−cos⁡2θsin⁡θ=sin⁡2θsin⁡θ=sin⁡θ.\begin{aligned} \frac{\sec\theta-\cos\theta}{\tan\theta} &=\frac{\frac{1}{\cos\theta}-\cos\theta}{\frac{\sin\theta}{\cos\theta}} =\frac{\frac{1-\cos^2\theta}{\cos\theta}}{\frac{\sin\theta}{\cos\theta}}\\[2pt] &=\frac{1-\cos^2\theta}{\sin\theta} =\frac{\sin^2\theta}{\sin\theta}=\sin\theta. \end{aligned}
Side note
Where it goes wrong

Cancelling across a sum in an identity, e.g. simplifying sin⁡x+cos⁡xsin⁡x\tfrac{\sin x + \cos x}{\sin x} to 1+cos⁡x1 + \cos x. Split the fraction termwise: 1+cot⁡x1 + \cot x.

Example
Rewrite in terms of sin⁡θ\sin\theta only: cos⁡2θ1−sin⁡θ\dfrac{\cos^2\theta}{1-\sin\theta}
cos⁡2θ1−sin⁡θ=1−sin⁡2θ1−sin⁡θ=(1−sin⁡θ)(1+sin⁡θ)1−sin⁡θ=1+sin⁡θ.\begin{aligned} \frac{\cos^2\theta}{1-\sin\theta} &=\frac{1-\sin^2\theta}{1-\sin\theta} =\frac{(1-\sin\theta)(1+\sin\theta)}{1-\sin\theta}\\[2pt] &=1+\sin\theta. \end{aligned}
Tip

Tip. To “rewrite in terms of one function,” turn everything into sin⁡\sin and cos⁡\cos first, combine over a common denominator, then use sin⁡2θ+cos⁡2θ=1\sin^2\theta+\cos^2\theta=1 to collapse the result.

Try it
Quick check

Simplify (1−cos⁡2θ)(1+cot⁡2θ)(1-\cos^2\theta)(1+\cot^2\theta).

Show the answer

Answer: 11. Each factor is a Pythagorean pattern: 1−cos⁡2θ=sin⁡2θ1-\cos^2\theta=\sin^2\theta and 1+cot⁡2θ=csc⁡2θ1+\cot^2\theta=\csc^2\theta. Their product is sin⁡2θ⋅1sin⁡2θ=1\sin^2\theta\cdot\dfrac{1}{\sin^2\theta}=1.

Verifying Identities

Concept
Strategy for a proof

Work one side only (usually the messier one) until it matches the other. Do not move terms across the == sign as if solving an equation. Useful moves:

  • Convert to sin⁡\sin and cos⁡\cos.
  • Get a common denominator.
  • Use a Pythagorean identity, or multiply by a conjugate such as 1+sin⁡θ1+sin⁡θ\dfrac{1+\sin\theta}{1+\sin\theta}.
  • Factor, or split a fraction into separate terms.
Reminder — The Pythagorean identity:  sin⁡2θ+cos⁡2θ=1\sin^2\theta+\cos^2\theta=1
Example
Verify tan⁡θsin⁡θ+cos⁡θ=sec⁡θ\tan\theta\sin\theta+\cos\theta=\sec\theta
tan⁡θsin⁡θ+cos⁡θ=sin⁡θcos⁡θ⋅sin⁡θ+cos⁡θ=sin⁡2θcos⁡θ+cos⁡2θcos⁡θ=sin⁡2θ+cos⁡2θcos⁡θ=1cos⁡θ=sec⁡θ.✓\begin{aligned} \tan\theta\sin\theta+\cos\theta &=\frac{\sin\theta}{\cos\theta}\cdot\sin\theta+\cos\theta\\[2pt] &=\frac{\sin^2\theta}{\cos\theta}+\frac{\cos^2\theta}{\cos\theta}\\[2pt] &=\frac{\sin^2\theta+\cos^2\theta}{\cos\theta} =\frac{1}{\cos\theta}=\sec\theta.\quad\checkmark \end{aligned}
Example
Verify cos⁡θ1−sin⁡θ=1+sin⁡θcos⁡θ\dfrac{\cos\theta}{1-\sin\theta}=\dfrac{1+\sin\theta}{\cos\theta} (conjugate trick)

Work the left side and multiply by 1+sin⁡θ1+sin⁡θ\dfrac{1+\sin\theta}{1+\sin\theta}:

cos⁡θ1−sin⁡θ=cos⁡θ1−sin⁡θ⋅1+sin⁡θ1+sin⁡θ=cos⁡θ(1+sin⁡θ)1−sin⁡2θ=cos⁡θ(1+sin⁡θ)cos⁡2θ=1+sin⁡θcos⁡θ.✓\begin{aligned} \frac{\cos\theta}{1-\sin\theta} &=\frac{\cos\theta}{1-\sin\theta}\cdot\frac{1+\sin\theta}{1+\sin\theta} =\frac{\cos\theta(1+\sin\theta)}{1-\sin^2\theta}\\[2pt] &=\frac{\cos\theta(1+\sin\theta)}{\cos^2\theta} =\frac{1+\sin\theta}{\cos\theta}.\quad\checkmark \end{aligned}
Tip

Tip. When a proof stalls, look at the other side for a clue about what form you are aiming for (a single fraction? a difference of squares?), then steer toward it.

Solving Trigonometric Equations

Concept
Method
  • Isolate a single trig function, or move all terms to one side and factor.
  • Quadratic type (a u2+b u+c=0a\,u^2+b\,u+c=0 with u=sin⁡xu=\sin x, etc.): factor or use the quadratic formula.
  • Use identities to reduce to one function before factoring.
  • On [0,2π)[0,2\pi): list only the angles in that interval. All solutions: add the period: +2πn+2\pi n for sin⁡,cos⁡\sin,\cos; +πn+\pi n for tan⁡\tan (here nn is any integer).
  • If you squared or divided, check for extraneous solutions in the original equation.
Reminder — The quadratic formula:  x=−b±b2−4ac2a(a≠0)x=\frac{-b\pm\sqrt{b^{2}-4ac}}{2a}\qquad (a\neq 0)
Example
Solve 2cos⁡2x−cos⁡x−1=02\cos^2 x-\cos x-1=0 (quadratic type)

Let u=cos⁡xu=\cos x: 2u2−u−1=(2u+1)(u−1)=02u^2-u-1=(2u+1)(u-1)=0, so cos⁡x=−12\cos x=-\tfrac12 or cos⁡x=1\cos x=1.

cos⁡x=−12:x=2π3, 4π3cos⁡x=1:x=0\begin{aligned} \cos x=-\tfrac12:&\quad x=\tfrac{2\pi}{3},\ \tfrac{4\pi}{3}\\ \cos x=1:&\quad x=0 \end{aligned}

On [0,2π)[0,2\pi): x=0, 2π3, 4π3x=0,\ \tfrac{2\pi}{3},\ \tfrac{4\pi}{3}.  All solutions: x=2πn, 2π3+2πn, 4π3+2πnx=2\pi n,\ \tfrac{2\pi}{3}+2\pi n,\ \tfrac{4\pi}{3}+2\pi n.

Tip

Tip. cos⁡x=12\cos x=\tfrac12 has two solutions per period (Quadrants I and IV); sin⁡x=12\sin x=\tfrac12 has two as well (I and II). Never drop a quadrant.

Try it
Quick check

Solve 2sin⁡2x=sin⁡x2\sin^2x=\sin x on [0,2π)[0,2\pi).

Show the answer

Answer: x=0, π6, 5π6, πx=0,\ \dfrac{\pi}{6},\ \dfrac{5\pi}{6},\ \pi. Move everything to one side and factor rather than dividing by sin⁡x\sin x: sin⁡x(2sin⁡x−1)=0\sin x(2\sin x-1)=0. Then sin⁡x=0\sin x=0 gives 0,π0,\pi and sin⁡x=12\sin x=\tfrac12 gives π6,5π6\tfrac{\pi}{6},\tfrac{5\pi}{6}.

Sum and Difference Formulas

Concept
Formulas
sin⁡(A±B)=sin⁡Acos⁡B±cos⁡Asin⁡Bcos⁡(A±B)=cos⁡Acos⁡B∓sin⁡Asin⁡Btan⁡(A±B)=tan⁡A±tan⁡B1∓tan⁡Atan⁡B\begin{aligned} \sin(A\pm B)&=\sin A\cos B\pm\cos A\sin B\\ \cos(A\pm B)&=\cos A\cos B\mp\sin A\sin B\\ \tan(A\pm B)&=\frac{\tan A\pm\tan B}{1\mp\tan A\tan B} \end{aligned}

Watch the sign flip: cos⁡\cos and tan⁡\tan use the opposite sign of the one in (A±B)(A\pm B).

Example
Exact value of a non-special angle: cos⁡15∘\cos 15^\circ

Write 15∘=45∘−30∘15^\circ=45^\circ-30^\circ:

cos⁡15∘=cos⁡(45∘−30∘)=cos⁡45∘cos⁡30∘+sin⁡45∘sin⁡30∘=22⋅32+22⋅12=6+24.\begin{aligned} \cos 15^\circ&=\cos(45^\circ-30^\circ)\\ &=\cos45^\circ\cos30^\circ+\sin45^\circ\sin30^\circ\\ &=\frac{\sqrt2}{2}\cdot\frac{\sqrt3}{2}+\frac{\sqrt2}{2}\cdot\frac12 =\frac{\sqrt6+\sqrt2}{4}. \end{aligned}

Likewise sin⁡75∘=sin⁡(45∘+30∘)=6+24\sin75^\circ=\sin(45^\circ+30^\circ)=\dfrac{\sqrt6+\sqrt2}{4}.

Tip

Tip. Any multiple-of-15∘15^\circ angle can be split into two special angles: 15=45−3015=45-30, 75=45+3075=45+30, 105=60+45105=60+45. For tan⁡\tan, rationalize the denominator to finish.

Try it
Quick check

Find the exact value of sin⁡105∘\sin105^\circ.

Show the answer

Answer: 6+24\dfrac{\sqrt6+\sqrt2}{4}. sin⁡(60∘+45∘)=sin⁡60∘cos⁡45∘+cos⁡60∘sin⁡45∘=32⋅22+12⋅22=6+24\sin(60^\circ+45^\circ)=\sin60^\circ\cos45^\circ+\cos60^\circ\sin45^\circ=\dfrac{\sqrt3}{2}\cdot\dfrac{\sqrt2}{2}+\dfrac12\cdot\dfrac{\sqrt2}{2}=\dfrac{\sqrt6+\sqrt2}{4}.

Double-Angle, Half-Angle & Power-Reducing

Concept
Formulas

Double-angle:

sin⁡2θ=2sin⁡θcos⁡θcos⁡2θ=cos⁡2θ−sin⁡2θ=2cos⁡2θ−1=1−2sin⁡2θtan⁡2θ=2tan⁡θ1−tan⁡2θ\begin{aligned} \sin2\theta&=2\sin\theta\cos\theta\\ \cos2\theta&=\cos^2\theta-\sin^2\theta=2\cos^2\theta-1=1-2\sin^2\theta\\ \tan2\theta&=\frac{2\tan\theta}{1-\tan^2\theta} \end{aligned}

Power-reducing:  sin⁡2θ=1−cos⁡2θ2\sin^2\theta=\dfrac{1-\cos2\theta}{2},  cos⁡2θ=1+cos⁡2θ2\cos^2\theta=\dfrac{1+\cos2\theta}{2}.

Half-angle:  sin⁡θ2=±1−cos⁡θ2\sin\dfrac{\theta}{2}=\pm\sqrt{\dfrac{1-\cos\theta}{2}},  cos⁡θ2=±1+cos⁡θ2\cos\dfrac{\theta}{2}=\pm\sqrt{\dfrac{1+\cos\theta}{2}},  tan⁡θ2=1−cos⁡θsin⁡θ=sin⁡θ1+cos⁡θ\tan\dfrac{\theta}{2}=\dfrac{1-\cos\theta}{\sin\theta}=\dfrac{\sin\theta}{1+\cos\theta}.

The ±\pm is chosen by the quadrant of θ/2\theta/2.

Example
Half-angle exact value: sin⁡π12\sin\dfrac{\pi}{12}

Since π12=12⋅π6\dfrac{\pi}{12}=\dfrac{1}{2}\cdot\dfrac{\pi}{6} and π12\dfrac{\pi}{12} is in Quadrant I (take ++):

sin⁡π12=1−cos⁡π62=1−322=2−34=2−32=6−24.\begin{aligned} \sin\frac{\pi}{12} &=\sqrt{\frac{1-\cos\frac{\pi}{6}}{2}} =\sqrt{\frac{1-\frac{\sqrt3}{2}}{2}}\\[2pt] &=\sqrt{\frac{2-\sqrt3}{4}} =\frac{\sqrt{2-\sqrt3}}{2}=\frac{\sqrt6-\sqrt2}{4}. \end{aligned}
Tip

Tip. cos⁡2θ\cos2\theta has three forms; pick the one that matches what you already know. Given sin⁡θ\sin\theta, use 1−2sin⁡2θ1-2\sin^2\theta; given cos⁡θ\cos\theta, use 2cos⁡2θ−12\cos^2\theta-1.

Try it
Quick check

If cos⁡θ=45\cos\theta=\dfrac45 with θ\theta in Quadrant I, find sin⁡2θ\sin2\theta and cos⁡2θ\cos2\theta.

Show the answer

Answer: sin⁡2θ=2425\sin2\theta=\dfrac{24}{25}, cos⁡2θ=725\cos2\theta=\dfrac{7}{25}. sin⁡θ=35\sin\theta=\tfrac35. Then sin⁡2θ=2⋅35⋅45=2425\sin2\theta=2\cdot\tfrac35\cdot\tfrac45=\tfrac{24}{25} and cos⁡2θ=cos⁡2θ−sin⁡2θ=1625−925=725\cos2\theta=\cos^2\theta-\sin^2\theta=\tfrac{16}{25}-\tfrac{9}{25}=\tfrac{7}{25}.

Product-to-Sum & Sum-to-Product

Concept
Formulas

Product-to-sum:

sin⁡Acos⁡B=12[sin⁡(A+B)+sin⁡(A−B)]cos⁡Acos⁡B=12[cos⁡(A−B)+cos⁡(A+B)]sin⁡Asin⁡B=12[cos⁡(A−B)−cos⁡(A+B)]\begin{aligned} \sin A\cos B&=\tfrac12\big[\sin(A+B)+\sin(A-B)\big]\\ \cos A\cos B&=\tfrac12\big[\cos(A-B)+\cos(A+B)\big]\\ \sin A\sin B&=\tfrac12\big[\cos(A-B)-\cos(A+B)\big] \end{aligned}

Sum-to-product:

sin⁡A+sin⁡B=2sin⁡A+B2cos⁡A−B2cos⁡A+cos⁡B=2cos⁡A+B2cos⁡A−B2cos⁡A−cos⁡B=−2sin⁡A+B2sin⁡A−B2\begin{aligned} \sin A+\sin B&=2\sin\tfrac{A+B}{2}\cos\tfrac{A-B}{2}\\ \cos A+\cos B&=2\cos\tfrac{A+B}{2}\cos\tfrac{A-B}{2}\\ \cos A-\cos B&=-2\sin\tfrac{A+B}{2}\sin\tfrac{A-B}{2} \end{aligned}
Example
Product-to-sum value: sin⁡75∘sin⁡15∘\sin75^\circ\sin15^\circ
sin⁡75∘sin⁡15∘=12[cos⁡(75∘−15∘)−cos⁡(75∘+15∘)]=12[cos⁡60∘−cos⁡90∘]=12[12−0]=14.\begin{aligned} \sin75^\circ\sin15^\circ &=\tfrac12\big[\cos(75^\circ-15^\circ)-\cos(75^\circ+15^\circ)\big]\\ &=\tfrac12\big[\cos60^\circ-\cos90^\circ\big] =\tfrac12\big[\tfrac12-0\big]=\frac14. \end{aligned}
Tip

Tip. Sum-to-product turns a sum of trig terms into a product, which is perfect for solving equations by factoring (set each factor to zero).

Try it
Quick check

Find the exact value of cos⁡105∘cos⁡15∘\cos105^\circ\cos15^\circ.

Show the answer

Answer: −14-\dfrac14. cos⁡Acos⁡B=12[cos⁡(A−B)+cos⁡(A+B)]=12[cos⁡90∘+cos⁡120∘]=12[0−12]=−14\cos A\cos B=\tfrac12[\cos(A-B)+\cos(A+B)]=\tfrac12[\cos90^\circ+\cos120^\circ]=\tfrac12\left[0-\tfrac12\right]=-\tfrac14.

Combining Identities with Inverse Trig Functions

Concept
Approach

To evaluate something like sin⁡(arccos⁡u)\sin(\arccos u), let θ=arccos⁡u\theta=\arccos u, so cos⁡θ=u\cos\theta=u with θ\theta in the range of arccosine ([0,π][0,\pi]). Draw a right triangle (or use a Pythagorean identity) to find the other functions, respecting the sign forced by the range. The same idea handles sin⁡(2arctan⁡x)\sin(2\arctan x), cos⁡(arcsin⁡a+arccos⁡b)\cos(\arcsin a+\arccos b), etc.

Example
Evaluate sin⁡ ⁣(arccos⁡35)\sin\!\big(\arccos\tfrac35\big) and cos⁡(2arcsin⁡x)\cos(2\arcsin x)

Let θ=arccos⁡35\theta=\arccos\tfrac35, so cos⁡θ=35\cos\theta=\tfrac35 with θ∈[0,π]\theta\in[0,\pi], hence sin⁡θ≥0\sin\theta\ge0:

sin⁡θ=1−cos⁡2θ=1−925=45.\sin\theta=\sqrt{1-\cos^2\theta}=\sqrt{1-\tfrac{9}{25}}=\tfrac45.

For the second, let ϕ=arcsin⁡x\phi=\arcsin x so sin⁡ϕ=x\sin\phi=x, then use the double-angle form of cosine:

cos⁡(2arcsin⁡x)=1−2sin⁡2ϕ=1−2x2.\cos(2\arcsin x)=1-2\sin^2\phi=1-2x^2.
Tip

Tip. Always honor the range of the inverse function: arcsin⁡,arctan⁡\arcsin,\arctan give values in Quadrant I or IV, and arccos⁡\arccos in Quadrant I or II. That range fixes the sign of your answer.

Try it
Quick check

Evaluate cos⁡ ⁣(arcsin⁡513)\cos\!\left(\arcsin\dfrac{5}{13}\right) and sin⁡ ⁣(2arccos⁡35)\sin\!\left(2\arccos\dfrac35\right).

Show the answer

Answer: 1213\dfrac{12}{13} and 2425\dfrac{24}{25}. For the first, opposite 55 and hypotenuse 1313 give adjacent 1212. For the second, let θ=arccos⁡35\theta=\arccos\tfrac35, so cos⁡θ=35\cos\theta=\tfrac35 and sin⁡θ=45\sin\theta=\tfrac45; then sin⁡2θ=2⋅45⋅35=2425\sin2\theta=2\cdot\tfrac45\cdot\tfrac35=\tfrac{24}{25}.

Going Deeper: Advanced Analytic Trig

Concept
Telescoping products of cosines

Repeatedly using sin⁡2α=2sin⁡αcos⁡α\sin 2\alpha=2\sin\alpha\cos\alpha collapses a whole product of doubling-angle cosines into a single ratio of sines. For any θ\theta with sin⁡θ≠0\sin\theta\neq0,

∏k=0n−1cos⁡ ⁣(2kθ)=cos⁡θ cos⁡2θ cos⁡4θ⋯cos⁡ ⁣(2n−1θ)=sin⁡ ⁣(2nθ)2nsin⁡θ.\prod_{k=0}^{n-1}\cos\!\big(2^k\theta\big) =\cos\theta\,\cos2\theta\,\cos4\theta\cdots\cos\!\big(2^{n-1}\theta\big) =\frac{\sin\!\big(2^n\theta\big)}{2^n\sin\theta}.

The trick: multiply the product by 2nsin⁡θ2^n\sin\theta and peel off one factor at a time. This single identity powers a surprising number of “impossible-looking” exact values.

Example
Prove the telescoping cosine product formula

Let P=∏k=0n−1cos⁡ ⁣(2kθ)P=\displaystyle\prod_{k=0}^{n-1}\cos\!\big(2^k\theta\big). Multiply by 2nsin⁡θ2^n\sin\theta and absorb one power of 22 at a time using 2sin⁡αcos⁡α=sin⁡2α2\sin\alpha\cos\alpha=\sin2\alpha:

2nsin⁡θ⋅P=2n−1(2sin⁡θcos⁡θ)cos⁡2θ⋯cos⁡ ⁣(2n−1θ)=2n−1sin⁡2θ cos⁡2θ⋯cos⁡ ⁣(2n−1θ)=2n−2(2sin⁡2θcos⁡2θ)cos⁡4θ⋯cos⁡ ⁣(2n−1θ)=2n−2sin⁡4θ cos⁡4θ⋯cos⁡ ⁣(2n−1θ)  ⋮=2sin⁡ ⁣(2n−1θ)cos⁡ ⁣(2n−1θ)=sin⁡ ⁣(2nθ).\begin{aligned} 2^n\sin\theta\cdot P &=2^{n-1}\big(2\sin\theta\cos\theta\big)\cos2\theta\cdots\cos\!\big(2^{n-1}\theta\big)\\ &=2^{n-1}\sin2\theta\,\cos2\theta\cdots\cos\!\big(2^{n-1}\theta\big)\\ &=2^{n-2}\big(2\sin2\theta\cos2\theta\big)\cos4\theta\cdots\cos\!\big(2^{n-1}\theta\big)\\ &=2^{n-2}\sin4\theta\,\cos4\theta\cdots\cos\!\big(2^{n-1}\theta\big)\\ &\ \ \vdots\\ &=2\sin\!\big(2^{n-1}\theta\big)\cos\!\big(2^{n-1}\theta\big)=\sin\!\big(2^n\theta\big). \end{aligned}

Dividing by 2nsin⁡θ2^n\sin\theta gives P=sin⁡(2nθ)2nsin⁡θP=\dfrac{\sin(2^n\theta)}{2^n\sin\theta}.  ✓\checkmark

Example
The famous value cos⁡π7cos⁡2π7cos⁡4π7=−18\cos\dfrac{\pi}{7}\cos\dfrac{2\pi}{7}\cos\dfrac{4\pi}{7}=-\dfrac18

The angles π7, 2π7, 4π7\tfrac{\pi}{7},\ \tfrac{2\pi}{7},\ \tfrac{4\pi}{7} are exactly 20θ, 21θ, 22θ2^0\theta,\,2^1\theta,\,2^2\theta with θ=π7\theta=\tfrac{\pi}{7} and n=3n=3, so the telescoping formula applies directly:

cos⁡π7cos⁡2π7cos⁡4π7=sin⁡ ⁣(23⋅π7)23 sin⁡π7=sin⁡8π78 sin⁡π7.\begin{aligned} \cos\frac{\pi}{7}\cos\frac{2\pi}{7}\cos\frac{4\pi}{7} &=\frac{\sin\!\big(2^3\cdot\frac{\pi}{7}\big)}{2^3\,\sin\frac{\pi}{7}} =\frac{\sin\frac{8\pi}{7}}{8\,\sin\frac{\pi}{7}}. \end{aligned}

Now 8π7=π+π7\dfrac{8\pi}{7}=\pi+\dfrac{\pi}{7}, and sin⁡(π+x)=−sin⁡x\sin(\pi+x)=-\sin x, so sin⁡8π7=−sin⁡π7\sin\dfrac{8\pi}{7}=-\sin\dfrac{\pi}{7}. Therefore

cos⁡π7cos⁡2π7cos⁡4π7=−sin⁡π78 sin⁡π7=−18.\cos\frac{\pi}{7}\cos\frac{2\pi}{7}\cos\frac{4\pi}{7} =\frac{-\sin\frac{\pi}{7}}{8\,\sin\frac{\pi}{7}}=-\frac18.
Concept
cos⁡36∘\cos 36^\circ from a cubic equation

Not every “nice” angle needs a sum/difference split — some fall out of a polynomial. Let θ=36∘\theta=36^\circ, so 5θ=180∘5\theta=180^\circ, giving 2θ=180∘−3θ2\theta=180^\circ-3\theta and hence cos⁡2θ=−cos⁡3θ\cos2\theta=-\cos3\theta. With x=cos⁡θx=\cos\theta and the identities cos⁡2θ=2x2−1\cos2\theta=2x^2-1, cos⁡3θ=4x3−3x\cos3\theta=4x^3-3x:

2x2−1=−(4x3−3x)4x3+2x2−3x−1=0(x+1)(4x2−2x−1)=0.\begin{aligned} 2x^2-1&=-\big(4x^3-3x\big)\\ 4x^3+2x^2-3x-1&=0\\ (x+1)\big(4x^2-2x-1\big)&=0. \end{aligned}

Since x=cos⁡36∘>0x=\cos36^\circ>0, discard x=−1x=-1 and solve 4x2−2x−1=04x^2-2x-1=0:

cos⁡36∘=2+4+168=2+258=1+54.\cos36^\circ=\frac{2+\sqrt{4+16}}{8}=\frac{2+2\sqrt5}{8}=\frac{1+\sqrt5}{4}.

This is the golden-ratio value φ2\tfrac{\varphi}{2}, where φ=1+52\varphi=\tfrac{1+\sqrt5}{2}.

Concept
Summing equally spaced sines and cosines (Dirichlet kernel)

For an arithmetic progression of angles a, a+d, a+2d,…a,\,a+d,\,a+2d,\dots, the telescoping idea from sum-to-product gives closed forms. For sin⁡d2≠0\sin\tfrac{d}{2}\neq0,

∑k=0n−1cos⁡(a+kd)=sin⁡ ⁣(nd2)sin⁡ ⁣(d2) cos⁡ ⁣(a+(n−1)d2),∑k=0n−1sin⁡(a+kd)=sin⁡ ⁣(nd2)sin⁡ ⁣(d2) sin⁡ ⁣(a+(n−1)d2).\begin{aligned} \sum_{k=0}^{n-1}\cos(a+kd)&=\frac{\sin\!\big(\tfrac{nd}{2}\big)}{\sin\!\big(\tfrac{d}{2}\big)}\,\cos\!\Big(a+\tfrac{(n-1)d}{2}\Big),\\[2pt] \sum_{k=0}^{n-1}\sin(a+kd)&=\frac{\sin\!\big(\tfrac{nd}{2}\big)}{\sin\!\big(\tfrac{d}{2}\big)}\,\sin\!\Big(a+\tfrac{(n-1)d}{2}\Big). \end{aligned}

Why it works: multiply each term by 2sin⁡d22\sin\tfrac{d}{2} and apply 2sin⁡d2cos⁡(a+kd)=sin⁡ ⁣(a+kd+d2)−sin⁡ ⁣(a+kd−d2)2\sin\tfrac{d}{2}\cos(a+kd)=\sin\!\big(a+kd+\tfrac{d}{2}\big)-\sin\!\big(a+kd-\tfrac{d}{2}\big). Consecutive terms cancel in pairs, leaving only the first and last.

Example
Solving with multiple angles and factoring: sin⁡3x=sin⁡x\sin 3x=\sin x on [0,2π)[0,2\pi)

Move everything to one side and apply sum-to-product (sin⁡A−sin⁡B=2cos⁡A+B2sin⁡A−B2\sin A-\sin B=2\cos\tfrac{A+B}{2}\sin\tfrac{A-B}{2}):

sin⁡3x−sin⁡x=02cos⁡ ⁣(3x+x2)sin⁡ ⁣(3x−x2)=02cos⁡2x sin⁡x=0.\begin{aligned} \sin3x-\sin x&=0\\ 2\cos\!\Big(\tfrac{3x+x}{2}\Big)\sin\!\Big(\tfrac{3x-x}{2}\Big)&=0\\ 2\cos2x\,\sin x&=0. \end{aligned}

Set each factor to zero on [0,2π)[0,2\pi):

sin⁡x=0:x=0, πcos⁡2x=0:2x=π2, 3π2, 5π2, 7π2 ⇒ x=π4, 3π4, 5π4, 7π4.\begin{aligned} \sin x=0:&\quad x=0,\ \pi\\ \cos2x=0:&\quad 2x=\tfrac{\pi}{2},\ \tfrac{3\pi}{2},\ \tfrac{5\pi}{2},\ \tfrac{7\pi}{2} \ \Rightarrow\ x=\tfrac{\pi}{4},\ \tfrac{3\pi}{4},\ \tfrac{5\pi}{4},\ \tfrac{7\pi}{4}. \end{aligned}

Solutions on [0,2π)[0,2\pi): x=0, π4, 3π4, π, 5π4, 7π4x=0,\ \tfrac{\pi}{4},\ \tfrac{3\pi}{4},\ \pi,\ \tfrac{5\pi}{4},\ \tfrac{7\pi}{4}. Factoring beats expanding sin⁡3x\sin3x into a cubic in sin⁡x\sin x.

Concept
Arctangent sums and Machin-style identities

The addition law, read backward, adds arctangents:

arctan⁡a+arctan⁡b=arctan⁡ ⁣a+b1−ab(mod π),\arctan a+\arctan b=\arctan\!\frac{a+b}{1-ab}\quad(\text{mod }\pi),

valid outright when ab<1ab<1. This yields elegant collapses such as

arctan⁡12+arctan⁡13=arctan⁡ ⁣12+131−16=arctan⁡1=π4.\arctan\tfrac12+\arctan\tfrac13=\arctan\!\frac{\tfrac12+\tfrac13}{1-\tfrac16}=\arctan1=\frac{\pi}{4}.

Chaining the rule gives Machin's formula, historically used to compute π\pi:

π4=4arctan⁡15−arctan⁡1239.\frac{\pi}{4}=4\arctan\frac15-\arctan\frac{1}{239}.
Tip

Conditional identities in a triangle. When A+B+C=πA+B+C=\pi (the angles of a triangle), extra relations hold that are false for arbitrary angles. Because C=π−(A+B)C=\pi-(A+B):

tan⁡A+tan⁡B+tan⁡C=tan⁡A tan⁡B tan⁡C,sin⁡2A+sin⁡2B+sin⁡2C=4sin⁡Asin⁡Bsin⁡C.\tan A+\tan B+\tan C=\tan A\,\tan B\,\tan C,\qquad \sin2A+\sin2B+\sin2C=4\sin A\sin B\sin C.

The first follows from tan⁡C=tan⁡ ⁣(π−(A+B))=−tan⁡A+tan⁡B1−tan⁡Atan⁡B\tan C=\tan\!\big(\pi-(A+B)\big)=-\dfrac{\tan A+\tan B}{1-\tan A\tan B}, then clearing the denominator. Always exploit the constraint C=π−A−BC=\pi-A-B before pushing symbols around.

Why It Works

The half-angle formulas come from solving the double-angle formulas for the squared function: cos⁡2θ=2cos⁡2θ−1\cos2\theta = 2\cos^2\theta - 1 gives cos⁡2θ=1+cos⁡2θ2\cos^2\theta = \tfrac{1 + \cos2\theta}{2}, and replacing θ\theta by θ2\tfrac\theta2 gives cos⁡θ2=±1+cos⁡θ2\cos\tfrac\theta2 = \pm\sqrt{\tfrac{1 + \cos\theta}{2}}, the sign fixed by the quadrant of θ2\tfrac\theta2. Product-to-sum formulas are the sum formulas for sin⁡(a+b)\sin(a + b) and sin⁡(a−b)\sin(a - b) added together — nothing new, just old identities combined.

Tip
Reading a proof

Do not read a proof the way you read a rule. Cover the last line, ask what the previous line forces, and only then uncover it. If a step feels like magic, that is the step to work by hand with a concrete number.

Formulas, Proofs & Tips

Tip
The Pythagorean identity
sin⁡2θ+cos⁡2θ=1\sin^2\theta+\cos^2\theta=1

What it means. Knowing one of sin⁡\sin or cos⁡\cos (plus the quadrant) determines the other.

Example. If sin⁡θ=35\sin\theta=\tfrac35, then cos⁡θ=1−925=45\cos\theta=\sqrt{1-\tfrac{9}{25}}=\tfrac45.

Why it works. On the unit circle the point at angle θ\theta is (cos⁡θ, sin⁡θ)(\cos\theta,\ \sin\theta) and lies at distance 11 from the origin. The distance formula gives cos⁡2θ+sin⁡2θ=12\cos^2\theta+\sin^2\theta=1^2 — it is Pythagoras on a radius.

Tip. Dividing through by cos⁡2θ\cos^2\theta gives 1+tan⁡2θ=sec⁡2θ1+\tan^2\theta=\sec^2\theta; by sin⁡2θ\sin^2\theta gives 1+cot⁡2θ=csc⁡2θ1+\cot^2\theta=\csc^2\theta. Use the quadrant to pick the sign when you take the square root.

Tip
Sum, difference and double-angle formulas
sin⁡(A±B)=sin⁡Acos⁡B±cos⁡Asin⁡B,cos⁡(A±B)=cos⁡Acos⁡B∓sin⁡Asin⁡B,sin⁡2A=2sin⁡Acos⁡A\sin(A\pm B)=\sin A\cos B\pm\cos A\sin B,\quad \cos(A\pm B)=\cos A\cos B\mp\sin A\sin B,\quad \sin 2A=2\sin A\cos A

What it means. Angles do not distribute — these say what really happens.

Example. cos⁡2θ=1−2sin⁡2θ\cos 2\theta=1-2\sin^2\theta; if sin⁡θ=12\sin\theta=\tfrac12, then cos⁡2θ=12\cos2\theta=\tfrac12.

Why it works. The double-angle results are the sum formulas with B=AB=A: sin⁡2A=sin⁡Acos⁡A+cos⁡Asin⁡A=2sin⁡Acos⁡A\sin 2A=\sin A\cos A+\cos A\sin A=2\sin A\cos A, and cos⁡2A=cos⁡2A−sin⁡2A\cos 2A=\cos^2A-\sin^2A, which the Pythagorean identity rewrites as 2cos⁡2A−12\cos^2A-1 or 1−2sin⁡2A1-2\sin^2A.

Tip. sin⁡(A+B)≠sin⁡A+sin⁡B\sin(A+B)\neq\sin A+\sin B. Note the sign flip: cos⁡\cos of a sum takes a minus.