Trigonometric Identities and Proofs
Trigonometric identities are equations that hold true for every value of the variable where both sides are defined. They let you rewrite trig expressions in equivalent forms, which is essential for simplifying complicated expressions, solving trig equations, and constructing proofs. This section covers the core identities you need to know, how to use them to simplify expressions, how to verify (prove) identities, and how to apply them when solving equations.

Trigonometric Identities
Fundamental Trigonometric Identities
Pythagorean Identities
The most important identity in trigonometry comes straight from the unit circle and the Pythagorean theorem:
From this single identity, you can derive two others by dividing through:
- Divide everything by :
- Divide everything by :
These are used constantly. If you know , you can find (up to a sign determined by the quadrant), and vice versa.
Reciprocal Identities
These define the three "secondary" trig functions:
Quotient Identities
These connect tangent and cotangent back to sine and cosine:
Converting everything to sine and cosine using the reciprocal and quotient identities is one of the most reliable strategies for simplifying expressions and proving identities.
Identities Involving Angle Relationships
Co-function Identities
These relate trig functions of complementary angles (angles that add to ). The idea is that the sine of an angle equals the cosine of its complement, and so on:
- and
- and
- and
Odd-Even (Negative Angle) Identities
These tell you what happens when you negate the angle. Cosine and secant are even functions (the negative sign has no effect), while the other four are odd (the negative sign pulls out front):
- Even: ,
- Odd: , , ,
A quick way to remember: cosine's graph is symmetric about the y-axis (even), while sine's graph has rotational symmetry about the origin (odd).
Sum and Difference Identities
These let you find exact values for angles like or by breaking them into angles you already know (like ):
Notice the sign pattern: for sine, the matches; for cosine, the signs flip (the ). This is a common place to make errors, so pay close attention.
Simplifying Trigonometric Expressions

Applying Fundamental Identities
The general strategy for simplifying a trig expression:
- Convert to sine and cosine. Replace , , , and using the reciprocal and quotient identities.
- Combine fractions if there are multiple terms with different denominators.
- Look for Pythagorean identity substitutions. Whenever you see , replace it with . Similarly, and .
- Factor where possible, then cancel common factors.
- Simplify until you reach the target expression or the simplest form.
Example: Simplify .
-
Factor out :
-
Apply the Pythagorean identity ():
-
Replace with :
Simplifying Expressions with Double and Half Angles
Double-Angle Identities
These are derived from the sum identities by setting :
The three forms of are all equivalent. Which one you use depends on what's in the problem. If the expression involves only sine, use . If it involves only cosine, use .
Half-Angle Identities
These come from solving the double-angle formulas for in terms of :
The sign is determined by the quadrant that falls in.
Power-Reducing Identities
These are rearrangements of the double-angle formulas, useful for rewriting squared trig functions as first-power expressions:
These show up frequently in calculus, so getting comfortable with them now is worthwhile.
Verifying Trigonometric Identities
Steps for Verifying Identities
Verifying (or "proving") an identity means showing that the left side and right side are equivalent using known identities. You are not solving an equation. You cannot perform the same operation on both sides. Instead, you transform one side until it matches the other.
Here's a reliable approach:
- Pick the more complex side to work with. Leave the simpler side as your target.
- Convert everything to sine and cosine if the path forward isn't obvious.
- Look for opportunities to factor, combine fractions, or apply Pythagorean identities.
- Work toward the other side. Each step should use a valid identity or algebraic manipulation.
- Make sure every step is reversible and that you haven't restricted the domain (for instance, don't multiply both sides by something that could be zero).
Example: Verify that .
Start with the left side and multiply the numerator and denominator by the conjugate :
Since :
This matches the right side, so the identity is verified.

Graphical Verification of Identities
You can also check an identity by graphing both sides separately on a calculator or graphing tool. If the two graphs overlap completely across the entire domain, the identity is likely correct. This doesn't count as a formal proof, but it's a great way to confirm your algebraic work or to catch errors before you submit.
Solving Trigonometric Equations
Applying Identities to Solve Equations
Unlike identities (which are true for all valid angles), trig equations are true only for specific values of . The goal is to use identities to rewrite the equation so you can isolate the trig function and then find the angle(s).
General strategy:
-
Use identities to get the equation in terms of a single trig function. For example, if an equation has both and , use to write everything in terms of .
-
Solve algebraically. The equation often becomes a quadratic (e.g., ), which you can factor or use the quadratic formula on.
-
Find all angles in the specified interval. Remember that most trig functions hit the same value twice per period. For example, gives and in .
-
Account for periodicity if no interval is specified. Add (or ) for sine and cosine solutions, and (or ) for tangent solutions, where is any integer.
The double-angle, half-angle, and sum/difference identities are especially useful when the equation involves expressions like or .
Checking Solutions
Always substitute your solutions back into the original equation. Trig equations can produce extraneous solutions, particularly when you square both sides or multiply by an expression that could equal zero. A solution that satisfies a transformed version of the equation might not satisfy the original.
Also watch for values that make any denominator zero. For instance, if the original equation contains , then and are automatically excluded from the domain.