Mathematics › 🌆 Grade 9 › Radicals & Rational Exponents

Radicals & Rational Exponents

A rational exponent is not a new rule — it is the old exponent rules, stretched to cover fractions, and forced to agree with roots.

Grade 9Algebra 1

Radicals & Rational Exponents — illustration

💡

The big idea: The exponent laws you already know for whole numbers — multiply same-base powers by adding exponents, raise a power to a power by multiplying exponents — do not stop working just because the exponent becomes a fraction. Demanding that (a1/2)² still equal a¹ forces a1/2 to mean the square root of a. Once that link between fractional exponents and roots is fixed, radicals become something you can simplify, combine, and manipulate with the same confidence as ordinary powers.

🎯 By the end, you'll be able to

Explain why a^(1/n) must equal the n-th root of a, given the existing power-of-a-power rule
Simplify a surd such as √8 or √50 into simplest radical form
Multiply, divide, and combine radicals, adding or subtracting only like radicals
Rationalise a denominator that contains a single radical term

📎 You should already know

Integer exponent rules (product, quotient, power-of-a-power)
Prime factorisation

Fractions belong in exponents too

Every exponent rule you learned for whole numbers — a^m·aⁿ = a^m+n, (a^m)ⁿ = a^mn — was really a statement about repeated multiplication. But those same rules turn out to make perfect sense even when the exponent is a fraction, as long as you are willing to let the definition be forced on you rather than guessed.

Here is the forcing move. Suppose a^1/2 means something, and the power-of-a-power rule still applies. Then (a^1/2)² = a^(1/2)·2 = a¹ = a. So whatever a^1/2 is, squaring it must give back a. There is only one reasonable candidate: a^1/2 is the square root of a.

🔑 The rational exponent definition

a^1/n is defined as the n-th root of a, written ⁿ√a, because that is the only value whose n-th power returns a. Extending to a^m/n = (ⁿ√a)^m = ⁿ√(a^m) then keeps every existing exponent rule intact — nothing new to memorise, just the old rules applied to a new kind of number.

\[ a^{\frac{1}{n}} = \sqrt[n]{a} \qquad\qquad a^{\frac{m}{n}} = \left(\sqrt[n]{a}\right)^{m} = \sqrt[n]{a^{m}} \]

Rational exponents are defined so that the power-of-a-power rule still holds without exception.

Simplifying a surd

A surd is a radical, like √8, that has not been reduced to its simplest form. The move is to pull out the largest perfect square (or, for a cube root, the largest perfect cube) hiding inside the radicand, using √(xy) = √x·√y.

√8 = √(4·2) = √4·√2 = 2√2. Likewise √50 = √(25·2) = √25·√2 = 5√2. Neither 2√2 nor 5√2 can be reduced further, because 2 has no perfect-square factor other than 1.

🎮 Rational Exponent Builder LIVE

Convert between radical and rational-exponent form and watch the power-of-a-power rule hold at every step.

Combining radicals

Multiplying and dividing radicals is direct: √a·√b = √(ab), and √a÷√b = √(a÷b) (for b ≠ 0). Adding and subtracting is stricter — you may only combine like radicals, meaning the same index and the same simplified radicand, exactly the way 3x + 5x = 8x but 3x + 5y cannot be combined. So 3√2 + 5√2 = 8√2, but 3√2 + 5√3 stays as it is, and 2√8 + √2 must first be simplified to 4√2 + √2 = 5√2 before it can be combined at all.

📝 Worked example: Simplify \( \sqrt{72} \).

Find the largest perfect-square factor of 72: \( 72 = 36 \times 2 \), and 36 is a perfect square.
Split the radical: \( \sqrt{72} = \sqrt{36}\cdot\sqrt{2} \).
Evaluate the perfect-square part: \( \sqrt{36} = 6 \).

✓ \( \sqrt{72} = \mathbf{6\sqrt{2}} \)

📝 Worked example: Simplify \( 2\sqrt{8} + \sqrt{2} - \sqrt{18} \).

Simplify each radical first: \( \sqrt{8}=2\sqrt2 \) and \( \sqrt{18}=3\sqrt2 \), so the expression becomes \( 2(2\sqrt2) + \sqrt2 - 3\sqrt2 \).
That is \( 4\sqrt2 + \sqrt2 - 3\sqrt2 \), and now every term is a like radical (same radicand \( \sqrt2 \)).
Combine the coefficients: \( 4 + 1 - 3 = 2 \).

✓ \( 2\sqrt{8} + \sqrt{2} - \sqrt{18} = \mathbf{2\sqrt{2}} \)

Rationalising a denominator

A fraction such as 1÷√3 is considered unfinished because it has a radical on the bottom. To clear it, multiply top and bottom by √3 — a legal move because √3÷√3 is just 1 — giving √3÷3. The value has not changed, only its form; the radical has moved upstairs where it is easier to work with.

⚠️ √(a²) = |a|, not a — and √a + √b ≠ √(a + b)

The square root symbol always returns the non-negative root, so √(a²) = |a|, not a: with a = −5, √((−5)²) = √25 = 5, not −5. Separately, radicals do not distribute over addition — test it with √9 + √16 = 3 + 4 = 7, while √(9+16) = √25 = 5. Those are different numbers, so √a + √b ≠ √(a+b) in general.

✨ Even index needs a non-negative radicand; odd index does not

For an even index (square root, fourth root, …), the radicand must be ≥ 0 to stay in the real numbers — there is no real number that squares to a negative. For an odd index (cube root, fifth root, …), a negative radicand is perfectly fine: ∛(−8) = −2, since (−2)³ = −8.

✨ Radicals are everywhere else in grade 9

This lesson is not an isolated topic. Completing the square and the quadratic formula routinely leave an unsimplified radical in the final answer, and the Pythagorean theorem produces exact irrational lengths like √2 whenever the legs are not a perfect-square pair. Simplifying radicals cleanly is what turns those answers from a decimal approximation into an exact, simplest-form result.

Check your understanding

1. What is \( a^{1/3} \) equivalent to?

By definition, a raised to the power 1/n equals the n-th root of a; with n = 3 that is the cube root of a.

2. Simplify √50.

50 = 25 × 2, and 25 is a perfect square, so √50 = √25·√2 = 5√2.

3. Which sum can be combined into a single term?

2√5 and 7√5 are like radicals (same radicand), so they combine: 2√5 + 7√5 = 9√5. The others have different radicands and cannot be combined.

4. What is √((−7)²)?

√(a²) always returns the non-negative root, |a|. With a = −7, that is |−7| = 7, not −7.

5. Which radical expression is valid in the real numbers?

An even index (square root, fourth root) requires a non-negative radicand in the reals. An odd index, like a cube root, accepts a negative radicand: the cube root of −8 is −2.

✅ Key takeaways

a^(1/n) is defined as the n-th root of a because that is the only value that keeps the power-of-a-power rule true.
a^(m/n) = (n-th root of a)^m; the same exponent rules that work for whole numbers carry straight over.
Simplify a surd by pulling out the largest perfect-square (or perfect-cube) factor: √8 = 2√2, √50 = 5√2.
Only like radicals combine by addition or subtraction; multiplying and dividing radicals is unrestricted.
√(a²) = |a|, never plain a, and radicals never distribute over addition or subtraction.