Skip to content
Family Table Math
Auto

Proving Trig Identities

A trig identity is an equation that’s true for every angle where both sides are defined, like sin⁡2θ+cos⁡2θ=1\sin^2\theta + \cos^2\theta = 1. Proving identities trains you to see one expression in several different forms, a skill you’ll use to simplify problems throughout calculus and beyond.

An equation, like sin⁡θ=12\sin\theta = \tfrac{1}{2}, is true only for some angles. An identity is true for all angles (where defined). Checking one angle can show something is not an identity, but it can’t prove that it is one.

Pythagorean identity. For a point on the unit circle, x=cos⁡θx = \cos\theta, y=sin⁡θy = \sin\theta, and r=1r = 1. The Pythagorean theorem x2+y2=r2x^2 + y^2 = r^2 becomes:

sin⁡2θ+cos⁡2θ=1\sin^2\theta + \cos^2\theta = 1
A point P on the unit circle at angle theta has coordinates cos theta and sin theta, forming a right triangle with legs cos theta and sin theta and hypotenuse 1 θ 1 cos θ sin θ P(cos θ, sin θ)
The legs are cos⁡θ\cos\theta and sin⁡θ\sin\theta, and the hypotenuse is 11.

Here sin⁡2θ\sin^2\theta means (sin⁡θ)2(\sin\theta)^2. Rearranged versions are just as useful: sin⁡2θ=1−cos⁡2θ\sin^2\theta = 1 - \cos^2\theta and cos⁡2θ=1−sin⁡2θ\cos^2\theta = 1 - \sin^2\theta.

Quotient identity. Since tan⁡θ=yx\tan\theta = \tfrac{y}{x}, sin⁡θ=yr\sin\theta = \tfrac{y}{r}, and cos⁡θ=xr\cos\theta = \tfrac{x}{r}:

tan⁡θ=sin⁡θcos⁡θ\tan\theta = \frac{\sin\theta}{\cos\theta}

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

Write the left side (LS) and right side (RS) separately, and transform one side until it matches the other. Don’t move terms across the equals sign; you’re showing they’re equal, not assuming it.

Strategies:

  1. Start with the more complicated side.
  2. Rewrite everything in terms of sin⁡\sin and cos⁡\cos.
  3. Combine fractions with a common denominator.
  4. Look for sin⁡2θ+cos⁡2θ\sin^2\theta + \cos^2\theta, or a rearranged form, to replace.
  5. Factor (common factors, difference of squares).

Prove tan⁡θcos⁡θ=sin⁡θ\tan\theta\cos\theta = \sin\theta.

Solution.

LS=tan⁡θcos⁡θ=sin⁡θcos⁡θ×cos⁡θ=sin⁡θ=RS\text{LS} = \tan\theta\cos\theta = \frac{\sin\theta}{\cos\theta} \times \cos\theta = \sin\theta = \text{RS}

Example 2: Using a rearranged Pythagorean identity

Section titled “Example 2: Using a rearranged Pythagorean identity”

Prove 1−cos⁡2xsin⁡x=sin⁡x\dfrac{1 - \cos^2 x}{\sin x} = \sin x.

Solution.

LS=1−cos⁡2xsin⁡x=sin⁡2xsin⁡x=sin⁡x=RS\text{LS} = \frac{1 - \cos^2 x}{\sin x} = \frac{\sin^2 x}{\sin x} = \sin x = \text{RS}

Prove tan⁡x+1tan⁡x=1sin⁡xcos⁡x\tan x + \dfrac{1}{\tan x} = \dfrac{1}{\sin x \cos x}.

Solution. Write the left side in sine and cosine, and use the common denominator sin⁡xcos⁡x\sin x \cos x:

LS=sin⁡xcos⁡x+cos⁡xsin⁡x=sin⁡2x+cos⁡2xsin⁡xcos⁡x=1sin⁡xcos⁡x=RS\begin{aligned} \text{LS} &= \frac{\sin x}{\cos x} + \frac{\cos x}{\sin x} \\ &= \frac{\sin^2 x + \cos^2 x}{\sin x \cos x} \\ &= \frac{1}{\sin x \cos x} \\ &= \text{RS} \end{aligned}

Prove tan⁡2θ=sec⁡2θ−1\tan^2\theta = \sec^2\theta - 1.

Solution. The right side is easier to work with:

RS=1cos⁡2θ−1=1−cos⁡2θcos⁡2θ=sin⁡2θcos⁡2θ=tan⁡2θ=LS\begin{aligned} \text{RS} &= \frac{1}{\cos^2\theta} - 1 \\ &= \frac{1 - \cos^2\theta}{\cos^2\theta} \\ &= \frac{\sin^2\theta}{\cos^2\theta} \\ &= \tan^2\theta \\ &= \text{LS} \end{aligned}

A quick numerical check (not a proof): at θ=60∘\theta = 60^\circ, tan⁡260∘=3\tan^2 60^\circ = 3 and sec⁡260∘−1=4−1=3\sec^2 60^\circ - 1 = 4 - 1 = 3. ✓

Working on both sides as if it were an equation. Don’t add, subtract, or cross-multiply across the equals sign. Transform one side (or each side separately) until they match.

“Proving” with one angle. A numerical check is a good sanity test, but an identity has to work for every angle, so you need algebra.

Treating sin⁡2x\sin^2 x as sin⁡(x2)\sin(x^2). sin⁡2x\sin^2 x means (sin⁡x)2(\sin x)^2.

