Trigonometric Identities

Introduction

A trigonometric identity is an equation involving trigonometric functions that is true for every value in the common domain of its two sides. This is different from a trigonometric equation such as $\sin x = 0$ , which is true only for selected values of $x$ . In this aiMOOC for Grades 11–13, you will learn how identities arise, how to choose and prove them, how to use them to simplify expressions and solve equations, and how they connect to graphs, waves, geometry, and complex numbers.

The central idea is representation: the same quantity can often be written in several equivalent forms. For example, $\tan x$ can be written as $\frac{\sin x}{\cos x}$ whenever $\cos x \neq 0$ . Choosing the right representation can turn a difficult-looking problem into a short algebraic argument.

The unit circle gives a geometric foundation for sine and cosine: a point at angle $x$ has coordinates $(\cos x, \sin x)$ . Because every point on the unit circle satisfies $X^{2} + Y^{2} = 1$ , the identity $\sin^{2} x + \cos^{2} x = 1$ follows immediately.

Learning Goals

By the end of the course, you should be able to explain the difference between an identity and an equation, derive the fundamental identities from definitions, verify identities while respecting domains, use sum and difference formulas, derive double-angle and half-angle formulas, transform sums and products, solve selected trigonometric equations efficiently, and justify your reasoning in algebraic, geometric, graphical, and numerical forms.

Prerequisites and Notation

You should already be comfortable with trigonometric functions, radian measure, the unit circle, algebraic fractions, factoring, and basic graph transformations. Unless stated otherwise, angles are measured in radians.

The notation $\sin^{2} x$ means $(\sin x)^{2}$ . It does not mean $\sin (x^{2})$ . Similarly, $\cos^{- 1} x$ is often used for the inverse cosine function, while $\sec x$ means $1 / \cos x$ . Keeping these conventions separate prevents common errors.

Foundations: Where Identities Come From

The Six Trigonometric Functions

On the unit circle, sine and cosine are coordinates. The other four standard trigonometric functions are built from them or from reciprocal relationships.

Datei:Unit Circle Definitions of Six Trigonometric Functions.svg

Function	Fundamental relationship	Domain warning
Sine	$\sin x$	Defined for every real $x$
Cosine	$\cos x$	Defined for every real $x$
Tangent	$\tan x = \frac{\sin x}{\cos x}$	Requires $\cos x \neq 0$
Cotangent	$\cot x = \frac{\cos x}{\sin x}$	Requires $\sin x \neq 0$
Secant	$\sec x = \frac{1}{\cos x}$	Requires $\cos x \neq 0$
Cosecant	$\csc x = \frac{1}{\sin x}$	Requires $\sin x \neq 0$

An identity containing a quotient or reciprocal is understood on the set of inputs where both sides are defined. Domain restrictions are part of a correct proof, not an optional detail.

Reciprocal and Quotient Identities

The reciprocal identities are $\sec x = \frac{1}{\cos x}$ , $\csc x = \frac{1}{\sin x}$ , and $\cot x = \frac{1}{\tan x}$ on their appropriate domains.

The quotient identities are $\tan x = \frac{\sin x}{\cos x}$ and $\cot x = \frac{\cos x}{\sin x}$ .

These identities are especially useful when an expression contains several different trigonometric functions. Converting everything to sine and cosine often reveals common factors or a Pythagorean identity.

Pythagorean Identities

The most important Pythagorean identity is

$\sin^{2} x + \cos^{2} x = 1.$

It comes directly from the unit-circle equation. Dividing it by $\cos^{2} x$ where $\cos x \neq 0$ gives

$1 + \tan^{2} x = \sec^{2} x .$

Dividing it by $\sin^{2} x$ where $\sin x \neq 0$ gives

$1 + \cot^{2} x = \csc^{2} x .$

Datei:Trig functions on unit circle.svg

Useful rearrangements include $1 - \sin^{2} x = \cos^{2} x$ , $1 - \cos^{2} x = \sin^{2} x$ , $\sec^{2} x - \tan^{2} x = 1$ , and $\csc^{2} x - \cot^{2} x = 1$ . You should understand where these forms come from instead of memorizing them as unrelated rules.

