To prove an identity, rewrite one side using a small set of core identities until it matches the other side, keeping algebra clean and steps reversible.
Trig identities can feel like magic tricks when you first meet them. One line turns into five, symbols shuffle around, and suddenly both sides match. The good news: there’s no magic. There’s a repeatable way to do this that works across homework sets, quizzes, and exam proofs.
This article gives you that repeatable method. You’ll learn what to rewrite first, how to pick the right identity, how to keep your work tidy, and how to spot traps that waste time. You’ll see full proofs with clear step choices, not “and then it’s obvious.”
What A Trig Identity Proof Is Really Asking
An identity is a statement that’s true for every value where both sides make sense. So a proof is not “solve for x.” It’s “show the left-hand expression always equals the right-hand expression.”
That changes your mindset. You’re not hunting a single answer. You’re rewriting expressions until two different-looking forms line up.
Identity Versus Equation
When you solve an equation, you’re allowed to do moves that shrink the set of solutions (like squaring both sides and forgetting to check). In an identity proof, you want each step to stay logically safe for all valid inputs. Clean rewriting beats risky “shortcuts.”
The One Rule That Saves Time
Pick one side and work on it until it matches the other side. Don’t rewrite both sides at once unless your teacher asks for it. Two moving targets can turn a 6-line proof into a 20-line mess.
How To Prove Trig Identities With A Clean Plan
If you’ve ever stared at an identity and thought, “Where do I even start?”, this is your start. Use this plan like a checklist.
Step 1: Scan For “Special” Pieces
Before you write anything, scan the identity for these common features:
- Squares (sin2, cos2, 1 − sin2, 1 − cos2)
- Tangent or cotangent (tan, cot) mixed with sine/cosine
- 1 ± something (a hint that a Pythagorean identity can appear)
- Products (sin x cos x, tan x sec x) that may come from double-angle or derivative-style patterns
- Fractions (one side is a single fraction, or both sides are complex fractions)
Step 2: Choose The “Messier” Side
Work on the side that looks harder: more terms, more fractions, more functions, more operations. Your goal is to simplify it into the cleaner side.
Step 3: Commit To A Target Form
Decide what the final look should be. Ask: “Does the other side use only sin and cos?” If yes, plan to rewrite everything into sin and cos. If the other side uses sec and tan, plan to rewrite into sec and tan.
Step 4: Rewrite, Then Simplify
Rewrite using identities first. Simplify with algebra second. Many students flip this and get stuck expanding too early.
Step 5: Keep Every Line Legible
Write one equals sign per line. Avoid jumping three rewrites in one step. A proof isn’t just about being right; it’s about making your path easy to follow when you check your own work.
Core Identities You’ll Use Again And Again
You don’t need a hundred formulas to prove most identities. You need a small set that you can deploy fast.
Pythagorean Identities
- sin2x + cos2x = 1
- 1 + tan2x = sec2x
- 1 + cot2x = csc2x
Reciprocal And Quotient Identities
- sec x = 1 / cos x, csc x = 1 / sin x, cot x = 1 / tan x
- tan x = sin x / cos x, cot x = cos x / sin x
Angle Sum And Double-Angle Patterns
When you see products like sin x cos x, a double-angle identity might be lurking. When you see sin(a ± b) or cos(a ± b), use addition/subtraction formulas.
If you want a reliable reference for addition formulas straight from a standards-grade source, NIST’s DLMF trigonometric identities page lists them with consistent notation.
Proof Moves That Work In Real Homework Sets
Most trig identity proofs fall into a few patterns. Learn the pattern, then apply it on demand.
Move 1: Turn Everything Into Sine And Cosine
This is the default move when tan, sec, csc, or cot show up in a messy mix. Converting to sin and cos often turns “trig chaos” into plain algebra with fractions.
Tip: If the final side has only sin and cos, this move usually wins.
Move 2: Use Pythagorean Identities To Remove 1 − sin2 Or 1 − cos2
Expressions like 1 − sin2x are begging to become cos2x, and 1 − cos2x wants to become sin2x. This move often cancels a fraction fast.
Move 3: Factor And Cancel Like It’s Algebra Class
After you rewrite, look for common factors. If you can factor a numerator, you can often cancel with a denominator and drop the complexity in one clean stroke.
Move 4: Multiply By A Conjugate When You See A “Plus Over Minus” Pattern
If you see something like (1 − sin x) / cos x and you want it to look like cos x / (1 + sin x), multiplying by (1 + sin x)/(1 + sin x) can flip the structure without changing the value.
Move 5: Build A Common Denominator Instead Of Expanding Early
When you have sums of fractions, expanding can balloon the work. Getting a shared denominator first often creates cancellations that never appear if you expand too soon.
Identity Toolbox And When To Reach For Each
The table below is a quick “grab list” you can glance at right before you start rewriting. It’s broad on purpose, since most proofs reuse these same levers.
| Trigger You Notice | Rewrite You Try | Why It Helps |
|---|---|---|
| tan, sec, csc, cot mixed with sin/cos | Convert to sin and cos using quotients/reciprocals | Turns trig functions into fractions you can simplify |
| 1 − sin2x or 1 − cos2x | Use sin2x + cos2x = 1 | Replaces “1 ± square” with a single square |
| 1 + tan2x or 1 + cot2x | Swap to sec2x or csc2x | Often collapses a messy sum into one term |
| Products like sin x cos x | Try a double-angle form, like sin 2x = 2 sin x cos x | Compresses two factors into one function |
| Fractions stacked inside fractions | Multiply top and bottom by a common denominator | Clears “nested” fractions into clean algebra |
| Same trig function appears in many terms | Factor it out first | Creates cancellations and shorter lines |
| (1 ± sin x) or (1 ± cos x) patterns | Multiply by the conjugate | Converts a difference into a Pythagorean-friendly form |
| Both sides are sums with different denominators | Build a common denominator before expanding | Reveals cancellations that expansion can hide |
Worked Proof 1: Fractions And Pythagorean Cleanup
Claim: (1 − sin2x) / cos x = cos x
Work the left side:
(1 − sin2x) / cos x
= (cos2x) / cos x
= cos x
That’s the whole idea in a clean three lines: spot 1 − sin2x, rewrite it, cancel one factor of cos.
Worked Proof 2: Converting To Sine And Cosine
Claim: (sec x − cos x) / tan x = sin x
Work the left side:
(sec x − cos x) / tan x
= ( (1/cos x) − cos x ) / (sin x / cos x)
= ( (1 − cos2x) / cos x ) · (cos x / sin x)
= (1 − cos2x) / sin x
= sin2x / sin x
= sin x
Two choices make this proof smooth: rewrite sec and tan into sin/cos early, then use 1 − cos2x = sin2x right when it appears.
Worked Proof 3: A Conjugate That Pays Off
Claim: (1 − sin x) / cos x = cos x / (1 + sin x)
Work the left side:
(1 − sin x) / cos x
= (1 − sin x) / cos x · (1 + sin x) / (1 + sin x)
= (1 − sin2x) / (cos x(1 + sin x))
= cos2x / (cos x(1 + sin x))
= cos x / (1 + sin x)
This is the classic “conjugate makes a square” move. It turns a stubborn (1 − sin x) into (1 − sin2x), which instantly becomes cos2x.
How To Check Your Proof Without Rewriting Everything
When you finish and both sides match, you’re done. Still, checking helps catch small algebra slips. Here are fast checks that don’t add many lines.
Quick Check 1: Domain Scan
Look for denominators you might have silently divided by. If you canceled cos x, your work assumes cos x ≠ 0. That’s fine if the original identity also has cos x in a denominator. If it doesn’t, pause and review your steps.
Quick Check 2: Plug A Friendly Angle (Only As A Sanity Test)
Try x = 0 or x = π/4 if the expressions are defined there. If the two sides don’t match at that value, there’s a mistake. If they do match, it’s a good sign, not a full proof.
Quick Check 3: Match The “Function Set”
If your target side is written only with sin and cos, your final line should be, too. If tan or sec is still hanging around, you may have stopped early.
Common Identity Shapes And The Move That Fits
When you’re stuck, the shape of the expression usually tells you what to try next. Use this as a “pattern match” list.
| Expression Shape | Move To Try | What You’re Hoping To Create |
|---|---|---|
| Rational mix of sec/tan or csc/cot | Rewrite into sin and cos first | A single fraction you can factor and cancel |
| 1 ± trig function in a numerator | Multiply by a conjugate | A squared term like 1 − sin2x or 1 − cos2x |
| Sums of fractions with different denominators | Build a common denominator | Natural cancellations across terms |
| Many squares scattered across the line | Use a Pythagorean identity to swap one square out | Fewer terms and easier factoring |
| Products like sin x cos x | Try a double-angle identity | One trig function in place of two factors |
| Same trig function repeats everywhere | Factor that function early | A common factor that cancels a denominator |
Practice Set With Setup Hints
Try these in order. The hint is just a nudge, so you still do the real work.
Practice 1
Claim: (1 + tan2x) / sec x = sec x
Hint: Swap 1 + tan2x for sec2x, then cancel.
Practice 2
Claim: (sin x / (1 + cos x)) = (1 − cos x) / sin x
Hint: Multiply the left side by (1 − cos x)/(1 − cos x) and use 1 − cos2x = sin2x.
Practice 3
Claim: (tan x + cot x) = (sec x csc x)
Hint: Convert tan and cot into sin/cos, combine into one fraction, then simplify.
Practice 4
Claim: (sec x − 1)(sec x + 1) = tan2x
Hint: Treat it like algebra: (a − 1)(a + 1) = a2 − 1, then use sec2x − 1 = tan2x.
What To Do When You’re Stuck Mid-Proof
It happens. You rewrite a bit, and the expression gets uglier. Don’t panic. Use this short reset routine.
Reset 1: Stop Expanding
If you started multiplying out binomials and the line doubled in size, pause. See if factoring or a common denominator would shrink it instead.
Reset 2: Change Your Target Form
If you tried to force everything into sine and cosine and it got messy, check the other side. If the other side is built from sec and tan, rewrite into sec and tan instead.
Reset 3: Look For A Single “Bridge” Identity
Many proofs hinge on one bridge: turning 1 − sin2 into cos2, or turning 1 + tan2 into sec2, or converting tan into sin/cos. Once that bridge is in place, the rest is algebra.
If you want extra practice with structured identity work, Khan Academy’s trig identity reference is a handy set of grouped formulas you can scan while you practice.
A Tight Checklist You Can Use On Any Proof
- I chose one side to rewrite, and I’m keeping the other side as the target.
- I picked a target form (sin/cos or sec/tan) and I’m sticking with it.
- I rewrote first, then simplified with algebra.
- I watched for Pythagorean swaps: 1 − sin2, 1 − cos2, 1 + tan2, 1 + cot2.
- I factored when possible and canceled only common factors.
- I kept steps small enough that I can retrace them fast.
- I did a quick domain scan so I didn’t cancel something I wasn’t allowed to cancel.
References & Sources
- NIST Digital Library Of Mathematical Functions (DLMF).“§4.21 Identities (Trigonometric Functions).”Lists addition and related trigonometric identities in standard mathematical notation.
- Khan Academy.“Trig Identity Reference.”Organizes common identities (Pythagorean, reciprocal, quotient, angle-based) for practice and review.