Further Trig Identities
Rewrite one side into the other
A proof must work for every angle in the original domain. Numerical substitutions can check a result but cannot prove an identity. Start with the more complicated side and choose a rewrite suggested by the target.
Reciprocal names often simplify into sine and cosine. A squared pair suggests a Pythagorean identity; a doubled input suggests a double-angle formula.
Worked example
Prove that 2 sin θ cosec 2θ ≡ sec θ.
(9709/22/M/J/24 Q7(a)) Start with the left-hand side. It requires , so both and are non-zero.
Cancelling sine is valid on that original domain. The simplified expression is also defined at some extra angles, such as zero, but those are not newly allowed values of the original expression.
Prove , stating the original restriction.
Show worked answer
Require throughout.
Combine fractions before applying the identity
For fractions with different denominators, use a common denominator. Here the product of a sum and a difference gives a difference of squares.
Worked example
Simplify 1/(1 + cos x) + 1/(1 − cos x).
The original denominators require .
The numerator loses its cosine terms; the denominator becomes a squared sine. Both sides exclude the same multiples of .
Prove . Is the original expression defined at ?
Show worked answer
The original requires . It is not defined at zero, even though .
