The Central Idea
When solving equations, it is tempting to focus only on symbolic manipulation:
\[ \text{equation} \longrightarrow \text{simpler equation} \longrightarrow \text{solution}. \]But every equation lives inside a domain. Some values may be excluded before we begin, and some algebraic transformations may create new candidate solutions that were not solutions of the original equation.
Two questions must therefore accompany symbolic work:
- Which values are allowed by the original expressions?
- Does each candidate solution satisfy the original equation?
A value that appears during solving but fails the original equation is called an extraneous solution.
What Is a Domain Restriction?
A domain restriction is a condition that excludes values for which an expression or operation is not defined in the number system being used.
For example,
\[ \frac{1}{x} \]requires
\[ x\ne0. \]The restriction exists before any algebraic manipulation begins.
Likewise, over the real numbers,
\[ \sqrt{x} \]requires
\[ x\ge0. \]Domain restrictions are part of the mathematical object, not optional annotations.
Restrictions from Denominators
Division by zero is undefined.
Therefore, in
\[ \frac{x+2}{x-5}, \]we must have
\[ x-5\ne0. \]So
\[ x\ne5. \]This restriction remains in force even if later algebra removes the denominator.
Restrictions from Even Roots
Over the real numbers, the radicand of an even root must be nonnegative.
For example,
\[ \sqrt{2x-6} \]requires
\[ 2x-6\ge0. \]Solving gives
\[ x\ge3. \]So the natural real domain of the expression is
\[ [3,\infty). \]Restrictions from Roots in Denominators
If an even root appears in a denominator, the radicand must be strictly positive.
Consider
\[ \frac{1}{\sqrt{x-2}}. \]We need
\[ x-2>0, \]because the square root must exist and the denominator must not be zero.
Therefore,
\[ x>2. \]Restrictions from Logarithms
Over the real numbers, the argument of a logarithm must be positive.
For example,
\[ \log(x-4) \]requires
\[ x-4>0. \]Therefore,
\[ x>4. \]If several logarithms appear, every logarithmic argument must satisfy its own positivity condition.
Restrictions from Function Definitions
Restrictions can arise from the definition of a function itself.
For example,
\[ f(x)=\frac{\sqrt{x+1}}{x-3} \]requires both
\[ x+1\ge0 \]and
\[ x-3\ne0. \]So the real domain is
\[ [-1,\infty)\setminus\{3\}. \]When solving equations involving \(f(x)\), candidate solutions must remain inside this domain.
Record Restrictions Before Simplifying
Consider
\[ \frac{x^2-9}{x-3}. \]Before factoring or canceling, record
\[ x\ne3. \]Now factor:
\[ \frac{(x-3)(x+3)}{x-3}. \]For allowed values, this simplifies to
\[ x+3. \]But the simplified form alone no longer displays the original restriction.
The correct equivalence is
\[ \frac{x^2-9}{x-3}=x+3, \qquad x\ne3. \]Recording restrictions first prevents them from disappearing during simplification.
What Is an Extraneous Solution?
An extraneous solution is a value produced by a transformed equation that does not satisfy the original equation.
For example, suppose a solving process produces candidates
\[ x=2 \]and
\[ x=-5. \]If substituting \(x=-5\) into the original equation makes a denominator zero or fails the equality, then \(x=-5\) must be rejected.
The transformed equation may have more solutions than the original equation.
How Extraneous Solutions Arise
Extraneous solutions usually appear when a transformation is not reversible over the full domain.
Common sources include:
- squaring both sides;
- raising both sides to an even power;
- clearing denominators without preserving exclusions;
- multiplying by an expression that may equal zero;
- applying inverse functions without checking their domains;
- combining logarithms or radicals outside the conditions required by their identities.
The transformation may preserve every original solution while also allowing additional values.
Squaring Both Sides Can Add Solutions
Suppose
\[ x=3. \]Squaring both sides gives
\[ x^2=9. \]The original equation has only
\[ x=3. \]But the squared equation has
\[ x=\pm3. \]The new solution
\[ x=-3 \]is extraneous relative to the original equation.
Squaring preserved the original solution, but the operation was not reversible without additional sign information.
Radical Equation Example
Solve
\[ \sqrt{x+1}=x-1. \]First note that the left side is nonnegative, so any solution must also satisfy
\[ x-1\ge0, \]which means
\[ x\ge1. \]Square both sides:
\[ x+1=(x-1)^2. \]Expand:
\[ x+1=x^2-2x+1. \]Rearrange:
\[ x^2-3x=0. \]Factor:
\[ x(x-3)=0. \]The candidates are
\[ x=0 \]and
\[ x=3. \]But \(x=0\) violates the earlier condition \(x\ge1\), and direct substitution confirms it fails the original equation.
Therefore,
\[ x=3 \]is the only solution.
Why Verification Is Necessary After Squaring
When we square an equation
\[ A=B, \]we obtain
\[ A^2=B^2. \]But
\[ A^2=B^2 \]means
\[ A=B \]or
\[ A=-B. \]The squared equation forgets the original sign relationship.
That lost information is why extra candidates may appear.
Clearing Denominators
Consider
\[ \frac{1}{x-2}=\frac{3}{x}. \]The original equation requires
\[ x\ne2 \]and
\[ x\ne0. \]Multiply both sides by
\[ x(x-2). \]For allowed values, this gives
\[ x=3(x-2). \]Then
\[ x=3x-6, \] \[ 2x=6, \]so
\[ x=3. \]This value is allowed and satisfies the original equation.
The denominator restrictions must still be checked even though the denominators disappeared.
Excluded Value Produced by Algebra
Consider
\[ \frac{x+1}{x-1}=\frac{2}{x-1}. \]The original equation requires
\[ x\ne1. \]Multiplying both sides by \(x-1\) gives
\[ x+1=2. \]Then
\[ x=1. \]But \(x=1\) is excluded from the original domain.
Therefore the original equation has no solution.
The algebra produced a candidate, but the domain rejected it.
Canceling a Factor Can Hide an Exclusion
Consider the equation
\[ \frac{(x-4)(x+1)}{x-4}=5. \]The original equation requires
\[ x\ne4. \]Canceling the common factor gives
\[ x+1=5. \]Then
\[ x=4. \]But \(x=4\) is exactly the excluded value.
So the original equation has no solution.
This is why restrictions should be recorded before cancellation.
Multiplying by a Variable Expression
Multiplying both sides of an equation by an expression can also change the solution set if that expression may be zero.
Suppose
\[ x=2. \]Multiply both sides by \(x-3\):
\[ x(x-3)=2(x-3). \]The original solution \(x=2\) remains valid.
But the new equation simplifies to
\[ x^2-5x+6=0, \]which factors as
\[ (x-2)(x-3)=0. \]Now \(x=3\) also appears.
At \(x=3\), both sides of the multiplied equation became zero, so the transformation introduced a new solution.
Dividing by a Variable Expression Can Lose Solutions
Extraneous solutions are not the only danger. Some transformations can remove valid solutions.
Consider
\[ x(x-5)=0. \]The solutions are
\[ x=0 \]and
\[ x=5. \]If we divide both sides by \(x\), we obtain
\[ x-5=0, \]and retain only
\[ x=5. \]The solution \(x=0\) was lost because division by \(x\) assumed
\[ x\ne0. \]Any time we divide by an expression containing a variable, we must ask whether that expression could be zero.
Logarithmic Equations
Consider
\[ \log(x-1)+\log(x-3)=\log 8. \]The original logarithms require
\[ x-1>0 \]and
\[ x-3>0. \]Therefore,
\[ x>3. \]Using the product identity,
\[ \log[(x-1)(x-3)]=\log8. \]So
\[ (x-1)(x-3)=8. \]Expand:
\[ x^2-4x+3=8. \]Then
\[ x^2-4x-5=0. \]Factor:
\[ (x-5)(x+1)=0. \]The candidates are
\[ x=5 \]and
\[ x=-1. \]Only \(x=5\) satisfies the original domain condition \(x>3\).
Therefore,
\[ x=5. \]Absolute-Value Equations
Absolute value also carries structural conditions.
Consider
\[ |x-2|=5. \]This means
\[ x-2=5 \]or
\[ x-2=-5. \]So
\[ x=7 \]or
\[ x=-3. \]But an equation such as
\[ |x-2|=-5 \]has no real solution because absolute value is never negative.
Recognizing range restrictions can eliminate impossible candidates before algebra begins.
Range Restrictions Can Matter Too
Domain restrictions concern allowed inputs, but solving can also depend on the possible outputs of an expression.
For example,
\[ \sqrt{x+4} \]is always nonnegative.
Therefore,
\[ \sqrt{x+4}=-2 \]has no real solution, even though squaring both sides would produce
\[ x+4=4 \]and the candidate
\[ x=0. \]Substituting \(x=0\) into the original equation gives
\[ 2=-2, \]which is false.
Principal Roots and Extraneous Candidates
The principal square root function returns only nonnegative values.
So from
\[ \sqrt{A}=B, \]we automatically know
\[ B\ge0. \]If later algebra produces a candidate for which \(B<0\), that candidate cannot satisfy the original equation.
This observation can often detect extraneous solutions before direct substitution.
Inverse Functions and Restrictions
Applying an inverse function can preserve equivalence only when the relevant function is one-to-one on the domain being used.
For example, the real cube function
\[ f(x)=x^3 \]is one-to-one on all real numbers.
Therefore,
\[ x^3=8 \]is equivalent to
\[ x=2. \]But the square function
\[ f(x)=x^2 \]is not one-to-one on all real numbers.
So reversing a square requires additional branch information.
Restricted Domains Can Restore Reversibility
The square function is one-to-one on
\[ [0,\infty). \]So if we already know
\[ x\ge0, \]then
\[ x^2=9 \]is equivalent to
\[ x=3. \]Domain restrictions can therefore do more than exclude values: they can make otherwise nonreversible operations reversible.
Equivalent Equations Versus One-Way Consequences
When every step preserves the entire solution set, the equations are equivalent.
For example,
\[ x+4=9 \]and
\[ x=5 \]are equivalent.
But
\[ x=5 \]and
\[ x^2=25 \]are not equivalent over the real numbers.
The first implies the second, but the second admits another solution:
\[ x=-5. \]This distinction is central to careful equation solving.
Restrictions Can Come from Context
Not every restriction comes from algebraic notation.
If \(r\) represents the radius of a circle, then
\[ r\ge0. \]If \(t\) represents elapsed time in a particular problem, the context may require
\[ t\ge0. \]If \(n\) counts objects, it may be restricted to nonnegative integers.
A mathematically valid algebraic solution may still be invalid for the model if it violates the meaning of the variable.
Example: Geometry Context
Suppose the area of a square is
\[ A=s^2 \]and
\[ A=49. \]Algebraically,
\[ s^2=49 \]has solutions
\[ s=\pm7. \]But a side length cannot be negative.
Therefore, in the geometric context,
\[ s=7. \]The context removes the algebraically possible but physically meaningless value.
A Reliable Solving Workflow
- Identify the original domain.
- Record excluded values or required inequalities.
- Perform algebraic transformations.
- Notice any nonreversible step such as squaring or multiplication by a variable expression.
- Treat resulting values as candidates until verified.
- Reject any candidate outside the original domain.
- Substitute remaining candidates into the original equation.
- State only the values that actually satisfy the original problem.
Verification Should Use the Original Equation
Suppose several transformations lead to
\[ x=4. \]Checking \(x=4\) only in the final transformed equation proves very little: that equation was constructed to produce the candidate.
The meaningful test is substitution into the original equation.
This catches:
- excluded denominator values;
- sign errors introduced by squaring;
- invalid logarithmic arguments;
- radical-domain violations;
- other changes to the solution set.
Worked Example: Rational Equation
Solve
\[ \frac{x+2}{x-1}=4. \]Restriction:
\[ x\ne1. \]Multiply both sides by \(x-1\):
\[ x+2=4(x-1). \]Expand:
\[ x+2=4x-4. \]Then
\[ 6=3x, \]so
\[ x=2. \]Since \(2\ne1\), it is allowed.
Check:
\[ \frac{2+2}{2-1}=4. \]So
\[ x=2 \]is valid.
Worked Example: Extraneous Radical Solution
Solve
\[ \sqrt{x+6}=x. \]Since the square root is nonnegative, any solution must satisfy
\[ x\ge0. \]Square both sides:
\[ x+6=x^2. \]Rearrange:
\[ x^2-x-6=0. \]Factor:
\[ (x-3)(x+2)=0. \]Candidates:
\[ x=3 \]or
\[ x=-2. \]The candidate \(x=-2\) violates \(x\ge0\), so reject it.
Check \(x=3\):
\[ \sqrt{3+6}=3. \]Therefore,
\[ x=3. \]Worked Example: Lost Solution from Division
Solve
\[ x^2=4x. \]Move all terms to one side:
\[ x^2-4x=0. \]Factor:
\[ x(x-4)=0. \]Therefore,
\[ x=0 \]or
\[ x=4. \]If instead we had divided the original equation by \(x\), we would have obtained only
\[ x=4. \]The solution \(x=0\) would have been lost.
Factoring preserves both possibilities without assuming \(x\ne0\).
Worked Example: Logarithmic Restriction
Solve
\[ \log(x-2)=1 \]in base \(10\).
The logarithm requires
\[ x-2>0, \]so
\[ x>2. \]Rewrite exponentially:
\[ x-2=10. \]Then
\[ x=12. \]The value satisfies the domain restriction, so it is valid.
Common Errors
Ignoring Restrictions Until the End
Restrictions are easier to preserve when they are written before simplification begins.
Assuming Every Algebraic Candidate Is a Solution
A candidate becomes a solution only after it satisfies the original equation and domain.
Checking Only the Final Equation
Extraneous solutions often satisfy the transformed equation. The original equation is the authoritative check.
Dividing by a Variable Without Checking for Zero
This can remove valid solutions.
Squaring Without Recognizing the Loss of Sign Information
Squaring is often useful, but it may enlarge the solution set.
Forgetting Contextual Restrictions
Negative lengths, negative counts, or otherwise impossible values may need to be rejected even when they satisfy the algebraic equation.
Practice
1. Find the Restriction
State the domain restriction:
\[ \frac{3}{x+5}. \]Check Answer
\[ x\ne-5. \]2. Radical Domain
Find the real domain of
\[ \sqrt{4-x}. \]Check Answer
\[ 4-x\ge0, \]so
\[ x\le4. \]3. Radical Denominator
Find the real domain of
\[ \frac{1}{\sqrt{x+2}}. \]Check Answer
\[ x+2>0, \]so
\[ x>-2. \]4. Check for an Extraneous Solution
Solve:
\[ \sqrt{x+2}=x. \]Check Answer
Since the left side is nonnegative, \(x\ge0\).
Square:
\[ x+2=x^2. \]Then
\[ x^2-x-2=0, \] \[ (x-2)(x+1)=0. \]Candidates are \(x=2\) and \(x=-1\).
Only \(x=2\) satisfies the original condition and equation.
\[ \boxed{x=2} \]5. Excluded Candidate
Solve:
\[ \frac{x+3}{x-2}=\frac{5}{x-2}. \]Check Answer
The restriction is
\[ x\ne2. \]Multiplying by \(x-2\) gives
\[ x+3=5, \]so
\[ x=2. \]But \(x=2\) is excluded. Therefore, the original equation has no solution.
6. Avoid Losing a Solution
Solve:
\[ x^2+3x=0. \]Check Answer
Factor rather than divide by \(x\):
\[ x(x+3)=0. \]Therefore,
\[ x=0 \]or
\[ x=-3. \]Key Ideas
- Domain restrictions identify values for which the original expressions are defined.
- Denominators cannot equal zero.
- Even roots over the reals require nonnegative radicands, and even roots in denominators require positive radicands.
- Real logarithms require positive arguments.
- Restrictions should be recorded before simplification or cancellation hides them.
- An extraneous solution satisfies a transformed equation but not the original equation.
- Squaring and other nonreversible operations can introduce extra candidates.
- Dividing by a variable expression can remove valid solutions if that expression might be zero.
- Context can impose additional restrictions beyond algebraic domain restrictions.
- Candidate solutions should be checked against the original equation, not merely the final transformed equation.
- Careful algebra tracks both symbolic equivalence and the allowed set of values.
Where This Leads
Domain restrictions and extraneous solutions show why symbolic manipulation must track more than appearances: every transformation has logical consequences for the solution set.
Next, we will study Reversible Steps and Solution Preservation, bringing the ideas of equality, equivalence, domain, implication, and verification together into a systematic framework for deciding when algebraic transformations preserve exactly the same solutions.