Quarry School

Using the identities: rewrite and prove

Explain it like I am five

Proving an identity, an equation true for every allowed angle, is like showing 4 quarters and 100 pennies are the same dollar: trade for equal pieces until one side matches the other. LHS is the left-hand side of the equals sign, RHS the right-hand side. A one-side chain rewrites only one side, LHS = step = step = RHS, with a reason at each step.

Prove (1 − cos θ)(1 + cos θ) = sin2θ. Start on the LHS, the busier side. Multiply out, each part times each part: 1 + cos θ − cos θ − cos2θ = 1 − cos2θ, since the middle terms cancel (the difference of squares: (a − b)(a + b) = a2 − b2). Subtracting cos2θ from both sides of sin2θ + cos2θ = 1 gives 1 − cos2θ = sin2θ. So LHS = sin2θ = RHS.

Check at 30°: (1 − 32)(1 + 32) = 1 − 34 = 14, and sin230° = (12)2 = 14. The check catches slips; the chain is the proof, since each step holds for every angle.

In plain words

You can pay the same amount with a $5 bill or five $1 bills. An identity makes a similar trade: you replace an expression with an equal expression wherever both are defined. A domain is the collection of allowed inputs. A common domain consists of inputs allowed by both expressions. Rewriting asks you to express one function using only another. Proving an identity, also called verifying it, asks you to show why two expressions agree for every allowed angle. You start with a side you understand, rewrite it through equal expressions and arrive at the other side. The left side, or LHS, is before the equals sign. The right side, or RHS, is after it.

sin2θ + cos2θ = 1
1 − sin2θ = cos2θ
1 − cos2θ = sin2θ
Three forms of one identity; spotting one of them is usually the key move in a proof.
Reminder
  • Common denominators. 23 + 14 = 812 + 312 = 1112; multiply top and bottom to make equal bottoms.
  • Difference of squares. (1 + u)(1 − u) = 1 − u2 because the +u and −u terms cancel.
  • Nonzero cancellation. a×ba = b requires a ≠ 0. 7×37 = 3, while division by 0 has no value.
  • Root signs. x2 = 2125 gives x = ±215; an acute angle makes cosine positive.
Why it works. A one-side chain displays the reason for every equality, so a reader can follow it without assuming the desired conclusion. Working on both sides can also be valid if every step is reversible on the stated domain. But dividing by something that might be zero can discard cases, and reducing a claimed equation to a true statement does not prove it unless you justify reversing every step. Sine and cosine give all six functions a shared language. Then the Pythagorean identity replaces complicated squares with 1, or replaces 1 minus one square with the other.
RuleFor an acute angle, cos θ = 1−sin2θ and tan θ = sinθ1−sin2θ. An identity holds on its common domain. Use sin θ ≠ 0 when dividing by sin θ and cos θ ≠ 0 when dividing by cos θ.
The same idea, five ways
Say it

Say prove the identity: show that the two expressions agree for every allowed input.

Write it

A proof rewrites equal expressions on the original common domain.

In math
  • LHS = expression = expression = RHS
  • cos θ ≠ 0 for tan θ and sec θ
  • sin θ ≠ 0 for cot θ and csc θ
Like

Exchange one payment for another of equal value, keeping track of each exchange.

See it
Start with LHS
Rewrite with known equalities
Arrive at RHS
An algebra chain provides the proof; a sample input provides a check.
The same idea, other ways
As exchanging money

Five dollar bills and one five-dollar bill look different but have the same value. Rewrite an expression without changing its value, and give the reason for each exchange.

sin2θ + cos2θ = 1
1 − cos2θ = sin2θ
These are two ways to write the same Pythagorean fact.
As a chain of evidence

LHS = expression = expression = RHS is a path whose links all have reasons. A matching final expression proves equality for every input on the stated domain.

sec θ cos θ
= 1cosθ cos θ
= 1, with cos θ ≠ 0
Each equality must remain valid for the original allowed inputs.
As a common language

