Trigonometric Identities

A trigonometric identity states that two expressions represent the same quantity for every input on their shared domain. Identities are not arbitrary formulas to memorize; they are reusable consequences of circles, ratios, and rotations. They let us change an expression’s form without changing its value. That freedom becomes essential in equation solving, wave analysis, and calculus. This lesson develops a small connected system of identities and a disciplined method for using it.

Distinguish identities from conditional equations

An identity is an equation that is true for every input at which both sides are defined. The statement $\sin^2x+\cos^2x=1$ is an identity because every real angle satisfies it. By contrast, $\sin x=\dfrac{1}{2}$ is true only at selected angles. That second statement is an equation to solve rather than an identity to verify. The distinction determines whether the goal is transformation or solution finding.

The phrase “where both sides are defined” is part of the definition. For example, $\dfrac{\sin x}{\cos x}=\tan x$ is valid only when $\cos x\neq0$. At an excluded input, the ratio has no real value, so the equality makes no claim. Simplification can hide such exclusions without removing them from the original problem. A rigorous solution records the domain before canceling or dividing.

Numerical checking can disprove a proposed identity but cannot prove it. One counterexample is enough to show that an equation is not universally true. Even a thousand successful calculator checks leave infinitely many inputs untested. A proof instead transforms one expression through known equalities until it becomes the other. This logical chain explains why the agreement must persist throughout the domain.

Build reciprocal and quotient identities

The reciprocal functions are defined by $\sec\theta=\dfrac{1}{\cos\theta}$, $\csc\theta=\dfrac{1}{\sin\theta}$, and $\cot\theta=\dfrac{1}{\tan\theta}$. The Greek letter theta, $\theta$, represents an angle. The prefix “co” in cosine, cotangent, and cosecant reflects complementary-angle relationships, not reciprocal pairing. Secant is reciprocal to cosine, and cosecant is reciprocal to sine. Each reciprocal is undefined wherever its denominator equals zero.

The quotient identities are $\tan\theta=\dfrac{\sin\theta}{\cos\theta}$ and $\cot\theta=\dfrac{\cos\theta}{\sin\theta}$. On a unit circle, cosine is the horizontal coordinate and sine is the vertical coordinate. Tangent therefore compares vertical displacement with horizontal displacement. Cotangent reverses that comparison. These ratios connect all six trigonometric functions to sine and cosine.

Domain restrictions follow directly from denominators. Tangent and secant require $\cos\theta\neq0$, which excludes odd multiples of $\dfrac{\pi}{2}$. Cotangent and cosecant require $\sin\theta\neq0$, which excludes integer multiples of $\pi$. The symbol $\pi$ represents half a full rotation in radians, and an integer multiple is written $k\pi$ for $k\in\mathbb Z$. Domain language turns a memorized identity into a precise mathematical statement.

Derive the Pythagorean family

Every point $(x,y)$ on the unit circle satisfies $x^2+y^2=1$. For the point at angle $\theta$, the coordinates are $x=\cos\theta$ and $y=\sin\theta$. Substitution gives $\cos^2\theta+\sin^2\theta=1$. The notation $\sin^2\theta$ means $(\sin\theta)^2$, not $\sin(\theta^2)$. Geometry therefore produces the central Pythagorean identity.

Divide all terms by $\cos^2\theta$ where cosine is nonzero. The result is $\dfrac{\sin^2\theta}{\cos^2\theta}+\dfrac{\cos^2\theta}{\cos^2\theta}=\dfrac{1}{\cos^2\theta}$. Quotient and reciprocal identities then give $\tan^2\theta+1=\sec^2\theta$. Division creates the restriction $\cos\theta\neq0$. The derived identity is valid precisely where tangent and secant are defined.

Dividing instead by $\sin^2\theta$ gives $1+\cot^2\theta=\csc^2\theta$. This version requires $\sin\theta\neq0$. The three equations are not unrelated facts but transformations of one geometric relation. Remembering their family structure makes reconstruction possible when memory fails. It also helps a learner choose the version containing the functions present in a problem.

Rearrange without losing meaning

The central identity can be rearranged as $1-\sin^2x=\cos^2x$ or $1-\cos^2x=\sin^2x$. These forms frequently replace a difference involving one function with a square of the other. Rearrangement uses addition or subtraction on both sides and does not add domain restrictions. The equality remains global because sine and cosine are defined for every real input. Equivalent forms are tools for matching a target expression.

