BetterGrades Precalculus · Unit 11 · Lesson

Identities, equations, and proof strategy

Distinguish identities from conditional equations and use valid one-sided transformation strategies.

Textbook reading

The problem that opens the lesson

Is 1cos2xsinx=sinx\frac{1-cos^2 x}{sin} x=sin x 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 xx 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.

Textbook reading

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.

Textbook reading

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.

Textbook reading

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.

Textbook reading

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.

Textbook reading

Worked examples

Worked example 1

Is 1cos2xsinx=sinx\frac{1-cos^2 x}{sin} x=sin x 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 xx 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 x=0x=0 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.

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.
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.

Anchor figure · 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.

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.
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.

Mechanism figure · 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.

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.
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.

Comparison and error figure · 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.

Textbook reading

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.

Check yourself

Why does an identity proof need a common domain?

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice

16 concrete questions

Practice 1 · retrieval · foundational01

Why does an identity proof need a common domain?

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 2 · conceptual · foundational02

State the defining idea behind identities, equations, and proof strategy in one precise sentence.

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 3 · verification · developing03

For identities, equations, and proof strategy, what condition or domain restriction must remain visible in the solution?

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 4 · error analysis · developing04

For identities, equations, and proof strategy, describe the most likely incorrect first step and explain why it fails.

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 5 · synthesis · transfer05

For identities, equations, and proof strategy, explain how this lesson's idea will be used later in the course.

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 6 · procedural · foundational06

Solve this identities, equations, and proof strategy problem and state the final result: Is 1cos2xsinx=sinx\frac{1-cos^2 x}{sin} x=sin x an identity? State the exact common domain on which the equality is valid.

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 7 · procedural · developing07

In identities, equations, and proof strategy, for “Classify sin x=0x=0 as equation, not identity.”, identify the first valid mathematical step and the condition that must remain visible.

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 8 · transfer · transfer08

For “Identify a circular proof that begins by assuming the desired equality.”, identify the governing definition or relationship and what a complete conclusion must include.

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 9 · verification · developing09

Verify “Yes where sin xx is nonzero; the left side is undefined at integer multiples of pi.” using the required condition for identities, equations, and proof strategy.

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 10 · explanation · developing10

Explain why “Yes where sin xx is nonzero; the left side is undefined at integer multiples of pi.” follows from this lesson’s mathematical mechanism.

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 11 · conceptual · developing11

What mathematical structure is shared by the opening problem and “Identify a circular proof that begins by assuming the desired equality.”?

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 12 · graphical · developing12

In “Identity-versus-equation truth-set diagram”, which mathematical objects or labels must be visible to support “Yes where sin xx is nonzero; the left side is undefined at integer multiples of pi.”?

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 13 · graphical · transfer13

How should “Common-domain overlay” make the governing relationship in “Classify sin x=0x=0 as equation, not identity.” visible?

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 14 · error analysis · transfer14

In “Valid one-sided proof versus circular proof”, identify the first point where the misconception diverges from valid identities, equations, and proof strategy reasoning.

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 15 · modeling · transfer15

In the application “Identity reasoning supports simplification, equation solving, signal analysis, and later calculus manipulations.”, what quantities or geometric objects must be identified, and what condition makes the model valid?

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Practice 16 · exit check · transfer16

Answer “Why does an identity proof need a common domain?” and name the condition used to check the result.

Answer checking and protected response guides require JavaScript; the complete prompt remains readable and printable.

Textbook reading

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.