Simplifying Even roots bite

Simplifying Radicals with Variables

Simplifying radicals with variables works like numbers, but an even root needs absolute value: √(x²) = |x|, not x. Rules, the exponent shortcut, and examples.

By SimplifyCalc 8 min read

Simplifying a radical with a variable in it uses the same method you already use on numbers: pull out the perfect powers and leave the rest underneath. There is one addition that trips almost everyone, and it is the reason this topic gets its own guide: for an even root, √(x²) sqrt(x^2) equals |x| abs(x) , not x x , unless you already know x is non-negative. Everything else here is familiar, so if you want to test a step as you read, paste the expression into the simplify calculator and watch it factor the same way.

Most students learn radicals on bare numbers first, get comfortable, then meet a variable and lose marks on the sign. The factoring is not the hard part. Knowing when to keep the absolute-value bars, and when to drop them honestly, is the whole game.

What changes the moment a variable appears

With a number, a square root has one non-negative answer and no sign question at all. A variable can stand for a negative, and that is what forces the extra care. A square root, by definition, gives back the non-negative value, so its output is never below zero.

Look at what that means for √(x²) sqrt(x^2) . If x is 4, you get 4. If x is −4 -4 , then x² x^2 is 16 and the root is 4 again, not −4 -4 . Plain x would have handed back the negative, which the root refuses to do. The value that always matches is |x| abs(x) . So the honest statement is √(x²) = |x| sqrt(x^2) , and writing √(x²) = x sqrt(x^2) is only true once you have said x is non-negative.

Contrast that with an odd root. A cube root is defined for negatives and keeps the sign: ∛((−2)³) = ∛(−8) = −2 nthroot(-8,3) . So ∛(x³) = x nthroot(x^3,3) for every real x, with no bars needed. The formal definition of these roots, if you want the reference, lives on Wikipedia’s Nth root page.

That single split, even root versus odd root, decides every absolute-value question on this page. Keep it in front of you.

One relief before you worry too much: the number part never raises the sign question. A coefficient like 50 or 54 is a fixed value, so its perfect-square or perfect-cube factor comes out exactly the way it does with no variable present. The bars are only ever about the letters, because only a letter can secretly stand for a negative. So when you scan a problem, you can factor the number on autopilot and save your attention for the variables.

The exponent shortcut: divide by the index

You do not have to write a variable out as a long product to see how many copies escape the radical. Divide the exponent by the index. The quotient is the power that comes out; the remainder is the power that stays under.

Take √(x⁵) sqrt(x^5) . The index is 2, and 5 divided by 2 is 2 with remainder 1. So x² x^2 comes out and x¹ x^1 stays under: √(x⁵) = x²√x sqrt(x^5) (for x ≥ 0 x>=0 , since the leftover x is under an even root).

For a cube root, divide by 3. In ∛(x⁷) nthroot(x^7,3) , 7 divided by 3 is 2 remainder 1, so x² x^2 escapes and one x stays: ∛(x⁷) = x²∛x nthroot(x^7,3) , valid for all real x. The remainder is always smaller than the index, which is exactly why the leftover can never be pulled out again.

The sign question rides on the quotient, not the remainder. If the index is even and the outgoing power is odd, that variable needs bars. If the outgoing power is even, it does not, because an even power is already non-negative. That is the rule behind the table below.

Even root or odd root?

Here is the whole decision in one place. Read the index first, then the power that comes out.

ExpressionComes outBars?Why
√(x⁴)x²noeven index, but x² is already ≥ 0
√(x²)|x|yeseven index, odd outgoing power
√(x⁶)|x³|yeseven index, x³ can be negative
∛(x³)xnoodd index never needs bars
∛(x⁶)x²noodd index, sign is preserved

Two rows deserve a second look. √(x⁴) = x² sqrt(x^4) needs no bars because x² x^2 is non-negative on its own, even though the index is even. And √(x⁶) = |x³| sqrt(x^6) does need them, because x³ x^3 can be negative when x is. The test is never “even index, always bars.” It is “even index and odd outgoing power.”

The same test covers roots you meet less often. A fourth root has index 4, which is even, so it plays by the square-root rule: ⁴√(x⁴) = |x| nthroot(x^4,4) , because the outgoing power there is 1, an odd number. A fifth root has index 5, which is odd, so ⁵√(x⁵) = x nthroot(x^5,5) for every real x. You never have to memorize each root on its own. Read whether the index is even or odd, then read whether the power coming out is odd, and the two answers together settle it.

Three worked examples, easy to exam-level

Watch the same method hold as the problems grow. Each step names the rule it uses, and the sign gets decided out loud every time.

Radicals with variables, three levels

Warm-up an even power under a square root
√(x⁴) sqrt(x^4)
  1. Rewrite the inside as a perfect square: x⁴ = (x²)² x^4 = (x^2)^2 .
  2. Take the square root of a perfect square: √((x²)²) = x² sqrt((x^2)^2) .
  3. Check the sign. Here x² x^2 is always ≥ 0 >=0 , so no absolute value is needed, unlike √(x²) = |x| sqrt(x^2) . The outgoing power is even, and that is what lets the bars stay off.
Answer x² x^2
Typical a coefficient, an odd power, and a hidden sign
√(50x³y²) sqrt(50x^3y^2)
  1. Factor into perfect squares times leftovers: 50x³y² = 25 · x² · y² · (2x) 25*x^2*y^2*(2x) .
  2. Pull out one root of each perfect square: √25 = 5 sqrt(25) , √(x²) = |x| sqrt(x^2) , and √(y²) = |y| sqrt(y^2) , leaving √(2x) sqrt(2x) underneath.
  3. Read the restriction off the leftover. The √(2x) sqrt(2x) is real only when x ≥ 0 x>=0 , and with x ≥ 0 x>=0 the |x| abs(x) drops its bars and becomes x. The y keeps its bars, because y² y^2 hid whatever sign y had. Result: 5x|y|√(2x) .