Symmetry, Signs, and Periodicity

Sine, tangent, cotangent, and cosecant are odd functions, while cosine and secant are even:

$\sin (- x) = - \sin x$ , $\cos (- x) = \cos x$ , and $\tan (- x) = - \tan x$ .

Periodicity gives $\sin (x + 2 π) = \sin x$ , $\cos (x + 2 π) = \cos x$ , and $\tan (x + π) = \tan x$ .

Cofunction identities connect complementary angles, for example $\sin (\frac{π}{2} - x) = \cos x$ and $\cos (\frac{π}{2} - x) = \sin x$ .

Datei:Relating Trigonometric Functions Figure 3.svg

The quadrant diagram helps you predict signs, but it does not replace a proof. A strong solution combines sign reasoning with an identity or a unit-circle argument.

Verifying Trigonometric Identities

What Counts as a Proof?

Testing a few angles can provide evidence, but it does not prove an identity. Two expressions might agree at many sampled points and still differ elsewhere. A graph is also useful for exploration, yet finite screen resolution can hide small differences or undefined points.

A standard school-level verification begins with one side and transforms it into the other using known identities and valid algebra. This avoids assuming the statement you are trying to prove. If you transform both sides to a common expression, make sure every step is reversible on the stated domain.

A Reliable Strategy

When an identity looks difficult, inspect its structure before calculating. Look for reciprocal functions, quotients, squares, common denominators, factors, conjugates, or angle combinations. Convert functions selectively rather than automatically.

Useful moves include replacing tangent and cotangent by sine and cosine, using $\sin^{2} x + \cos^{2} x = 1$ , factoring a difference of squares, creating a common denominator, multiplying by a conjugate, and simplifying only after domain restrictions are clear.

Worked Verification Example

Verify $\sec x - \cos x = \sin x \tan x$ for values where $\cos x \neq 0$ .

Start with the left-hand side:

$\sec x - \cos x = \frac{1}{\cos x} - \cos x$

$= \frac{1 - \cos^{2} x}{\cos x}$

$= \frac{\sin^{2} x}{\cos x}$

$= \sin x \frac{\sin x}{\cos x}$

$= \sin x \tan x .$

The proof used a reciprocal identity, a common denominator, the Pythagorean identity, and the quotient identity. The restriction $\cos x \neq 0$ is necessary because secant and tangent are undefined when cosine is zero.

Common Pitfalls

Do not cancel terms across addition or subtraction. For example, you cannot cancel $\sin x$ from $\frac{\sin x + \cos x}{\sin x}$ because the numerator is a sum.

Do not divide by an expression that might be zero without recording a restriction. Do not square both sides of an equation and assume no new solutions were introduced. Do not treat a calculator match as proof. Finally, keep the distinction between an identity and a conditional equation visible in your reasoning.

Sum and Difference Identities

Core Formulas

For angles $α$ and $β$ ,

$\sin (α + β) = \sin α \cos β + \cos α \sin β$

$\sin (α - β) = \sin α \cos β - \cos α \sin β$

$\cos (α + β) = \cos α \cos β - \sin α \sin β$

$\cos (α - β) = \cos α \cos β + \sin α \sin β$ .

For tangent, where the expressions are defined,

$\tan (α + β) = \frac{\tan α + \tan β}{1 - \tan α \tan β}$

and

$\tan (α - β) = \frac{\tan α - \tan β}{1 + \tan α \tan β}$ .

Datei:Trig-addition-laws.svg

The signs are worth understanding structurally. In the cosine formula, the product of the sine terms takes the opposite sign from the sign connecting the angles. In the sine formula, the sign is preserved.

Exact-Value Example

To find $\sin 7 5^{\circ}$ , write $7 5^{\circ} = 4 5^{\circ} + 3 0^{\circ}$ :

$\sin 7 5^{\circ} = \sin 4 5^{\circ} \cos 3 0^{\circ} + \cos 4 5^{\circ} \sin 3 0^{\circ} .$

