5. Advanced Trigonometric Proofs

Advanced Trigonometric Proofs

Advanced trigonometric proofs involve demonstrating that two expressions are mathematically equivalent using established identities, algebraic techniques, and logical reasoning.

Unlike solving a trigonometric equation, where the goal is to find particular values of an angle, proving an identity requires showing that a relationship holds for every angle in the common domain of the expressions.

For example:

(1 − cos 2θ)/sin 2θ = tan θ

The expressions on the two sides look different, but double-angle identities can be used to establish their equivalence wherever both sides are defined.

Advanced proofs may require several techniques working together, including factoring, rationalising, substituting identities, transforming fractions, and recognising hidden trigonometric relationships.

The most important skill is not memorising a large number of proofs. It is learning to select an effective strategy and justify every mathematical transformation.

What Makes a Trigonometric Proof Rigorous?

A rigorous proof is a logical sequence of mathematical statements in which every step follows from an established fact or valid operation.

A complete proof should:

• Clearly identify the identity being proved.

• Establish any necessary domain restrictions.

• Begin with an appropriate expression.

• Use previously established identities correctly.

• Apply valid algebraic transformations.

• Justify significant steps.

• Avoid assuming the identity being proved.

• Reach the required expression.

• Finish with a clear conclusion.

Example of a Complete Proof

Verify:

(1 − cos² θ)/sin θ = sin θ

Start with the left-hand side:

(1 − cos² θ)/sin θ

Use the Pythagorean identity:

1 − cos² θ = sin² θ

Therefore:

= sin² θ/sin θ

Cancel the common factor:

= sin θ

Thus:

(1 − cos² θ)/sin θ = sin θ

The identity is verified wherever sin θ ≠ 0.

Why the Domain Matters

The right-hand side, sin θ, is defined for every real angle.

However, the original left-hand side contains division by sin θ.

At angles where sin θ = 0, the original expression is undefined.

Therefore, the proof must retain this restriction even though the simplified expression is defined at those angles.

Essential Identities for Advanced Proofs

Most advanced trigonometric proofs rely on combinations of a relatively small collection of identities.

Reciprocal Identities

csc θ = 1/sin θ

sec θ = 1/cos θ

cot θ = 1/tan θ

Quotient Identities

tan θ = sin θ/cos θ

cot θ = cos θ/sin θ

Pythagorean Identities

sin² θ + cos² θ = 1

1 + tan² θ = sec² θ

1 + cot² θ = csc² θ

Double-Angle Identities

sin 2θ = 2sin θ cos θ

cos 2θ = cos² θ − sin² θ

cos 2θ = 2cos² θ − 1

cos 2θ = 1 − 2sin² θ

Triple-Angle Identities

sin 3θ = 3sin θ − 4sin³ θ

cos 3θ = 4cos³ θ − 3cos θ

Compound-Angle Identities

sin(A ± B) = sin A cos B ± cos A sin B

For cosine:

cos(A + B) = cos A cos B − sin A sin B

cos(A − B) = cos A cos B + sin A sin B

Product-to-Sum Identities

2sin A cos B = sin(A + B) + sin(A − B)

2cos A cos B = cos(A + B) + cos(A − B)

2sin A sin B = cos(A − B) − cos(A + B)

These identities provide the foundation for constructing more sophisticated proofs.

Selecting an Appropriate Proof Strategy

The first challenge in an advanced proof is deciding where to begin.

Different structures suggest different approaches.

The best strategy is the one that moves the expression toward the required form while keeping the reasoning clear.

Strategy: Work with One Side

A common method is to begin with the more complicated side and simplify it until it becomes the other side.

Worked Example

Verify:

(sec² θ − 1)cos² θ = sin² θ

Start with the left-hand side:

(sec² θ − 1)cos² θ

Use the Pythagorean identity:

sec² θ − 1 = tan² θ

Therefore:

= tan² θ cos² θ

Use the quotient identity:

= (sin² θ/cos² θ)cos² θ

Cancel the common nonzero factor:

= sin² θ

Therefore, the identity is verified wherever cos θ ≠ 0.

