Essential trigonometric identities: Pythagorean, ratio, complementary and double angle
“Use Pythagorean, ratio, double angle and complementary identities to simplify expressions and prove equalities”
The essential identities are the Pythagorean (and its / variants), the ratio identities for , , , , the complementary and reflection identities, and the double angle identities and in its three equivalent forms.
What this dot point is asking
NESA wants you to know the standard trigonometric identities, choose the right one when simplifying or proving an equivalence, and use them to manipulate expressions involving , and , including double angle forms.
Think of trig identities as a set of translation phrases for the same idea, like knowing that "twelve" and "a dozen" and "half of two dozen" all mean the same thing. A messy expression full of , and is just one wording of an answer that has a much shorter wording, and an identity is the phrase-book entry that lets you swap one for the other. The most important entry, , is really just Pythagoras' theorem in disguise, borrowed from a triangle drawn inside a circle of radius one. Proving an identity is like showing two sentences say the same thing: you rewrite one, one small swap at a time, until it reads exactly like the other. The trick is not memory, it is picking which phrase to swap in next.
The skill being tested is not memory, it is selection: from a small toolbox of identities, picking the one that turns a messy expression into a clean one, or that transforms one side of a "prove that" into the other. Two habits separate full marks from partial: knowing that almost everything can be rewritten in terms of and alone (so when stuck, convert), and respecting the rule that a proof works down one side only, never juggling both sides at once. Get those two right and identity questions become mechanical.
The answer
The Pythagorean identity
For any angle ,
This is not an arbitrary rule to memorise; it is Pythagoras' theorem applied to the right triangle inside the unit circle. A point on the unit circle at angle has coordinates , so the horizontal leg is , the vertical leg is , and the hypotenuse is the radius . Pythagoras gives .
Two useful rearrangements (dividing by and respectively):
These let you swap freely between and , between and , and so on.
Ratio identities
Complementary angle identities
The complement of is (in degrees, ). Co-function pairs:
These come from triangle geometry: in a right triangle, of one acute angle equals of the other.
Supplementary, negative angle, and reflection identities
These follow from the symmetry of the unit circle.
Double angle identities
For :
For (three equivalent forms, using the Pythagorean identity):
For :
The choice of form for depends on what you want to keep or eliminate.
The identities worth knowing cold:
- Pythagorean: , hence and .
- Ratio: (and the reciprocals , , ).
- Double angle: and .
The three forms of are not three facts but one, rewritten with . Pick the form whose function you want to keep: use to land everything in cosine, to land in sine. Those two also rearrange into the power-reduction formulas below.
Power reduction (useful when integrating)
From the double angle identities,
These convert squares of sine and cosine into linear expressions in , which is much easier to integrate.
Proof strategy
To prove an identity, start on one side (usually the more complicated) and transform it into the other using the identities above. Useful tactics:
- Convert everything to and .
- Replace with or vice versa.
- Apply a double angle identity when an angle is doubled or halved.
- Look for a common factor or a common denominator.
Do not start with the statement of the identity and manipulate both sides simultaneously. Take one side, work to the other, and conclude with "as required" or "QED".
A proof, stage by stage
Here is the proof of run as a chain of transformations. Read it top to bottom; each box is the line above with exactly one identity applied.
- Stage 1, commit to the left-hand side
- Choose the messier side, the fraction, and aim to reach . Never touch the right-hand side.
- Stage 2, substitute the double angle identities
- Replace with the form (chosen because the leading will cancel) and with .
- Stage 3, simplify the numerator
- , leaving .
- Stage 4, cancel to the right-hand side
- Cancel the common to get , which is the right-hand side. As required.
How exam questions ask about identities
The verbs tell you what kind of answer earns the marks:
- "Simplify ..." Rewrite as a single, shorter expression. Look first for the Pythagorean identity hiding as , , or .
- "Prove that ... " or "Show that LHS = RHS." Work down one side only to reach the other, and write a concluding line (", as required"). Both-sides juggling scores zero for method.
- "Find the exact value of given and the quadrant." Get from the Pythagorean identity, fix its sign from the quadrant, then apply the double angle formula.
- "Express ... in terms of / a single trig function." A power-reduction or convert-to-one-function task: use or replace , etc. by and .
- "Hence ... " after an identity part. Use the identity you just established as the substitution in the next part, typically to solve an equation or evaluate an integral.
- An expression mixing , , , . The default rescue move: rewrite everything in and , put over a common denominator, and simplify.
For a "prove" question, write "LHS " at the top of your working and keep transforming that single expression until it becomes the RHS; markers award method marks line by line, so show every identity used and end with "". When choosing a form of , look ahead: pick the version whose cancels with another term. If you are stuck, convert everything to and , it almost always opens the problem. For an exact-value question, the marks split across the Pythagorean step, the correct sign from the quadrant, and the double angle formula, so set those out as separate lines. Keep a common denominator tidy and factor before cancelling, never cancel across a or .
Five calculations showing how to use the Pythagorean identity to simplify, prove an identity by working from one side, apply a double angle identity, find an exact value, and use power reduction.
Simplify using the Pythagorean identity
Simplify .
The numerator is a rearrangement of the Pythagorean identity: gives .
Substitute:
Prove an identity by transforming the left-hand side
Prove .
Work from the left-hand side only. Rewrite as , combine over a common denominator, then recognise the Pythagorean identity in the numerator:
As required.
Apply a double angle identity to expand
Express using only single-angle functions. Replace with the double angle identity :
If the question asks for everything in terms of alone, use to get .
Find an exact value using complementary and half-angle identities
Find given .
By the complementary identity, (since ). Use the power reduction (half-angle) formula with :
Since is in the first quadrant, :
Use power reduction to linearise a squared trig expression
Rewrite without any squared trig function. The power reduction formula is , which comes from solving for . Substitute:
This form is linear in , which makes integration straightforward.
Final answers: ; proved; ; ; .
- Treating as
- . The factor is essential.
- Dropping the sign in
- All three forms (, , ) are equivalent but easy to mis-write.
- Forgetting the domain restriction
- Identities like require . If a problem includes , be careful.
- Manipulating both sides simultaneously
- When proving an identity, do not start from the conclusion and work both sides; that is not a valid proof. Pick one side and transform it.
- Sign errors from the quadrant
- When given a value of and a quadrant, the sign of (or ) depends on the quadrant: positive in Q1; sine positive, cosine negative in Q2; both negative in Q3; cosine positive, sine negative in Q4.
Exam-style questions
Questions in the style of NESA exam questions on this dot point, each with a worked answer. They are written by ExamExplained unless tagged "Past paper"; the year shows the paper a question is modelled on.
HSC-style3 marksProve that .Show worked answer →
Use the double angle identities and .
.
Markers reward the choice of the correct double angle forms, the cancellation, and a final line that is clearly the right-hand side.
HSC-style3 marksGiven and is in the second quadrant, find the exact value of .Show worked answer →
In the second quadrant and .
Pythagorean identity: , so (negative in Q2).
.
Markers expect the correct sign of from the quadrant, the double angle formula, and the exact answer.
Practice questions
Original practice questions graded from foundation to exam level, each with a full worked solution. Try them before revealing the solution.
foundation2 marksSimplify .Show worked solution →
Recognise the Pythagorean identity in the denominator. From , rearranging gives :
Marker's note: one mark for replacing with via the Pythagorean identity, one for the simplified value . Leaving the answer as without cancelling does not earn the second mark.
foundation2 marksGiven and is in the first quadrant, find the exact value of .Show worked solution →
Find with the Pythagorean identity. In the first quadrant :
Apply the double angle formula.
Marker's note: one mark for (positive from Q1), one for via . Forgetting the factor of is the usual slip.
foundation3 marksProve that .Show worked solution →
Work from the left-hand side only. Replace using the Pythagorean identity , which factors as a difference of two squares:
Cancel the common factor.
As required.
Marker's note: one mark for , one for factoring , one for cancelling to reach the RHS. Juggling both sides at once scores zero for method.
core3 marksProve that .Show worked solution →
Convert the left-hand side to and .
Put over a common denominator and use the Pythagorean identity.
Introduce the double angle form. Since , we have :
As required.
Marker's note: one mark for converting to and over a common denominator, one for simplifying the numerator to via , one for the double angle substitution to reach . Starting from the RHS is equally valid but must still work down one side only.
core3 marksThe graph of is drawn for . It starts at , falls to a minimum of at , and returns to at , crossing the -axis at and . Using the identity , find the exact values of in for which , and confirm they match the graph.Show worked solution →
Set and substitute the double angle form.
Solve for over the domain. Since , , so we take the positive root:
Confirm against the graph. These are exactly the two -intercepts described, at and , so the algebra matches the picture.
Marker's note: one mark for reducing to , one for both solutions in the domain (rejecting the negative root because on ), one for stating they match the graph's intercepts. Working in degrees, or dropping the second solution, loses marks.
core4 marksGiven and is in the third quadrant, find the exact values of and .Show worked solution →
Find and with the correct quadrant signs. In the third quadrant both and . From , a reference triangle has opposite , adjacent , hypotenuse , so
Apply the double angle formulas.
Marker's note: one mark for the reference triangle values and , one for fixing both signs negative in Q3, one for , one for . Note even though is in Q3, because the two negatives multiply to a positive.
exam5 marksProve that , and hence solve for .Show worked solution →
Prove the identity, working from the left-hand side. Substitute the double angle forms and (chosen so the cancels):
Cancel the common :
As required.
Hence solve the equation. The identity turns the equation into
Over , tangent takes the value at
The other solution of in the interval would be , which exceeds , and is excluded because there, so the only solution is .
Marker's note: two marks for the proof (one for the double angle substitutions with the form of that cancels, one for cancelling to ), one for using it to reach , one for , and one for justifying that no other value in qualifies (checking the restriction ). Omitting the domain check caps the final mark.
exam5 marksShow that , and hence find the exact value of .Show worked solution →
Show the identity by factoring a difference of two squares.
The second factor is by the Pythagorean identity, and the first is a form of :
As required.
Hence integrate the simpler expression. Replacing the integrand with :
Evaluate at the limits.
Marker's note: one mark for factoring as a difference of squares, one for using and identifying , one for the antiderivative , one for correct substitution of the limits in radians, one for the exact value . Integrating directly without simplifying first is the trap; the "show that" hands you the shortcut.