Replace sec with 1 over cosine, csc with 1 over sine, tangent with sine over cosine and cotangent with cosine over sine. Now all fractions use only two ingredients.

tan θ = sinθcosθ
cot θ = cosθsinθ
sec θ = 1cosθ
csc θ = 1sinθ
Check each denominator before using this shared language.
.1Rewrite using only one function

The words in terms of mean use this ingredient and no other trig function. If sine is the ingredient, use the Pythagorean identity to replace cosine. An acute angle selects the positive root.

  • Rule: for 0° < θ < 90°, cos θ = 1−sin2θ.
  • Rule: for that same acute angle, tan θ = sinθ1−sin2θ.
  • Rule: for a general angle, solving a square gives both root signs until angle information selects one.
cos2θ = 1 − sin2θ
cos θ = 1−sin2θ, acute θ
tan θ = sinθ1−sin2θ
The acute-angle condition selects the positive root.
Worked exampleUse a fresh acute sine value

θ is acute and sin θ = 25. Find cos θ and tan θ. In words, rebuild the missing cosine from the identity, then divide sine by cosine.

θ√{21}25
The acute triangle gives a second route to the two ratios.
  1. cos2θ = 1 − 425 = 2125.Subtract the squared sine from 1, written as 2525.
  2. cos θ = 215.An acute cosine is positive; the principal root gives this value.
  3. tan θ = 25 ÷ 215 = 221 = 22121.Use the quotient identity, cancel the shared bottom and rationalize.
Answer
  • cos θ = 215
  • tan θ = 22121
Check The squared sine and cosine are 425 and 2125, whose sum is 1.
Counterexamples: what it is not, and the tempting wrong moves
✗ Not this: Use only the positive square root for every angle.
The identity fixes the square, not the sign; general angles need sign information.
✓ Instead: Use the positive root for an acute angle, and otherwise keep ± until the sign is established.
Tips and tricks
  • Write the acute-angle condition next to the positive root.
.2Prove (verify) an identity

Prove means show why the statement holds for every input where its original expressions have values. A chain from one side to the other makes each reason visible. You do not need to guess the angle.

  • Rule: rewrite using already established identities.
  • Rule: every cancelled denominator factor must be nonzero.
  • Strategy: a one-side chain is convenient; reversible two-side reasoning can also be valid when justified.
sec θ cos θ
= 1cosθ cos θ
= 1, cos θ ≠ 0
The proof keeps its original cosine restriction.
Worked exampleA one-flip proof

Prove sec θ cos θ = 1 where cos θ ≠ 0. In words, show that cosine multiplied by its reciprocal gives 1.

cos θ ≠ 0
1cosθ × cos θ = 1
A reciprocal product is 1 only when the original number is nonzero.
  1. sec θ cos θ = 1cosθ × cos θ.The reciprocal identity is valid for cos θ ≠ 0.
  2. cosθcosθ = 1.The same nonzero number divided by itself equals 1.
Answer
sec θ cos θ = 1 for cos θ ≠ 0.
Check At 405°, sec θ = 2 and cos θ = 22, so their product is 1.
Counterexamples: what it is not, and the tempting wrong moves
✗ Not this: An undefined original side becomes defined after simplification.
Simplification preserves values on the original domain, not outside it.
✓ Instead: Retain the original nonzero conditions.
Tips and tricks
  • Write LHS at the start and RHS at the end of the chain.
Strategy: step by step
  1. State the allowed inputs before rewriting: tan and sec need cos θ ≠ 0; cot and csc need sin θ ≠ 0. A displayed fraction also needs its denominator nonzero.
  2. Pick the messier side, usually the one with more terms or fractions.
  3. Rewrite every tan, cot, sec and csc using sin θ and cos θ.
  4. Combine fractions over a common denominator, or multiply out brackets.
  5. Replace 1 − sin2θ with cos2θ, 1 − cos2θ with sin2θ, and sin2θ + cos2θ with 1.
  6. Cancel common factors only when those factors are nonzero. Stop at the other side; preserve the original allowed inputs.
