No history yet

Trigonometric Identity Proofs

Beyond the Basics

You already know how to find the sine of 30 degrees and that sin2x+cos2x=1\sin^2 x + \cos^2 x = 1. Now, we move into the more strategic part of trigonometry. Think of it less like calculation and more like solving a puzzle. The goal is to prove that one complex expression is actually equal to another, often simpler, one. Mastering this requires a new set of tools for transforming expressions.

Sums to Products

One of the most powerful techniques is changing sums of trigonometric functions into products. This often simplifies expressions dramatically, especially when you need to cancel terms. These transformations are commonly known as the because of the variables often used to represent the angles.

Here are the key formulas for converting sums and differences into products:

sinC+sinD=2sin(C+D2)cos(CD2)sinCsinD=2cos(C+D2)sin(CD2)cosC+cosD=2cos(C+D2)cos(CD2)cosCcosD=2sin(C+D2)sin(CD2)\begin{aligned} \\ \sin C + \sin D &= 2 \sin\left(\frac{C+D}{2}\right) \cos\left(\frac{C-D}{2}\right) \\ \sin C - \sin D &= 2 \cos\left(\frac{C+D}{2}\right) \sin\left(\frac{C-D}{2}\right) \\ \cos C + \cos D &= 2 \cos\left(\frac{C+D}{2}\right) \cos\left(\frac{C-D}{2}\right) \\ \cos C - \cos D &= -2 \sin\left(\frac{C+D}{2}\right) \sin\left(\frac{C-D}{2}\right) \\ \end{aligned}

Let's see this in action. Suppose you need to prove the identity:

sin5x+sin3xcos5x+cos3x=tan4x\frac{\sin 5x + \sin 3x}{\cos 5x + \cos 3x} = \tan 4x

On their own, the terms on the left don't simplify. But by applying the sum-to-product formulas, we can transform the numerator and the denominator.

2sin(5x+3x2)cos(5x3x2)2cos(5x+3x2)cos(5x3x2)\frac{2 \sin\left(\frac{5x+3x}{2}\right) \cos\left(\frac{5x-3x}{2}\right)}{2 \cos\left(\frac{5x+3x}{2}\right) \cos\left(\frac{5x-3x}{2}\right)}

Simplifying the angles inside the functions gives us:

2sin(4x)cos(x)2cos(4x)cos(x)\frac{2 \sin(4x) \cos(x)}{2 \cos(4x) \cos(x)}

After cancelling, we're left with sin4xcos4x\frac{\sin 4x}{\cos 4x}, which is simply tan4x\tan 4x. The identity is proven. The key was transforming the sums into products to reveal common factors.

Conditional Identities

Some identities are only true under specific conditions. A very common condition in problems is that the angles of a triangle, AA, BB, and CC, are involved. This gives us a powerful hidden tool: the fact that A+B+C=πA + B + C = \pi radians (or 180°). This constraint allows for clever substitutions. often require you to isolate a variable, like A+B=πCA+B = \pi - C, and then apply trigonometric properties.

Let's prove that if A+B+C=πA+B+C=\pi, then sin2A+sin2B+sin2C=4sinAsinBsinC\sin 2A + \sin 2B + \sin 2C = 4 \sin A \sin B \sin C.

This looks intimidating. We start by working on the left-hand side (LHS), grouping the first two terms and applying the sum-to-product formula:

LHS=(sin2A+sin2B)+sin2C\text{LHS} = (\sin 2A + \sin 2B) + \sin 2C
=2sin(A+B)cos(AB)+2sinCcosC= 2 \sin(A+B)\cos(A-B) + 2\sin C \cos C

Now, we use our condition. Since A+B+C=πA+B+C=\pi, we know that A+B=πCA+B = \pi - C. This means sin(A+B)=sin(πC)=sinC\sin(A+B) = \sin(\pi - C) = \sin C. Let's substitute that in.

=2sinCcos(AB)+2sinCcosC= 2 \sin C \cos(A-B) + 2\sin C \cos C

We can factor out 2sinC2\sin C:

=2sinC(cos(AB)+cosC)= 2\sin C (\cos(A-B) + \cos C)

Let's use the condition again. We can write cosC=cos(π(A+B))=cos(A+B)\cos C = \cos(\pi - (A+B)) = -\cos(A+B). Substituting this gives:

=2sinC(cos(AB)cos(A+B))= 2\sin C (\cos(A-B) - \cos(A+B))

The expression in the parenthesis, cos(AB)cos(A+B)\cos(A-B) - \cos(A+B), simplifies to 2sinAsinB2\sin A \sin B. (You can prove this using the sum/difference formulas for cosine or the C and D formulas). Our final expression becomes:

=2sinC(2sinAsinB)=4sinAsinBsinC= 2\sin C (2\sin A \sin B) = 4\sin A \sin B \sin C

Half-Angle Substitutions

Sometimes, proving an identity seems impossible using standard formulas. A powerful technique for these situations is to express trigonometric functions in terms of the tangent of a half-angle. These can convert a complex trigonometric expression into a more straightforward algebraic one.

The core substitutions, where t=tan(x/2)t = \tan(x/2), are:

sinx=2t1+t2,cosx=1t21+t2,tanx=2t1t2\sin x = \frac{2t}{1+t^2} \quad , \quad \cos x = \frac{1-t^2}{1+t^2} \quad , \quad \tan x = \frac{2t}{1-t^2}

Consider proving the identity: 1cosx+sinx1+cosx+sinx=tan(x2)\frac{1-\cos x + \sin x}{1+\cos x + \sin x} = \tan\left(\frac{x}{2}\right).

Let's substitute the half-angle formulas into the left side, using t=tan(x/2)t = \tan(x/2):

1(1t21+t2)+(2t1+t2)1+(1t21+t2)+(2t1+t2)\frac{1 - \left(\frac{1-t^2}{1+t^2}\right) + \left(\frac{2t}{1+t^2}\right)}{1 + \left(\frac{1-t^2}{1+t^2}\right) + \left(\frac{2t}{1+t^2}\right)}

To simplify this complex fraction, we can multiply the numerator and denominator by the common denominator, $1+t^2$.

(1+t2)(1t2)+2t(1+t2)+(1t2)+2t\frac{(1+t^2) - (1-t^2) + 2t}{(1+t^2) + (1-t^2) + 2t}

Now, simplify the algebra in the numerator and denominator:

1+t21+t2+2t1+t2+1t2+2t=2t2+2t2+2t\frac{1+t^2 - 1+t^2 + 2t}{1+t^2 + 1-t^2 + 2t} = \frac{2t^2 + 2t}{2 + 2t}

Finally, we factor and cancel terms:

2t(t+1)2(1+t)=t\frac{2t(t+1)}{2(1+t)} = t

Since we defined t=tan(x/2)t = \tan(x/2), we have proven that the left side simplifies to tt, which equals the right side. This technique converted a tricky trigonometric proof into a standard algebraic simplification.

Quiz Questions 1/6

Which of the following correctly expresses sinA+sinB\sin A + \sin B as a product?

Quiz Questions 2/6

Simplify the expression cos7xcos3xsin7xsin3x\frac{\cos 7x - \cos 3x}{\sin 7x - \sin 3x} using the sum-to-product formulas.

These strategies—transforming sums, using conditions, and substituting—are the core of advanced trigonometric proofs. Practice is key to recognizing which tool to use for each problem.