Square roots require more care. From $\cos^2x=1-\sin^2x$, one obtains $|\cos x|=\sqrt{1-\sin^2x}$, not automatically $\cos x=\sqrt{1-\sin^2x}$. The absolute-value bars mean nonnegative magnitude. Choosing a positive or negative sign requires knowing the angle’s quadrant. Squaring loses sign information, so reversing that operation must restore it.

For example, if $\sin x=\dfrac{3}{5}$ and $x$ lies in Quadrant II, then $\cos^2x=1-\dfrac{9}{25}=\dfrac{16}{25}$. Thus $|\cos x|=\dfrac{4}{5}$. Cosine is negative in Quadrant II, so $\cos x=-\dfrac{4}{5}$. The identity supplies magnitude while geometric location supplies sign. Both pieces of information are necessary for a complete conclusion.

Derive angle-addition formulas

Angle-addition identities describe a rotation by a sum as two successive rotations. A rotation through angle $\beta$ sends a vector $(x,y)$ to $(x\cos\beta-y\sin\beta,\;x\sin\beta+y\cos\beta)$. Start with the unit vector $(\cos\alpha,\sin\alpha)$. Rotating it by $\beta$ must produce the unit vector at angle $\alpha+\beta$. Equating coordinates produces the sine and cosine sum formulas.

The cosine formula is $\cos(\alpha+\beta)=\cos\alpha\cos\beta-\sin\alpha\sin\beta$. The sine formula is $\sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta$. The minus sign in the cosine formula arises from the horizontal coordinate of the rotation. The sine formula contains two positive cross terms. Seeing the rotation structure is more dependable than memorizing a string of symbols.

Replace $\beta$ with $-\beta$ to obtain difference formulas. Since cosine is even, $\cos(-\beta)=\cos\beta$, and sine is odd, $\sin(-\beta)=-\sin\beta$. Therefore $\cos(\alpha-\beta)=\cos\alpha\cos\beta+\sin\alpha\sin\beta$. Similarly, $\sin(\alpha-\beta)=\sin\alpha\cos\beta-\cos\alpha\sin\beta$. Parity explains why the signs change.

Compute exact values from known angles

The angle $75^\circ$ can be written as $45^\circ+30^\circ$. The degree symbol indicates that one full rotation contains $360$ degrees. Apply the sine addition identity to get $\sin75^\circ=\sin45^\circ\cos30^\circ+\cos45^\circ\sin30^\circ$. Known special-angle values make every factor exact. No decimal approximation is required.

Substitution gives $\sin75^\circ=\left(\dfrac{\sqrt2}{2}\right)\left(\dfrac{\sqrt3}{2}\right)+\left(\dfrac{\sqrt2}{2}\right)\left(\dfrac{1}{2}\right)$. Multiplying yields $\dfrac{\sqrt6}{4}+\dfrac{\sqrt2}{4}$. Combining equal denominators gives $\sin75^\circ=\dfrac{\sqrt6+\sqrt2}{4}$. The radical symbol $\sqrt{ }$ denotes the principal nonnegative square root. A calculator gives about $0.966$, which is reasonable for a first-quadrant angle near $90^\circ$.

For $\cos15^\circ$, use $15^\circ=45^\circ-30^\circ$. The difference formula gives $\cos15^\circ=\cos45^\circ\cos30^\circ+\sin45^\circ\sin30^\circ$. The same values produce $\dfrac{\sqrt6+\sqrt2}{4}$. Sine of $75^\circ$ equals cosine of $15^\circ$ because the angles are complementary. This agreement is a structural check rather than a coincidence.

Generate double-angle identities

Set $\beta=\alpha$ in the addition formulas. For sine, $\sin(2\alpha)=\sin\alpha\cos\alpha+\cos\alpha\sin\alpha=2\sin\alpha\cos\alpha$. The argument $2\alpha$ means twice the angle, while the coefficient two multiplies the product. These operations must not be confused. Double-angle formulas relate function values at two different angular scales.

For cosine, $\cos(2\alpha)=\cos^2\alpha-\sin^2\alpha$. Substituting $\sin^2\alpha=1-\cos^2\alpha$ gives $\cos(2\alpha)=2\cos^2\alpha-1$. Substituting $\cos^2\alpha=1-\sin^2\alpha$ instead gives $\cos(2\alpha)=1-2\sin^2\alpha$. All three versions are identities. The best choice depends on which function a problem contains.