Why This Strategy Works

The proof moves from a more complicated expression involving secant and tangent toward a simpler expression involving sine.

Each step preserves equivalence on the original domain.

Can We Begin with the Right-Hand Side?

Yes.

The goal is to establish equivalence, so either side may be used as the starting expression.

However, beginning with the more complicated side often produces a shorter proof.

Strategy: Convert Everything to Sine and Cosine

When an expression contains several different trigonometric functions, converting them to sine and cosine is often effective.

Worked Example

Verify:

tan θ + cot θ = sec θ csc θ

Start with the left-hand side:

tan θ + cot θ

Apply the quotient identities:

= sin θ/cos θ + cos θ/sin θ

Find a common denominator:

= (sin² θ + cos² θ)/(sin θ cos θ)

Apply the Pythagorean identity:

= 1/(sin θ cos θ)

Separate the factors:

= (1/cos θ)(1/sin θ)

Apply reciprocal identities:

= sec θ csc θ

Therefore:

tan θ + cot θ = sec θ csc θ

The identity is verified wherever sin θ ≠ 0 and cos θ ≠ 0.

Important Observation

This proof uses three groups of identities:

1. Quotient identities.

2. Pythagorean identities.

3. Reciprocal identities.

The sequence of substitutions is important. Each step prepares the expression for the next.

Strategy: Use a Common Denominator

Fractions are common in advanced trigonometric proofs.

Combining them may reveal an expression that simplifies using a Pythagorean identity.

Worked Example

Verify:

1/(1 − sin θ) + 1/(1 + sin θ) = 2sec² θ

Start with:

1/(1 − sin θ) + 1/(1 + sin θ)

Find a common denominator:

= [(1 + sin θ) + (1 − sin θ)]/[(1 − sin θ)(1 + sin θ)]

Simplify the numerator:

= 2/[(1 − sin θ)(1 + sin θ)]

Use the difference of squares:

= 2/(1 − sin² θ)

Apply the Pythagorean identity:

= 2/cos² θ

Use the reciprocal identity:

= 2sec² θ

Therefore, the identity is verified wherever cos θ ≠ 0.

Recognising the Key Step

The important transformation is:

(1 − sin θ)(1 + sin θ) = 1 − sin² θ

This creates an expression that can be replaced by cos² θ.

Strategy: Multiply by a Conjugate

A conjugate is formed by changing the sign between two terms.

Examples include:

1 + sin θ and 1 − sin θ

1 + cos θ and 1 − cos θ

Multiplying conjugates creates a difference of squares.

Worked Example

Verify:

sin θ/(1 + cos θ) = (1 − cos θ)/sin θ

Start with the left-hand side:

sin θ/(1 + cos θ)

Multiply numerator and denominator by 1 − cos θ:

= [sin θ(1 − cos θ)]/[(1 + cos θ)(1 − cos θ)]

Use the difference of squares:

= [sin θ(1 − cos θ)]/(1 − cos² θ)

Apply the Pythagorean identity:

= [sin θ(1 − cos θ)]/sin² θ

Cancel one factor of sin θ:

= (1 − cos θ)/sin θ

Therefore, the identity is verified wherever sin θ ≠ 0.

Why the Conjugate Helps

The original denominator is:

1 + cos θ

Multiplying by its conjugate produces:

1 − cos² θ

which simplifies to sin² θ.

This creates a common factor that can be cancelled.

Strategy: Recognise Algebraic Structures

Not every trigonometric proof requires a complicated identity.

Sometimes ordinary algebra provides the key.

Difference of Squares

Recall:

a² − b² = (a − b)(a + b)

Worked Example

Verify:

sin⁴ θ − cos⁴ θ = sin² θ − cos² θ

Start with the left-hand side:

sin⁴ θ − cos⁴ θ

Factor as a difference of squares:

= (sin² θ − cos² θ)(sin² θ + cos² θ)

Apply the Pythagorean identity:

= (sin² θ − cos² θ)(1)

Therefore:

= sin² θ − cos² θ

The identity is verified for every real θ.

Alternative Conclusion

Since:

cos 2θ = cos² θ − sin² θ