Strategy
Rewrite or prove without changing the domain
1
Does the question ask for one function in terms of another?
YesIsolate that function with the identities; choose the root sign from the stated angle information.
NoBuild a one-side proof chain.
↓
2
Does a denominator contain sine or cosine?
YesRecord its nonzero requirement before proceeding.
NoKeep checking any later introduced denominator.
↓
3
Do the fractions have different bottoms?
YesUse their product as a common denominator when both are nonzero.
NoCombine the tops.
↓
4
Do you see sin2θ + cos2θ, 1 − sin2θ or 1 − cos2θ?
YesReplace with 1, cos2θ or sin2θ respectively.
NoTry factoring or rewriting the remaining functions.
  1. Translate the question: rewriting changes the ingredients; proving establishes equality.
  2. Record all original nonzero denominators.
  3. Choose one side and rewrite all functions with sine and cosine.
  4. Combine fractions or expand brackets with a reason.
  5. Use the Pythagorean identity and cancel only nonzero factors.
  6. End at the requested expression and retain the domain restrictions.
Worked exampleProve sec θ − cos θ = sin θ tan θ

Prove sec θ − cos θ = sin θ tan θ for cos θ ≠ 0. In words, rewrite the left expression until it becomes the right expression.

cos θ ≠ 0
1−cos2θcosθ
sin2θcosθ = sin θ tan θ
Keep the nonzero condition while trading one equal expression for another.
  1. Work where cos θ ≠ 0.Both sec θ and tan θ divide by cosine; this records the original domain before any cancellation.
  2. LHS = sec θ − cos θ = 1cosθ − cos θ.The left side has more pieces, so start there. Reciprocal identity: sec θ = 1cosθ.
  3. = 1cosθ − cos2θcosθ = 1−cos2θcosθ.cos θ ≠ 0 lets you multiply cosine by cosθcosθ, which equals 1. Match the bottoms, then subtract the tops.
  4. = sin2θcosθ.Pythagorean identity: 1 − cos2θ = sin2θ.
  5. = sin θ × sinθcosθ = sin θ tan θ = RHS.Split sin2θ into sin θ × sin θ, and sinθcosθ = tan θ.
Answer
The left side turns into sin θ tan θ, the right side, so the identity holds wherever both sides are defined.
Check At θ = 420°, the special-triangle work gives cos θ = 12, sec θ = 2, sin θ = 32 and tan θ = 3. Each side is 32. This numerical check catches errors; the algebra chain proves the identity.
Ladder: from easy to exam-hard. Press Try it first on any rung to hide its steps and use them as hints.
Rung 1Rung 1: rearrange the identity

Prove 1 − cos2θ = sin2θ. In words, isolate the sine square in the known identity.

sin2θ + cos2θ = 1
1 − cos2θ = sin2θ
Rearrange a known identity rather than assuming the proposed one.
  1. sin2θ + cos2θ = 1.This is the established Pythagorean identity.
  2. sin2θ = 1 − cos2θ.Subtract cos2θ from both sides of a known true equation.
  3. 1 − cos2θ = sin2θ.Equality can be read in either order.
Answer
The identity holds for every real θ.
Check At 405°, the two sides both equal 12.
Rung 2Rung 2: one reciprocal and a cancellation

Prove sec θ cos θ = 1 for cos θ ≠ 0. In words, replace secant with its definition.

cos θ ≠ 0
cosθcosθ = 1
Record the condition before cancelling.
  1. LHS = 1cosθ × cos θ.Secant is reciprocal cosine on this domain.
  2. = cosθcosθ = 1 = RHS.The denominator and cancelled factor are nonzero.
Answer
The identity holds when cos θ ≠ 0.
Check At 420°, 2 × 12 = 1.
Rung 3Rung 3: Proving a difference of two tan fractions equals 2 csc θ

