BetterGrades Precalculus · Unit 11 · Lesson
Identities, equations, and proof strategy
Distinguish identities from conditional equations and use valid one-sided transformation strategies.
The problem that opens the lesson
Is an identity? State the exact common domain on which the equality is valid.
Solution
Begin by identifying the mathematical object and the information that fixes it. Begin with the more complicated side, preserve equality through each step, name the identity or algebraic operation used, and stop when the other side appears. Do not begin by assuming the two sides are equal. The relevant conditions are not optional bookkeeping: A proof is valid only where each written expression is defined. If the original statement has a restricted common domain, state it. Following that structure gives Yes where sin is nonzero; the left side is undefined at integer multiples of pi.
Why this works
The common domain matters because algebraic simplification can remove a factor that was originally zero or introduce a reciprocal that excludes additional inputs. The calculation and the representation should agree, so a graph, diagram, table, or substitution check should support the same conclusion.
What this lesson is really about
A trigonometric identity is an equation true for every input in the common domain of both sides. A conditional equation is true only for selected inputs.
Identity verification is a proof task: the goal is to transform one expression through valid equivalences until it matches the other. Substituting sample values can detect false statements but cannot prove an identity over infinitely many inputs.
The point is not merely to reproduce a formula. A learner should be able to identify the quantities or geometric objects involved, explain why the relationship has its stated form, and recognize when the same idea appears in a graph, table, diagram, or model.
Why the relationship works
The common domain matters because algebraic simplification can remove a factor that was originally zero or introduce a reciprocal that excludes additional inputs.
A reliable way to work
Begin with the more complicated side, preserve equality through each step, name the identity or algebraic operation used, and stop when the other side appears. Do not begin by assuming the two sides are equal.
A proof is valid only where each written expression is defined. If the original statement has a restricted common domain, state it.
After the symbolic work is complete, check the result. Depending on the lesson, this may mean substituting into an original equation, comparing coordinates, examining a graph, checking units, testing an interval, or confirming that every branch of a periodic solution has been included.
What commonly goes wrong
A common error is circular reasoning: using the identity being proved, or multiplying both sides together in a way that assumes equality.
The repair is to return to the definition and identify the first step where the invalid solution stops describing the original mathematical object. Later algebra cannot rescue a first step that changed the domain, orientation, branch, or meaning of the problem.
Worked examples
Worked example 1
Is an identity? State the exact common domain on which the equality is valid.
Solution
Begin by identifying the mathematical object and the information that fixes it. Begin with the more complicated side, preserve equality through each step, name the identity or algebraic operation used, and stop when the other side appears. Do not begin by assuming the two sides are equal. The relevant conditions are not optional bookkeeping: A proof is valid only where each written expression is defined. If the original statement has a restricted common domain, state it. Following that structure gives Yes where sin is nonzero; the left side is undefined at integer multiples of pi.
Why this works
The common domain matters because algebraic simplification can remove a factor that was originally zero or introduce a reciprocal that excludes additional inputs. The calculation and the representation should agree, so a graph, diagram, table, or substitution check should support the same conclusion.
Transfer example
Problem
Classify sin as equation, not identity.
Worked development
Begin with the more complicated side, preserve equality through each step, name the identity or algebraic operation used, and stop when the other side appears. Do not begin by assuming the two sides are equal. In this example, the first useful move is to make the defining structure visible rather than to search for a memorized answer. Identity verification is a proof task: the goal is to transform one expression through valid equivalences until it matches the other. Substituting sample values can detect false statements but cannot prove an identity over infinitely many inputs. Then apply the conditions explicitly: A proof is valid only where each written expression is defined. If the original statement has a restricted common domain, state it. Finish by checking the result in a second representation and explaining what the result means.
Interpretation
Identity reasoning supports simplification, equation solving, signal analysis, and later calculus manipulations.
Reasoning example
Problem
Identify a circular proof that begins by assuming the desired equality.
Worked development
Begin with the more complicated side, preserve equality through each step, name the identity or algebraic operation used, and stop when the other side appears. Do not begin by assuming the two sides are equal. In this example, the first useful move is to make the defining structure visible rather than to search for a memorized answer. Identity verification is a proof task: the goal is to transform one expression through valid equivalences until it matches the other. Substituting sample values can detect false statements but cannot prove an identity over infinitely many inputs. Then apply the conditions explicitly: A proof is valid only where each written expression is defined. If the original statement has a restricted common domain, state it. Finish by checking the result in a second representation and explaining what the result means.
Interpretation
Identity reasoning supports simplification, equation solving, signal analysis, and later calculus manipulations.
Worked example 4: quick check
Why does an identity proof need a common domain?
Solution
Begin by identifying the mathematical object and the information that fixes it. Begin with the more complicated side, preserve equality through each step, name the identity or algebraic operation used, and stop when the other side appears. Do not begin by assuming the two sides are equal. The relevant conditions are not optional bookkeeping: A proof is valid only where each written expression is defined. If the original statement has a restricted common domain, state it. Following that structure gives Both expressions must be defined at every input where equality is claimed.
Why this works
The common domain matters because algebraic simplification can remove a factor that was originally zero or introduce a reciprocal that excludes additional inputs. The calculation and the representation should agree, so a graph, diagram, table, or substitution check should support the same conclusion.
Read this graph as text
Identities, equations, and proof strategy · Identity-versus-equation truth-set diagram. Follow the foundation example from its given information to the conclusion. The labels identify the mathematical feature that makes the result valid: The common domain matters because algebraic simplification can remove a factor that was originally zero or introduce a reciprocal that excludes additional inputs. The calculation and the representation should agree, so a graph, diagram, table, or substitution check should support the same conclusion. The figure uses concrete points, curves, arrows, intervals, or matrix structure instead of relying on color alone.
Labels, point shapes, line styles, arrows, and position carry the mathematical meaning; color is supplementary.
Why it matters: Use the mathematical objects in this figure to support the lesson outcome: Distinguish identities from conditional equations and use valid one-sided transformation strategies.
Follow the foundation example from its given information to the conclusion. The labels identify the mathematical feature that makes the result valid: The common domain matters because algebraic simplification can remove a factor that was originally zero or introduce a reciprocal that excludes additional inputs. The calculation and the representation should agree, so a graph, diagram, table, or substitution check should support the same conclusion.
Read this graph as text
Identities, equations, and proof strategy · Common-domain overlay. Read the numbered reasoning path in order. Each stage preserves the quantities, restrictions, or structural conditions needed for identities, equations, and proof strategy. The figure uses concrete points, curves, arrows, intervals, or matrix structure instead of relying on color alone.
Labels, point shapes, line styles, arrows, and position carry the mathematical meaning; color is supplementary.
Why it matters: Use the mathematical objects in this figure to support the lesson outcome: Distinguish identities from conditional equations and use valid one-sided transformation strategies.
Read the numbered reasoning path in order. Each stage preserves the quantities, restrictions, or structural conditions needed for identities, equations, and proof strategy.
Read this graph as text
Identities, equations, and proof strategy · Valid one-sided proof versus circular proof. Compare the valid path with the tempting shortcut. The figure shows why circular reasoning: using the identity being proved, or multiplying both sides together in a way that assumes equality leads to a false conclusion. The figure uses concrete points, curves, arrows, intervals, or matrix structure instead of relying on color alone.
Labels, point shapes, line styles, arrows, and position carry the mathematical meaning; color is supplementary.
Why it matters: Use the mathematical objects in this figure to support the lesson outcome: Distinguish identities from conditional equations and use valid one-sided transformation strategies.
Compare the valid path with the tempting shortcut. The figure shows why circular reasoning: using the identity being proved, or multiplying both sides together in a way that assumes equality leads to a false conclusion.
Application and interpretation
Identity reasoning supports simplification, equation solving, signal analysis, and later calculus manipulations.
A contextual answer must include units, a meaningful domain, and the assumptions that make the model plausible. An exact mathematical relationship should not be diluted into a decimal unless a measurement or comparison requires it.
Why does an identity proof need a common domain?
Write a complete attempt before opening the exact answer.
Attempt once to unlock the answer
Complete a substantive attempt before revealing the server-held answer.
Ten concrete questions
01Why does an identity proof need a common domain?
Write a complete attempt before opening the exact answer.
Attempt once to unlock the answer
Complete a substantive attempt before revealing the server-held answer.
02Classify sin as equation, not identity.
Write a complete attempt before opening the exact answer.
Attempt once to unlock the answer
Complete a substantive attempt before revealing the server-held answer.
03Identify a circular proof that begins by assuming the desired equality.
Write a complete attempt before opening the exact answer.
Attempt once to unlock the answer
Complete a substantive attempt before revealing the server-held answer.
04Verify an identity numerically without mistaking the check for proof.
Write a complete attempt before opening the exact answer.
Attempt once to unlock the answer
Complete a substantive attempt before revealing the server-held answer.
05State the defining idea behind identities, equations, and proof strategy in one precise sentence.
Write a complete attempt before opening the exact answer.
Attempt once to unlock the answer
Complete a substantive attempt before revealing the server-held answer.
06What condition or domain restriction must remain visible in the solution?
Write a complete attempt before opening the exact answer.
Attempt once to unlock the answer
Complete a substantive attempt before revealing the server-held answer.
07Describe the most likely incorrect first step and explain why it fails.
Write a complete attempt before opening the exact answer.
Attempt once to unlock the answer
Complete a substantive attempt before revealing the server-held answer.
08Translate the main result into a second representation: graph, diagram, table, equation, or context.
Write a complete attempt before opening the exact answer.
Attempt once to unlock the answer
Complete a substantive attempt before revealing the server-held answer.
09Write one exact conclusion and one corresponding numerical approximation or verbal interpretation.
Write a complete attempt before opening the exact answer.
Attempt once to unlock the answer
Complete a substantive attempt before revealing the server-held answer.
10Explain how this lesson's idea will be used later in the course.
Write a complete attempt before opening the exact answer.
Attempt once to unlock the answer
Complete a substantive attempt before revealing the server-held answer.
Lesson summary
A trigonometric identity is an equation true for every input in the common domain of both sides. A conditional equation is true only for selected inputs.
The central condition to remember is this: A proof is valid only where each written expression is defined. If the original statement has a restricted common domain, state it.
Connection forward
The next lesson reviews the fundamental reciprocal, quotient, and Pythagorean identities used in most proofs.
The next lesson is Reciprocal, quotient, and Pythagorean identities.
Source record
Original BetterGrades manuscript, rights-separated references.
- Sundstrom & Schlicker, Trigonometry, Chapter 4
- Lippman & Rasmussen, Precalculus Vol. 2, Chapter 7
- Yoshiwara, Trigonometry, Chapters 5, 7, and 8
- Corral, Trigonometry, Chapters 3 and 6
No long source passage is reproduced.