we can also write:

sin⁴ θ − cos⁴ θ = −cos 2θ

This illustrates how a proof may lead to several equivalent forms.

Strategy: Use Double-Angle Identities

Double-angle identities are particularly useful when expressions contain 2θ or squared trigonometric functions.

Worked Example

Verify:

sin 2θ/(1 + cos 2θ) = tan θ

Start with the left-hand side:

sin 2θ/(1 + cos 2θ)

Use:

sin 2θ = 2sin θ cos θ

cos 2θ = 2cos² θ − 1

Substitute:

= 2sin θ cos θ/[1 + 2cos² θ − 1]

Simplify the denominator:

= 2sin θ cos θ/(2cos² θ)

Cancel common factors:

= sin θ/cos θ

Apply the quotient identity:

= tan θ

Therefore, the identity is verified wherever cos θ ≠ 0.

Choosing Between Cosine Double-Angle Forms

Recall:

cos 2θ = cos² θ − sin² θ

cos 2θ = 2cos² θ − 1

cos 2θ = 1 − 2sin² θ

For the denominator:

1 + cos 2θ

the form:

cos 2θ = 2cos² θ − 1

is especially useful because:

1 + cos 2θ = 2cos² θ

Recognising this structure produces a shorter proof.

Strategy: Use Triple-Angle Identities

Triple-angle identities can simplify expressions containing cubic powers.

Worked Example

Verify:

sin 3θ = sin θ(4cos² θ − 1)

Start with the right-hand side:

sin θ(4cos² θ − 1)

Use:

cos² θ = 1 − sin² θ

Substitute:

= sin θ[4(1 − sin² θ) − 1]

Simplify:

= sin θ(3 − 4sin² θ)

Expand:

= 3sin θ − 4sin³ θ

Apply the triple-angle identity:

= sin 3θ

Therefore, the identity is verified for every real θ.

Worked Example

Verify:

cos 3θ = cos θ(1 − 4sin² θ)

Start with:

cos θ(1 − 4sin² θ)

Use:

sin² θ = 1 − cos² θ

Substitute:

= cos θ[1 − 4(1 − cos² θ)]

Simplify:

= cos θ(4cos² θ − 3)

Expand:

= 4cos³ θ − 3cos θ

Apply the cosine triple-angle identity:

= cos 3θ

The identity is verified.

Strategy: Use Compound-Angle Identities

Compound-angle identities are useful when expressions involve combinations such as:

A + B

A − B

Worked Example

Verify:

sin(A + B) + sin(A − B) = 2sin A cos B

Start with the left-hand side:

sin(A + B) + sin(A − B)

Expand both expressions:

= sin A cos B + cos A sin B + sin A cos B − cos A sin B

Combine like terms:

= 2sin A cos B

Therefore, the identity is verified.

Worked Example

Verify:

cos(A − B) − cos(A + B) = 2sin A sin B

Start with:

cos(A − B) − cos(A + B)

Expand:

= cos A cos B + sin A sin B − (cos A cos B − sin A sin B)

Remove brackets:

= cos A cos B + sin A sin B − cos A cos B + sin A sin B

Simplify:

= 2sin A sin B

The identity is verified.

Strategy: Use Product-to-Sum Identities

Some proofs are easier when products of trigonometric functions are rewritten as sums.

Worked Example

Verify:

2sin 3θ cos θ = sin 4θ + sin 2θ

Start with the left-hand side:

2sin 3θ cos θ

Use:

2sin A cos B = sin(A + B) + sin(A − B)

Let:

A = 3θ

B = θ

Then:

= sin(3θ + θ) + sin(3θ − θ)

Simplify:

= sin 4θ + sin 2θ

Therefore, the identity is verified.

Worked Example

Verify:

2cos 4θ cos 2θ = cos 6θ + cos 2θ

Start with:

2cos 4θ cos 2θ

Use:

2cos A cos B = cos(A + B) + cos(A − B)

Substitute:

= cos(4θ + 2θ) + cos(4θ − 2θ)

Therefore:

= cos 6θ + cos 2θ

The identity is verified.

