Before we can solve a single radical equation, we need to be sure of every symbol the parent note throws at us. Below, each piece is built from nothing: plain words first, then a picture, then the reason the topic can't live without it. Read them in order — each one leans on the one above.
Look at the first figure. The left pan holds whatever the left side evaluates to; the right pan holds the right side. When they balance, the equation is true. When one pan drops, the equation is false — and no amount of algebra can make a false equation true.
Here is the single most important fact for this whole topic:
Look at the second figure: two squares, one with side +3 and one with side −3 (drawn to the left), both have area 9. The square cannot tell you which side length it came from.
Reveal-check yourself:
Why is a2 never negative?
A number times itself: positive×positive and negative×negative are both positive; and 0×0=0.
The little check-mark shape is the radical sign; the number underneath it (here n) is the radicand. A radical equation is simply an equation that has a variable inside a radical.
Look at the third figure. Squaring is the arrow going right (side length → area). The radical is the arrow going left (area → side length) — but it is only allowed to land on the non-negative side of the number line.
This is our first taste of Inverse Operations: squaring and taking a square root are almost inverses, but not quite — because squaring is not one-to-one, its "undo" (the radical) can only reach half the numbers.
Picture a box with x going in one side and a number coming out the other. Different boxes (f, g) do different jobs. Writing f(x)=2x+3 tells you the box's rule: double the input, add three.
We need exactly two gate conditions in this topic:
The first gate belongs to Domain and Range of Functions: you cannot take a real square root of a negative number, so the radicand must stay ≥0. The second gate is the one that catches most extraneous solutions — the value the radical equals must itself be ≥0.
Because squaring is a one-way implication (original true ⇒ squared true) but not reversible, the only way to know a candidate is genuine is to place it back on the original balance scale (§1) and see if the pans stay level.
Read it top-down: the balance and the sign-destroying nature of squaring together explain why the radical only points one way; that one-way-ness creates the gates; the machines set up the equation; squaring makes a quadratic; factoring makes candidates; the gates plus the original-equation check throw out the fakes.
