Visual Tools
Calculators
Tables
Mathematical Keyboard
Converters
Other Tools


Properties of Roots






Even and Odd

The index of a radical determines its behavior. Even-index radicals accept only non-negative radicands and produce only non-negative outputs. Odd-index radicals accept any real number and preserve sign.

This distinction shapes everything — which inputs are valid, which outputs are possible, whether absolute values appear when simplifying, and how radical functions behave. Every property on this page traces back to whether the index is even or odd.



Even Index Radicals

Square roots, fourth roots, sixth roots — any radical with an even index — require non-negative radicands in the real number system.

16=4,814=3,646=2\sqrt{16} = 4, \quad \sqrt[4]{81} = 3, \quad \sqrt[6]{64} = 2


No real number, when raised to an even power, produces a negative result. Positive numbers raised to even powers give positives. Negative numbers raised to even powers also give positives. Zero raised to any positive power gives zero.

Therefore 9\sqrt{-9} has no real value. No real number squares to 9-9.

9is not a real number\sqrt{-9} \quad \text{is not a real number}


Even-index radicals also produce only non-negative outputs. The principal root convention guarantees this: 25=5\sqrt{25} = 5, not 5-5. Both 5 and 5-5 square to 25, but the radical symbol returns only the non-negative root.

This restriction affects the domain of radical functions with even index: only non-negative inputs are allowed. It also determines when complex numbers become necessary.

Odd Index Radicals

Cube roots, fifth roots, seventh roots — any radical with an odd index — accept all real numbers as radicands.

273=3,273=3,325=2\sqrt[3]{27} = 3, \quad \sqrt[3]{-27} = -3, \quad \sqrt[5]{-32} = -2


A negative number raised to an odd power remains negative. Therefore every negative number has a real odd root.

(3)3=27273=3(-3)^3 = -27 \quad \Longrightarrow \quad \sqrt[3]{-27} = -3


Odd-index radicals preserve sign. Positive radicands yield positive roots. Negative radicands yield negative roots. Zero yields zero.

There is no ambiguity requiring a principal root convention for odd indices. Every real number has exactly one real cube root, one real fifth root, and so on. The radical simply returns that unique value.

This means radical functions with odd index have domain all real numbers. No restrictions, no need for complex numbers to handle negative inputs.

Principal Root Convention

For even-index radicals, multiple real numbers satisfy the defining equation. Both 4 and 4-4 are square roots of 16, since both square to 16.

The principal root convention resolves this ambiguity: the radical symbol denotes the non-negative root.

16=4\sqrt{16} = 4


This is not a choice between equally valid answers. It is a definition that makes the radical symbol unambiguous. Without it, 16\sqrt{16} would have two values, and expressions like 16+1\sqrt{16} + 1 would be meaningless — which value is intended?

When both roots are needed, explicit notation indicates this:

x2=16x=±16=±4x^2 = 16 \quad \Longrightarrow \quad x = \pm\sqrt{16} = \pm 4


The ±\pm symbol signals that both positive and negative roots apply. This notation appears frequently when solving radical equations.

Odd-index radicals need no such convention. Each real number has exactly one real odd root, so no ambiguity exists.

The Identity for Even Roots

A critical identity governs even-index radicals of powers:

\sqrt{x^2} = |x|}


This is not xx. It is the absolute value of xx.

When x=5x = 5: 52=25=5=5\sqrt{5^2} = \sqrt{25} = 5 = |5|. Correct.

When x=5x = -5: (5)2=25=5=5\sqrt{(-5)^2} = \sqrt{25} = 5 = |-5|. Also correct.

If the identity were x2=x\sqrt{x^2} = x, then (5)2\sqrt{(-5)^2} would equal 5-5. But square roots are non-negative by the principal root convention. The result must be 5, not 5-5.

The general form:

xnn=xwhen n is even\sqrt[n]{x^n} = |x| \quad \text{when } n \text{ is even}


This absolute value appears when simplifying radicals with variables. Whenever an even root extracts a variable raised to an odd power, absolute value may be required.