Strategy: Use Sum-to-Product Identities

Sum-to-product identities are useful when expressions contain sums or differences of sine or cosine functions.

Worked Example

Verify:

sin 5θ − sin θ = 2cos 3θ sin 2θ

Start with the left-hand side:

sin 5θ − sin θ

Use:

sin A − sin B = 2cos[(A + B)/2]sin[(A − B)/2]

Substitute:

= 2cos[(5θ + θ)/2]sin[(5θ − θ)/2]

Simplify:

= 2cos 3θ sin 2θ

Therefore, the identity is verified.

Worked Example

Verify:

cos 7θ − cos θ = −2sin 4θ sin 3θ

Start with:

cos 7θ − cos θ

Use:

cos A − cos B = −2sin[(A + B)/2]sin[(A − B)/2]

Substitute:

= −2sin[(7θ + θ)/2]sin[(7θ − θ)/2]

Simplify:

= −2sin 4θ sin 3θ

The identity is verified.

Advanced Proof: Combining Several Techniques

Consider the identity:

sin(A + B)sin(A − B) = sin² A − sin² B

This proof requires compound-angle identities, factorisation, and Pythagorean substitutions.

Step 1: Start with the Left-Hand Side

sin(A + B)sin(A − B)

Step 2: Expand Both Compound Angles

= (sin A cos B + cos A sin B)(sin A cos B − cos A sin B)

Step 3: Recognise a Difference of Squares

Let:

p = sin A cos B

q = cos A sin B

Then:

(p + q)(p − q) = p² − q²

Therefore:

= sin² A cos² B − cos² A sin² B

Step 4: Apply Pythagorean Identities

Use:

cos² B = 1 − sin² B

cos² A = 1 − sin² A

Substitute:

= sin² A(1 − sin² B) − (1 − sin² A)sin² B

Step 5: Expand

= sin² A − sin² A sin² B − sin² B + sin² A sin² B

Step 6: Combine Like Terms

The mixed terms cancel.

Therefore:

= sin² A − sin² B

Conclusion

sin(A + B)sin(A − B) = sin² A − sin² B

The identity is verified for all real A and B.

Evaluating Alternative Proof Methods

A mathematical identity can often be proved in more than one way.

Comparing different approaches helps develop efficient mathematical reasoning.

Consider:

(1 − cos 2θ)/sin 2θ = tan θ

Method A: Use Double-Angle Identities

Start with:

(1 − cos 2θ)/sin 2θ

Use:

1 − cos 2θ = 2sin² θ

sin 2θ = 2sin θ cos θ

Then:

= 2sin² θ/(2sin θ cos θ)

Simplify:

= sin θ/cos θ

Therefore:

= tan θ

Method B: Use a Half-Angle Relationship

Recall:

tan(φ/2) = (1 − cos φ)/sin φ

Let:

φ = 2θ

Then:

tan θ = (1 − cos 2θ)/sin 2θ

The identity follows immediately.

Comparing the Methods

Both methods are valid wherever sin 2θ ≠ 0.

Which Method Is Better?

Method B is shorter, but Method A provides more detail about why the relationship holds.

The best method depends on the purpose of the proof.

If the goal is to demonstrate understanding of double-angle identities, Method A may be preferable.

If the goal is efficient verification using established results, Method B may be more suitable.

Comparing Proofs with Different Starting Points

Consider:

(1 − sin² θ)/cos θ = cos θ

Method A: Start with the Left-Hand Side

(1 − sin² θ)/cos θ

= cos² θ/cos θ

= cos θ

Method B: Start with the Right-Hand Side

cos θ

= cos² θ/cos θ

= (1 − sin² θ)/cos θ

Both proofs are valid wherever cos θ ≠ 0.

However, Method A is more natural because it simplifies a complicated fraction.

Method B introduces a denominator and temporarily makes the expression more complicated.

General Principle

A strong proof strategy should:

• Reduce unnecessary complexity.

• Use familiar identities efficiently.

• Avoid introducing avoidable domain restrictions.

• Make each step easy to justify.

• Produce a clear logical argument.

Understanding Domain Restrictions in Advanced Proofs

