Visual walkthrough — Equations with radicals — squaring both sides, extraneous solutions
This page rebuilds the whole idea of radical equations as a sequence of pictures. We start from a single line and never use a symbol before you can see it. By the end you will understand — not just remember — why some answers you find are ghosts.
Everything here rests on one small fact about a curve, so we build that curve first.
Step 1 — What a square root actually is (a picture, not a rule)
WHAT. The symbol is a machine. You feed it a number, it hands you back a number. The rule of the machine: is the non-negative number whose square is .
WHY this matters. People say " is ." That is the trap. Both and square to , true — but the machine is only allowed to pick one answer, and it always picks the non-negative one. So . Only . This single restriction is where every phantom answer later comes from.
PICTURE. Look at the blue curve. Its height above each input is . Notice two things I have marked in red: the curve never dips below the horizontal axis (output is always ), and it stops on the left — there is no curve for negative inputs, because no real number squared gives a negative.

Step 2 — The equation we want to solve, drawn as two curves meeting
WHAT. Take a real radical equation:
WHY draw it this way. An equation "left = right" is a question: for which inputs do the two sides give the same number? The cleanest way to see that is to draw each side as its own curve and hunt for where they cross. A crossing is a genuine solution; nothing else is.
PICTURE. The blue curve is (from Step 1). The orange line is : it rises steadily and passes through height at . They cross at exactly one point, near . Everywhere the orange line sits below zero (all ), it can never equal the blue curve, because blue is always . Circle that region — it is where ghosts will hide.

Step 3 — Squaring: what it does to the two curves
WHAT. To remove the machine, we square both sides. Squaring means "multiply a thing by itself." Applied here:
WHY it changes the game. Squaring gives back — clean, the machine is gone. But squaring folds the whole orange line about the horizontal axis: any part that was below zero flips up to positive. Squaring cannot tell from ; both become . That fold is exactly the information we throw away.
PICTURE. On the left, the original orange line dips below zero. On the right (after squaring) the dipped part has been reflected upward into a U-shaped parabola. The blue side became the plain straight line . Watch: the new orange parabola crosses the new blue line in two places now — one is the real crossing from Step 2, the other is brand new, born from the folded-up piece.

Step 4 — Solve the squared equation (find both crossings)
WHAT. Turn into a standard quadratic and factor:
Each bracket, set to zero, gives a candidate: or .
WHY factor. A product is zero only when one of its pieces is zero. So splits the problem into two easy questions. These two numbers are exactly the two crossings we saw appear in Step 3's right-hand picture.
PICTURE. The two vertical dashed lines mark (red) and (green) landing on the two intersection points of the parabola and the line. Both are honest solutions of the squared equation — but only one of them survived from the original.

Step 5 — The check: send each candidate back to the original two curves
WHAT. Plug each candidate into (the honest Step-2 equation), not the squared one.
: ✗ : ✓
WHY the check is mandatory. The squared world lost the sign. In the real world the blue machine outputs at , but the orange line there is at . They are on opposite sides of zero — no crossing. That is precisely the region we circled in Step 2.
PICTURE. Back on the original two curves: at blue and orange truly meet (green dot, both at height ). At the blue point sits at while the orange point sits at — I draw the gap between them in red. Same , different heights: not a solution. That candidate was a reflection artefact from Step 3.

Step 6 — The degenerate case: when every candidate is a ghost
WHAT. Solve .
WHY it is special. The whole right side is a negative constant. The blue machine's output can never be negative (Step 1). So blue lives at or above zero, the target line sits flat at below zero — they cannot cross anywhere. No algebra needed: the answer is no solution.
PICTURE. The blue curve floats above the axis; the orange line runs flat underneath, forever apart. If you squared anyway you'd get , so — but the check gives . That lone candidate is a pure ghost, manufactured entirely by erasing the minus sign.

Recall Why does a negative right side guarantee no solution?
Because always, so it can never equal a negative number ::: the two curves live on opposite sides of the horizontal axis and never meet, no matter what is.
The one-picture summary
Everything above collapses into one story: draw both sides → square (which folds the negative part up) → the fold creates an extra crossing → the check deletes any crossing that lived only in the folded region.

Recall Feynman retelling — say it to a 12-year-old
Imagine two runners on a number-height chart. The blue runner is the square-root machine — she is never allowed below the ground line. The orange runner walks a straight slope and, early on, is underground (negative). We want the moment they are at the exact same height.
Squaring is like flipping the underground part of the orange path up above ground with a mirror. Now the mirrored path touches the blue runner at a spot it never really reached — a fake meeting. When we solve the flipped picture we get two meeting spots, but one of them only happened because of the mirror.
So the last rule is simple and never optional: take every answer back to the real, un-mirrored picture. If both runners are truly at the same height there — keep it. If one is above ground and the other is underground at that same step — throw it out. That thrown-out answer is the extraneous solution.
Practice the reveal
Squaring turns into what weaker statement?
In the picture, an extraneous solution corresponds to a crossing that appears only after which action?
For , a candidate is genuine only if is what sign?
Related ideas worth linking in your head: Absolute Value Equations (also about lost signs), Rational Exponents (roots written as powers), and Function Transformations (the fold is a reflection about the axis).