The traps of irrational equations

The logical leap: why squaring tricks us

Here is the formal cause of the problem. The equality $a=b$ guarantees $a^2=b^2$. But the reverse does not hold: from $a^2=b^2$ it does not follow that $a=b$.

The reason is simple. Squaring destroys the sign. Both $3$ and $-3$ yield $9$. The operation does not distinguish between a number and its opposite, so any information about the sign is lost along the way.

\[Mermaid block not supported]

$$\sqrt{x+6} = x \quad \Longrightarrow \quad x+6 = x^2$$

The arrow goes in only one direction. The equation on the right is more permissive than the one on the left: it accepts everything the original accepted, plus some values that the original rejected. Those extra values are the extraneous solutions.

This has an enormous practical consequence. When you solve an irrational equation, the values you obtain at the end are not solutions: they are candidates. The original equation is the sole judge that decides which ones are valid.

And there is a detail worth keeping in mind: the square root, by definition, always returns a non-negative result. $\sqrt{9}$ is $3$, never $-3$. That restriction is what makes $x=-2$ fail in the initial example: the left-hand side could never have given a negative number.

Step by step with a root

Let's completely solve the equation from the beginning, now with the protocol in order.

$$\sqrt{x+6} = x$$

Step 1. The radical is already alone. There is nothing to move.

Step 2. We square both sides.

$$x+6 = x^2$$

Step 3. We arrange it as a quadratic equation.

$$x^2 - x - 6 = 0$$

Step 4. We factor.

$$(x-3)(x+2) = 0$$

From which the two candidates emerge:

$$x = 3 \quad ext{o} \quad x = -2$$

Up to this point, everything is mechanical algebra. The candidates are on the table, but we still don't know which ones are true solutions. That is decided by the next step, and it is the one that cannot be skipped.

The mandatory filter: checking

We substitute each candidate into the original equation, not the transformed one. The difference matters: checking in $x+6=x^2$ would approve both, because that equation is precisely the one that accepts them both.

Candidate $x=3$:

$$\sqrt{3+6} = \sqrt{9} = 3$$

The right side is $3$. They match. $x=3$ is a solution.

Candidate $x=-2$:

$$\sqrt{-2+6} = \sqrt{4} = 2$$

The right-hand side is $-2$. And $2

eq -2$. Falla. $x=-2$ is an extraneous solution and is discarded.

The solution to the equation is therefore only $x=3$.

There is a shortcut that saves work: before raising, you can note the existence conditions. Since $\sqrt{x+6}$ is never negative, the right side $x$ must also be non-negative. That is, $x \geq 0$. With that condition, $x=-2$ is ruled out from the start and you only need to check $x=3$. The filter is still mandatory, but sometimes it can be applied before doing the math.

When there are two radicals

With two roots, the procedure is repeated in two rounds. The key is not to try to get rid of both at once.

$$\sqrt{x+5} + \sqrt{x} = 5$$

Round 1. We isolate a radical. We move $\sqrt{x}$ to the other side:

$$\sqrt{x+5} = 5 - \sqrt{x}$$

We square. The left side cleans up; the right side is a binomial and must be expanded carefully:

$$x+5 = 25 - 10\sqrt{x} + x$$

We simplify by subtracting $x$ on both sides:

$$5 = 25 - 10\sqrt{x}$$

Round 2. A radical still remains. We isolate it:

$$10\sqrt{x} = 20 \quad \Longrightarrow \quad \sqrt{x} = 2$$

We raise again:

$$x = 4$$

A single candidate. We check it in the original:

$$\sqrt{4+5} + \sqrt{4} = \sqrt{9} + 2 = 3 + 2 = 5$$

It matches. $x=4$ is the solution.

The pattern generalizes: every time you raise, you produce candidates; every time you produce candidates, you must check them. With three radicals there would be three rounds, and the discipline is the same.

The protocol against lying roots

Every irrational equation is solved with the same four-step checklist. There are no shortcuts that work universally, but there are no surprises either if the order is respected.

1. Isolate a radical. Leave a single root on one side of the equal sign, with no terms adding or subtracting around it.
2. Raise to the index. Square for square roots, cube for cube roots. If another radical remains, go back to step 1.
3. Solve the resulting equation. You will get candidates, not solutions.
4. Check each candidate in the original equation. Discard the ones that fail. Those are the extraneous solutions.

It is worth understanding why the protocol works. Squaring is an operation that expands the set of acceptable values: it never eliminates true solutions, but it can add false ones. Isolating before raising prevents that expansion from getting out of hand. Checking at the end trims away exactly what was added extra.

\[Unsupported mermaid block]

Next time you see a root in an equation, don't start by raising. Start by clearing. The exponent is the tool, but isolation and checking are the judgment. And in mathematics, as in almost everything, judgment is what separates an answer from a correct answer.