Guides · 9 min read
How to Prove a Trig Identity: A Step-by-Step Method
Proving a trigonometric identity feels different from every other kind of algebra, because it is. You are not solving for anything: there is no unknown to isolate and no answer to box. You are given a statement that is already true and asked to demonstrate why, one justified step at a time.
That difference has a consequence students often learn the hard way - the moves you are used to, such as adding the same thing to both sides or cross-multiplying, are not legal here. This guide sets out what is legal, gives a five-move playbook that opens almost every proof you will meet, and works five identities end to end.
An identity is not an equation
An equation such as 2 sin θ = 1 is true for particular values of θ and false for the rest; solving it means finding those values. An identity such as tan θ = sin θ / cos θ is true for every θ in its domain; proving it means showing the two expressions are the same expression in disguise.
The domain caveat matters: tan θ = sin θ / cos θ is an identity even though both sides are undefined at 90°, because an identity claims equality only where both sides are defined.
The rule that follows is the one most proofs are marked down for breaking. Because you are not solving an equation, you may not operate on both sides at once. Cross-multiplying, adding a term to each side, or squaring both sides all assume the statement is true in order to prove it, which is circular.
What you may do is transform one side, using known identities and ordinary algebra, until it becomes the other. If both sides are ugly, work each independently down to the same third expression and state that they meet - legitimate, because neither chain ever used the other side.
- Legal: rewrite one side step by step until it reads as the other.
- Legal: simplify each side independently to the same expression X, then conclude they are equal.
- Not legal: multiply both sides by the same expression, or cross-multiply a proportion.
- Not legal: square both sides. Squaring can create equality that was not there, since (−1)² = 1².
- Not legal: manipulate the statement itself until you reach 1 = 1. That proves nothing about the original.
The toolkit you are working with
Almost every proof at this level is built from four small families of identities. Write them all from memory, and more importantly recognise them inside a larger expression.
The three Pythagorean identities carry most of the weight. Learn their rearranged forms too - sin²θ = 1 − cos²θ, tan²θ = sec²θ − 1, cot²θ = csc²θ − 1 - because that is the shape you actually spot in the wild.
The Pythagorean, quotient and reciprocal identities. Add the even/odd rules and the double-angle formulas and you can prove essentially everything in a first course.
The five-move playbook
Work through these in order. It is rare to need more than two on the same problem, and if none of the five does anything, that is usually a sign the statement is not an identity at all.
The first move is the one people skip, and skipping it is why proofs stall. You can take an expression apart in far more ways than you can build one up, so working from the messy side towards the clean one gives you options; working the other way is guesswork.
- Move 1 - Start with the messier side. More terms, more fractions, more function names: that is where you begin, and the target is the other side.
- Move 2 - Convert everything to sine and cosine. Every secant, cosecant, tangent and cotangent has a definition in sin and cos, and rewriting them puts the expression in one language where the simplification is usually visible immediately.
- Move 3 - Combine over a common denominator. Whenever you see a sum or difference of fractions, add them. The resulting numerator is very often a Pythagorean identity waiting to collapse.
- Move 4 - Hunt for a Pythagorean pattern. Any sin²θ + cos²θ, sec²θ − tan²θ, or 1 − sin²θ is an invitation to substitute. This is the move that turns a long expression into a short one.
- Move 5 - Multiply by the conjugate. When a denominator looks like 1 − sin θ or sec θ − tan θ, multiply top and bottom by its conjugate; the difference of squares that results is a Pythagorean identity almost every time.
Five proofs, worked in full
Each isolates one move, so you see the playbook in action rather than in the abstract. Write out every step: a proof is a chain of justified equalities, and a jump you did not write down is one the marker cannot follow.
Proof 1 - moves 2 and 3: tan θ + cot θ = sec θ csc θ
Prove that tan θ + cot θ = sec θ csc θ for all θ where both sides are defined.
- The left side has two terms and two function names, so start there. Convert both to sine and cosine (move 2).
- Combine over the common denominator sin θ cos θ (move 3).
- The numerator is the Pythagorean identity, so it is exactly 1 (move 4).
- Split the single fraction into the product of two reciprocals.
Answer. The left side has become the right side using only the quotient, Pythagorean and reciprocal identities, so the statement is proved.
Proof 2 - move 5: cos θ / (1 − sin θ) = (1 + sin θ) / cos θ
Prove that cos θ / (1 − sin θ) = (1 + sin θ) / cos θ.
- The left has the awkward binomial denominator, so start there and multiply numerator and denominator by the conjugate 1 + sin θ (move 5).
This is multiplying by 1, which is always legal on one side. It is not the same as multiplying both sides by something.
- Expand the denominator as a difference of squares.
- The denominator is a rearranged Pythagorean identity: 1 − sin²θ = cos²θ (move 4).
- Cancel a factor of cos θ.
Answer. Proved. Note the temptation this identity is designed to test: cross-multiplying to get cos²θ = 1 − sin²θ looks convincing and is an illegal move on both sides at once.
Proof 3 - move 4 on a rearranged Pythagorean identity
Prove that (sec²θ − 1) / sec²θ = sin²θ.
- Start on the left: the numerator is the rearrangement of 1 + tan²θ = sec²θ.
- Convert both to sine and cosine (move 2).
- Dividing by 1/cos²θ is multiplying by cos²θ, so the cosines cancel.
Answer. Proved. Spotting sec²θ − 1 as tan²θ turned it into a one-line cancellation.
Proof 4 - bringing in the double-angle identities
Prove that (1 − cos 2θ) / sin 2θ = tan θ.
- The left side is messier, and it is in terms of 2θ while the right is in terms of θ. So the first job is to eliminate the double angles. Use the form of cos 2θ written in terms of sine only.
cos 2θ has three equivalent forms. Choosing the one that leaves you with sine only is what makes this proof short.
- Rewrite the denominator with the sine double-angle identity.
- Assemble and cancel the common factor 2 sin θ.
Answer. Proved. This is the half-angle tangent identity in disguise: replacing θ with θ/2 gives tan(θ/2) = (1 − cos θ) / sin θ.
Proof 5 - a sum-to-product proof
Prove that (sin A + sin B) / (cos A + cos B) = tan((A + B)/2).
- Both sums on the left convert directly using the sum-to-product identities.
- And the same for the denominator.
- Form the quotient. The factor 2 cos((A − B)/2) is common to both and cancels.
- That quotient is the definition of tangent.
Answer. Proved. When an identity mixes two angles on one side and their average on the other, sum-to-product is the intended route.
When the playbook runs out
Sometimes you convert everything to sine and cosine, combine the fractions, and still face something that does not look like the target. Before assuming you are stuck, try these.
Work backwards on scrap paper. Simplify the right-hand side as far as it will go and see whether the two chains meet. If they do, write the proof forwards from the left, or present it as two independent simplifications to a common expression - both are valid.
Look for a hidden 1. sin²θ + cos²θ, sec²θ − tan²θ and csc²θ − cot²θ all equal 1, and sometimes progress requires inserting one rather than removing one.
Factor before you expand. A numerator like sin³θ − sin θ factors to sin θ(sin²θ − 1) = −sin θ cos²θ, far more useful than the expanded form.
How to tell it is not an identity
Sometimes a question asks whether a statement is an identity rather than asserting it, and sometimes a textbook has a typo. To disprove one you need no argument: a single counterexample is a complete proof of falsity.
Take the classic wrong statement sin(α + β) = sin α + sin β, and choose α = β = 30°. The left side is sin 60° = √3/2 ≈ 0.866; the right side is 1/2 + 1/2 = 1. They differ, so the statement is false, and the correct expansion is sin α cos β + cos α sin β.
Make this a habit. Before spending ten minutes on a proof, test the statement at 30°, 45° or 60°. If it fails there, no algebra will save it. If it holds, you have proved nothing - but you now know the proof exists.
Frequently asked questions
Why can I not cross-multiply when proving an identity?
Cross-multiplying operates on both sides simultaneously, which presumes the two sides are already equal - the very thing you were asked to establish. The reasoning is circular. Multiplying one side by a conjugate over itself is fine, because that is multiplication by 1 applied to a single expression.
Which side should I start from?
The more complicated one: more terms, more fractions, or more different function names. Simplifying gives you far more legal moves than building up does. If the two sides are comparably messy, simplify each independently to a common third expression and state that they agree.
Is converting everything to sine and cosine always the right first step?
It is the reliable default and it will finish most first-course problems, though not always by the shortest route. When the expression already sits in one family - all secants and tangents, say - using 1 + tan²θ = sec²θ directly is usually quicker. Try the pattern first, and fall back on sin and cos if nothing appears within a step or two.
Do I need to worry about the domain in my write-up?
For a standard course proof, generally no: the identity is understood to hold wherever both sides are defined. It is worth a sentence, though, when a step cancels a factor that could be zero - for example cancelling cos θ implicitly assumes cos θ ≠ 0, which is already required for the original expression to exist.
How do I get faster at these?
Recognition, not memorisation. The five moves are quick to learn; what takes practice is seeing 1 − sin²θ and thinking cos²θ without pausing. Work through a dozen proofs writing out every step, and the substitutions start arriving before you have finished reading the problem.
Keep going
Practise it
Reading a method is not the same as running it under time pressure. The workspace drills this material in the quiz, and the triangle solver shows a worked solution for any triangle you type in.