A trigonometric identity is only valid where both expressions are defined.

Consider:

tan θ cos θ = sin θ

The right-hand side is defined for every real θ.

However:

tan θ = sin θ/cos θ

is undefined when cos θ = 0.

Therefore, the identity is valid only where:

cos θ ≠ 0

Cancellation Requires Care

Consider:

sin² θ/sin θ

It is tempting to cancel sine and write:

sin θ

However, this cancellation is valid only if:

sin θ ≠ 0

At angles where sin θ = 0, the original expression is undefined.

Common Restrictions

Domain restrictions are an essential part of rigorous mathematical reasoning.

Avoiding Circular Reasoning

Circular reasoning occurs when a proof assumes the statement it is supposed to establish.

Suppose we want to prove:

sin² θ + cos² θ = 1

It would not be valid to assume this identity and then use it as the justification for itself.

However, when proving another identity, we may use this relationship because it has already been established.

Example

Verify:

1 − cos² θ = sin² θ

We may begin with the established Pythagorean identity:

sin² θ + cos² θ = 1

Subtract cos² θ from both sides:

sin² θ = 1 − cos² θ

Therefore:

1 − cos² θ = sin² θ

This is valid because the proof uses an established identity rather than assuming the statement being proved.

Important Principle

A mathematical proof must establish the conclusion using previously justified facts and valid operations.

Distinguishing Verification from Numerical Checking

Numerical substitution can help detect mistakes, but it cannot establish a general identity.

Suppose someone claims:

sin(A + B) = sin A + sin B

Test:

A = 30°

B = 60°

Left-hand side:

sin 90° = 1

Right-hand side:

sin 30° + sin 60°

= 1/2 + √3/2

These values are different.

Therefore, the proposed identity is false.

A single counterexample is enough to disprove a universal statement.

However, checking several values and finding agreement does not prove an identity.

A complete proof must establish the relationship for every permitted value.

Writing Clear Mathematical Proofs

Mathematical communication is an important part of advanced trigonometry.

A well-written proof should be understandable to someone who did not solve the problem.

Example of Weak Mathematical Communication

Verify:

(1 + tan² θ)cos² θ = 1

A weak response might simply state:

(1 + tan² θ)cos² θ = sec² θ cos² θ = 1

Although the result is correct, the reasoning is not fully explained.

Improved Proof

Proof

Start with the left-hand side:

(1 + tan² θ)cos² θ

Use the Pythagorean identity:

1 + tan² θ = sec² θ

Therefore:

= sec² θ cos² θ

Use the reciprocal identity:

sec² θ = 1/cos² θ

Then:

= (1/cos² θ)cos² θ

Cancel the common nonzero factor:

= 1

Therefore:

(1 + tan² θ)cos² θ = 1

The identity is verified wherever cos θ ≠ 0.

Why the Improved Proof Is Stronger

It clearly identifies:

• The starting expression.

• The identities used.

• The algebraic transformations.

• The domain restriction.

• The final conclusion.

Proofs Involving Multiple Angles and Factorisation

More challenging proofs may require combining double-angle or triple-angle identities with algebraic factorisation.

Worked Example

Verify:

sin 3θ − sin θ = 2sin θ cos 2θ

Start with the left-hand side:

sin 3θ − sin θ

Use the triple-angle identity:

sin 3θ = 3sin θ − 4sin³ θ

Substitute:

= 3sin θ − 4sin³ θ − sin θ

Combine:

= 2sin θ − 4sin³ θ

Factor:

= 2sin θ(1 − 2sin² θ)

Use:

1 − 2sin² θ = cos 2θ

Therefore:

= 2sin θ cos 2θ

The identity is verified.

Alternative Method

Use the sum-to-product identity:

sin A − sin B = 2cos[(A + B)/2]sin[(A − B)/2]

Let:

A = 3θ

B = θ

Then:

sin 3θ − sin θ

= 2cos[(3θ + θ)/2]sin[(3θ − θ)/2]

= 2cos 2θ sin θ

Therefore:

= 2sin θ cos 2θ

Comparing the Methods

