What It Means to Verify an Identity
A trigonometric identity is an equality between expressions that is true for every angle in the expressions’ common domain. Verifying an identity means giving a valid chain of equalities that shows how one side becomes the other. It does not mean checking a few angles and assuming the equality holds everywhere.
The usual strategy is to work on one side only. Choose the side that looks more complicated, replace parts of it using known identities, and simplify until it matches the other side. Each step must be valid wherever the original expressions are defined.
For example, \(\sin x=\cos x\) is not an identity: at \(x=0\), its sides are \(0\) and \(1\). It is an equation that is true at certain angles. By comparison, \(\sin^2 x+\cos^2 x=1\) is an identity, true for every real \(x\).
A Reliable Verification Method
Before manipulating an expression, identify any restrictions on its domain. Sine and cosine are defined for every real angle, but expressions involving quotients such as \(\tan x=\frac{\sin x}{\cos x}\) require \(\cos x\ne 0\). Similarly, \(\cot x=\frac{\cos x}{\sin x}\) requires \(\sin x\ne 0\). Cancellation is valid only when the cancelled factor is nonzero.
Then select one side and simplify it toward the other. The identities developed earlier in this material—such as the Pythagorean, quotient, reciprocal, and double-angle identities—provide substitutions. A substitution is justified when it replaces an expression with an equal one on the domain under consideration.
Note where each side is defined, especially where denominators or trigonometric quotients appear.
Usually begin with the side containing more terms, quotients, or complicated angles.
Use a known identity or algebraic operation, and keep the equality visible at every step.
Compare the final expression with the untouched side and confirm that the steps were valid on the stated domain.
The reason this method proves the claim is the transitivity of equality: if the original left side equals an intermediate expression, that expression equals the next one, and the final expression equals the right side, then the original sides are equal. The substitutions do not create a new claim; they express the same value in a different form.
Worked Example: Use the Pythagorean Identity
Worked Example: Use the Pythagorean Identity
Verify \((1-\cos x)(1+\cos x)=\sin^2 x\) for every real \(x\).
Start with the left side and use the difference-of-squares formula:
The last equality follows from \(\sin^2 x+\cos^2 x=1\), rearranged as \(1-\cos^2 x=\sin^2 x\). There are no denominators, so both sides are defined for every real \(x\).
Check: The final expression is exactly the right side, \(\sin^2 x\). For a numerical check, at \(x=0\), the left side is \((1-1)(1+1)=0\), and the right side is \(0^2=0\), consistent with the identity. The algebraic chain, not this single check, establishes the identity for all real \(x\).
Worked Example: Combine Quotients Carefully
Worked Example: Combine Quotients Carefully
Verify \(\tan x+\cot x=\sec x\,\csc x\) on the common domain of the two sides.
The left side contains both tangent and cotangent, so rewrite them using quotient identities:
The common denominator is valid when both \(\sin x\) and \(\cos x\) are nonzero. Those conditions are also required for \(\tan x\), \(\cot x\), \(\sec x\), and \(\csc x\) to be defined. Thus each step applies throughout the common domain.
Check: At \(x=\frac{\pi}{4}\), sine and cosine both equal \(\frac{\sqrt{2}}{2}\). The left side is \(1+1=2\). The right side is \(\sqrt{2}\cdot\sqrt{2}=2\). This agrees with the identity, and the chain proves it for every angle in the common domain.
Worked Example: Use a Double-Angle Identity
Worked Example: Use a Double-Angle Identity
Verify \(\frac{\sin(2x)}{1+\cos(2x)}=\tan x\) wherever both sides are defined.
Transform the left side using the double-angle identities \(\sin(2x)=2\sin x\cos x\) and \(\cos(2x)=2\cos^2 x-1\):
The original denominator is \(1+\cos(2x)=2\cos^2 x\), so it is nonzero exactly when \(\cos x\ne 0\). This is also the condition for \(\tan x\) to be defined. In the cancellation step, the factor \(2\cos x\) is nonzero under that condition.
Check: At \(x=\frac{\pi}{4}\), the left side is \(\frac{\sin(\pi/2)}{1+\cos(\pi/2)}=\frac{1}{1}=1\), and the right side is \(\tan(\pi/4)=1\). The algebraic steps establish the equality throughout the common domain, not just at this test angle.
Why the Domain Must Be Preserved
Two expressions can agree wherever both are defined without having exactly the same domain. For instance, an expression involving \(\tan x\) is not defined when \(\cos x=0\). If a verification uses a quotient or cancels a factor, it cannot silently add those excluded angles back into the claim.
In the second example, the common domain excludes angles where either sine or cosine is zero. Combining the fractions and then writing the result as \(\sec x\,\csc x\) is justified precisely because both denominators are nonzero there. Stating the domain makes clear what the identity claims and why each transformation is permitted.
A Common Mistake: Checking One Angle
A numerical check can catch an arithmetic error, but it cannot prove an identity. For example, someone might claim that \(\sin x=\cos x\) is an identity because at \(x=\frac{\pi}{4}\), both sides equal \(\frac{\sqrt{2}}{2}\). That calculation shows equality at one angle only.
The claim fails at \(x=0\): \(\sin 0=0\), while \(\cos 0=1\). Thus the equality is not an identity. A trigonometric equation may have particular solutions; verifying an identity requires a general argument that applies across the common domain.
Another useful check is to read each line of a proposed verification from left to right and ask, “Why are these expressions equal?” If the answer depends on an unstated assumption, such as dividing by a factor that might be zero, the argument needs a domain condition or a different approach.
Why One-Side Verification Is Useful
Working on one side makes the reasoning easier to follow: every line records a justified simplification rather than an unexplained rearrangement of the entire equation. It also helps reveal which identity is doing the work. A product may suggest the Pythagorean identity; a quotient may suggest rewriting tangent or cotangent using sine and cosine; a doubled angle may suggest a double-angle identity.
The method is not a rule that the left side must always be changed. Either side may be simpler to transform. What matters is that one side is deliberately rewritten until it matches the other, without assuming the desired equality as a starting point. A numerical substitution is useful as a check, but the chain of equalities is the verification.
Check Your Understanding
For each question, pay attention to both the equality and the angles where the expressions are defined.
- What distinguishes a trigonometric identity from an equation that is true only for particular angles?
- Verify \((1+\cos x)(1-\cos x)=\sin^2 x\) by transforming one side. Which identity justifies the final step?
- For \(\tan x+\cot x\), what conditions must hold for the expression to be defined?
- Why does checking two or three angles not prove that an equality is an identity?
- In \(\frac{\sin(2x)}{1+\cos(2x)}=\tan x\), why is it valid to cancel a factor of \(\cos x\) on the common domain?