Substituting exact special-angle values gives

$\sin 7 5^{\circ} = \frac{\sqrt{2}}{2} \frac{\sqrt{3}}{2} + \frac{\sqrt{2}}{2} \frac{1}{2} = \frac{\sqrt{6} + \sqrt{2}}{4} .$

This method produces an exact answer, unlike a rounded decimal from a calculator.

A Vector Interpretation

The addition formulas are not isolated tricks. They are compatible with rotations in the coordinate plane. Rotating a unit vector by $β$ and then by $α$ produces the same final direction as one rotation by $α + β$ . Matrix multiplication of the two rotation matrices reproduces the sine and cosine sum identities. This connection becomes especially useful in linear algebra, physics, computer graphics, and engineering.

Double-Angle, Half-Angle, and Power-Reduction Identities

Double-Angle Identities

Set $α = β = x$ in the sum formulas:

$\sin 2 x = 2 \sin x \cos x$

$\cos 2 x = \cos^{2} x - \sin^{2} x$ .

Using the Pythagorean identity gives two equivalent cosine forms:

$\cos 2 x = 2 \cos^{2} x - 1$

and

$\cos 2 x = 1 - 2 \sin^{2} x$ .

Also,

$\tan 2 x = \frac{2 \tan x}{1 - \tan^{2} x}$

where both sides are defined.

Datei:Visual demonstration of the double-angle trigonometric identity for sine.svg

The image provides a geometric interpretation of $\sin 2 x = 2 \sin x \cos x$ . A visual argument can make the factor of two much easier to remember because it has a geometric reason.

Half-Angle and Power Reduction

Replacing $x$ by $x / 2$ in the cosine double-angle formulas gives

$\sin^{2} \frac{x}{2} = \frac{1 - \cos x}{2}$

and

$\cos^{2} \frac{x}{2} = \frac{1 + \cos x}{2}$ .

Taking square roots yields

$\sin \frac{x}{2} = \pm \sqrt{\frac{1 - \cos x}{2}}$

and

$\cos \frac{x}{2} = \pm \sqrt{\frac{1 + \cos x}{2}} .$

The sign depends on the quadrant containing $x / 2$ . This sign choice is essential.

The related power-reduction identities

$\sin^{2} x = \frac{1 - \cos 2 x}{2}$

and

$\cos^{2} x = \frac{1 + \cos 2 x}{2}$

replace squared trigonometric functions by first powers. They are useful in later calculus work, especially integration.

Product-to-Sum and Sum-to-Product

Converting Products to Sums

By combining angle-sum and angle-difference identities, you can derive

$\sin α \sin β = \frac{1}{2} [\cos (α - β) - \cos (α + β)]$

$\cos α \cos β = \frac{1}{2} [\cos (α - β) + \cos (α + β)]$

$\sin α \cos β = \frac{1}{2} [\sin (α + β) + \sin (α - β)] .$

These forms are useful when products are hard to integrate, average, or compare.

Converting Sums to Products

The reverse process gives identities such as

$\sin u + \sin v = 2 \sin \frac{u + v}{2} \cos \frac{u - v}{2}$

and

$\cos u + \cos v = 2 \cos \frac{u + v}{2} \cos \frac{u - v}{2} .$

These identities help explain interference and beating when two periodic signals have nearby frequencies. A sum of waves can be rewritten as a product that displays a fast oscillation multiplied by a slowly changing envelope.

Graphs, Periodicity, and Identity Checking

Datei:Trigonometric functions unitcircle firstphase.svg

The unit circle and the function graphs describe the same motion in two representations. As a point moves around the circle, its vertical coordinate traces a sine wave and its horizontal coordinate traces a cosine wave. This makes periodicity, phase shifts, and symmetry visible.

Graphing both sides of a proposed identity can be a powerful diagnostic tool. If the graphs clearly disagree, the statement is not an identity. If they appear to match, you still need an algebraic, geometric, or analytic proof. Pay special attention to holes and vertical asymptotes, because two formulas can have matching values where both are defined but different domains.