Prove the identity tanθ1−cosθ − tanθ1+cosθ = 2 csc θ. Begin by stating the values of θ for which the identity is claimed, and give a reason for every cancellation you make.

  1. State the allowed inputs. tan θ needs cos θ ≠ 0. The denominators 1 − cos θ and 1 + cos θ must be nonzero, so cos θ ≠ 1 and cos θ ≠ −1. Since sin2θ = 1 − cos2θ, cos θ = ±1 exactly when sin θ = 0, so this condition is sin θ ≠ 0. csc θ also needs sin θ ≠ 0. The identity is therefore claimed for all θ with sin θ ≠ 0 and cos θ ≠ 0, that is, θ is not a multiple of 90°.An identity holds only on its common domain. Every tan, every csc and every displayed denominator adds a condition, and these conditions are what make the later cancellation legal.
  2. Work on the left side, tanθ1−cosθ − tanθ1+cosθ, and aim for 2 csc θ.The left side has two fractions and two tan terms, while the right side is a single term, so the left side is the messier side.
  3. Rewrite tan θ as sinθcosθ in both terms: tanθ1−cosθ = sinθcosθ · 11−cosθ = sinθcosθ(1−cosθ), and in the same way tanθ1+cosθ = sinθcosθ(1+cosθ).Once the expression contains only sin θ and cos θ, the Pythagorean identity can act on it. Dividing sinθcosθ by 1 − cos θ multiplies the two denominators together.
  4. Use the common denominator cos θ(1 − cos θ)(1 + cos θ). Multiply the top and bottom of the first fraction by 1 + cos θ, and the top and bottom of the second by 1 − cos θ. The numerator becomes sin θ(1 + cos θ) − sin θ(1 − cos θ) = sin θ + sin θ cos θ − sin θ + sin θ cos θ = 2 sin θ cos θ.Two fractions can be subtracted only over a shared denominator. Both denominators already contain cos θ and differ only in the factors 1 − cos θ and 1 + cos θ, which are nonzero on the domain.
  5. Multiply out the denominator: (1 − cos θ)(1 + cos θ) = 1 − cos2θ, so the left side is 2sinθcosθcosθ(1−cos2θ). Replace 1 − cos2θ with sin2θ to get 2sinθcosθcosθsin2θ.(1 − cos θ)(1 + cos θ) is a difference of squares, and sin2θ + cos2θ = 1 rearranges to 1 − cos2θ = sin2θ.
  6. Write the denominator as sin θ · sin θ cos θ and cancel the common factor sin θ cos θ: 2sinθcosθsinθ·sinθcosθ = 2sinθ.On the stated domain sin θ ≠ 0 and cos θ ≠ 0, so sin θ cos θ ≠ 0, and dividing the top and bottom by it is allowed.
  7. Rewrite 2sinθ = 2 · 1sinθ = 2 csc θ. This is the right side, so stop. Conclude that the identity holds for all θ with sin θ ≠ 0 and cos θ ≠ 0.csc θ = 1sinθ. Keep the original allowed inputs: 2 csc θ on its own is also defined where cos θ = 0, but the left side is not defined there.
Answer
tanθ1−cosθ − tanθ1+cosθ = 2sinθcosθcosθsin2θ = 2sinθ = 2 csc θ. The identity is true for every θ with sin θ ≠ 0 and cos θ ≠ 0, that is, θ not a multiple of 90°.
Check At θ = 60°, sin 60° = 32, cos 60° = 12 and tan 60° = 3. Left side: 3 ÷ 12 − 3 ÷ 32 = 23 − 233 = 433. Right side: 2 csc 60° = 2 · 23 = 43 = 433. The two sides match. At θ = 120°, cos 120° = −12 and tan 120° = −3. Left side: −3 ÷ 32 − (−3) ÷ 12 = −233 + 23 = 433, which equals 2 csc 120° = 433, so the identity also holds beyond acute angles. At θ = 90°, the right side is 2 csc 90° = 2, but tan 90° is undefined, so the left side is undefined. This confirms that cos θ ≠ 0 must stay in the domain.