Answer 5x|y|√(2x)

Restriction x ≥ 0

Exam-level a cube root, so an odd index
∛(54x⁵) nthroot(54x^5,3)
  1. Factor into perfect cubes times leftovers: 54x⁵ = 27 · x³ · (2x²) 27*x^3*(2x^2) .
  2. Pull out one cube root of each perfect cube: ∛27 = 3 nthroot(27,3) and ∛(x³) = x nthroot(x^3,3) , leaving ∛(2x²) nthroot(2x^2,3) underneath.
  3. Check the sign. The index is odd, so ∛(x³) = x nthroot(x^3,3) needs no absolute value and holds for every real x, negatives included. Result: 3x∛(2x²) for all real x. Compare the typical example above: the even root wanted bars, the odd root does not.
Answer 3x∛(2x²)

Where students slip, and the fix each time

Almost every lost mark here comes from one of three habits. Name them once and they stop costing you.

Dropping the bars out of habit

Writing √(x²) = x sqrt(x^2) feels natural, and on a test where x is known non-negative it is fine. But if the problem says “for all real x,” or says nothing, the honest answer is |x| abs(x) . When in doubt, keep the bars and state your assumption.

Putting bars on an even outgoing power

The bars are for odd outgoing powers under an even root. √(x⁴) sqrt(x^4) comes out to x² x^2 , which is already non-negative, so |x²| abs(x^2) would be redundant. Divide the exponent by the index and look at the quotient before you reach for the bars.

Treating cube roots like square roots

Odd roots never take absolute value. ∛(x³) = x nthroot(x^3,3) for every real x, and adding bars there would actually be wrong, since the cube root of a negative is negative. Check the index first, every time.

How do you know you are finished?

A radical with variables is fully simplified when no factor left under the radical has an exponent at or above the index. If a factor still does, another whole power can come out.

  • For a square root, no variable underneath should have an exponent of 2 or more, and no number underneath should have a perfect-square factor.
  • For a cube root, no variable underneath should have an exponent of 3 or more, and no number underneath should have a perfect-cube factor.
  • Every even-root variable that came out to an odd power carries its absolute-value bars, unless a stated domain lets them go.
  • Any domain restriction forced by a leftover under an even root is written down, the way √(2x) sqrt(2x) forced x ≥ 0 x>=0 above.

Run that list and the sign question answers itself. If you plan to keep simplifying, the same factoring habit carries into rational exponents, where a root is written as a fractional power, and into rationalizing the denominator, where a leftover radical gets cleared from the bottom of a fraction.

Practice: radicals with variables

Practice: radicals with variables

Try each one on paper first, then open the answers to check your working.

Assume every variable is real. Note any domain an even root forces when it leaves an odd leftover.

  1. Simplify √(x⁸) sqrt(x^8) .
  2. Simplify √(9y²) sqrt(9y^2) .
  3. Simplify √(50x²) sqrt(50x^2) .
  4. Simplify √(18x⁴y²) sqrt(18x^4y^2) .
  5. Simplify ∛(x⁹) nthroot(x^9,3) .
  6. Simplify ∛(54x⁴) nthroot(54x^4,3) .
  7. Simplify √(45x³) sqrt(45x^3) .
Show answers
  1. Even index, even outgoing power: √(x⁸) = x⁴ x^4 , no bars since x⁴ is non-negative.
  2. √(9y²) = 3|y| ; odd outgoing power under an even root keeps the bars.
  3. √(50x²) = 5|x|√2 ; the 2 stays under, x comes out with bars.
  4. √(18x⁴y²) = 3x²|y|√2 ; x⁴ gives even x², no bars, but y keeps them.
  5. Odd index: ∛(x⁹) = x³ x^3 for all real x, no bars.
  6. ∛(54x⁴) = 3x∛(2x) ; odd index, so no bars and no restriction.
  7. √(45x³) = 3x√(5x) for x ≥ 0 x>=0 ; the leftover x under an even root forces the domain, and on that domain the bars drop.

Check the index before you drop the bars

Simplifying a radical with variables is the numeric method plus one sign check. Factor into perfect powers, pull one root of each out, and then look at the index: even root with an odd outgoing power keeps its absolute-value bars, odd root never does. State the domain any even-root leftover forces, and drop the bars only when you have honestly earned the right to.

The bars are not decoration; they are the root refusing to hand back a negative, so read the index before you erase them.

Frequently asked questions

Why is √(x²) equal to |x| and not x?

A square root returns the non-negative value, so its output is never negative. If x is negative, plain x would be negative, but |x| stays non-negative and matches the root. So √(x2) = |x| unless you already know x ≥ 0, in which case it is just x.

When do I need absolute value and when can I skip it?

Use absolute value only for an even index (square root, fourth root, and so on) when the variable comes out to an odd power. An even index with an even outgoing power, like √(x4) = x2, needs none, because x2 is already non-negative. An odd index never needs it.

How do I know how many of each variable come out?

Divide the exponent by the index. The quotient is the power that comes out of the radical, and the remainder is the power that stays underneath. For √(x5), 5 divided by 2 is 2 remainder 1, so x2 comes out and x1 stays in.

Do cube roots ever need absolute value?

No. A cube root, and every odd root, is defined for negative inputs and returns a value with the same sign, so ∛(x3) = x for every real x. Absolute value only appears with even roots.

What restriction does a leftover variable create?

If an even root leaves a variable under it with an odd power, like √(2x), the expression is real only when that leftover is non-negative, so x ≥ 0. Once you assume x ≥ 0, any absolute value on x from the same problem can drop its bars.

← All algebra guides