Solving Trigonometric Equations with Identities

Identities are tools for transforming equations into forms you can solve. The transformation step and the solution step are different: an identity is always valid on its domain, while the resulting equation usually has only selected solutions.

Consider $\sin 2 x = \sin x$ for $0 \leq x < 2 π$ . Use the double-angle identity:

$2 \sin x \cos x = \sin x .$

Move everything to one side and factor:

$\sin x (2 \cos x - 1) = 0.$

Therefore $\sin x = 0$ or $\cos x = \frac{1}{2}$ . In the stated interval, the solutions are

$x = 0, \frac{π}{3}, π, \frac{5 π}{3} .$

Factoring is safer here than dividing by $\sin x$ . If you divided by $\sin x$ , you would lose the solutions where $\sin x = 0$ .

Advanced Connection: Euler's Formula

For learners ready for a Grades 12–13 extension, Euler's formula connects trigonometry with complex numbers:

$e^{i x} = \cos x + i \sin x .$

From this formula and its version with $- x$ , you can derive

$\cos x = \frac{e^{i x} + e^{- i x}}{2}$

and

$\sin x = \frac{e^{i x} - e^{- i x}}{2 i} .$

Multiplying complex exponentials gives $e^{i α} e^{i β} = e^{i (α + β)}$ . Expanding both sides with Euler's formula and comparing real and imaginary parts produces the cosine and sine addition formulas. This shows that trigonometric identities fit naturally into a larger algebraic structure.

Applications and Transfer

Trigonometric identities are used wherever periodicity and rotation matter. In physics, they simplify wave superposition and oscillations. In electrical engineering, phase-shifted sinusoidal signals are compared and combined. In navigation and surveying, angle relations support indirect measurement. In computer graphics and robotics, rotation formulas transform coordinates. In calculus, identities simplify integrals and derivatives involving trigonometric powers and products.

A practical mathematical habit is to ask: Which representation makes the structure easiest to see? Identity work is less about memorizing a large formula sheet than about recognizing patterns and selecting transformations that preserve meaning and domain.

Interactive Tasks

Quiz: Test Your Knowledge

What makes a trigonometric statement an identity? (It is true throughout its common domain) (!It is true for one selected angle) (!It contains at least two trig functions) (!It can be checked on a calculator)

Which family contains the relationship between tangent, sine, and cosine? (Quotient identity) (!Reciprocal identity) (!Half angle identity) (!Period identity)

Which theorem gives the geometric basis for sine squared plus cosine squared equals one? (Pythagorean theorem) (!Binomial theorem) (!Remainder theorem) (!Mean value theorem)

What should you record when dividing by an expression during an identity proof? (Domain restriction) (!Decimal approximation) (!Graphing window) (!Angle label)

Which function is even? (Cosine) (!Sine) (!Tangent) (!Cotangent)

What is a good first move when many reciprocal functions appear? (Rewrite with sine and cosine) (!Round every value) (!Square both sides) (!Assume every denominator is nonzero)

Which formula family is used to calculate sine of a sum of two angles? (Angle addition identities) (!Reciprocal identities) (!Pythagorean identities) (!Period identities)

Which idea produces the sine double angle formula? (Set the two added angles equal) (!Replace radians with degrees) (!Differentiate the unit circle) (!Cancel the two sine factors)

Why can graphing fail to prove an identity? (A graph has limited numerical resolution) (!Graphs never show trigonometric functions) (!Graphs cannot display radians) (!Graphs always change the domain)

What determines the sign in a square root half angle formula? (The quadrant of the half angle) (!The size of the denominator) (!The number of variables) (!The graphing calculator mode)

Memory Game

Pythagorean identity	Connects squared sine and cosine to one
Reciprocal identity	Links a trigonometric function with its multiplicative inverse
Quotient identity	Expresses tangent or cotangent as a ratio
Cofunction identity	Connects functions of complementary angles
Double-angle identity	Rewrites a function of twice an angle
Periodicity	Describes repetition after a fixed angular interval

