Indices, Radicals and Rational Expressions
Fractional Exponents and Radicals
Why x1/2 must mean √x, how n-th roots and fractional powers are the same thing, when a root is not a real number, and why (x6)1/2 is |x3| rather than x3.
What this page covers
- Derive the meaning of a fractional exponent from the index laws
- Convert freely between radical and fractional-exponent notation
- Simplify a radical by extracting perfect powers
- Recognise when an even root is undefined and when an absolute value is needed
Where fractional exponents come from
Nothing about repeated multiplication explains x1/2. As with the zero and negative cases, the meaning is forced by requiring the multiplication law to keep working.
Deriving x1/2 = √x
A quantity that multiplies by itself to give x is a square root of x. So x1/2 = √x.
The source checks the numeric case first: 21/2 × 21/2 = 21 = 2, therefore 21/2 = √2.
Deriving 81/3 = 2
The two forms of am/n are equal by the nesting law, and the choice between them is purely practical: it is almost always easier to take the root first and then raise to the power, because the numbers stay small.
The source's own comparison — 82/3
Root-first needed the cube root of 8; power-first needed the cube root of 64. Same answer, less arithmetic on the left.
Radical notation
The word radical comes from the Latin for root, and the source notes make the etymology explicit: radix means root, and the sign in √x is the radical.
- Radical sign
- The symbol √x — the hook and the bar over the radicand
- Radicand
- What sits under it
- Index
- The small number giving which root; absent means 2
- Surd
- An irrational root, such as √2
√4 = 2, not ±2. The radical symbol denotes the principal root, which for an even index means the non-negative one. The ± appears when solving x2 = 4, because that equation has two solutions — but the symbol √4 names only one number.
Which roots exist as real numbers
The index of the root decides. An even power of a real number is never negative, so an even root of a negative is not real. Odd powers preserve sign, so odd roots always exist.
| Expression | Value | Reason |
|---|---|---|
| 81/3 | 2 | 23 = 8 |
| (-8)1/3 | -2 | (-2)3 = -8; odd root of a negative is fine |
| 8-1/3 | 12 | 181/3 = 12 |
| (-8)-1/3 | -12 | 1(-8)1/3 = 1-2 |
| 1251/3 | 5 | 53 = 125 |
| (-16)1/4 | Not a real number | No real fourth power is negative |
The source works all six of these and marks the last as not a real number, which is the correct phrasing. It is not that the expression is meaningless; it has a value among the complex numbers. It simply is not real.
Order matters when an even root and an even power are combined with a negative base. The source sets two cases side by side on page 5: [(-2)2]1/2 = 41/2 = 2, which is perfectly real, whereas [(-2)1/2]2 is not, because the inner step already left the reals. The nesting law (am)n = amn requires care once negative bases and fractional exponents meet.
Why an even root of an even power needs an absolute value
This is the subtlest point in the topic and the source notes handle it correctly, which is worth saying because many treatments do not.
Test it at x = -3. Then x2 = 9 and √9 = 3, which is |-3|, not -3. Writing √x2 = x would assert 3 = -3.
The source's example — (x6)1/2
The source then verifies it concretely at x = -2:
Had the answer been written x3, it would have given -8 at x = -2 — the wrong sign.
| Situation | Result | Absolute value? |
|---|---|---|
| Even root of an even power | √x2 = |x| | Yes |
| Odd root of an odd power | 3√x3 = x | No |
| Odd root of an even power | 3√x6 = x2 | No — the result is already non-negative |
| Even root, x known non-negative | √x2 = x | No, given the stated restriction |
In most applied work the variable is known to be non-negative — a length, a magnitude, a count — and the absolute value can be dropped with a note saying why. What must not happen is dropping it silently.
Simplifying radicals
A radical is in simplest form when the radicand contains no factor that is a perfect power of the index. The method is to split the radicand into a perfect part and a remainder.
- Factor the radicand into primes and powers.
- Group the factors into complete sets of the index size.
- Extract each complete set as a single factor outside the radical.
- Leave whatever does not form a complete set inside.
Worked example — 3√16x3y5
Groups of three came out: 23 gave a 2, x3 gave an x, y3 gave a y. The leftovers 2 and y2 stayed inside.
Worked example — two routes to 3√x4
By exponents:
By splitting the radicand:
Worked example — nested radicals
The source simplifies 6√x3 two ways:
Converting to fractional exponents is nearly always the shorter route with nested radicals, because the arithmetic becomes ordinary fraction arithmetic.
What radicals do and do not distribute over
√x + y ≠ √x + √y. The source marks this with BEWARE, and the counterexample is immediate: √9 + 16 = √25 = 5, whereas √9 + √16 = 3 + 4 = 7. Radicals distribute over products and quotients only, exactly as exponents do.
The restriction to non-negative radicands is not pedantic. With x = y = -1, √xy = √1 = 1 but √-1 · √-1 is i · i = -1. The distribution rule genuinely fails once negatives are admitted under an even root.
Conversion reference
| Radical form | Exponent form | Example |
|---|---|---|
| √a | a1/2 | √9 = 91/2 = 3 |
| n√a | a1/n | 3√8 = 81/3 = 2 |
| n√am | am/n | 3√82 = 82/3 = 4 |
| 1n√a | a-1/n | 13√8 = 8-1/3 = 12 |
| √3√a | a1/6 | 6√a |
Converting to exponent form before manipulating, and back to radical form at the end, is a reliable strategy. Exponent arithmetic is just fraction arithmetic, whereas radical manipulation invites sign and scope errors.
Common mistakes
| Mistake | Correct | Counterexample |
|---|---|---|
| √x + y = √x + √y | No simplification | √25 = 5 but 3 + 4 = 7 |
| √x2 = x | |x| | At x = -3: √9 = 3 ≠ -3 |
| √4 = ±2 | √4 = 2 | The symbol names the principal root; ± belongs to solving x2 = 4 |
| (-16)1/4 = -2 | Not a real number | (-2)4 = 16, not -16 |
| a2/3 = (a2/3) computed power-first always | Root-first is usually easier | 642/3: root-first gives 42 = 16 in two steps |
| x1/2 · x1/3 = x1/6 | x5/6 | Exponents add: 12 + 13 = 56 |
Frequently asked questions
Why does x1/2 mean √x?
Because x1/2 · x1/2 = x1/2 + 1/2 = x1 = x. Something that multiplies by itself to give x is by definition the square root of x. The index law forces the interpretation.
Why is (-16)1/4 not a real number, when (-8)1/3 is?
An even power of a real number is never negative, so no real number raised to the fourth gives -16. An odd power preserves sign, so (-2)3 = -8 and the cube root of -8 is -2. Even roots of negatives fail; odd roots do not.
Why is (x6)1/2 equal to |x3|?
Because the square-root symbol denotes the non-negative root. At x = -2, x6 = 64 and √64 = 8, but x3 = -8. The identity √x2 = |x| is the general statement and it is needed whenever an even root undoes an even power.
Does √x + y equal √x + √y?
No. Radicals distribute over multiplication and division, never over addition. √9 + 16 = 5, whereas √9 + √16 = 7. The source notes flag this with a 'beware'.
Source. Handwritten teaching notes, Week 2, pages 3-5 and page 9.
This page is an original exposition prepared for the KEVOS® knowledge library. It restates, reorganises and verifies the mathematics of the supplied teaching notes; it is not a reproduction of them. Numerical values taken from the notes are identified as source examples and are not presented as engineering standards.