Work to write

  1. Domain: cos θ ≠ 0 (for tan θ) and sin θ ≠ 0 (for 1 − cos θ ≠ 0, 1 + cos θ ≠ 0 and csc θ), so θ is not a multiple of 90°
  2. LHS = sinθcosθ(1−cosθ) − sinθcosθ(1+cosθ)
  3. = sinθ(1+cosθ)−sinθ(1−cosθ)cosθ(1−cosθ)(1+cosθ) = 2sinθcosθcosθ(1−cos2θ)
  4. = 2sinθcosθcosθsin2θ, using 1 − cos2θ = sin2θ
  5. = 2sinθ, cancelling sin θ cos θ ≠ 0
  6. = 2 csc θ = RHS, for all θ with sin θ ≠ 0 and cos θ ≠ 0

tanθ1−cosθ − tanθ1+cosθ = 2sinθcosθcosθsin2θ = 2sinθ = 2 csc θ. The identity is true for every θ with sin θ ≠ 0 and cos θ ≠ 0, that is, θ not a multiple of 90°.

Counterexamples: what it is not, and the tempting wrong moves
✗ Not this: Both sides agree at one angle, so the identity is proved.
Different expressions can agree at one input: tan 45° = 1, while tan 30° = 33 ≠ 1. Agreement at 45° cannot prove tan θ = 1 for every allowed θ.
✓ Instead: Use an algebra chain for all allowed inputs; use one angle only to check.
✗ Not this: Cancelling cos θ makes sec θ cos θ = 1 valid even when cos θ = 0.
The original secant is undefined when its denominator is zero. Cancellation cannot create new allowed inputs.
✓ Instead: State cos θ ≠ 0 and retain that restriction.
✗ Not this: Cancel sin θ from 1+sinθsinθ to get 1.
The numerator is a sum, not a product with a common sine factor.
✓ Instead: For sin θ ≠ 0, split it into 1sinθ + 1 = csc θ + 1.
Tips and tricks
  • Begin with the domain and a one-side chain. Put a reason beside every equality.
  • A product can lose a common factor; a sum must first be split or factored.
  • Try a permitted special angle after proving the identity. It can expose an arithmetic error.
Trap. Testing one angle and calling the identity proved. One angle can agree by coincidence; a proof needs algebra that works for every θ. Use a test angle only to check your algebra afterward.
Keep in mind
  • LHS is everything left of the equals sign and RHS everything right of it: in tan θ · cos θ = sin θ, the LHS is tan θ · cos θ.
  • Cancel only factors (things multiplied), never terms (things added): sinθcosθcosθ = sin θ, but sinθ+cosθcosθ must be split into tan θ + 1.
  • "Respectively" means in the same order: sin2θ + cos2θ, 1 − sin2θ and 1 − cos2θ become 1, cos2θ and sin2θ, respectively.
  • One matching angle proves nothing: sin θ = cos θ holds at 45° but fails at 30°, so it is not an identity.
Memory hookMSS: start on the Messy side, rewrite everything in Sine and cosine, Swap the squares (1 − cos2θ = sin2θ), and stop when it matches the other side.
Flash cards: say the answer out loud, then flip
What do LHS and RHS mean?
Left-hand side and right-hand side of the equals sign.
What is a one-side proof chain?
LHS = step = step = RHS: you rewrite only one side, with a reason for each step.
What does "express cos θ in terms of sin θ" mean for an acute θ?
Write cos θ using only sin θ: cos θ = 1−sin2θ.
Simplify 1−sin2θcosθ, where cos θ ≠ 0.
cos2θcosθ = cos θ
Rewrite cot θ × sin θ in sine and cosine, then simplify (sin θ ≠ 0).
cosθsinθ × sin θ = cos θ
Both sides of an equation give the same number at 45°. Is it proved?
No. One angle can match by luck. A proof needs an algebra chain that works for every allowed angle.