The first method uses triple-angle identities, factorisation, and double-angle identities.

The second method uses a single sum-to-product identity.

The second method is more efficient, but the first demonstrates how several identities can be combined.

Advanced Proof: Rational Expressions

Verify:

(sec θ + tan θ)(1 − sin θ) = cos θ

Start with the left-hand side:

(sec θ + tan θ)(1 − sin θ)

Rewrite secant and tangent:

= [1/cos θ + sin θ/cos θ](1 − sin θ)

Combine the fractions:

= [(1 + sin θ)/cos θ](1 − sin θ)

Multiply:

= [(1 + sin θ)(1 − sin θ)]/cos θ

Use the difference of squares:

= (1 − sin² θ)/cos θ

Apply the Pythagorean identity:

= cos² θ/cos θ

Simplify:

= cos θ

Therefore:

(sec θ + tan θ)(1 − sin θ) = cos θ

The identity is verified wherever cos θ ≠ 0.

Important Features

This proof combines:

• Reciprocal identities.

• Quotient identities.

• Fraction addition.

• Factorisation.

• Pythagorean substitution.

• Algebraic cancellation.

Advanced Proof: A More Complex Fraction

Verify:

(tan θ + sin θ)/(tan θ − sin θ) = (1 + cos θ)/(1 − cos θ)

Start with the left-hand side:

(tan θ + sin θ)/(tan θ − sin θ)

Rewrite tangent:

= [(sin θ/cos θ) + sin θ]/[(sin θ/cos θ) − sin θ]

Combine the numerator:

= [sin θ(1 + cos θ)/cos θ]/[sin θ(1 − cos θ)/cos θ]

Divide the fractions:

= [sin θ(1 + cos θ)]/[sin θ(1 − cos θ)]

Cancel sin θ:

= (1 + cos θ)/(1 − cos θ)

Therefore, the identity is verified wherever sin θ ≠ 0 and cos θ ≠ 0.

Why Domain Restrictions Matter Here

The original left-hand side contains tangent, requiring cos θ ≠ 0.

Its denominator is:

tan θ − sin θ

which must also be nonzero.

On the domain where tangent is defined:

tan θ − sin θ = sin θ(1 − cos θ)/cos θ

This vanishes when sin θ = 0. Thus the original domain excludes all angles where sin θ = 0 or cos θ = 0.

Applications in Physics: Vector Magnitudes

Trigonometric identities are useful when analysing forces and displacement vectors.

Suppose a vector has magnitude F and direction θ.

Its components are:

Fₓ = F cos θ

Fᵧ = F sin θ

We can prove:

Fₓ² + Fᵧ² = F²

Start with:

Fₓ² + Fᵧ²

Substitute:

= F²cos² θ + F²sin² θ

Factor:

= F²(cos² θ + sin² θ)

Apply the Pythagorean identity:

= F²(1)

Therefore:

Fₓ² + Fᵧ² = F²

This confirms that the horizontal and vertical components are consistent with the magnitude of the original vector.

Applications in Circular Motion

The coordinates of an object moving around a circle of radius r are:

x = r cos θ

y = r sin θ

We can prove that the object remains on the circle.

Start with:

x² + y²

Substitute:

= r²cos² θ + r²sin² θ

Factor:

= r²(cos² θ + sin² θ)

Apply the Pythagorean identity:

= r²

Therefore:

x² + y² = r²

This proves that the distance from the origin remains constant.

Applications in Wave Motion

Compound-angle identities can be used to rewrite phase-shifted waves.

Suppose:

y(t) = A sin(ωt + φ)

Use the sine addition identity:

sin(ωt + φ)

= sin(ωt)cos φ + cos(ωt)sin φ

Therefore:

y(t) = A sin(ωt)cos φ + A cos(ωt)sin φ

This shows that a phase-shifted sine wave can be represented as a combination of sine and cosine terms.

Such transformations are useful in:

• Sound wave analysis.

• Alternating-current circuits.

• Mechanical oscillations.

• Signal processing.

• Electromagnetic waves.

A Systematic Approach to Advanced Proofs

When attempting an advanced trigonometric proof, use the following process.

