Trigonometric Identities

One-line statement: Trigonometric identities are equations involving trigonometric functions that hold true for every value of the variable for which both sides are defined. Key result in words: From a single relationship — the Pythagorean identity

sin^{2} θ + cos^{2} θ = 1

— together with the addition formulas, the entire web of trigonometric identities can be derived. Where it applies: Simplifying expressions, solving trigonometric equations, evaluating integrals, modelling waves and oscillations, and rotating coordinates. Who/when: Rooted in Greek astronomy (Hipparchus, ~150 BCE) and Indian mathematics (Aryabhata, ~500 CE), formalized by Euler in the 18th century.

A trigonometric identity is an equality between two expressions built from trigonometric functions (sine, cosine, tangent, and their reciprocals) that is true for all permissible values of the angle, as opposed to a conditional equation that is true only for particular angles. These identities matter because they let us rewrite complicated expressions into manageable forms, prove other results, and unify the algebra of triangles with the calculus of periodic motion. They are the grammar of any subject that uses oscillation, rotation, or periodicity. A surprising fact: every single one of the dozens of standard identities can be unfolded from just the Pythagorean identity and the angle-addition formulas for sine and cosine — and those, in turn, collapse into the one breathtaking equation $e^{i θ} = cos θ + i sin θ$ .

The Core Insight

A point moving around the unit circle has coordinates $(cos θ, sin θ)$ . Because that point always lies on the circle of radius 1, its coordinates obey $x^{2} + y^{2} = 1$ at all times. Almost every trigonometric identity is a consequence of this geometric fact combined with how angles add when rotations are composed. Identities are the algebraic shadow of circular motion.

Formal Statement

Trigonometric Functions on the Unit Circle

Let $θ$ be an angle measured counterclockwise from the positive $x$ -axis. The point where the terminal side of $θ$ meets the unit circle has coordinates $(cos θ, sin θ)$ . The six functions are defined as:

sin θ = y, cos θ = x, tan θ = \frac{sin θ}{cos θ}

⟳read the coordinates directly off the unit circle; tangent is the slope

y / x

of the terminal ray.

csc θ = \frac{1}{sin θ}, sec θ = \frac{1}{cos θ}, cot θ = \frac{cos θ}{sin θ}

⟳the reciprocal functions are defined as the multiplicative inverses of sine, cosine, and tangent respectively.

Here $x$ and $y$ are the horizontal and vertical coordinates (dimensionless, since the radius is 1), and $θ$ is the angle (in radians or degrees).

The Pythagorean Identity

For every real number $θ$ :

sin^{2} θ + cos^{2} θ = 1

⟳apply the equation of the unit circle

x^{2} + y^{2} = 1

with

x = cos θ

y = sin θ

Dividing [3] through by $cos^{2} θ$ and by $sin^{2} θ$ yields two companions:

1 + tan^{2} θ = sec^{2} θ

⟳divide every term of [3] by

cos^{2} θ

and use

tan = sin / cos

sec = 1/ cos

1 + cot^{2} θ = csc^{2} θ

⟳divide every term of [3] by

sin^{2} θ

and use

cot = cos / sin

csc = 1/ sin

Angle Addition Formulas

For all angles $α$ and $β$ :

sin (α \pm β) = sin α cos β \pm cos α sin β

⟳project a rotated unit vector onto the axes, or expand the real/imaginary parts of

e^{i (α \pm β)} = e^{i α} e^{\pm i β}

cos (α \pm β) = cos α cos β \mp sin α sin β

⟳same as [6]; note the sign of the sine product reverses relative to the addition sign.

tan (α \pm β) = \frac{tan α \pm tan β}{1 \mp tan α tan β}

⟳divide [6] by [7] and then divide numerator and denominator by

cos α cos β

Double-Angle and Half-Angle Formulas

Setting $β = α$ in [6] and [7]:

sin 2 α = 2 sin α cos α

⟳put

β = α

into the sine addition formula [6].

cos 2 α = cos^{2} α - sin^{2} α = 2 cos^{2} α - 1 = 1 - 2 sin^{2} α

⟳put

β = α

into [7], then substitute

sin^{2} α = 1 - cos^{2} α

(or vice versa) using [3].

sin^{2} α = \frac{1 - cos 2 α}{2}, cos^{2} α = \frac{1 + cos 2 α}{2}

⟳solve the two right-hand forms of [10] for

sin^{2} α

and

cos^{2} α

tan \frac{α}{2} = \frac{1 - cos α}{sin α} = \frac{sin α}{1 + cos α}

⟳replace

α

α /2

in [11], take the ratio, and rationalize.

Why It Holds / Derivation

Deriving the Cosine Addition Formula from Rotation

