Early in an algebra chapter, you learn a friendly identity: (\sqrt{x})^2 = x whenever x \geq 0. Clean, obvious, nothing to argue about. A few pages later, you meet a slightly different-looking twin, \sqrt{x^2} = |x|, and it stops you in your tracks. Why the absolute value? Why not just \sqrt{x^2} = x? The two expressions look like siblings — both contain a square and a square root — so shouldn't they cancel the same way?
They do not. And the reason turns entirely on what the symbol \sqrt{\phantom{x}} is allowed to return, and what happens to the sign of x when you square it and then unsquare it.
Test at a negative value
The fastest way to feel the difference is with a number. Pick x = -3.
Then x^2 = (-3)^2 = 9. And \sqrt{x^2} = \sqrt{9} = 3. The principal square root symbol, as established in Why Does √9 Equal Just 3, Not ±3?, is always non-negative. So \sqrt{9} is 3, full stop — not -3, not \pm 3.
Now compute |x|: |-3| = 3. Also 3.
The two sides match. \sqrt{x^2} = |x| = 3. So the identity \sqrt{x^2} = |x| passes the test.
But notice what x itself was: -3. So if you tried to claim \sqrt{x^2} = x, you would be saying 3 = -3. That is just false. A single negative number breaks the proposed identity \sqrt{x^2} = x decisively.
Test at a positive value
Try x = 4. Then x^2 = 16, and \sqrt{x^2} = \sqrt{16} = 4. And |x| = |4| = 4.
All three expressions — \sqrt{x^2}, |x|, and x — agree at the value 4. So when x is positive (or zero), the shortcut \sqrt{x^2} = x happens to be correct. This is where the misconception comes from: students test the identity on positive numbers, see it work, and generalise. But the moment you step to the negative side of the number line, the shortcut collapses and |x| is the only version that survives.
The general identity
Putting both tests together, the identity that holds for every real number x, positive or negative, is:
The absolute value is the "always non-negative" version of x. When x \geq 0, it returns x. When x < 0, it returns -x (which is positive). In either case, it gives back a non-negative number — which is exactly what the principal square root symbol demands on its output.
Why this matters when solving equations
If the distinction were purely cosmetic, no one would insist on it. It matters because losing the absolute value loses solutions.
Solve x^2 = 25. Take the square root of both sides. The correct move is:
Two solutions, as expected. Now watch what happens if you wrongly simplify \sqrt{x^2} to x: you would write x = 5 and stop. The -5 solution is gone, silently discarded by a sloppy notation. The equation x^2 = 25 has two answers, and writing \sqrt{x^2} = x can only ever produce one of them.
The same issue bites in calculus. If you try to differentiate \sqrt{x^2} by treating it as x, you get \dfrac{d}{dx}(x) = 1 — constant. But the correct function is |x|, whose derivative is +1 for positive x and -1 for negative x (undefined at 0). The graph of |x| is a V — a corner at the origin — and the derivative reflects that shape. Pretending \sqrt{x^2} = x hides the V and produces a wrong derivative.
Why the principal root is defined this way
The reason the radical symbol only returns non-negative values is not a teacher being picky. It is a structural requirement: \sqrt{\phantom{x}} has to be a function, meaning one input produces one output. If \sqrt{9} were allowed to be both +3 and -3, then \sqrt{\phantom{x}} would be multi-valued and most of algebra would break — you could not graph \sqrt{x} cleanly, you could not compose radicals reliably, and every calculation would branch into two parallel cases.
So mathematicians made a choice: the radical returns the non-negative root only. The negative root still exists — it just has to be accessed explicitly with a minus sign out front, as -\sqrt{9} = -3.
This single design choice forces \sqrt{x^2} to be |x|, not x. Whatever real x you plug in, x^2 is non-negative, so \sqrt{x^2} must also be non-negative. The only way to guarantee a non-negative output from an input whose sign you don't know is to strip the sign — which is exactly what |x| does.
What about (\sqrt{x})^2 = x?
Here is where the confusion often starts. Students see two expressions that look similar and assume they behave the same way:
- \sqrt{x^2} — operates on x^2, which is non-negative for every real x. Output: |x|.
- (\sqrt{x})^2 — operates on \sqrt{x}, which only exists when x \geq 0. Output: x.
These are genuinely different statements. In the first, the squaring happens first, inside the radical. Because squaring destroys the sign, the radical has no way to recover the original x — it can only return the magnitude |x|.
In the second, the square root happens first. But \sqrt{x} is only defined for x \geq 0, so by the time you square \sqrt{x}, the variable x is already known to be non-negative. There is no sign to lose, and the operation (\sqrt{x})^2 = x works cleanly. No absolute value needed, because the restriction x \geq 0 is baked into the fact that \sqrt{x} exists at all.
So the order matters. Squaring inside the radical requires |x|. Square-rooting first requires x \geq 0, and within that domain the square and the square root cancel without decoration.
Higher even roots behave the same way
The |x| pattern extends to every even root of every even power:
Every one of these expressions involves taking an even power (always non-negative) and then an even root (returns non-negative by convention). The result is the non-negative version of x, which is |x|.
Odd roots are different
Odd roots are cleaner because there is no sign ambiguity to manage:
Check: if x = -2, then x^3 = -8, and \sqrt[3]{-8} = -2, matching x. If x = 2, then x^3 = 8, and \sqrt[3]{8} = 2, matching x again. The cube root of a negative number is negative, because cubing preserves sign. There is no "principal root" choice to make for odd roots — every real number has exactly one real cube root, and it agrees with x when the input is x^3.
No absolute value appears in \sqrt[3]{x^3} = x, and none is needed. The |x| issue is purely an even-root phenomenon, arising because squaring (and every even power) destroys sign information.
A common pitfall in proofs
A proof that glides from \sqrt{x^2} to x is usually wrong, and the error is subtle because it only bites for negative x. Imagine a derivation that reaches the line
and then simplifies the right side to x, getting the tautology x = x. If x could have been negative, this step silently threw away half the picture. The correct chain is
which keeps the absolute value front and centre, and reminds you that the original variable's sign is captive inside the radical.
When you can safely drop the absolute value
Sometimes context tells you x is non-negative from the start. If x represents a length, a distance, a magnitude, a speed, a mass, or any other physical quantity that is non-negative by definition, then |x| = x automatically, and you can write \sqrt{x^2} = x without breaking anything.
The key phrase is "by definition." If the problem says "let r be the radius of the circle," you know r \geq 0, and you are safe. If the problem says "let x be any real number," you are not safe and must keep the absolute value.
The habit worth forming: whenever you drop the absolute value, write down the assumption that justifies it. "Since x \geq 0 (a length), \sqrt{x^2} = x." That tiny annotation is what separates a tight proof from a hand-wavy one.
Quick drill
Simplify each expression, stating any domain consideration:
- \sqrt{9x^2} = 3|x|. (The 3 comes out cleanly; the |x| handles the sign.)
- \sqrt{(x+1)^2} = |x+1|. For x \geq -1, this simplifies to x + 1; for x < -1, it is -(x+1) = -x - 1.
- \sqrt{x^4} = x^2. No absolute value needed — x^2 is already non-negative for every real x, so the output requirement of the radical is satisfied without stripping any sign.
- \sqrt{(x - 5)^2} = |x - 5|. For x \geq 5, this is x - 5; for x < 5, it is 5 - x.
The pattern: whenever the expression inside the radical is a perfect square of something whose sign you don't know, an absolute value must appear in the simplified form. Whenever the expression inside is already non-negative (like x^4, or x^2, or |y|), no absolute value is needed, because the non-negativity requirement is already met.
Closing
\sqrt{x^2} = |x| is not a pedantic flourish. It is a correctness requirement, forced by the fact that the \sqrt{\phantom{x}} symbol is defined to return only non-negative numbers. Writing \sqrt{x^2} = x silently assumes x \geq 0 and breaks the moment x is negative — losing solutions in equation-solving, producing wrong derivatives in calculus, and invalidating proofs that needed to cover the full real line. The absolute value is cheap to write and keeps every case honest. Use it by default, and drop it only when you can name the reason x is non-negative.