1. Read the identity carefully. Identify what must be established.

2. Check the domain. Determine where both expressions are defined.

3. Compare the two sides. Identify the more complicated expression.

4. Look for familiar patterns. Consider reciprocal, quotient, Pythagorean, multiple-angle, and compound-angle identities.

5. Choose a strategy. Decide whether to expand, factor, rationalise, or substitute.

6. Begin with one side. Usually start with the more complicated side.

7. Apply identities deliberately. Avoid random substitutions.

8. Use algebra carefully. Combine fractions, factor, and cancel only nonzero factors.

9. Justify each important step. Identify the relevant identity or algebraic rule.

10. Avoid circular reasoning. Do not assume the result being proved.

11. Reach the other side. Show that the expressions are equivalent.

12. Write a conclusion. State that the identity is verified on its common domain.

When a Proof Becomes Difficult

If the expression does not simplify, consider:

• Rewriting all functions in terms of sine and cosine.

• Looking for a Pythagorean identity.

• Finding a common denominator.

• Factoring a numerator or denominator.

• Multiplying by a conjugate.

• Using a double-angle or triple-angle identity.

• Converting a sum to a product.

• Converting a product to a sum.

• Beginning with the other side.

A good proof strategy is flexible. If one approach creates unnecessary complexity, another may be more effective.

Common Mistakes

Assuming the identity is true

A proof must establish the result rather than assume it.

Using circular reasoning

Do not use the statement being proved as an unsupported premise.

Changing both sides without a clear logical argument

It is usually clearer to transform one side into the other.

Using an incorrect identity

For example:

sin² θ + cos² θ = 1

but:

sin θ + cos θ ≠ 1

in general.

Confusing sin² θ with sin 2θ

These expressions are different.

Cancelling terms instead of factors

Cancellation is only valid for common nonzero factors.

Ignoring domain restrictions

An expression may be undefined at certain angles.

Dividing by a trigonometric expression that could equal zero

This can invalidate steps or exclude valid cases.

Expanding expressions incorrectly

Carefully apply the distributive property and difference-of-squares formula.

Forgetting brackets

For example:

1 − (1 − 2sin² θ) = 2sin² θ

Using numerical checks as proof

Numerical examples cannot establish a universal identity.

Skipping important steps

A rigorous proof should make the reasoning understandable.

Using an unnecessarily complicated strategy

Look for a direct identity before attempting lengthy algebra.

Failing to compare alternative methods

Different approaches may reveal simpler or more informative proofs.

Not stating a conclusion

End with a clear statement that the identity has been verified on its domain.

Key Terms

Trigonometric Identity: An equation involving trigonometric functions that is true wherever both sides are defined.

Identity Proof: A logical demonstration that two trigonometric expressions are equivalent.

Rigorous Proof: A proof in which every step follows from established mathematical facts and valid operations.

Verification: The process of confirming a mathematical relationship using valid reasoning.

Mathematical Reasoning: The use of logic, definitions, identities, and algebraic rules to establish conclusions.

Proof Strategy: A planned approach for demonstrating an identity.

Equivalent Expressions: Expressions that have the same value over their common domain.

Algebraic Justification: An explanation of the mathematical rule supporting a transformation.

Reciprocal Identity: An identity connecting a trigonometric function with its reciprocal.

Quotient Identity: An identity expressing tangent or cotangent using sine and cosine.

Pythagorean Identity: A trigonometric relationship derived from sin² θ + cos² θ = 1.

Double-Angle Identity: An identity expressing a trigonometric function of 2θ.

Triple-Angle Identity: An identity expressing a trigonometric function of 3θ.

Compound-Angle Identity: An identity involving the sum or difference of two angles.

Product-to-Sum Identity: An identity converting a product of trigonometric functions into a sum or difference.

Sum-to-Product Identity: An identity converting a sum or difference into a product.

Factorisation: Rewriting an expression as a product of factors.

Expansion: Removing brackets by applying multiplication and the distributive property.

Difference of Squares: The relationship a² − b² = (a − b)(a + b).

Conjugate: An expression formed by changing the sign between two terms.