Drag and Drop

Match the correct terms.	Topic
Reciprocal relationship	Secant is paired with cosine
Quotient relationship	Tangent is sine divided by cosine
Pythagorean relationship	Squared sine and squared cosine combine to one
Parity relationship	Cosine keeps its value when the angle changes sign
Period relationship	Tangent repeats after a half turn

Crossword Puzzle

Identity	What type of equation is true throughout its common domain?
Reciprocal	What relationship connects cosine and secant?
Quotient	What kind of identity writes tangent as sine divided by cosine?
Pythagorean	Which family includes squared sine plus squared cosine?
Conjugate	What algebraic partner can help simplify certain fractions?
Periodicity	What property describes the repeating behavior of trig functions?

LearningApps

Cloze Text

Open-Ended Tasks

Easy

Unit-circle identity sketch: Draw or digitally create a labeled unit circle and annotate how the coordinates lead to the Pythagorean identity.
Identity card set: Produce a compact set of study cards showing reciprocal, quotient, and Pythagorean identities with one example for each family.
Proof narration: Record a short audio or video explanation of one simple identity proof and name the justification used at every step.
Graph comparison: Plot both sides of a valid identity and one false look-alike, then describe what the graphs reveal and what they cannot prove.

Standard

Exact-angle project: Create a one-page guide that derives exact values for at least three nonstandard angles using sum or difference identities.
Wave interference investigation: Use graphing software to add two sinusoidal waves with nearby frequencies and explain the pattern using a sum-to-product identity.
Applied mathematics interview: Interview a teacher, engineer, technician, musician, or physics student about where trigonometric transformations appear in their work or studies.
Identity station activity: Design a classroom station with algebra tiles, cards, or movable paper pieces that helps peers match identities to useful transformation strategies.

Advanced

Rotation-matrix derivation: Derive the sine and cosine angle-addition identities by multiplying two rotation matrices and interpreting the entries.
Euler-formula video: Produce a short teaching video that uses Euler's formula to derive at least one trigonometric identity and explains each algebraic step.
Counterexample search: Use a spreadsheet or program to test a collection of plausible-looking trigonometric statements, identify failures, and explain why numerical evidence alone is not proof.
Local measurement project: Visit a suitable open location such as a schoolyard, park, or surveying site, collect angle or periodic data, and present a model in which an identity simplifies the calculation.

Learning Assessment

Restricted-domain proof: Verify a trigonometric identity that contains a denominator, state its common domain, and explain why each transformation is valid.
Faulty proof diagnosis: Analyze a proof that illegally cancels across a sum or divides by a possibly zero factor, identify the exact failure, and repair the argument.
Exact-value transfer: Choose an angle that is not one of the standard unit-circle angles, decompose it into familiar angles, and derive an exact trigonometric value.
Equation strategy: Solve a trigonometric equation using an identity, justify the chosen interval, and check that no solution was lost or introduced.
Model interpretation: Rewrite a sum of two sinusoidal signals using a sum-to-product identity and interpret the envelope and carrier behavior in context.
Representation comparison: Explain the same identity using two different representations, such as algebra and geometry or algebra and complex numbers, and compare what each representation makes easiest to see.

Evidence of Learning

Strong evidence of learning includes knowledge of the main identity families and the domain conditions under which they are valid; skills in algebraic transformation, exact-value calculation, graph interpretation, proof, and error checking; products such as annotated proofs, graphs, videos, models, or digital investigations; and transfer shown when you select an identity appropriately in unfamiliar problems from calculus, physics, engineering, computer graphics, or data modelling.

You should be able to explain not only which identity you used, but also why it was useful, what assumptions were required, and how you know the transformation preserved the mathematical meaning.

OERs on the Topic

The English Wikipedia overview below provides a broad reference collection of formulas. Use it as a reference, not as a substitute for proving and applying the identities yourself.

For a structured open textbook treatment, see OpenStax Precalculus 2e: Simplifying and Verifying Trigonometric Identities.