Trigonometric Identities and Equations

A trigonometric identity is an equality involving trigonometric functions that is true for every value of the variable for which both sides are defined — for example ${\sin }^2\theta +{\cos }^2\theta =1$ holds for all real $\theta$. A trigonometric equation, by contrast, is true only for particular values, and solving it means finding all such values. Identities matter because they let us rewrite complicated expressions into tractable forms, prove theorems, integrate functions in calculus, and analyze periodic phenomena. The surprising fact: the entire web of dozens of trig identities collapses out of a single relationship — the definition of sine and cosine as coordinates on the unit circle — together with the algebra of rotations. Everything else is bookkeeping.

The Core Insight

Sine and cosine are the coordinates of a point moving around the unit circle. Because the circle has radius 1, the Pythagorean theorem instantly gives ${\sin }^2+{\cos }^2=1$. Because rotating by angle $A$ then by angle $B$ is the same as rotating by $A+B$, the sum formulas follow. Every identity is a geometric or algebraic consequence of these two facts. An identity is a structural truth; an equation is a question about location.

Formal Statement

Unit-Circle Definitions

For an angle $\theta$ measured counterclockwise from the positive $x$-axis, let $P=(x,y)$ be the point where the terminal ray meets the unit circle $x^2+y^2=1$. Then:

The reciprocal functions are:

Here $\theta$ is a real number (radians) or angle measure; $x,y$ are real coordinates with $x^2+y^2=1$.

The Pythagorean Identities

For all $\theta$ where the functions are defined:

Sum and Difference Identities

For all angles $A,B$:

Double- and Half-Angle Identities

Why It Holds / Derivation

Deriving the Difference Formula for Cosine — Equation 6

We prove $\cos (A-B)=\cos A\cos B+\sin A\sin B$ using the unit circle and the distance formula.

1. Place two points on the unit circle: $P=(\cos A,\sin A)$ at angle $A$, and $Q=(\cos B,\sin B)$ at angle $B$.

1. The angle between $OP$ and $OQ$ is $A-B$. Compute the squared distance $P{Q}^2$ directly:

1. Expand: $P{Q}^2={\cos }^{2}A-2\cos A\cos B+{\cos }^{2}B+{\sin }^{2}A-2\sin A\sin B+{\sin }^{2}B$. Group using [3] twice:

1. Now compute $P{Q}^2$ using the law of cosines in triangle $OPQ$ where $|OP|=|OQ|=1$ and the included angle is $A-B$:

1. Equate [15] and [16]: $2-2(\cos A\cos B+\sin A\sin B)=2-2\cos (A-B)$. Cancel and divide by $-2$:

Every other sum/difference and multiple-angle identity follows algebraically from this one and [3].

Leonhard Euler | 1707–1783

Euler unified trigonometry with the exponential function through his celebrated formula $e^{i\theta }=\cos \theta +i\sin \theta$. From this single relation, all trig identities become consequences of the exponential law $e^{i(A+B)}=e^{iA}{e}^{iB}$. Multiplying out the right side and matching real and imaginary parts instantly reproduces the sum formulas [7] and [8]. Euler's 1748 Introductio in analysin infinitorum standardized the modern function-based view of trigonometry — treating $\sin$ and $\cos$ as functions of a real variable rather than ratios in a particular triangle, which is exactly how we use them today.

Building Intuition

Think of $\cos \theta$ and $\sin \theta$ as the shadow of a rotating clock hand of length 1: the horizontal shadow is the cosine, the vertical shadow is the sine. As the hand sweeps, the two shadows trade size, but the Pythagorean identity [3] guarantees the combined shadow always reconstructs a full unit length — the hand never stretches.

The sum formulas answer: "If I know the shadows at angle $A$ and at angle $B$, what are the shadows at $A+B$?" The answer isn't simple addition — shadows interfere. Equation [7] says the new horizontal shadow is the product of the two horizontal shadows minus the product of the two vertical ones. That minus sign is the fingerprint of rotation, the same minus that appears in complex multiplication.

For equations, switch viewpoints. Solving $\sin \theta =0.5$ isn't simplifying — it's asking "where on the circle is the height exactly $0.5$?" There are two such points per revolution and infinitely many revolutions, hence infinitely many solutions, which is why every trig equation answer carries a "$+2\pi n$" tail.

The unit circle showing cosine and sine as coordinates of point P at angle θ

Worked Examples

Proving an Identity by Simplification

1. Combine the left side over a common denominator $\sin \theta (1+\cos \theta )$:

1. Expand the numerator: ${\sin }^2\theta +1+2\cos \theta +{\cos }^2\theta$.

1. Apply [3], ${\sin }^2\theta +{\cos }^2\theta =1$, so the numerator becomes $1+1+2\cos \theta =2+2\cos \theta =2(1+\cos \theta )$.

1. Substitute back:

1. By definition [2], $\frac{2}{\sin \theta }=2\csc \theta$.

Solving a Trigonometric Equation

1. Let $u=\cos \theta$. The equation becomes the quadratic $2u^2+u-1=0$.

1. Factor: $(2u-1)(u+1)=0$, so $u=\frac{1}{2}$ or $u=-1$.