Rationalisation: Rewriting a fraction by multiplying by a suitable expression, often a conjugate.

Common Denominator: A shared denominator used when combining fractions.

Cancellation: Removing common nonzero factors from a fraction.

Domain Restriction: A condition excluding values for which an expression is undefined.

Circular Reasoning: An invalid argument that assumes the conclusion it is intended to prove.

Counterexample: A specific example demonstrating that a proposed general statement is false.

Logical Equivalence: A relationship in which two statements or expressions have the same truth or value under the relevant conditions.

Substitution: Replacing an expression with an equivalent expression.

Unit Circle: A circle of radius 1 centred at the origin.

Vector Component: The part of a vector acting along a specified direction.

Phase Shift: A horizontal displacement of a periodic function.

Sinusoidal Function: A function represented using sine or cosine.

Periodic Function: A function whose values repeat at regular intervals.

Mathematical Communication: The clear presentation of mathematical ideas, calculations, proofs, and conclusions.

Check Your Understanding

1. Explain the difference between verifying a trigonometric identity and solving a trigonometric equation.

2. Explain why domain restrictions are important in advanced trigonometric proofs.

3. Verify:

tan θ cos θ = sin θ

4. Verify:

(sec² θ − 1)cos² θ = sin² θ

5. Verify:

tan θ + cot θ = sec θ csc θ

6. Verify:

1/(1 − sin θ) + 1/(1 + sin θ) = 2sec² θ

7. Verify:

sin θ/(1 + cos θ) = (1 − cos θ)/sin θ

8. Verify:

sin⁴ θ − cos⁴ θ = sin² θ − cos² θ

9. Verify:

sin 2θ/(1 + cos 2θ) = tan θ

10. Verify:

sin 3θ = sin θ(4cos² θ − 1)

11. Verify:

sin 5θ − sin θ = 2cos 3θ sin 2θ

12. Verify:

(sec θ + tan θ)(1 − sin θ) = cos θ

13. Verify:

(tan θ + sin θ)/(tan θ − sin θ) = (1 + cos θ)/(1 − cos θ)

14. Prove the identity:

sin 3θ − sin θ = 2sin θ cos 2θ

using two different methods. Explain which method is more efficient and why.

15. Construct a complete proof of:

sin(A + B)sin(A − B) = sin² A − sin² B

Your proof should include:

• The identity substitutions used.

• The algebraic justification for each major step.

• Any relevant domain restrictions.

• A clear concluding statement.

Key Takeaways

• Advanced trigonometric proofs establish that two expressions are equivalent using rigorous mathematical reasoning.

• A trigonometric identity is true for every angle in its common domain.

• Identity proofs are different from trigonometric equations, which are solved for particular angle values.

• A complete proof should contain justified mathematical steps.

• It is usually effective to begin with the more complicated side of an identity.

• Reciprocal and quotient identities are useful for rewriting expressions in sine and cosine.

• Pythagorean identities simplify expressions involving squared trigonometric functions.

• Common denominators can reveal useful trigonometric relationships.

• Factoring and difference-of-squares techniques are important in advanced proofs.

• Multiplying by conjugates can simplify complicated rational expressions.

• Double-angle and triple-angle identities are useful when expressions involve multiple angles.

• Compound-angle identities allow sums and differences of angles to be expanded.

• Product-to-sum and sum-to-product identities provide alternative ways to simplify expressions.

• A single identity may be proved using several different strategies.

• Comparing alternative proofs helps identify efficient and effective methods.

• The shortest proof is not always the most informative proof.

• Domain restrictions must be considered throughout a proof.

• Cancellation is only valid when the cancelled factor is nonzero.

• Circular reasoning must be avoided.

• Numerical examples and graphs can help check results but cannot replace a general proof.

• Clear notation, logical organisation, and justified steps are essential for communicating mathematical reasoning.

• Trigonometric proofs are useful in vector analysis, circular motion, wave motion, and engineering.

• Mastering advanced trigonometric proofs develops the algebraic fluency, logical reasoning, and mathematical communication skills needed for higher-level mathematics and calculus.