Verifying identities strategically

Textbook reading

The problem that opens the lesson

Verify $\frac{1-cos x}{sin} x=\frac{sin x}{(1+cos}$ x) on the common domain.

Solution

Begin by identifying the mathematical object and the information that fixes it. Before writing steps, inventory reciprocals, quotients, Pythagorean pairs, factorizations, and conjugate patterns. After each step, check that it is reversible on the stated domain. The relevant conditions are not optional bookkeeping: There is rarely one unique proof. A shorter proof is not automatically better if it hides a domain restriction or unexplained step. Following that structure gives Multiply the left side by $\frac{1+cos x}{(1+cos}$ x) and use $1-cos^2 x=sin^2 x$ .

Why this works

Working from the more complicated side avoids replacing a simple target with a larger expression. Sometimes both sides may be transformed independently to the same third expression, but the logic must remain clear. 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

Strategic identity verification combines trigonometric identities with factoring, common denominators, conjugates, and algebraic simplification.

A proof usually becomes easier when one expression is converted into a common function language or when a denominator is rationalized using a conjugate. The choice depends on visible structure.

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

Working from the more complicated side avoids replacing a simple target with a larger expression. Sometimes both sides may be transformed independently to the same third expression, but the logic must remain clear.

Textbook reading

A reliable way to work

Before writing steps, inventory reciprocals, quotients, Pythagorean pairs, factorizations, and conjugate patterns. After each step, check that it is reversible on the stated domain.

There is rarely one unique proof. A shorter proof is not automatically better if it hides a domain restriction or unexplained step.

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 cancelling across addition, such as removing sin $x$ from sin $x+1$ over sin $x$ .

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

Verify $\frac{1-cos x}{sin} x=\frac{sin x}{(1+cos}$ x) on the common domain.

Solution

Begin by identifying the mathematical object and the information that fixes it. Before writing steps, inventory reciprocals, quotients, Pythagorean pairs, factorizations, and conjugate patterns. After each step, check that it is reversible on the stated domain. The relevant conditions are not optional bookkeeping: There is rarely one unique proof. A shorter proof is not automatically better if it hides a domain restriction or unexplained step. Following that structure gives Multiply the left side by $\frac{1+cos x}{(1+cos}$ x) and use $1-cos^2 x=sin^2 x$ .

Why this works

Working from the more complicated side avoids replacing a simple target with a larger expression. Sometimes both sides may be transformed independently to the same third expression, but the logic must remain clear. The calculation and the representation should agree, so a graph, diagram, table, or substitution check should support the same conclusion.

Transfer example

Problem

Verify tan $x+cot x=sec x$ csc $x$ .

Worked development

Before writing steps, inventory reciprocals, quotients, Pythagorean pairs, factorizations, and conjugate patterns. After each step, check that it is reversible on the stated domain. In this example, the first useful move is to make the defining structure visible rather than to search for a memorized answer. A proof usually becomes easier when one expression is converted into a common function language or when a denominator is rationalized using a conjugate. The choice depends on visible structure. Then apply the conditions explicitly: There is rarely one unique proof. A shorter proof is not automatically better if it hides a domain restriction or unexplained step. Finish by checking the result in a second representation and explaining what the result means.

Interpretation

Proof strategy trains the same structure recognition used in algebra, calculus, and mathematical writing.

Reasoning example

Problem

Verify (sec x-tan x)(sec $x+tan x)=1$

Worked development

Before writing steps, inventory reciprocals, quotients, Pythagorean pairs, factorizations, and conjugate patterns. After each step, check that it is reversible on the stated domain. In this example, the first useful move is to make the defining structure visible rather than to search for a memorized answer. A proof usually becomes easier when one expression is converted into a common function language or when a denominator is rationalized using a conjugate. The choice depends on visible structure. Then apply the conditions explicitly: There is rarely one unique proof. A shorter proof is not automatically better if it hides a domain restriction or unexplained step. Finish by checking the result in a second representation and explaining what the result means.

Interpretation

Proof strategy trains the same structure recognition used in algebra, calculus, and mathematical writing.

Worked example 4: quick check

Verify sin $\frac{x}{1-cos x}=\frac{1+cos x}{sin} x$

Solution

Begin by identifying the mathematical object and the information that fixes it. Before writing steps, inventory reciprocals, quotients, Pythagorean pairs, factorizations, and conjugate patterns. After each step, check that it is reversible on the stated domain. The relevant conditions are not optional bookkeeping: There is rarely one unique proof. A shorter proof is not automatically better if it hides a domain restriction or unexplained step. Following that structure gives Multiply by the conjugate and use $sin^2 x=1-cos^2 x$ .

Why this works

Working from the more complicated side avoids replacing a simple target with a larger expression. Sometimes both sides may be transformed independently to the same third expression, but the logic must remain clear. The calculation and the representation should agree, so a graph, diagram, table, or substitution check should support the same conclusion.

Textbook reading

Application and interpretation

Proof strategy trains the same structure recognition used in algebra, calculus, and mathematical writing.

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.

Practice