Cancelling terms instead of factors. In sin⁡x+cos⁡xsin⁡x\dfrac{\sin x + \cos x}{\sin x}, you can’t cancel the sin⁡x\sin x. Split it into 1+cos⁡xsin⁡x1 + \dfrac{\cos x}{\sin x} instead.

Writing sin⁡x+cos⁡x=1\sin x + \cos x = 1. It’s the squares that add to 11, not the ratios themselves.

1. (Warm-up) Verify that sin⁡260∘+cos⁡260∘=1\sin^2 60^\circ + \cos^2 60^\circ = 1 using exact values.

Solution(32)2+(12)2=34+14=1\left(\frac{\sqrt{3}}{2}\right)^2 + \left(\frac{1}{2}\right)^2 = \frac{3}{4} + \frac{1}{4} = 1

2. (Warm-up) Prove sin⁡θtan⁡θ=cos⁡θ\dfrac{\sin\theta}{\tan\theta} = \cos\theta.

SolutionLS=sin⁡θ÷sin⁡θcos⁡θ=sin⁡θ×cos⁡θsin⁡θ=cos⁡θ=RS\text{LS} = \sin\theta \div \frac{\sin\theta}{\cos\theta} = \sin\theta \times \frac{\cos\theta}{\sin\theta} = \cos\theta = \text{RS}

3. (Warm-up) Prove csc⁡θsin⁡θ=1\csc\theta\sin\theta = 1.

SolutionLS=1sin⁡θ×sin⁡θ=1=RS\text{LS} = \frac{1}{\sin\theta} \times \sin\theta = 1 = \text{RS}

4. (Core) Prove sin⁡2x+cos⁡2xcos⁡x=sec⁡x\dfrac{\sin^2 x + \cos^2 x}{\cos x} = \sec x.

SolutionLS=1cos⁡x=sec⁡x=RS\text{LS} = \frac{1}{\cos x} = \sec x = \text{RS}

5. (Core) Prove cos⁡xtan⁡xcsc⁡x=1\cos x \tan x \csc x = 1.

SolutionLS=cos⁡x×sin⁡xcos⁡x×1sin⁡x=1=RS\text{LS} = \cos x \times \frac{\sin x}{\cos x} \times \frac{1}{\sin x} = 1 = \text{RS}

6. (Core) Prove (1−sin⁡2θ)(1+tan⁡2θ)=1(1 - \sin^2\theta)(1 + \tan^2\theta) = 1.

SolutionLS=cos⁡2θ(1+sin⁡2θcos⁡2θ)=cos⁡2θ+sin⁡2θ=1=RS\begin{aligned} \text{LS} &= \cos^2\theta\left(1 + \frac{\sin^2\theta}{\cos^2\theta}\right) \\ &= \cos^2\theta + \sin^2\theta \\ &= 1 = \text{RS} \end{aligned}

7. (Core) Prove sin⁡4x−cos⁡4x=sin⁡2x−cos⁡2x\sin^4 x - \cos^4 x = \sin^2 x - \cos^2 x.

Solution

Factor the left side as a difference of squares:

LS=(sin⁡2x−cos⁡2x)(sin⁡2x+cos⁡2x)=(sin⁡2x−cos⁡2x)(1)=RS\begin{aligned} \text{LS} &= (\sin^2 x - \cos^2 x)(\sin^2 x + \cos^2 x) \\ &= (\sin^2 x - \cos^2 x)(1) \\ &= \text{RS} \end{aligned}

8. (Core) Prove 11−sin⁡x+11+sin⁡x=2cos⁡2x\dfrac{1}{1 - \sin x} + \dfrac{1}{1 + \sin x} = \dfrac{2}{\cos^2 x}.

SolutionLS=(1+sin⁡x)+(1−sin⁡x)(1−sin⁡x)(1+sin⁡x)=21−sin⁡2x=2cos⁡2x=RS\begin{aligned} \text{LS} &= \frac{(1 + \sin x) + (1 - \sin x)}{(1 - \sin x)(1 + \sin x)} \\ &= \frac{2}{1 - \sin^2 x} \\ &= \frac{2}{\cos^2 x} = \text{RS} \end{aligned}

9. (Challenge) Show that sin⁡x+cos⁡x=1\sin x + \cos x = 1 is not an identity.

Solution

One counterexample is enough. At x=45∘x = 45^\circ:

sin⁡45∘+cos⁡45∘=22+22=2≈1.414≠1\sin 45^\circ + \cos 45^\circ = \frac{\sqrt{2}}{2} + \frac{\sqrt{2}}{2} = \sqrt{2} \approx 1.414 \ne 1

(It’s true for some angles, like 0∘0^\circ and 90∘90^\circ, so it’s an equation, not an identity.)

10. (Challenge) Prove tan⁡2x−sin⁡2x=tan⁡2xsin⁡2x\tan^2 x - \sin^2 x = \tan^2 x \sin^2 x.

SolutionLS=sin⁡2xcos⁡2x−sin⁡2x=sin⁡2x−sin⁡2xcos⁡2xcos⁡2x=sin⁡2x(1−cos⁡2x)cos⁡2x=sin⁡2x⋅sin⁡2xcos⁡2x=tan⁡2xsin⁡2x=RS\begin{aligned} \text{LS} &= \frac{\sin^2 x}{\cos^2 x} - \sin^2 x \\ &= \frac{\sin^2 x - \sin^2 x\cos^2 x}{\cos^2 x} \\ &= \frac{\sin^2 x(1 - \cos^2 x)}{\cos^2 x} \\ &= \frac{\sin^2 x \cdot \sin^2 x}{\cos^2 x} \\ &= \tan^2 x \sin^2 x = \text{RS} \end{aligned}