x6=x3=x3\sqrt{x^6} = |x^3| = |x|^3


When the resulting exponent is even, the absolute value is unnecessary since even powers are already non-negative:

x4=x2(no absolute value needed)\sqrt{x^4} = x^2 \quad \text{(no absolute value needed)}

The Identity for Odd Roots

Odd-index radicals behave more simply:

xnn=xwhen n is odd\sqrt[n]{x^n} = x \quad \text{when } n \text{ is odd}


No absolute value appears. The odd root returns the original value, preserving sign.

83=2,83=2\sqrt[3]{8} = 2, \quad \sqrt[3]{-8} = -2


x33=xfor all real x\sqrt[3]{x^3} = x \quad \text{for all real } x


This makes simplifying radicals with odd index more straightforward. Variables come out without absolute value concerns.

x93=x3\sqrt[3]{x^9} = x^3


y155=y3\sqrt[5]{y^{15}} = y^3


The distinction between even and odd indices is essential when variables are involved. Assuming all variables are positive removes the absolute value issue for even indices — a common simplifying assumption stated explicitly in problems. Without that assumption, absolute values must be tracked.

Domain and Range by Index

The index determines the domain and range of radical functions.

For even index nn:

f(x)=xnf(x) = \sqrt[n]{x}


Domain: [0,)[0, \infty) — only non-negative inputs allowed.

Range: [0,)[0, \infty) — only non-negative outputs produced.

For odd index nn:

f(x)=xnf(x) = \sqrt[n]{x}


Domain: (,)(-\infty, \infty) — all real numbers allowed.

Range: (,)(-\infty, \infty) — all real numbers produced.

When the radicand is an expression, solve for valid inputs:

f(x)=x3f(x) = \sqrt{x - 3}


The radicand x3x - 3 must be non-negative: x30x - 3 \geq 0, so x3x \geq 3.

Domain: [3,)[3, \infty).

g(x)=x33g(x) = \sqrt[3]{x - 3}


No restriction on the radicand for odd index.

Domain: (,)(-\infty, \infty).

These domain considerations carry into operations and equations involving radicals.

Sign Behavior Summary

The sign of a radical depends on the radicand and the index.

When a>0a > 0:

an>0for all n\sqrt[n]{a} > 0 \quad \text{for all } n


Positive radicands always yield positive roots, regardless of index.

When a=0a = 0:

0n=0for all n\sqrt[n]{0} = 0 \quad \text{for all } n


Zero yields zero.

When a<0a < 0 and nn is odd:

an<0\sqrt[n]{a} < 0


Negative radicands yield negative roots for odd indices.

When a<0a < 0 and nn is even:

anis not a real number\sqrt[n]{a} \quad \text{is not a real number}


No real even root of a negative number exists. This is where complex numbers enter.

Understanding sign behavior prevents errors in simplifying and operations. It also explains why extraneous solutions arise when solving radical equations — squaring both sides can introduce negative values where only non-negative values are valid.

Connection to Rational Exponents

Every property of radicals translates to rational exponents.

an=a1/n\sqrt[n]{a} = a^{1/n}


The domain restrictions are identical. For even nn, the expression a1/na^{1/n} requires a0a \geq 0. For odd nn, any real aa is permitted.

The absolute value identity becomes:

(xn)1/n=xwhen n is even(x^n)^{1/n} = |x| \quad \text{when } n \text{ is even}


(xn)1/n=xwhen n is odd(x^n)^{1/n} = x \quad \text{when } n \text{ is odd}


The radical rules correspond directly to exponent laws:

abn=(ab)1/n=a1/nb1/n=anbn\sqrt[n]{ab} = (ab)^{1/n} = a^{1/n} \cdot b^{1/n} = \sqrt[n]{a} \cdot \sqrt[n]{b}


Working in exponent notation often simplifies algebraic manipulation, especially when combining expressions with different indices. Converting to a common denominator in the exponents enables operations that would be awkward in radical form.

The properties established here — domain restrictions, sign behavior, absolute value requirements — apply equally whether the expression is written with a radical or a fractional exponent.