DoAssignment.ca
B3.3 · Prove trigonometric identities
Learn to prove trigonometric identities through clear examples and targeted practice.
Ontario Grade 12 Mathematics
Trigonometric Functions
A Grade 12 guide to using known relationships to show two expressions are equal
A trigonometric identity is an equality that is true for every allowed input, not just for one angle. To prove one, start with one side and use known trigonometric relationships to rewrite it until it matches the other side. Each rewrite must preserve the value of the expression wherever it is defined. This lesson reviews the relationships needed for that work, then applies them in a guided proof.
What you will learn
- Explain what a trigonometric identity is and how it differs from an equation that is true only for certain values.
- Recall the reciprocal, quotient, and Pythagorean trigonometric identities used in proofs.
- Prove an identity by changing one side into the other while keeping each step equivalent.
- Recognize common errors, including changing both sides without showing why and ignoring where expressions are undefined.
1. Prerequisite bridge: equations, ratios, and domains
An equation states that two expressions have the same value. Some equations are true only for particular values of the variable. For example, is true when . An identity is stronger: it is true for every allowed value of its variable.
The word allowed matters. Trigonometric expressions can be undefined at some angles. For example, is defined only when . A proof must concern values for which the expressions being compared are defined.
When simplifying, use familiar algebra carefully. You may factor, combine fractions, or replace a quantity with an equal one. You may cancel a common factor only when that factor is not zero. These rules apply to trigonometric expressions just as they do to ordinary algebra.
- An identity is true for all inputs where both sides are defined.
- Check denominators and excluded values before cancelling or dividing.
- A proof gives a chain of equal expressions, not just a numerical example.
2. The main relationships and how to choose one
The sine, cosine, and tangent ratios are connected by standard identities. The reciprocal identities define cosecant, secant, and cotangent as reciprocals. The quotient identities express tangent and cotangent as ratios of sine and cosine. The Pythagorean identities connect squares of these ratios.
In a proof, first look for a form that appears in the expression you need to change. A tangent may be easier to work with as sine divided by cosine. A squared sine beside a squared cosine may suggest using the Pythagorean identity. Rewriting is useful only when it moves the expression toward the target.
A reliable approach is to work on one side, usually the more complicated one. Write the identity you use at the step where it applies. Do not assume that two sides are equal just because a calculator gives matching decimal values for a few angles. A few checks can find errors, but they do not establish an identity.
- Reciprocal identities connect a ratio with its reciprocal.
- Quotient identities can replace tangent or cotangent with sine and cosine.
- Pythagorean identities often simplify sums or differences of squared ratios.
- Choose substitutions that make the current expression resemble the other side.
3. A proof as a chain of equivalent expressions
To prove an identity, write one side and transform it step by step. Each line should have the same value as the line before it for all relevant inputs. The final line should be exactly the other side, or a form that is clearly equal to it.
The choice of starting side is strategic. If one side contains more fractions or trigonometric functions, it often offers more opportunities to simplify. Starting with the simpler side can also work, but do not move terms across an equality as if you were solving for an unknown. The goal is to show that a single expression can be rewritten into the target.
For a proof that contains fractions, keep track of where each denominator is zero. If the original expression is undefined at an angle, the identity does not claim that the expression has a value there. Avoid creating a proof that silently divides by a quantity that could be zero.
A short note beside a line can name the rule used, such as a quotient identity or a difference of squares. The algebra itself should still be visible. This lets a reader check both the choice of identity and the simplification.
- Transform one side at a time and make each equality readable.
- Name the identity or algebra rule that justifies a significant rewrite.
- Finish at the other side without changing the meaning of the expression.
4. Applying the method and checking the result
In the worked proof, the left side contains secant and tangent. Their definitions turn both into expressions involving sine and cosine. This makes it possible to combine terms over a common denominator and use the Pythagorean identity. The proof does not need a diagram or a list of angle measurements because it relies on relationships that hold throughout the expressions' domain.
After a proof, check its structure. Did you begin with one side? Is every change justified by an identity or algebra rule? Does the final expression match the other side? Are there any denominators that restrict the allowed angles? These checks help catch errors that a calculator check might miss.
A numerical check can still be a useful first step when you are unsure whether a proposed identity is plausible. Choose an angle where all terms are defined and compare both sides. If the results differ, the statement is not an identity. If they match, continue with a proof; one successful test is not enough to prove it.
- Use definitions to rewrite less familiar ratios in terms of sine and cosine.
- Use algebra to expose a known identity.
- Numerical checks can disprove a claim but cannot prove it for every allowed angle.
Worked example
Rewrite secant and tangent using sine and cosine
Prove that for every angle where the left side is defined.
- Set the domainThe left side contains and . Both require . In addition, the full fraction requires , so . The proof will apply where both conditions hold.
- Use the reciprocal and quotient identitiesStart with the left side. Replace secant with and tangent with . These replacements follow from the definitions of the reciprocal and quotient ratios.
- Combine the terms in the numeratorWrite the numerator over a common denominator. This turns the difference into a single fraction and makes the Pythagorean identity visible.
- Apply the Pythagorean identitySince , subtracting gives . Substitute this equal expression into the numerator.
- Simplify the complex fractionDividing by a fraction means multiplying by its reciprocal. The factors and one factor of cancel because both are nonzero on the stated domain. The result is the right side.
Answer: Therefore, wherever the original left side is defined.
Check: The original denominator is , and secant and tangent also require . Thus the proof's restrictions, and , match the domain of the original expression.
Common mistakes and how to avoid them
Checking several angles and calling the identity proved.
Correction: A few values can test a claim but cannot show it is true for every allowed angle. Use identities and algebra to create a general chain of equal expressions.
Changing both sides at once without showing how they are connected.
Correction: Work from one side toward the other. This makes the reasoning clear and helps reveal an invalid step.
Cancelling a factor that might be zero.
Correction: State the domain and confirm that the factor is nonzero before cancelling it. Do not assign a value to an expression at an angle where it is undefined.
Using an identity in the wrong direction or misremembering its sign.
Correction: Check the relationship before substituting. For example, , while does not equal .
Lesson summary
- A trigonometric identity is true for every input where both sides are defined.
- The reciprocal, quotient, and Pythagorean identities provide the main substitutions used in these proofs.
- Start with one side, justify each rewrite, and continue until it matches the other side.
- Keep track of denominators and nonzero factors, especially when cancelling.
- Numerical checks can help test a claim, but a proof must establish it generally.
Check your understanding
Question 1
Which expression is equal to ?
Show answer and explanation
From , subtract from both sides to get .
Question 2
Why is testing an identity at three angles not a proof?
- An identity must be checked only in degrees.
- Three successful tests do not show that equality holds for every allowed angle.
- Trigonometric ratios cannot be evaluated at specific angles.
- A proof can use only the Pythagorean identity.
Show answer and explanation
Three successful tests do not show that equality holds for every allowed angle.
A test checks only selected inputs. A proof uses valid relationships and algebra to establish equality for all inputs in the domain.
Question 3
For which condition is defined?
Show answer and explanation
The quotient has as its denominator, so it is defined when .
Key terms
- Identity
- An equality that is true for every allowed value of its variable.
- Domain
- The set of input values for which an expression is defined.
- Reciprocal identity
- A relationship that expresses one trigonometric ratio as the reciprocal of another, such as .
- Quotient identity
- A relationship that expresses tangent or cotangent as a ratio of sine and cosine.
- Pythagorean identity
- A relationship among squared trigonometric ratios, including .
Continue through MHF4U
View the complete MHF4U Ontario Grade 12 Mathematics curriculum and lessons
- B1.1 · Define radian measure and convert degrees and radians
- B1.2 · Represent radian measures exactly and approximately
- B1.3 · Evaluate primary and reciprocal ratios in radians
- B1.4 · Determine exact ratios for special radian angles
- B2.1 · Graph sine and cosine functions in radians
- B2.2 · Graph the tangent function in radians
About this lesson
Published by DoAssignment. This AI-assisted lesson follows Ontario Grade 12 Mathematics (MHF4U), expectation B3.3. It is a study resource, not an official curriculum publication.