1. Case $\cos \theta =\frac{1}{2}$: On $[0,2\pi )$ the cosine equals $\frac{1}{2}$ at $\theta =\frac{\pi }{3}$ (1st quadrant) and $\theta =\frac{5\pi }{3}$ (4th quadrant).

1. Case $\cos \theta =-1$: This occurs only at $\theta =\pi$.

1. Collect all solutions in the interval:

(If all real solutions were wanted, add $+2\pi n$, $n\in \mathbb{Z}$, to each.)

Common Misconceptions

A student claims $\sqrt{{\sin }^2\theta }=\sin \theta$. Test $\theta =\frac{3\pi }{2}$: here $\sin \theta =-1$, so ${\sin }^2\theta =1$ and $\sqrt{1}=1\ne -1$. The square root returns the non-negative root, so correctly $\sqrt{{\sin }^2\theta }=|\sin \theta |$. This same trap explains the $\pm$ sign in the half-angle formulas [13] — the sign must be chosen according to the quadrant, not assumed positive.

Connections

Trig identities sit at a busy crossroads. They are the algebraic engine behind Trigonometric Functions and depend directly on the geometry of The Unit Circle. In analysis, the power-reduction forms [12] are essential for integration — every integral of ${\sin }^2$ or ${\cos }^2$ in Integral Calculus is computed by replacing them with $\cos 2\theta$ terms. The deepest link is to Complex Numbers via Euler's formula, which turns all of trigonometry into exponential algebra. The sum-to-product forms underpin Fourier Series, where any periodic signal decomposes into sines and cosines, and the double-angle relations connect to Rotation Matrices in Linear Algebra.

Real-World Applications

1. Audio engineering — beat frequencies: The sum-to-product identity converts $\sin (f_{1}t)+\sin (f_{2}t)$ into a product, explaining the slow "wah-wah" beating heard when two close pitches sound together.
2. Electrical engineering — AC power: Computing average power $⟨V^2⟩$ over a cycle uses the power-reduction formula [12] to evaluate the average of ${\cos }^2(\omega t)$ as $\frac{1}{2}$, giving the RMS factor $1/\sqrt{2}$.
3. Computer graphics — rotation: Rotating a sprite by angle $A+B$ uses the sum formulas [7]–[8], the same arithmetic encoded in rotation matrices.
4. GPS and navigation — the haversine formula: Distance between two points on a sphere uses half-angle identities [13] to compute great-circle arcs accurately.
5. Optics — wave superposition: Interference patterns from two coherent light beams are derived by adding cosines and applying sum-to-product identities.
6. Mechanical engineering — simple harmonic motion: A mass on a spring with both sine and cosine terms is rewritten as a single $R\cos (\omega t-\varphi )$ using the linear-combination identity, derived from [7].
7. Signal processing — modulation: AM radio multiplies a carrier $\cos ({\omega }_{c}t)$ by a signal; the product-to-sum identity reveals the sideband frequencies that the receiver must filter.

Historical Development

• c. 150 BC — Hipparchus of Nicaea compiles the first known table of chords, the ancestor of the sine table, to predict astronomical positions.
• c. 100 AD — Ptolemy states what is now equivalent to the sum and difference identities as "Ptolemy's theorem" on cyclic quadrilaterals in the Almagest.
• c. 500 AD — Aryabhata introduces the half-chord (the true sine), tabulating values and an early version of the half-angle relation in India.
• c. 1000 AD — Abu al-Wafa of Baghdad establishes the modern sine, tangent, secant relations and proves the double-angle and addition formulas geometrically.
• 1464 — Regiomontanus writes De triangulis omnimodis, the first European text treating trigonometry as a discipline independent of astronomy.
• 1593 — François Viète derives multiple-angle formulas and uses them to solve high-degree polynomial equations.
• 1722 — Abraham de Moivre publishes the formula $(\cos \theta +i\sin \theta {)}^n=\cos n\theta +i\sin n\theta$, linking powers to multiple angles.
• 1748 — Leonhard Euler unifies trigonometry with the exponential function via $e^{i\theta }=\cos \theta +i\sin \theta$ in the Introductio, recasting all identities as exponential algebra.
• 1822 — Joseph Fourier shows arbitrary periodic functions decompose into sines and cosines, making trig identities central to modern physics and engineering.

Subtleties & Limits

The "subtleties" here are domain and inverse-function issues rather than unsolved research problems. The chief one: trig equations have infinitely many solutions because $\sin$ and $\cos$ are periodic, so any complete answer requires the general form ${\theta }_0+2\pi n$. Restricting to a principal interval (as in the inverse functions $\arcsin ,\arccos ,\arctan$) discards solutions, and students must consciously reintroduce them.

A deeper subtlety: identities derived by squaring both sides may introduce extraneous solutions that satisfy the squared equation but not the original — every solution must be checked back in the unsquared form. Likewise, dividing by a trig function silently assumes it is nonzero and may lose solutions where that function equals zero. Finally, the half-angle sign ambiguity in [13] has no universal resolution; it can only be settled by knowing the quadrant of the half-angle, which is information outside the identity itself.

See Also