C1 — The Seven Exponent Laws
Every exponent rule follows from the same idea: exponentiation is repeated multiplication. Once you see where each rule comes from, you won't need to memorize it — you'll be able to re-derive it on the spot.
The Seven Exponent Laws (a, b ≠ 0)
| Law | Rule | Why it works |
| Product | \( a^m \cdot a^n = a^{m+n} \) | Counting factors: m copies of a times n more copies |
| Quotient | \( \dfrac{a^m}{a^n} = a^{m-n} \) | m factors on top, n cancel from bottom |
| Power of a power | \( (a^m)^n = a^{mn} \) | Multiply the exponents: m factors, n times |
| Power of a product | \( (ab)^n = a^n b^n \) | Each factor gets raised: distribute the exponent |
| Power of a quotient | \( \left(\dfrac{a}{b}\right)^n = \dfrac{a^n}{b^n} \) | Same idea as product, but with division |
| Zero exponent | \( a^0 = 1 \) | Quotient rule: \( a^n / a^n = a^{n-n} = a^0 \), but also = 1 |
| Negative exponent | \( a^{-n} = \dfrac{1}{a^n} \) | Quotient rule: \( a^0 / a^n = 1 / a^n \) |
Notice how the zero-exponent and negative-exponent rules both fall out of the quotient rule. You don't need to memorize them separately — they're consequences of the same pattern.
Quick example: simplify \( \frac{x^5 \cdot x^{-2}}{x^3} \)
Product rule: \( x^5 \cdot x^{-2} = x^{5+(-2)} = x^3 \)
Quotient rule: \( \dfrac{x^3}{x^3} = x^{3-3} = x^0 = 1 \)
The Freshman's Dream (integer version): The power-of-a-product rule says \( (ab)^n = a^n b^n \) — and it's tempting to extend this to sums: \( (a+b)^n \stackrel{?}{=} a^n + b^n \). This is always false for \( n \geq 2 \). Check: \( (1+1)^2 = 4 \), but \( 1^2 + 1^2 = 2 \). The exponent distributes over multiplication, never over addition or subtraction.
C2 — Rational Exponents: Fractional Powers as Roots
What should \( 9^{1/2} \) mean? We want the exponent laws to still work. If they do, then applying the power-of-a-power rule gives:
\[ (9^{1/2})^2 = 9^{(1/2) \cdot 2} = 9^1 = 9 \]
So \( 9^{1/2} \) is a number whose square is 9 — that's precisely \( \sqrt{9} = 3 \). This isn't a definition by coincidence; it's forced by the requirement that the power-of-a-power rule holds for all exponents.
Rational Exponents
For any real number \( a \geq 0 \) and positive integers \( m, n \):
\[ a^{1/n} = \sqrt[n]{a} \qquad \text{(the } n\text{th root of } a\text{)} \]
\[ a^{m/n} = \sqrt[n]{a^m} = \left(\sqrt[n]{a}\right)^m \qquad \text{(root then power, or power then root — same result)} \]
All seven integer exponent laws apply unchanged to rational exponents.
The two forms \( \sqrt[n]{a^m} \) and \( (\sqrt[n]{a})^m \) always give the same answer. In practice, take the root first whenever you can — it keeps the numbers smaller.
Example — evaluate \( 8^{2/3} \):
Root first: \( 8^{2/3} = (\sqrt[3]{8})^2 = 2^2 = 4 \) ✓
Power first: \( 8^{2/3} = \sqrt[3]{8^2} = \sqrt[3]{64} = 4 \) ✓ (same, but harder to compute)
Negative exponent ≠ negative number. Students often read \( x^{-2} \) as "negative \( x^2 \)" — meaning \( -x^2 \). These are completely different: \( x^{-2} = \dfrac{1}{x^2} \). A negative exponent means reciprocal, not negation. At \( x = 3 \): \( 3^{-2} = \frac{1}{9} \), not \( -9 \).
C3 — Simplifying Radical Expressions
Radicals obey the same rules as exponents — they're just written differently. The two key rules are the product and quotient rules:
Product and Quotient Rules for Radicals
For \( a, b \geq 0 \) and positive integer \( n \):
\[ \sqrt[n]{a \cdot b} = \sqrt[n]{a} \cdot \sqrt[n]{b} \qquad \text{(product rule)} \]
\[ \sqrt[n]{\frac{a}{b}} = \frac{\sqrt[n]{a}}{\sqrt[n]{b}} \quad (b \neq 0) \qquad \text{(quotient rule)} \]
To simplify a radical, factor the radicand to pull out perfect powers.
Strategy: simplify \( \sqrt{72} \). Look for the largest perfect-square factor of 72.
\( 72 = 36 \cdot 2 \), so \( \sqrt{72} = \sqrt{36 \cdot 2} = \sqrt{36} \cdot \sqrt{2} = 6\sqrt{2} \).
With variables: Recall from ALG-1 that \( (x^m)^n = x^{mn} \), which means \( \sqrt{x^6} = x^3 \) (since \( (x^3)^2 = x^6 \)).
Connecting to rational exponents:
\( \sqrt{x^3} = x^{3/2} \) \( \sqrt[3]{x^5} = x^{5/3} \) \( x^{-1/2} = \dfrac{1}{\sqrt{x}} \)
Switching to exponential form lets you apply the product rule: \( x^{3/2} \cdot x^{1/4} = x^{3/2 + 1/4} = x^{7/4} \).
The Freshman's Dream (radical version): The product rule says radicals split over multiplication. They do not split over addition.
\[ \sqrt{a + b} \neq \sqrt{a} + \sqrt{b} \]
Proof by counterexample: \( \sqrt{9 + 16} = \sqrt{25} = 5 \), but \( \sqrt{9} + \sqrt{16} = 3 + 4 = 7 \). \( 5 \neq 7 \).
In calculus you will see \( \sqrt{x^2 + y^2} \) constantly. It never simplifies to \( x + y \).
C4 — Rationalizing: Removing Radicals from Denominators and Numerators
A fraction is not considered fully simplified if its denominator contains a radical. Rationalizing eliminates the radical by multiplying by a cleverly chosen form of 1.
Two Rationalization Techniques
Simple radical denominator — multiply top and bottom by the same radical:
\[ \frac{3}{\sqrt{5}} = \frac{3}{\sqrt{5}} \cdot \frac{\sqrt{5}}{\sqrt{5}} = \frac{3\sqrt{5}}{5} \]
Binomial denominator with conjugate — multiply by the conjugate to use the difference-of-squares pattern \( (A+B)(A-B) = A^2 - B^2 \):
\[ \frac{1}{\sqrt{a} + \sqrt{b}} \cdot \frac{\sqrt{a} - \sqrt{b}}{\sqrt{a} - \sqrt{b}} = \frac{\sqrt{a} - \sqrt{b}}{a - b} \]
The conjugate of \( (\sqrt{a} + \sqrt{b}) \) is \( (\sqrt{a} - \sqrt{b}) \). Their product eliminates both radicals in the denominator.
The same technique works on numerators. This is important in calculus, where rationalizing the numerator of a difference quotient reveals a cancellable factor of \( h \):
\[ \frac{\sqrt{x+h} - \sqrt{x}}{h} \cdot \frac{\sqrt{x+h} + \sqrt{x}}{\sqrt{x+h} + \sqrt{x}} = \frac{(x+h) - x}{h(\sqrt{x+h} + \sqrt{x})} = \frac{1}{\sqrt{x+h} + \sqrt{x}} \]
You'll work through this fully in Section 4 Example 4 and in BTC-2.
Conjugate sign error. The conjugate of \( (\sqrt{a} - \sqrt{b}) \) is \( (\sqrt{a} + \sqrt{b}) \) — you flip the sign between the two terms. Some students multiply by \( (\sqrt{a} - \sqrt{b}) \) again (same expression), which produces \( (\sqrt{a} - \sqrt{b})^2 \) — still has a radical, and you've gone backwards. Always flip the sign to get the difference of squares.