We prove $cos (α - β) = cos α cos β + sin α sin β$ , from which all of [6]–[8] follow.

Place two points on the unit circle: $P = (cos α, sin α)$ and $Q = (cos β, sin β)$ .
The squared distance between them, by the distance formula, is

P Q^{2} = (cos α - cos β)^{2} + (sin α - sin β)^{2}

⟳apply

d^{2} = (Δ x)^{2} + (Δ y)^{2}

to the two unit-circle points.

Expanding and using [3] twice (once for each angle):

P Q^{2} = 2 - 2 (cos α cos β + sin α sin β)

⟳expand the squares, group

cos^{2} + sin^{2} = 1

for each angle, collect the cross terms.

Now rotate the whole picture so $Q$ sits at angle $0$ , i.e. at $(1, 0)$ , and $P$ sits at angle $(α - β)$ . The distance is unchanged by rotation, so

P Q^{2} = (cos (α - β) - 1)^{2} + (sin (α - β) - 0)^{2} = 2 - 2 cos (α - β)

⟳same distance formula applied to

(cos (α - β), sin (α - β))

and

(1, 0)

; use [3].

Equating [14] and [15] and cancelling the common $2$ :

cos (α - β) = cos α cos β + sin α sin β ■

⟳set the two expressions for

P Q^{2}

equal and divide by

- 2

Replacing $β$ with $- β$ (and using the even/odd properties below) gives the $+$ version; the sine formulas follow from $sin θ = cos (\frac{π}{2} - θ)$ .

Even–Odd (Symmetry) Identities

Reflecting the angle through the $x$ -axis sends $θ \to - θ$ , flipping the sign of $y$ but not $x$ :

cos (- θ) = cos θ, sin (- θ) = - sin θ, tan (- θ) = - tan θ

⟳the point at

- θ

has the same

x

-coordinate but the negated

y

-coordinate.

Cosine is even; sine and tangent are odd.

Leonhard Euler | 1707–1783

Euler did more than anyone to turn trigonometry from a table-bound art into algebra. His formula $e^{i θ} = cos θ + i sin θ$ (1748) reduces every identity above to ordinary rules for exponents: the addition formulas become $e^{i α} e^{i β} = e^{i (α + β)}$ , and the Pythagorean identity becomes $∣ e^{i θ} ∣^{2} = 1$ . He also standardized the notation $sin$ , $cos$ , $tan$ and treated the trig functions as analytic functions of a real (and complex) variable rather than as chords or half-chords of circles.

Building Intuition

Picture a clock hand of length 1 sweeping around. Its tip's shadow on the floor is $cos θ$ and its shadow on the wall is $sin θ$ . As it turns, those two shadows trade lengths back and forth, but the hand's length never changes — and that unchanging length, squared, is exactly $cos^{2} θ + sin^{2} θ = 1$ . The addition formulas just describe what happens to the shadows when you turn the hand by an extra angle: turning by $α$ then $β$ is the same as turning once by $α + β$ , so the shadow lengths must combine in a fixed bookkeeping way. Identities feel mysterious as algebra but are obvious as geometry — they are conservation laws for the spinning hand.

The unit circle: sine and cosine as coordinates of a rotating point

Worked Examples

Simplifying an expression

Given: Simplify

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

. Steps:

Replace $sin^{2} x$ using the Pythagorean identity [3]: $sin^{2} x = 1 - cos^{2} x$ .
Factor the numerator as a difference of squares: $1 - cos^{2} x = (1 - cos x) (1 + cos x)$ .
The expression becomes $\frac{( 1 - cos x ) ( 1 + cos x )}{1 - cos x}$ .
Cancel the common factor $(1 - cos x)$ , valid when $cos x \neq = 1$ .

\frac{sin ^{2} x}{1 - cos x} = 1 + cos x (cos x \neq = 1)

⟳rewrite

sin^{2}

via [3], factor, then cancel.

Computing an exact value with the addition formula

Given: Find the exact value of

cos 7 5^{\circ}

. Steps:

Write $7 5^{\circ} = 4 5^{\circ} + 3 0^{\circ}$ .
Apply the cosine addition formula [7]:

cos 7 5^{\circ} = cos 4 5^{\circ} cos 3 0^{\circ} - sin 4 5^{\circ} sin 3 0^{\circ}

Substitute known values: $cos 4 5^{\circ} = sin 4 5^{\circ} = \frac{2}{2}$ , $cos 3 0^{\circ} = \frac{3}{2}$ , $sin 3 0^{\circ} = \frac{1}{2}$ .
Compute:

cos 7 5^{\circ} = \frac{2}{2} \cdot \frac{3}{2} - \frac{2}{2} \cdot \frac{1}{2} = \frac{6}{4} - \frac{2}{4}