Solving the latter forms for the squares gives the power-reduction identities $\cos^2\alpha=\dfrac{1+\cos(2\alpha)}{2}$ and $\sin^2\alpha=\dfrac{1-\cos(2\alpha)}{2}$. These equations replace squared functions with first powers at a doubled angle. They are especially useful when integrating trigonometric powers. The horizontal fraction bar groups the entire numerator over two. Reading grouping correctly is essential when substituting these formulas.

Verify identities through one-sided transformation

To verify $\dfrac{1-\cos^2x}{\sin x}=\sin x$, begin with the more complicated left side. Replace $1-\cos^2x$ by $\sin^2x$. The expression becomes $\dfrac{\sin^2x}{\sin x}$. Canceling a common factor gives $\sin x$ wherever $\sin x\neq0$. This matches the right side on the original left side’s domain.

Transforming only one side preserves a visible chain of established equalities. If both sides are altered independently, accidentally reaching the same false expression may hide a nonreversible step. Every line should follow from an identity, factorization, common denominator, or other justified algebraic operation. An equals sign asserts that the adjacent expressions have the same value. It should never mean merely “the next thing I tried.” A reader should be able to justify every transition without guessing what happened between lines.

Cancellation applies to factors, not terms. In $\dfrac{1+\sin x}{\sin x}$, the sine in the denominator cannot cancel only the sine term in the numerator because the numerator is a sum. Splitting correctly gives $\dfrac{1}{\sin x}+1=\csc x+1$. Factoring can sometimes create a common factor, but addition alone does not. This algebraic discipline is as important as knowing the trigonometric identities.

Choose transformations strategically

Begin by comparing the functions and operations on both sides. If one side contains secant and tangent while the other contains cosine, rewriting everything in sine and cosine often reveals common structure. If a numerator contains $1-\sin^2x$, a Pythagorean replacement is likely useful. If angles are added or doubled, angle formulas should be considered. Strategy means matching visible features to a small catalog of structural moves.

Fractions often become manageable through a common denominator or multiplication by a conjugate. The conjugate of $1-sin x$ is $1+sin x$. Their product is $1-sin^2x$, which becomes $\cos^2x$. This move can turn a complicated reciprocal expression into a simple quotient. The reason it works is the difference-of-squares pattern $(a-b)(a+b)=a^2-b^2$.

For example, simplify $\dfrac{\cos x}{1-sin x}$ by multiplying numerator and denominator by $1+sin x$. The result is $\dfrac{\cos x(1+sin x)}{1-sin^2x}=\dfrac{\cos x(1+sin x)}{\cos^2x}$. Canceling one cosine factor gives $\dfrac{1+sin x}{\cos x}=\sec x+\tan x$. The original restrictions remain, including inputs where the original denominator vanishes. A successful simplification preserves values on the original domain.

Connect identities to graphs and waves

Identities explain why different-looking formulas can produce the same graph. For example, $2\sin x\cos x$ and $\sin(2x)$ agree at every real input. The doubled argument makes the second graph complete two cycles while $x$ completes one $2\pi$ interval. The product form hides that frequency relationship. Switching forms can expose amplitude, frequency, symmetry, or zeros.

A linear combination $A\cos x+B\sin x$ can be rewritten as $R\cos(x-\phi)$. Here $R=\sqrt{A^2+B^2}$ is the resulting amplitude, and the Greek letter phi, $\phi$, is a phase angle. Expanding the cosine difference gives $R\cos x\cos\phi+R\sin x\sin\phi$. Matching coefficients requires $R\cos\phi=A$ and $R\sin\phi=B$. The Pythagorean identity confirms that these conditions are compatible.

This amplitude-phase form models combined oscillations with the same frequency. Two perpendicular components can also be interpreted as coordinates of a vector with magnitude $R$. Identities therefore connect algebraic manipulation with physical superposition. A graph provides a useful check because equivalent forms must coincide point for point on their shared domain. Visual agreement supports understanding, although algebraic proof establishes universality.

Solve equations without confusing identity steps

Consider $2\sin x\cos x=\dfrac{1}{2}$ on $0\leq x<2\pi$. The double-angle identity changes the equation to $\sin(2x)=\dfrac{1}{2}$. This transformation is valid for every $x$, but the resulting statement remains an equation true only at solutions. Since $2x$ ranges from zero up to but not including $4\pi$, two full sine cycles must be considered. Restricting attention to one cycle would lose solutions.

