Radicals & Rational Exponents

A fraction in the exponent

A population doubles every three years. Useful — unless you want to know what it does in one year. Whatever the one-year multiplier is, applying it three times has to give $2$, so it is the number with $x \cdot x \cdot x = 2$. That is a cube root, $\sqrt[3]{2}$ — but the question was about an exponent, a “per year” rate. The honest answer wants to be written $2^{1/3}$: an exponent that is a fraction.

This module is about what that notation means, why it can only mean one thing, and what happens when an $x$ gets trapped under a root and you have to break it out.

The meaning is forced, not chosen

From F7 you know what a whole-number exponent is — repeated multiplication — and you know the product rule: multiplying powers of the same base adds the exponents, because the copies just stack up.

Now suppose $9^{1/2}$ means anything at all. If the product rule is going to keep working, then

So $9^{1/2}$, whatever it is, is a number that multiplied by itself gives $9$. There is exactly one non-negative number that does that: the square root, $3$. Nobody decided that a $\tfrac12$ exponent means a square root — the old rules leave no other option. The same argument makes $x^{1/3}$ a cube root (three copies must rebuild $x$), and in general:

The bottom of the fraction names the root; the top is an ordinary power. Both readings are equal — but taking the root first keeps the numbers small:

Try it the other way — $27^2 = 729$ first, then a cube root of $729$ — and you get the same $9$ after much worse arithmetic. Root first is the whole trick.

Walk the bridge

Exponent Bridge puts the fraction under your fingers: the top and bottom of the exponent are separate controls, and the radical form rebuilds itself as you step them.

Predict before you press: with base $64$, set the bottom to $1$ — no root, plain powers. Now step the bottom to $2$, then $3$: predict $64^{1/2}$ and $64^{1/3}$ before the value appears. Then set the base to $27$ with bottom $2$ — the value disappears, because $\sqrt{27}$ is irrational, and the radical form on screen is the exact answer. Finally set top $2$, bottom $4$ and watch the note: the exponent reduces like any other fraction, $x^{2/4} = x^{1/2}$.

The old rules never flinch

Every rule from F7 survives with fractions in it, because none of the copy-counting arguments cared whether the count was whole:

And the minus sign keeps its old job too: $8^{-2/3}$ is $\dfrac{1}{8^{2/3}} = \dfrac{1}{4}$. The minus flips, the fraction roots — two separate jobs, and neither one ever makes the answer negative.

Breaking x out of a root

Now turn it around. Instead of evaluating roots, you are handed an equation with $x$ stuck inside one:

There is one move that frees it — square both sides — and that move has a catch worth an SAT point almost every time it appears.

Squaring is a one-way door

Here is the catch in one line: $3^2 = 9$, but $(-3)^2 = 9$ too. Squaring erases signs — two different numbers become one. So when you square an equation, the new equation is true in every case the old one was… and possibly in a few cases the old one never allowed. The squared equation can have more solutions than the one you actually asked about. Those intruders are called extraneous solutions, and finding them is not optional cleanup — the check is the second half of the method.

Where did $x = 1$ come from? It is the honest solution of a different equation — $\sqrt{x+3} = -(x-3)$ — whose square is identical. Squaring merged the two equations, and the check is how you un-merge them.

Factoring the quadratic is M3’s skill; if $(x-1)(x-6)$ didn’t feel automatic, that module rebuilds it.

See the ghost

Solving $\sqrt{x+3} = x-3$ is geometry too: it asks where a line crosses the curve $y = \sqrt{x+3}$. A square root is never negative, so that curve is only the upper half of a parabola. But the squared equation belongs to the whole parabola — lower half included. Ghost Branch draws that lower half as a dashed ghost, and the equation above is its opening preset.

Look before you drag: the line crosses the solid curve at $x = 6$ and the ghost at $x = 1$ — the exact two candidates from the worked example, sorted into real and fake by the picture alone. Now drag the line dot upward one step at a time and watch the badges: the crossings drift, and at some point the line stops touching the parabola entirely — the no solutions at all case. Then press both real: both crossings sit on the solid curve, and squaring happens to invent nothing. The candidates never lie on both halves at once by accident; the check exists because the algebra cannot see which half is real.

One more case deserves its own line. An equation like $\sqrt{x+4} = -3$ has no solution before you do anything: a square root cannot output a negative number. Square it anyway and the machinery cheerfully hands you $x = 5$ — which the check then executes: $\sqrt{9} = 3 \ne -3$. When every candidate dies, the answer is no solution, and that is a real SAT answer choice, not a failure.

The one thing to remember

The bottom of a fraction exponent is a root, the top is a power, and every exponent rule you already know keeps working with fractions inside. When an $x$ is trapped under a radical: isolate, square once, solve — and then check every candidate in the original equation, because squaring is a one-way door that can let a false answer walk in. The check is not paranoia; it is half the method.

The conversion

Bottom = root, top = power. Evaluate root-first: $27^{2/3} = (\sqrt[3]{27})^2 = 3^2 = 9$.

All six F7 rules survive with fraction exponents — product adds ($x^{1/2} \cdot x^{1/3} = x^{5/6}$), quotient subtracts, power-of-a-power multiplies ($\left(x^{2/3}\right)^{3} = x^{2}$).

The exponent reduces like any fraction: $x^{2/4} = x^{1/2}$.

Radical equations, the method

A candidate that fails the check is extraneous: it solves the squared equation, not yours. If every candidate fails, the answer is no solution — and $\sqrt{\text{anything}} = \text{negative}$ has no solution before you square at all.