This page is a thinking gym, not a calculator gym. Every item below hides a misconception or a boundary case that radicals love to spring on you. Read the prompt, commit to an answer out loud, then reveal. If your reason doesn't match the reasoning shown — that gap is the lesson.
Prerequisite ideas you may want open in another tab: Exponent Laws, Difference of Squares, Prime Factorization, and the parent Radicals topic note.
Before you argue about rules, look at what a square root is. It is the mirror-image (inverse) of squaring, folded across the diagonal line y=x.
Notice two things that kill half the traps below. First, y=xonly lives to the right of x=0 — there is no real root of a negative number, because y=x2 never dips below the axis. Second, x grows slower than x once x>1: doubling the input does not double the output. That single fact is why a+b=a+b — a slow, curved operator cannot be split across a sum.
The multiplication law is different, and it deserves a picture of why the domain matters:
Here ab=ab is read as areas: a rectangle of area ab has the same "side length feel" as gluing together the two square-side lengths a and b. This picture requiresa≥0 and b≥0 — you cannot draw a rectangle with negative side lengths, which is exactly the constraint the algebra hides.
And rationalizing a general n-th root is just "finishing an incomplete tower of factors" — you supply the missing copies to complete a full power:
False. The root is non-linear (see the curved graph in figure s01); 9+16=5 but 9+16=7. It holds only in the degenerate case where a=0 or b=0.
ab=abprovided a≥0 and b≥0.
True, and the domain is the whole point. With a,b≥0 we may write a=a1/2, and the exponent law a1/2b1/2=(ab)1/2 applies because equal exponents merge bases (the "area gluing" of figure s02). Drop the a,b≥0 condition and the law fails — that is a separate trap in the next section.
x2=x for every real x.
False. The square root returns the non-negative value, so x2=∣x∣. For x=−3, 9=3=−3; the identity only holds when x≥0.
3x3=x for every real x.
True. Cube roots preserve sign because cubing preserves sign, so no absolute value is needed — 3(−2)3=3−8=−2.
2+3=5.
False. These are unlike surds (different radicands) so they cannot merge; only the illegal "add-under-root" rule would give 5, and that rule is false.
21 and 22 are the same number.
True. Multiplying top and bottom by 2 gives 22; rationalizing changes the form, never the value.
The rule ab=ab requires non-negative radicands (the "positive side lengths" of figure s02). With negatives it breaks; staying real, these roots aren't defined, and the correct product 2i⋅3i=−6, not +6.
"2+31=23+33 — I multiplied top and bottom by 3." What's wrong?
Multiplying by 3 leaves a radical (23) in the denominator, so nothing was rationalized. You must use the conjugate2−3 so that (2)2−(3)2=1 clears every root.
"50=25+25=5+5=10." Find the mistake.
50=25+25under a single root the way addition suggests — you split 50 across an illegal sum. Correct: 50=25⋅2=52≈7.07.
"18=9⋅9=3⋅3=9." What went wrong?
18=9⋅9=81; the factor pair used was wrong. The correct split is 18=9⋅2, giving 32.
"To rationalize 321 I multiplied by 3232 and got 232." Correct?
No. 32⋅32=34=22/3, still irrational. You need the factor 34 so the exponents sum to 1 (a completed cube, figure s03): 234.
"52+38=810." Spot two errors.
First, 8=22 was not simplified, so the radicands only look different; second, like radicals combine by adding coefficients, never by multiplying radicands. Correct: 52+62=112.
"(3+2)2=3+2=5." Why wrong?
Squaring a binomial needs the middle term: (3+2)2=3+26+2=5+26. Dropping the 26 is the classic "square each piece" trap.
"169=169=163." Find the slip.
The division law applies to both parts: 9/16=9/16=3/4. Only the numerator was rooted.
Why do we prefer 22 over 21 even though they're equal?
A rational denominator makes decimal estimation, comparison, and further algebra cleaner — historically it turned "divide by 1.414…" into "divide by 2." It is a standard form, not a truer value.
Why does the conjugate c−d (not just d) rationalize c+d?
Because (c+d)(c−d)=c2−d via Difference of Squares — the cross terms ±cd cancel, wiping out the radical entirely; multiplying by d alone would leave a surviving cd.
Why does simplifying 12 and 27before adding matter?
Hidden inside them is the same core surd 3 (23 and 33). Only after extraction do they reveal themselves as like radicals you're allowed to add.
Why does na=a1/n let us reuse all the exponent laws?
Rewriting a root as a fractional power turns unfamiliar radical rules into the familiar rules of Exponent Laws — multiplication, division, and power-of-a-power all follow for free.
Why do we hunt for the largest perfect-square factor when simplifying?
Pulling out the largest square in one move leaves a radicand with no square factors left, so the surd is fully simplified; a smaller factor forces you to repeat the process.
Why is 2 called irrational rather than just "a decimal"?
"Irrational" means it cannot be written as a ratio of two integers, so its decimal never terminates or repeats — that impossibility is precisely why it stays under the root.
What is 0, and does the multiplication law survive at zero?
0=0, and 0⋅b=0b=0 holds fine — zero is a perfectly valid non-negative radicand, just the degenerate one (the origin point in figure s01).
Can you rationalize 3−31?
No — the denominator is 0, so the expression is undefined before any rationalization can begin. Always check the denominator isn't secretly zero.
Is a2b equal to ab or ∣a∣b?
∣a∣b, since the square root must stay non-negative; if a is known non-negative (as with lengths in Pythagorean Theorem work) the bars drop and it's just ab.
General n-th root: to rationalize nk1 where k has no perfect n-th power factor, what do you multiply by, and why?
Multiply top and bottom by nkn−1. Reason: nk⋅nkn−1=nkn=k — the exponents n1+nn−1=1 complete one full power (figure s03), leaving the rationalk downstairs and knkn−1 upstairs. For n=2 that missing piece is just k (one copy); for n=3 it is 3k2 (two copies); the pattern always tops the tower up to n copies.
What happens to a conjugate when the denominator is d+d=2d (a single-term, not binomial, radical)?
There's no conjugate to use — it's a single radical, so you rationalize by multiplying by d/d, not by a difference. The conjugate trick is only for two-term (binomial) denominators.
Does 6a=3a hold when a<0?
No. For a<0, a isn't real, so the nested form fails even though the index arithmetic 6=3⋅2 looks fine — the even index 2 blocks negatives. Index-multiplication assumes each layer is defined.
If x2=2, is x=2 the complete answer?
No — x=±2. The equation has two roots; writing only 2 silently drops the negative solution, a trap carried over into Equations with Radicals.
Recall Quick self-test before you leave
The four flags: roots multiply, don't add; combine only like radicals; x2= ::: ∣x∣; a denominator is rationalized only when ::: no radical survives below the bar.