cos 7 5^{\circ} = \frac{6 - 2}{4} \approx 0.2588

⟳split 75° into known special angles and apply [7].

Common Misconceptions

The function notation is not distributive. In general

sin (α + β) \neq = sin α + sin β

⟳test

α = β = 9 0^{\circ}

: left side

= sin 18 0^{\circ} = 0

, right side

= 1 + 1 = 2

Also be careful:

sin^{2} θ

means

(sin θ)^{2}

, while

sin^{- 1} θ

means the inverse (arcsine), not

1/ sin θ = csc θ

. And every identity carries hidden domain restrictions — cancellations like the one in [18] are only valid where the cancelled factor is nonzero.

Students often "prove" an identity by manipulating both sides until they reach $0 = 0$ , then declare victory. But this can validate a false statement if a step is reversible only conditionally. For instance, squaring is not reversible: from the false equation $sin x = - sin x$ one can square to get the true $sin^{2} x = sin^{2} x$ . The squaring step introduced solutions that were not in the original. Rule: to prove an identity, transform one side into the other using only equivalences; never assume the thing you are trying to prove.

Connections

Trigonometric identities sit at a crossroads of several fields. They are the algebraic backbone of Solving Trigonometric Equations, where rewriting an expression into a single function often unlocks the solution. They power Trigonometric Integration, where formulas like [11] convert un-integrable powers into linear combinations of cosines. They are equivalent statements about Complex Numbers via Euler's formula, turning trigonometry into the arithmetic of points on the unit circle in the complex plane. They generalize the Pythagorean Theorem (set $θ$ to recover $a^{2} + b^{2} = c^{2}$ in a right triangle), and they underlie Fourier Series, where every periodic signal is built from sines and cosines that must be combined using these very identities.

Real-World Applications

Signal processing & audio: Combining two tones uses the product-to-sum identities; the "beat" frequency you hear when tuning a guitar is $cos A + cos B = 2 cos \frac{A + B}{2} cos \frac{A - B}{2}$ made audible.
GPS and surveying: Triangulation distances are computed with the law of cosines, a direct cousin of the addition formulas.
Electrical engineering (AC circuits): Voltages $V cos (ω t + ϕ)$ are added using the addition formulas to find phase and amplitude — the basis of phasor analysis.
Computer graphics: Rotating an object by angle $θ$ multiplies coordinates by a matrix built from $cos θ$ and $sin θ$ ; composing two rotations is the addition formula.
Astronomy: Hipparchus's chord tables (the ancestors of sine) predicted planetary and lunar positions; modern ephemerides still rely on trig series.
Architecture & engineering statics: Resolving forces on an inclined beam into horizontal and vertical components uses $sin$ and $cos$ projections.
Music synthesis (FM synthesis): Yamaha's DX7 synthesizer generated timbres by modulating $sin (ω t + sin (Ω t))$ , whose spectrum is unpacked using trig identities.

Historical Development

~150 BCE — Hipparchus of Nicaea compiles the first known table of chords, the direct ancestor of the sine function, for astronomical prediction.
~150 CE — Ptolemy in the Almagest states "Ptolemy's theorem," which is geometrically equivalent to the sine and cosine addition formulas.
~500 CE — Aryabhata (India) tabulates the jya (half-chord), introducing what would become the sine; the word "sine" descends from a mistranslation of this term.
~10th century — Abu al-Wafa al-Buzjani (Persia) derives the double-angle and addition formulas in essentially modern form and introduces the tangent.
1464 — Regiomontanus writes De triangulis omnimodis, the first European treatise treating trigonometry as an independent subject.
1614–1620 — John Napier & Henry Briggs publish logarithms, making the product-to-sum identities a practical computing shortcut for centuries.
1748 — Leonhard Euler publishes Introductio in analysin infinitorum, giving $e^{i θ} = cos θ + i sin θ$ and modern functional notation, unifying all identities.
1822 — Joseph Fourier shows arbitrary periodic functions decompose into sines and cosines, vastly extending the relevance of the identities.

Subtleties & Limits

Identities are clean over the real numbers, but extending them raises genuine subtleties. When trig functions are continued to complex arguments, $sin z$ and $cos z$ become unbounded (e.g. $cos (i y) = cosh y \to \infty$ ), yet the addition formulas [6]–[7] still hold formally — a reminder that "identity" depends on domain. The inverse functions are not single-valued: $arcsin$ requires a branch choice, and "solving" $sin x = c$ yields infinitely many solutions, so an "identity" in inverse functions like $arcsin (sin x) = x$ holds only on a restricted interval. At the research frontier, questions about which sums of trig values are rational or algebraic (Niven's theorem and its generalizations) remain delicate, and the transcendence of values like $cos (1)$ connects to deep open problems in number theory.