When you solve an equation, you perform operations on both sides to isolate the variable. But here's the catch: some operations are reversible (like adding 5 or multiplying by 3) and some are not (like squaring both sides or multiplying by an expression that could be zero). When you use a non-reversible step, you might introduce extra "solutions" that don't actually satisfy the original equation. These are called extraneous solutions.
Solution verification is the simple act of plugging your final answers back into the original equation to check which ones actually work. It's your safety net against these fake solutions.
Watch out
Never check against a simplified version of the equation — only the original one. A simplified version might have already lost information (like a denominator that was cancelled), so it could still accept an extraneous solution.
The Precise Statement
Definition:
Given an equation E(x)=0 and a set of candidate solutions S={x1,x2,…,xn} obtained by algebraic manipulation, solution verification is the process of substituting each xi into the original equation E(x)=0 and retaining only those xi for which the equality holds true.
Why it's necessary:
If at any step you performed an operation that is not bijective (one-to-one and onto) on the domain of the equation, the solution set of the transformed equation may be a superset of the solution set of the original equation. Common culprits:
Squaring both sides: x=2⟹x2=4, but x2=4 also gives x=−2, which is extraneous.
Multiplying by an expression that could be zero: x−1x=2⟹x=2(x−1) loses the restriction x=1.
Taking logarithms or exponentials without domain checks.
A Worked Example
Solve: x+6=x
Step 1 — Square both sides:
(x+6)2=x2⟹x+6=x2⟹x2−x−6=0⟹(x−3)(x+2)=0
So x=3 or x=−2.
Step 2 — Verify in the original equation:
For x=3: 3+6=9=3, and RHS is 3. Works.
For x=−2: −2+6=4=2, but RHS is −2. 2=−2. Extraneous.