5.11 Proofs with trigonometric functions and identities — Learn
Prerequisites: the basic identities; the addition and double-angle formulae; proving a simple identity by working on one side.
By the end of this section you can: prove an identity that uses the addition or double-angle formulae; choose which side to work on; avoid circular reasoning; present a proof as a clean chain of equals signs.
1. The shape of a trigonometric proof
A proof of an identity is a chain of statements that are equal for every value of the angle. Three rules keep the proof honest:
- Start with one side and leave the other side alone until the final line.
- At each step, name the identity or formula you used.
- Finish with the left-hand side exactly equal to the right-hand side, and state any angle where a denominator vanishes.
If you find yourself changing both sides at once, you have assumed the result. If you find yourself using the identity you are trying to prove, the argument goes in a circle.
2. Using the addition and double-angle formulae
Example 1. Prove that .
Start with the left-hand side and expand the square:
Group the two squares and use :
The double-angle formula says , so
The left-hand side equals the right-hand side, so the identity is proved.
Example 2. Prove that .
Use the two addition formulae:
This is a difference of two squares, :
Replace with and with :
Expand and collect:
The identity is proved.
3. Writing everything in sines and cosines
When a proof mixes tangent, secant or cotangent with a double angle, a good first move is to write every function in terms of sine and cosine.
Example 3. Prove that .
Start with the right-hand side and replace tangent with sine over cosine:
Multiply the top and the bottom by :
Example 4. Prove that for .
Start with the left-hand side:
Multiply the numerator and the denominator by :
Watch out. Three mistakes are common in these proofs.
Starting from both sides. A proof must start from one side. Changing both sides at once assumes the identity and proves nothing.
Using the target. If the proof of an identity uses that identity, the argument is circular. Keep a note of which standard formula each line uses, and make sure none of them is the statement you are proving.
Ignoring the domain. An identity such as is not defined where . State the excluded values. Re-check: substitute a convenient angle, such as , into both sides to confirm the identity numerically.
You should now be able to
- prove an identity by expanding and using ;
- use the addition formulae to prove a product identity;
- convert tangent, secant and cotangent into sines and cosines;
- show the double-angle formulae follow from the addition formulae;
- state the values of the angle where an identity is not defined.