Solving Radical Equations
Learning goals
- Isolate, raise, repeat, solve, then check every candidate
- Trust that raising to a power loses no genuine solution
- Explain extraneous roots as solutions of the sign-flipped twin
- Read as , so a root is never negative
- Reject the domain check, which is not the test here
- Note that cubing is reversible, unlike squaring
What raising both sides to a power does to the solution set
A radical equation is an equation in which the unknown sits under a radical, such as . The unknown is trapped: you cannot add, subtract, or divide it out from under the root sign. The one operation that frees it is the operation that undoes the root, which is raising to a power.
That operation is legitimate, and here is exactly why. If two expressions are equal at some value of , they are the same number at that value. And the same number raised to the th power gives the same result. So for every positive integer ,
Read the arrow carefully, because everything in this lesson hangs on it. The implication runs one way. It does not run backwards when is even, and a single example settles that: and , so while .
The consequence for solving is precise. Take any value of that solves the original equation. Both sides are then equal numbers, so their th powers are equal too, so that same also solves the powered equation. Nothing that was a solution can be lost. What the arrow does not promise is the reverse, and so the powered equation may pick up values that the original never had. The solution set can grow but it can never shrink.
That is a useful bargain rather than a disaster. It means the candidates you find are a complete list: every genuine solution is somewhere among them. The list is just possibly too long. A value that solves the powered equation but not the original is called an extraneous root (or an extraneous solution). Your job is to find the candidates and then throw out the impostors.
So the method has five steps, and the last one is not a formality:
- Isolate a radical, so that it stands alone on one side.
- Raise both sides to the power that matches the index (square a square root, cube a cube root).
- If a radical is still present, isolate and raise again.
- Solve the radical-free equation.
- Substitute every candidate into the original equation and keep only the ones that make it true.
Why squaring invents solutions
It is worth knowing exactly what the new equation says, not just that it says “something extra.” The factoring you learned for a difference of squares answers this completely.
Squaring both sides turns into or #
Let and be real numbers. We claim that holds if and only if or .
Suppose first that . Moving everything to one side gives , and a difference of squares factors, so
A product of two real numbers is zero only when one of the factors is zero, so either or . That is, either or .
Now suppose the other direction. If , then squaring both sides gives . If instead , then as well, since the square of a negative is the square of its opposite. Either way .
Both directions hold, so the two statements say exactly the same thing about and .
Read that result as a statement about equations. When you square both sides of , you do not get a slightly different version of your equation. You get the equation
which is your equation glued together with its sign-flipped twin. Squaring cannot tell from , so it cannot keep the two apart, and it hands back the solutions of both. Every extraneous root is a solution of that twin.
Now the puzzle from the opening dissolves. In we have and . Squaring produces ” or .” The first of those has no solutions, because the principal square root is never negative. The second gives . So did not come from the equation you asked about. It came from the twin that squaring folded in, free of charge.
The same fact has a compact form you should memorize:
Squaring and then taking the principal root does not reliably return you to where you started. It returns the absolute value, because the principal root is non-negative by definition and cannot report a sign it was never given. When happens to be non-negative the two agree, and that is exactly what makes the identity treacherous. It looks like an inverse until the day is negative, and then it quietly hands back instead. This is also why radical equations and absolute value equations misbehave in the same way. Taking principal roots on both sides of gives , which is precisely , the very split that created extraneous roots back in Chapter 1.
Squaring has a second, quieter side effect. The powered equation is often defined at values where the original is meaningless. Look at . Squaring gives , a harmless linear equation with the single root . But at the original reads , and is not a real number, so solves nothing. Squaring widened the domain, and a candidate wandered in through the new opening.
So a candidate can fail for two different reasons. It can be outside the domain of the original radicals, or it can be inside the domain and still make the two sides disagree in sign. Substituting into the original catches both at once, without your having to decide in advance which trap you fell into, because it simply asks whether the original statement is true.
Isolate the radical before you raise it
Suppose you skip step 1 and square exactly as it stands. The left side is a difference of two terms, and squaring a difference produces a cross term:
The cross term still carries a radical, so you have done a lot of work and freed nothing. This is not a special misfortune. Squaring always leaves the cross term behind, and if is a radical then contains that radical. The radical only disappears when it is alone, because then it is the whole side, and with nothing left over.
Worked example 1 Solve
Isolate the radical first by adding to both sides:
Now the radical is the entire left side, so squaring clears it cleanly:
Solve the linear equation: , so .
Check the candidate in the original equation, not in any of the lines below it:
The candidate survives, so is the solution. Notice that the right side, , was non-negative when we squared, which is why no impostor appeared here.
The check is against the original, not against the domain
Five lessons ago, solving a rational equation, you also met extraneous roots, and there the check had a shortcut: throw out any candidate that makes a denominator zero. That shortcut is a domain check, and it is exactly the wrong instinct here. A radical equation can hand you a candidate that is happily inside the domain, with every radicand non-negative, and it can still be an impostor.
Worked example 2 Solve
The radical already stands alone, so square both sides:
Collect everything on one side to get a quadratic:
This factors as , so the candidates are and .
Check in the original. The left side is , and the right side is . The two agree, so is a genuine solution.
Check in the original. The left side is , and the right side is :
So is extraneous, and the only solution is .
Look hard at the candidate that failed. At the radicand is , which is positive, so sits comfortably inside the domain of . Both sides of the original are perfectly well-defined real numbers there. It failed for one reason only: the left side came out and the right side came out . They agree in size and disagree in sign, which is precisely the disagreement squaring is blind to.
You can even see which equation really belongs to. The twin of is , and at that reads . The candidate is an honest solution, just not of the equation you were asked about.
The moral is worth stating flatly, because it is the thing students most often get backwards. It is false that a candidate is extraneous exactly when it lies outside the domain. That rule belongs to rational equations, where the only irreversible move was multiplying by something that might be zero. Here the sign is what was thrown away, so the sign is what must be checked. And the only way to check it is to substitute into the original equation and look at both sides.
Check your understanding
Solve .
Square both sides to free the unknown, then collect terms.
The candidates are and . Check : the left side is and the right side is , so it is a solution.
Check : the left side is and the right side is , so it fails. Note that is inside the domain (the radicand is , which is positive); it fails purely on sign, so only survives.
Equations with two radicals
When two radicals appear, one squaring is not enough, and the reason is the cross term again. Isolate one radical, square, and you are left with a single radical instead of two, because squaring a binomial like gives : the survives in the middle. So you isolate that surviving radical and square a second time. Two radicals, two squarings, and two chances to invent a solution, which is why the final check matters even more here.
Worked example 3 Solve
Isolate one radical by moving the other one across:
Square both sides. The right side is a binomial, so expand it with care:
One radical is left, exactly as predicted. Isolate it by subtracting from both sides:
Square again:
Bring everything to one side and factor out the common :
The candidates are and .
Check : the original becomes , which is correct.
Check : the original becomes , which is also correct.
Both candidates survive, so the solutions are and . Checking is not the same as rejecting: sometimes every candidate is honest, and a negative value of is perfectly acceptable as long as it keeps each radicand non-negative.
Check your understanding
Solve .
Isolate one radical, then square.
The cancels from both sides, leaving , so and therefore .
Check in the original: , which is correct, so is the solution.
Cubing both sides is reversible
Everything above blamed the even power. An odd power is a different animal, and the difference is not a technicality: it changes what you are allowed to conclude.
For real numbers, holds exactly when #
One direction is immediate: if , then cubing both sides gives .
For the other direction, suppose . Then , and a difference of cubes factors. (Expand the right side below and watch the middle terms cancel in pairs if you want to see why.)
So either , which is what we want, or the second factor vanishes. Complete the square on that second factor to see when it can:
Both terms on the right are squares of real numbers, so both are non-negative, and their sum is zero only if each is zero separately. That forces from the second term, and then from the first. So the second factor vanishes only at , where holds anyway.
In every case , so cubing loses nothing and adds nothing.
So cubing both sides of is reversible: the cubed equation says exactly what the original said, no more and no less. When a cube root stands alone, that one step is the whole method, and it cannot manufacture an impostor. Two familiar worries evaporate with it. A cube root is defined for every real number, positive or negative, so there is no domain to restrict. And is a perfectly reasonable statement, because an odd root is allowed to be negative, unlike the principal square root. The same reasoning applies to fifth roots, seventh roots, and every other odd index. Every even index, by contrast, behaves just like the square root, because for the same reason .
Keep the guarantee inside its fence. It is a claim about the step “cube both sides of ”, not an amnesty for every equation that happens to contain a cube root. A solution might manipulate the equation some other way, for instance by cubing a sum of two cube roots and then feeding the original equation back into the expansion. Such a solution is not making that reversible move, and it can enlarge the solution set like any other irreversible step. Substituting back costs one line, so keep doing it.
Worked example 4 Solve
Do not reach for the “a root cannot be negative” reflex. That rule is about the principal square root. A cube root reports the sign of its input, so a negative value on the right is exactly what you should expect from a negative radicand.
Cube both sides, which is a reversible step:
Solve: , so .
Check in the original, which is still worth doing to catch arithmetic slips:
The solution is . Here the check confirmed rather than filtered, and by the proof above it could never have done anything else.
Rational exponents wear the same equation
You already know that is another name for , so an equation written with fractional exponents is a radical equation in different clothes. In particular is , raising both sides to the power is squaring, and every warning in this lesson applies without a single change.
Worked example 5 Solve
Rewrite the left side to see what you are holding: . The radical is already isolated, so raise both sides to the power , using the power-of-a-power rule on the left:
The equation becomes
so and the candidates are and .
Check : the left side is and the right side is , so it is a solution.
Check : the left side is and the right side is :
So is extraneous, and the only solution is . Once again the impostor was inside the domain (its radicand was ) and failed only on sign.
When the numerator of the exponent is not , split the power into two steps rather than guessing. To solve , write the left side as and name the inner piece . Because is a principal square root, . The equation is now , and cubing is reversible, so and nothing else. Then gives , so , and the check confirms it: .
The same reading tells you when to stop early. The equation has no solution, because forces , and can never equal . Recognizing the impossibility before you compute saves the whole calculation.
Check your understanding
Solve .
Write the left side as a cube of a square root and name the inner piece , so that and the equation becomes .
Cubing is reversible, so is the only possibility. Squaring the last equation gives , so .
Check in the original: , which is correct.
Three causes, three checks
You have now met extraneous roots three times, and they had a different cause every time. That is the point worth carrying away. “Extraneous root” is not one phenomenon with one fix. It is a name for what happens whenever a step in your solution is not reversible. And since the irreversible step differs, the reason a false value slips in differs, and so the check that catches it differs.
| Where you met it | The step that is not reversible | Why a false value slips in | What the check must ask |
|---|---|---|---|
| Absolute value equations | Rewriting as or | The rewrite is only valid when , and that hypothesis is silently discarded | Does the value satisfy the original, signs and all? |
| Rational equations | Multiplying both sides by the LCD | The LCD can be zero, and multiplying by zero makes any two sides agree | Is the value in the domain, that is, does it leave every denominator non-zero? |
| Radical equations | Raising both sides to an even power | An even power cannot tell from , so it folds in the twin equation | Does the value satisfy the original, signs and all? |
A student who memorized “check for extraneous roots” without knowing why will reach for the wrong check. Coming from rational equations, the habit is to scan the candidates against the domain and keep whatever survives. Do that here and you will confidently report as a solution of , because its radicand is a healthy , and you will be wrong.
There is one check that never needs you to diagnose the cause first. Substitute the candidate into the original equation and see whether both sides come out equal. It works for absolute value equations, for rational equations, for radical equations, and for every irreversible step you will ever invent. That is because it is not a trick at all: it is the definition of what it means to be a solution.