Within $0\leq2x<4\pi$, sine equals one-half at $2x=\dfrac{\pi}{6},\dfrac{5\pi}{6},\dfrac{13\pi}{6},\dfrac{17\pi}{6}$. Dividing each equation by two gives $x=\dfrac{\pi}{12},\dfrac{5\pi}{12},\dfrac{13\pi}{12},\dfrac{17\pi}{12}$. The symbol $\leq$ means less than or equal to, while $<$ excludes the endpoint. Each candidate lies in the requested interval. Substitution into the original equation confirms the set.

Dividing an equation by a trigonometric expression can discard solutions where that expression is zero. Factoring and using the zero-product property is often safer. For example, $\sin x\cos x=\sin x$ becomes $\sin x(\cos x-1)=0$. Solutions come from either $\sin x=0$ or $\cos x=1$. Dividing immediately by $\sin x$ would erase the first branch.

Diagnose common errors

The expression $\sin(a+b)$ is not equal to $\sin a+\sin b$ in general. Taking $a=b=30^\circ$ produces $\sin60^\circ=\dfrac{\sqrt3}{2}$ but $\sin30^\circ+\sin30^\circ=1$. This counterexample disproves the false distribution rule. Trigonometric functions are nonlinear and do not distribute over addition. The correct sum formula contains products of sine and cosine values.

Another error is dropping domain restrictions after simplification. The expression $\dfrac{\sin x}{\sin x}$ simplifies to one only where $\sin x\neq0$. It is not defined at integer multiples of $\pi$, even though the constant one is. Simplified expressions can extend a function to previously missing points, but that extension is not identical to the original domain. Recording exclusions preserves the exact statement being proved.

Calculator mode can also create misleading evidence. Angles measured in degrees and radians use different numerical inputs. For example, $\sin30^\circ=\dfrac{1}{2}$, while $\sin(30)$ in radian mode is not one-half. A written degree symbol or a multiple of $\pi$ signals the intended unit. Exact work should preserve radicals and fractions until an approximation is explicitly useful.

Practice a repeatable verification routine

First state the shared domain and identify any denominators. Second choose the more complicated side and list candidate identities suggested by its structure. Third make one justified transformation per line. Fourth factor before canceling and record any restrictions created by division. Fifth stop when the target expression appears and state that the identity is verified on the shared domain.

Apply the routine to $\dfrac{\sec x-\cos x}{\tan x}=\sin x$. Rewrite the numerator as $\dfrac{1}{\cos x}-\cos x=\dfrac{1-\cos^2x}{\cos x}=\dfrac{\sin^2x}{\cos x}$. Dividing by $\tan x=\dfrac{\sin x}{\cos x}$ means multiplying by its reciprocal $\dfrac{\cos x}{\sin x}$. The product simplifies to $\sin x$. The derivation applies where the original secant and tangent expressions and the division are defined.

As a second exercise, derive $\tan(\alpha+\beta)=\dfrac{\tan\alpha+\tan\beta}{1-\tan\alpha\tan\beta}$. Begin with the sine sum divided by the cosine sum. Divide every numerator and denominator term by $\cos\alpha\cos\beta$. Quotient identities then produce the desired tangent expression. Domain restrictions arise whenever the cosine factors or final denominator equal zero. Explaining those restrictions completes the derivation.

Consolidate the identity network

The reciprocal and quotient identities reduce all six functions to sine and cosine. The Pythagorean family encodes the unit circle, while angle-addition formulas encode rotation. Double-angle and power-reduction identities follow from those earlier relationships. This hierarchy means a small number of ideas can regenerate a large formula collection. Understanding dependencies is more durable than memorizing an unorganized table.

Rigorous identity work combines trigonometry with careful algebra. Fractions require common denominators, cancellation requires factors, and square roots require sign analysis. Every denominator introduces a domain question. Every equals sign needs a reversible or otherwise justified step. These habits prepare the learner for symbolic work in calculus and differential equations.

When an expression seems complicated, ask what structure is hidden rather than searching randomly. Rewrite functions, expose a Pythagorean pair, factor, use a conjugate, or change an angle form. Then check domains, special values, symmetry, and graphs. Identities are a language for recognizing that multiple representations carry the same mathematical content. Mastery means being able to explain why a transformation works and when it is valid.