Trigonometric Identities

Core Definition

A trigonometric identity is an equality involving trigonometric functions that is true for every single angle $\theta$ in the shared domain of the expressions.

Unlike conditional equations (which are true only for specific values of $x$ ), identities express invariant geometric relationships between circular angles, arc lengths, and right triangle proportions.

Conceptual & Geometric Intuition

All fundamental trigonometric identities originate from the geometry of the Unit Circle (a circle of radius $r = 1$ centered at the origin $(0, 0)$ ).

For an angle $\theta$ in standard position, the terminal ray intersects the unit circle at the coordinate point:

(x, y) = (\cos \theta, \sin \theta)

                     y ^
                       |    (cos theta, sin theta)
                       |     *
                       |    /|
                       |   / |
                   r=1 |  /  | y = sin theta
                       | /   |
                       |/____|________> x
                      O   x = cos theta

1. Pythagorean Identities

The Fundamental Identity

Applying the Pythagorean theorem ( $x^2 + y^2 = r^2$ ) to the right triangle inside the unit circle ( $r = 1$ ) yields:

\cos^2 \theta + \sin^2 \theta = 1

Geometric Meaning: No matter the angle $\theta$ , the sum of the horizontal component squared and the vertical component squared always equals the radius squared ( $1$ ).
Rearrangements for Calculus:
- $\sin^2 \theta = 1 - \cos^2 \theta = (1 - \cos \theta)(1 + \cos \theta)$
- $\cos^2 \theta = 1 - \sin^2 \theta = (1 - \sin \theta)(1 + \sin \theta)$

Secondary Pythagorean Identities

Dividing $\sin^2 \theta + \cos^2 \theta = 1$ by $\cos^2 \theta$ or $\sin^2 \theta$ generates two additional forms:

Tangent-Secant Identity (divide by $\cos^2 \theta$ ): $\tan^2 \theta + 1 = \sec^2 \theta \iff \sec^2 \theta - 1 = \tan^2 \theta$
Cotangent-Cosecant Identity (divide by $\sin^2 \theta$ ): $1 + \cot^2 \theta = \csc^2 \theta \iff \csc^2 \theta - 1 = \cot^2 \theta$

2. Reciprocal and Quotient Identities

Quotient Identities: The tangent represents the slope ( $m = \frac{\Delta y}{\Delta x} = \frac{y}{x}$ ) of the terminal ray: $\tan \theta = \frac{\sin \theta}{\cos \theta} \quad \text{and} \quad \cot \theta = \frac{\cos \theta}{\sin \theta} = \frac{1}{\tan \theta}$
Reciprocal Identities: $\sec \theta = \frac{1}{\cos \theta}, \quad \csc \theta = \frac{1}{\sin \theta}, \quad \cot \theta = \frac{1}{\tan \theta}$

3. Even/Odd Symmetry Identities

Cosine is Even (Symmetric across y-axis): Reflecting an angle to $-\theta$ keeps the horizontal coordinate $x$ identical: $\cos(-\theta) = \cos \theta \quad \text{and} \quad \sec(-\theta) = \sec \theta$
Sine and Tangent are Odd (Origin Symmetry): Reflecting to $-\theta$ flips the vertical coordinate $y$ : $\sin(-\theta) = -\sin \theta \quad \text{and} \quad \tan(-\theta) = -\tan \theta$

4. Double-Angle Identities

Derived from the angle addition formulas ( $\sin(\alpha + \beta)$ and $\cos(\alpha + \beta)$ with $\alpha = \beta = \theta$ ):

Sine Double-Angle: $\sin(2\theta) = 2\sin \theta \cos \theta$
Cosine Double-Angle: $\cos(2\theta) = \cos^2 \theta - \sin^2 \theta = 2\cos^2 \theta - 1 = 1 - 2\sin^2 \theta$

5. Trigonometric Conjugate Pairs

In Calculus limits and integrals, expressions like $(1 - \cos \theta)$ or $(1 - \sin \theta)$ frequently cause division by zero. Multiplying by their trigonometric conjugate converts them into single squared terms via difference of squares:

(1 - \cos \theta)(1 + \cos \theta) = 1 - \cos^2 \theta = \sin^2 \theta

(1 - \sin \theta)(1 + \sin \theta) = 1 - \sin^2 \theta = \cos^2 \theta

Example Problems

Example Problem 1: Simplifying Difference of Squares

Simplify the expression:

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

Solution

Step 1: Apply the Pythagorean identity
Substitute $1 - \sin^2 x = \cos^2 x$ :

\frac{\cos^2 x}{\cos x}

Step 2: Cancel common factor

\frac{\cos^2 x}{\cos x} = \cos x \quad (\text{for } \cos x \neq 0)

Example Problem 2: Transforming with Trigonometric Conjugates

Multiply $(1 - \cos \theta)$ by its conjugate and rewrite the result in terms of $\sin \theta$ .