The Central Idea
Not every equation plays the same role.
Compare
\[ x+3=8 \]with
\[ (x+3)^2=x^2+6x+9. \]The first equation is true only when
\[ x=5. \]The second equation is true for every real value of \(x\).
The second equation is an identity.
Identities are especially important in algebra because they allow one expression to be replaced by another equivalent form wherever the identity is valid.
What Is an Identity?
An identity is an equality that is true for every allowed value of its variables in the domain under consideration.
For example,
\[ 2(x+4)=2x+8 \]is an identity over the real numbers.
No matter which real number replaces \(x\), both sides have the same value.
Another example is
\[ a(b+c)=ab+ac. \]This is the distributive identity.
Identity Versus Conditional Equation
An ordinary equation may be true only for particular values.
For example,
\[ x^2=9 \]is true only when
\[ x=3 \]or
\[ x=-3. \]It is not an identity.
By contrast,
\[ (x-3)(x+3)=x^2-9 \]is an identity because both sides agree for every real \(x\).
A Useful Classification
| Type of Statement | Meaning | Example |
|---|---|---|
| Identity | True for every allowed value in the stated domain. | \((x+1)^2=x^2+2x+1\) |
| Conditional equation | True only for certain values of the variable. | \(x+1=5\) |
| Contradiction | False for every allowed value. | \(x=x+1\) |
| Conditional identity | True throughout a restricted domain or under an explicit condition. | \(\frac{x^2-1}{x-1}=x+1\), for \(x\ne1\) |
Polynomial Identities
Many familiar algebraic formulas are polynomial identities.
For example,
\[ (a+b)^2=a^2+2ab+b^2, \] \[ (a-b)^2=a^2-2ab+b^2, \]and
\[ (a+b)(a-b)=a^2-b^2. \]These identities are true for all real or complex values of \(a\) and \(b\).
Because they are identities, we may use them in either direction.
Reading an Identity in Both Directions
The identity
\[ (a+b)^2=a^2+2ab+b^2 \]can be used to expand:
\[ (a+b)^2\longrightarrow a^2+2ab+b^2. \]It can also be used to factor:
\[ a^2+2ab+b^2\longrightarrow(a+b)^2. \]The identity is not tied to one direction. It describes an equivalence between two forms.
Conditional Identities
Some algebraic identities are valid only under explicit restrictions.
For example,
\[ \frac{x}{x}=1 \]is true only when
\[ x\ne0. \]Likewise,
\[ \frac{x^2-1}{x-1}=x+1 \]is true only when
\[ x\ne1. \]The equality is exact where it is valid, but the condition is part of the identity.
Why Conditions Matter
Consider
\[ \frac{x^2-1}{x-1}. \]Factor the numerator:
\[ \frac{(x-1)(x+1)}{x-1}. \]For \(x\ne1\), cancel the common factor:
\[ x+1. \]At \(x=1\), however, the original expression is undefined.
The simplified expression \(x+1\) is defined at \(x=1\), but that does not make the original expression defined there.
So the correct statement is
\[ \frac{x^2-1}{x-1}=x+1 \qquad\text{for }x\ne1. \]Domain Is Part of Meaning
When two expressions are called equivalent, the intended domain matters.
For example, over the real numbers,
\[ \sqrt{x^2}=|x|. \]This identity is valid for all real \(x\).
But
\[ \sqrt{x^2}=x \]is valid only under the condition
\[ x\ge0. \]The expression on the right may look simpler, but the identity changes if the domain changes.
Identity Versus Formula
The words identity and formula overlap, but they emphasize different things.
A formula expresses a useful mathematical relationship, such as
\[ A=\pi r^2. \]This is not an algebraic identity in arbitrary variables. It is a relationship that holds when \(A\) and \(r\) represent the area and radius of a circle.
An identity, such as
\[ (x+1)^2=x^2+2x+1, \]is true throughout its intended algebraic domain simply because of the structure of the expressions.
Identity Versus Definition
A definition can also use an equal sign.
For example, a function may be defined by
\[ f(x)=x^2+1. \]This assigns a rule to the symbol \(f\).
It is different in purpose from an identity such as
\[ (x+1)^2=x^2+2x+1. \]The first statement defines an object. The second asserts equivalence between two existing expressions.
Testing Whether a Statement Might Be an Identity
One quick test is substitution.
Suppose someone claims
\[ (x+2)^2=x^2+4. \]Try \(x=1\):
\[ (1+2)^2=9, \]while
\[ 1^2+4=5. \]Since the two sides disagree for even one allowed value, the statement is not an identity.
A single counterexample is enough to disprove a claimed identity.
Numerical Checks Do Not Prove an Identity
Suppose two expressions agree when
\[ x=1,\quad x=2,\quad x=3. \]That does not prove they agree for every possible \(x\).
Numerical testing can detect errors, but proof of an identity normally requires algebraic reasoning or another valid general argument.
Proving an Identity by Transforming One Side
A common strategy is to begin with one side and transform it until it matches the other.
For example, prove
\[ (x+2)^2-(x-2)^2=8x. \]Expand the left side:
\[ (x^2+4x+4)-(x^2-4x+4). \]Distribute the negative sign:
\[ x^2+4x+4-x^2+4x-4. \]Combine like terms:
\[ 8x. \]So the identity is established.
Proving an Identity by Transforming Both Sides
Another approach is to simplify both sides independently until they reach the same form.
Suppose we want to verify
\[ 2(x+3)+x=3x+6. \]Left side:
\[ 2x+6+x=3x+6. \]Right side:
\[ 3x+6. \]Both simplify to the same expression, so the identity holds.
Avoid Circular Proof
When proving an identity, avoid assuming the conclusion in disguised form.
For example, if the goal is to prove
\[ A=B, \]it is not enough to begin with
\[ A=B \]and manipulate both sides.
A better approach is to start from one side, from known identities, or from an independently established relationship and derive the other side.
Identities as Replacement Rules
Once an identity is established, it becomes a reusable transformation rule.
For example, from
\[ a^2-b^2=(a-b)(a+b), \]we may replace
\[ x^2-16 \]with
\[ (x-4)(x+4). \]Or we may replace
\[ (y-3)(y+3) \]with
\[ y^2-9. \]This is one reason identities are so important: they allow us to recognize structure and switch representation quickly.
Identities with Fractions
Some rational identities depend on nonzero denominators.
For example,
\[ \frac{a}{c}+\frac{b}{c} = \frac{a+b}{c}, \qquad c\ne0. \]Likewise,
\[ \frac{a}{b}\cdot\frac{c}{d} = \frac{ac}{bd}, \qquad b\ne0,\ d\ne0. \]The restrictions are not optional notes. They are part of the conditions under which the identities are meaningful.
Reciprocal Identities
For nonzero \(x\),
\[ x^{-1}=\frac{1}{x}. \]More generally, for nonzero \(x\),
\[ x^{-n}=\frac{1}{x^n}. \]These are conditional identities because the reciprocal requires a nonzero base.
Exponent Identities
For suitable values in the chosen number system, exponent laws include
\[ x^m x^n=x^{m+n}, \] \[ \frac{x^m}{x^n}=x^{m-n}, \qquad x\ne0, \]and
\[ (x^m)^n=x^{mn}. \]The familiar rules may carry restrictions when exponents are noninteger or when zero and negative bases are involved.
As algebra becomes more advanced, the domain of an identity becomes increasingly important.
Radical Identities
Over the real numbers, for nonnegative \(a\) and \(b\),
\[ \sqrt{ab}=\sqrt{a}\sqrt{b}. \]And for \(a\ge0\) and \(b>0\),
\[ \sqrt{\frac{a}{b}} = \frac{\sqrt{a}}{\sqrt{b}}. \]These are useful identities, but their hypotheses matter.
A rule that works under a nonnegative-real restriction should not automatically be extended outside that setting.
Conditional Identities in Geometry
Conditions can arise from geometry as well as algebra.
For a right triangle with legs \(a\) and \(b\) and hypotenuse \(c\),
\[ a^2+b^2=c^2. \]This relationship is not an identity for arbitrary triples of real numbers.
It holds under the condition that \(a\), \(b\), and \(c\) are side lengths of a right triangle with \(c\) opposite the right angle.
The mathematical context supplies the condition.
Conditional Identities in Trigonometry
Some trigonometric identities are valid wherever both sides are defined.
For example,
\[ \tan\theta=\frac{\sin\theta}{\cos\theta} \]requires
\[ \cos\theta\ne0. \]Likewise,
\[ 1+\tan^2\theta=\sec^2\theta \]is valid wherever the tangent and secant expressions are defined.
The restriction comes from the denominators hidden inside these functions.
Equivalent Forms Can Have Different Apparent Domains
Consider
\[ \frac{x^2-4}{x-2} \]and
\[ x+2. \]For \(x\ne2\), they have the same value.
But the first expression is undefined at \(x=2\), while the second is defined there.
So the expressions are equivalent on the original domain, not as unrestricted functions on all real numbers.
This distinction becomes crucial when comparing formulas, simplifying rational expressions, and studying functions.
Identities and Function Equality
Two formulas can produce the same values wherever both are defined and still represent different functions if their domains differ.
For example, define
\[ f(x)=\frac{x^2-1}{x-1} \]with its natural domain
\[ x\ne1, \]and
\[ g(x)=x+1 \]for all real \(x\).
Although
\[ f(x)=g(x) \]for every \(x\ne1\), the functions do not have the same domain.
So they are not identical as functions unless the domain of \(g\) is also restricted.
Identity Notation
The ordinary equal sign is commonly used for identities:
\[ (a+b)^2=a^2+2ab+b^2. \]Some authors also use the symbol
\[ \equiv \]to emphasize an identity or equivalence:
\[ (a+b)^2\equiv a^2+2ab+b^2. \]Notation varies by context, so the surrounding explanation remains important.
Conditions Should Be Written Explicitly
When an identity depends on a restriction, write the condition near the identity.
For example, instead of writing only
\[ \frac{x^2-9}{x-3}=x+3, \]write
\[ \frac{x^2-9}{x-3}=x+3, \qquad x\ne3. \]This makes the logical status of the transformation visible and prevents the excluded value from being forgotten later.
Identities and Simplification
Simplification often means applying identities in a useful sequence.
Consider
\[ 2(x+3)+4x. \]Apply the distributive identity:
\[ 2x+6+4x. \]Then use like-term collection:
\[ 6x+6. \]The final form is equivalent to the original because every transformation was supported by an identity valid throughout the relevant domain.
Identities and Equation Solving
Identities can simplify an equation without changing its solution set.
Consider
\[ (x+2)^2=25. \]Expanding the left side gives the identity
\[ x^2+4x+4=25. \]The equation has changed form, but because the replacement used an identity, no solutions were added or removed by that rewrite alone.
This differs from transformations such as squaring both sides, which may preserve truth in only one direction.
Identities Versus Implications
An identity states equivalence across its domain.
An implication states that one condition guarantees another.
For example,
\[ x=3 \quad\Longrightarrow\quad x^2=9. \]This implication is true.
But the reverse implication is not:
\[ x^2=9 \quad\not\Longrightarrow\quad x=3, \]because \(x=-3\) also works.
So
\[ x=3 \]and
\[ x^2=9 \]are not equivalent equations.
This distinction will become central when we study reversible steps and solution preservation.
A Practical Identity Checklist
When using or checking an identity, ask:
- What is the intended domain?
- Are both sides defined throughout that domain?
- Does the equality hold for every allowed value?
- Is there a restriction such as a nonzero denominator?
- Can the identity be justified by known algebraic laws?
- Would one counterexample disprove the claim?
Worked Example: Prove a Polynomial Identity
Show that
\[ (x+1)(x+4)=x^2+5x+4. \]Expand the left side:
\[ x(x+4)+1(x+4). \]Then
\[ x^2+4x+x+4. \]Combine like terms:
\[ x^2+5x+4. \]Therefore,
\[ (x+1)(x+4)=x^2+5x+4 \]for every real or complex \(x\).
Worked Example: State the Condition
Simplify
\[ \frac{x^2+3x}{x}. \]Factor:
\[ \frac{x(x+3)}{x}. \]For \(x\ne0\), cancel \(x\):
\[ x+3. \]So the conditional identity is
\[ \frac{x^2+3x}{x}=x+3, \qquad x\ne0. \]Worked Example: Disprove a False Identity
Consider the claim
\[ \sqrt{x^2}=x. \]Choose
\[ x=-2. \]Then
\[ \sqrt{x^2} = \sqrt{4} = 2, \]while
\[ x=-2. \]Since the two sides differ for an allowed real value, the claimed identity is false over all real numbers.
The correct identity is
\[ \sqrt{x^2}=|x|. \]Worked Example: Identify the Statement Type
Classify
\[ 2x+4=10. \]Solving gives
\[ x=3. \]The equality is true for one particular real value, so it is a conditional equation, not an identity.
By contrast,
\[ 2(x+2)=2x+4 \]is an identity because it is true for every real \(x\).
Common Errors
Calling Every Equation an Identity
An equation such as
\[ x+2=7 \]is not an identity. It is true only for \(x=5\).
Ignoring the Domain
The statement
\[ \frac{x}{x}=1 \]requires \(x\ne0\).
Assuming Numerical Agreement Proves an Identity
Testing several values can support a conjecture but does not replace a general proof.
Forgetting That One Counterexample Is Enough
If a claimed identity fails for one allowed input, it is not an identity on that domain.
Treating a Conditional Identity as Unrestricted
When cancellation or division introduces a restriction, that condition must remain attached to the rewritten form.
Practice
1. Identity or Conditional Equation?
Classify:
\[ 3(x+2)=3x+6. \]Check Answer
It is an identity. It is true for every real \(x\).
2. Identity or Conditional Equation?
Classify:
\[ x^2=16. \]Check Answer
It is a conditional equation. Over the real numbers, it is true only for
\[ x=\pm4. \]3. State the Restriction
Complete the conditional identity:
\[ \frac{x^2-25}{x-5}=x+5, \]provided that ______.
Check Answer
\[ x\ne5. \]4. Disprove a False Identity
Is
\[ (a+b)^2=a^2+b^2 \]an identity?
Check Answer
No. For example, let \(a=1\) and \(b=1\):
\[ (1+1)^2=4, \]while
\[ 1^2+1^2=2. \]The correct identity is
\[ (a+b)^2=a^2+2ab+b^2. \]5. Prove an Identity
Verify:
\[ (x+3)(x-3)=x^2-9. \]Check Answer
Expand:
\[ x^2-3x+3x-9=x^2-9. \]So the identity holds.
6. Domain-Aware Identity
What condition is required for
\[ \frac{1}{x}\cdot x=1? \]Check Answer
\[ x\ne0. \]The reciprocal \(1/x\) is undefined at \(x=0\).
Key Ideas
- An identity is an equality that holds for every allowed value in its intended domain.
- A conditional equation is true only for particular values.
- A conditional identity holds throughout a restricted domain or under explicit assumptions.
- Polynomial identities usually hold without denominator restrictions over the real or complex numbers.
- Rational, radical, exponent, and trigonometric identities often require domain conditions.
- An identity can be used in either direction as a replacement rule.
- A single valid counterexample disproves a claimed identity.
- Testing examples can detect errors but does not by itself prove an identity.
- Equivalent expressions may agree on a restricted domain while having different natural domains as functions.
- Conditions are part of the mathematical meaning and should be written explicitly.
- Identity transformations preserve meaning in a way that one-directional implications may not.
Where This Leads
Algebraic and conditional identities clarify when two symbolic forms are interchangeable and when a restriction must accompany the transformation.
Next, we will study Domain Restrictions and Extraneous Solutions, where excluded values, undefined operations, and nonreversible transformations can change the apparent solution set of an equation.