The idea, step by step
Prove a statement on its domain
An identity holds for every value where both original sides are defined. Numerical examples can disprove a claim but a finite set of examples cannot prove an identity over all real angles.
Start with the more complicated side and transform it using valid equalities. Useful strategies include writing everything in sine/cosine, taking a common denominator, factorising and using conjugates. Each line should explain why it equals the previous line.
Do not lose the exclusions
List denominators and exclude their zeros before simplifying. Cancelling a common factor does not restore inputs excluded by the original expression. The final formula can have a larger natural domain than the expression it replaced.
Avoid assuming the statement and ending with unless every step has been justified as reversible. A chain starting from one side and reaching the other is usually clearer and makes cancellation restrictions visible.
A common trap
Restoring cancelled zeros to the domain of the original expression.
Instead: State the exclusions from the original expression even when the simplified formula exists at more points.
See the thinking
Example 1
Prove where both sides are defined.
- Require .
- Write the left side as .
- Use a common denominator: .
Example 2
Simplify , with the original restrictions.
- Require , so .
- Replace the numerator by and denominator by .
- Cancel to obtain , retaining the original exclusions.
Check your understanding
Is an identity?
Show answer
No.
At the sides are 0 and 1, so the equality is only true at selected angles.
Your turn
6 questions · 12 marks · Work at your own pace.
Read the questions online
- Prove wherever defined.2 marks
- Show where both sides are defined.2 marks
- Prove .2 marks
- Simplify , preserving restrictions.2 marks
- Disprove using .2 marks
- Prove .2 marks
Read the worked solutions
Equivalent correct methods earn the corresponding marks. Include units where asked.
- Prove wherever defined.2 marks
For , .
Divide the Pythagorean identity by and rearrange. - Show where both sides are defined.2 marks
On the common domain , multiply numerator/denominator by .
Use .
The original left side alone is also defined at some additional points, such as 0.
It follows by multiplying by the conjugate and cancelling. - Prove .2 marks
The left side is .
Expand, combine squares and use double-angle sine. - Simplify , preserving restrictions.2 marks
Factor the numerator as and cancel the nonzero common factor.
, for . - Disprove using .2 marks
Every relevant tangent exists at this pair, so it is a valid counterexample.
The sides are and , which differ. - Prove .2 marks
For , the product equals .
Apply difference of squares and the secant identity.
Curriculum reference & lesson scope
SACE Board of South Australia
Stage 1 Mathematics, Further Trigonometry: periodic functions and models, trigonometric identities and reciprocal functions; the Library sequence follows the approved school-topic structure.
Official curriculum source ↗