1. Recap, briefly
The five laws of exponents are the bookkeeping rules for working with $a^n$:
Plus the two definitions that glue everything together: $a^0 = 1$ (for $a \neq 0$) and $a^{-n} = \tfrac{1}{a^n}$. And the bridge between exponents and radicals — the fractional exponent:
$$ a^{m/n} = \sqrt[n]{a^m} = \left(\sqrt[n]{a}\right)^m. $$That single identity is the reason every radical fact in this page is really an exponent fact in disguise. Whenever a problem feels stuck, try converting the radical into a fractional exponent (or vice versa) and applying the laws above.
2. Simplifying algebraic expressions with exponents
When the base is a variable — or worse, a product of variables — the exponent laws keep applying, but you have to track each base separately. The work is mostly bookkeeping: gather like bases, add or subtract their exponents, and tidy up.
Start with a representative mess:
$$ \frac{x^3 y^{-2}}{x^{-1} y^{4}}. $$Apply the quotient rule to each variable on its own. For $x$: numerator exponent minus denominator exponent is $3 - (-1) = 4$. For $y$: $-2 - 4 = -6$. So:
$$ \frac{x^3 y^{-2}}{x^{-1} y^{4}} = x^{3-(-1)} \, y^{-2-4} = x^4 \, y^{-6}. $$That's algebraically finished, but it's not in standard form. The convention is that a simplified algebraic expression has no negative exponents and no zero exponents in the final answer — flip the negative-exponent factor into the denominator:
$$ x^4 \, y^{-6} = \frac{x^4}{y^6}. $$Powers of a product, with coefficients
Constants come along for the ride. The power-of-a-product rule applies to every factor inside the parentheses, including numeric ones:
$$ (2 x^3 y)^4 = 2^4 \cdot (x^3)^4 \cdot y^4 = 16 \, x^{12} y^4. $$Notice the coefficient gets raised to the power too. Forgetting that — writing $(2x)^3 = 2x^3$ instead of $8x^3$ — is one of the most common single mistakes in algebra.
"Simplified" in algebra has a specific meaning: positive integer exponents only, each base appearing once, coefficients reduced, radicals in simplest form. It's not just "fewer symbols" — it's a canonical form so two people working the same problem arrive at the same expression.
3. Rationalizing denominators
A denominator that contains a radical is, by convention, not yet simplified. The fix is called rationalizing: multiply numerator and denominator by something carefully chosen that kills the radical downstairs without changing the value of the fraction.
Single radical denominator
For $\dfrac{1}{\sqrt{2}}$, multiply top and bottom by $\sqrt{2}$:
$$ \frac{1}{\sqrt{2}} \cdot \frac{\sqrt{2}}{\sqrt{2}} = \frac{\sqrt{2}}{2}. $$Because $\sqrt{2} \cdot \sqrt{2} = 2$, the denominator is now an integer. The numerator picked up a $\sqrt{2}$, but radicals are allowed up top — so we're done.
The general pattern: if a denominator is $\sqrt{a}$, multiply by $\tfrac{\sqrt{a}}{\sqrt{a}}$. The denominator becomes $a$.
Binomial radical denominator: conjugates
$\dfrac{1}{1 + \sqrt{3}}$ is harder. Multiplying top and bottom by $\sqrt{3}$ gives $\dfrac{\sqrt{3}}{\sqrt{3} + 3}$ — still has a radical in the denominator. We need a different multiplier.
The move: multiply by the conjugate, $1 - \sqrt{3}$, over itself:
$$ \frac{1}{1 + \sqrt{3}} \cdot \frac{1 - \sqrt{3}}{1 - \sqrt{3}} = \frac{1 - \sqrt{3}}{(1 + \sqrt{3})(1 - \sqrt{3})}. $$Why this works is the difference of squares pattern. For any $u$ and $v$, $(u + v)(u - v) = u^2 - v^2$. Plugging in $u = 1$, $v = \sqrt{3}$:
$$ (1 + \sqrt{3})(1 - \sqrt{3}) = 1^2 - (\sqrt{3})^2 = 1 - 3 = -2. $$The $\sqrt{3}$ vanishes because it's squared. So:
$$ \frac{1 - \sqrt{3}}{-2} = \frac{\sqrt{3} - 1}{2}. $$To rationalize $\dfrac{c}{a + b\sqrt{d}}$, multiply numerator and denominator by $a - b\sqrt{d}$. The new denominator is $a^2 - b^2 d$ — an integer (or at least a rational) with no radicals. The sign flip is the whole point.
Rationalizing isn't mathematically required. $\tfrac{1}{\sqrt{2}}$ and $\tfrac{\sqrt{2}}{2}$ are the same number. It's a presentation convention — textbooks and answer keys expect rationalized denominators, and it makes it easier to compare two expressions for equality at a glance.
4. Solving exponential equations
An exponential equation has the unknown sitting in the exponent rather than in the base. The simplest example:
$$ 2^x = 32. $$You're not trying to find a base; you're trying to find a power. The strategy that works whenever it can: rewrite both sides with the same base, then read off the exponents.
Here, $32 = 2^5$, so:
$$ 2^x = 2^5 \quad\Longrightarrow\quad x = 5. $$The step "if $b^x = b^y$ then $x = y$" works because the exponential function $b^x$ is one-to-one for $b > 0$, $b \neq 1$. Each value of $b^x$ comes from exactly one $x$, so matching the outputs forces the inputs to match too.
When same-base isn't immediate
Sometimes you need to do a little algebra first. Take $9^x = 27$:
$$ 9^x = 27 \;\Longleftrightarrow\; (3^2)^x = 3^3 \;\Longleftrightarrow\; 3^{2x} = 3^3 \;\Longleftrightarrow\; 2x = 3 \;\Longleftrightarrow\; x = \tfrac{3}{2}. $$Both sides are powers of $3$, so we converted everything to base $3$ first.
When same-base is impossible
What about $2^x = 7$? There is no integer power of $2$ that equals $7$, and there's no clean rewrite that gets both sides to a common base. The honest answer is that $x$ is irrational, and to compute it you need the inverse operation of exponentiation — the logarithm.
$$ 2^x = 7 \quad\Longrightarrow\quad x = \log_2 7 \approx 2.807. $$That's a forward reference. Logarithms are previewed in §6 and live in full in a future Pre-Calculus chapter. For now, the takeaway is: if you can match the bases, the equation collapses to a linear one; if you can't, you need logs.
5. Solving radical equations
A radical equation has the unknown trapped underneath a root. The example to keep in your head:
$$ \sqrt{x + 3} = 5. $$The recipe is the mirror image of solving exponential equations: isolate the radical, then raise both sides to the power that undoes it. For a square root, you square. For a cube root, you cube. For an $n$th root, you raise to the $n$th power.
Here the radical is already isolated. Square both sides:
$$ \left(\sqrt{x + 3}\right)^2 = 5^2 \quad\Longrightarrow\quad x + 3 = 25 \quad\Longrightarrow\quad x = 22. $$Check: $\sqrt{22 + 3} = \sqrt{25} = 5$. ✓ Good.
Extraneous solutions — the trap
Squaring both sides is a non-reversible step. It can manufacture solutions that satisfy the squared equation but not the original. These phantom answers are called extraneous solutions, and they're the single biggest hazard of radical equations.
Here's how they sneak in. The equation $\sqrt{x} = -3$ has no real solution — a principal square root is never negative. But square both sides and you get $x = 9$. Plugging back: $\sqrt{9} = 3 \neq -3$. The $9$ is extraneous; squaring created a true statement ($9 = 9$) that the original ($\sqrt{9} = -3$) does not.
The defense is dead simple:
After solving a radical equation, plug each candidate answer back into the original equation. Keep only the ones that check.
That habit is non-negotiable for radical equations.
"Squaring both sides" is not the same operation as "doing the same thing to both sides" in the way that adding or multiplying is. Addition and multiplication preserve the solution set exactly; squaring expands it. That's why a step that looks innocent — $A = B \Rightarrow A^2 = B^2$ — has to be paired with a check.
6. Logarithms — a quick preview
The logarithm is the question that exponentiation answers in reverse. Exponentiation asks: "$b$ raised to what power gives me $a$?" The logarithm is that power.
For $b > 0$, $b \neq 1$, and $a > 0$, $\log_b a$ is the unique number $c$ such that $b^c = a$. Equivalently:
$\log_b a = c \quad\Longleftrightarrow\quad b^c = a.$
So $\log_2 8 = 3$, because $2^3 = 8$. And $\log_{10} 1000 = 3$, because $10^3 = 1000$. The notation is dense but the idea is "the exponent that worked."
Every exponent law has a matching log law — they're the same fact viewed from opposite directions:
| Exponent law | Matching log law |
|---|---|
| $b^x \cdot b^y = b^{x+y}$ | $\log_b(xy) = \log_b x + \log_b y$ |
| $\dfrac{b^x}{b^y} = b^{x-y}$ | $\log_b\!\left(\dfrac{x}{y}\right) = \log_b x - \log_b y$ |
| $(b^x)^n = b^{nx}$ | $\log_b(x^n) = n \, \log_b x$ |
Each log law is just its exponent partner read backwards. Multiplying inputs corresponds to adding exponents, so the log of a product is a sum. Raising to a power multiplies the exponent, so the log of a power pulls the exponent out front.
This is enough to know that logarithms exist, what they answer, and that they will not surprise you. Their full machinery — change of base, the natural log, log graphs — belongs to a future Pre-Calculus topic. Whenever you hit a $b^x = c$ where $c$ doesn't sit cleanly on a power of $b$, that's logarithms tapping you on the shoulder.
7. Common pitfalls
Every time you square both sides of a radical equation, you risk inventing solutions. Even when the algebra is flawless, a candidate $x$ might not satisfy the original. Check every answer in the unsquared equation. No exceptions.
Radicals do not distribute over addition. Test it: $\sqrt{9 + 16} = \sqrt{25} = 5$, but $\sqrt{9} + \sqrt{16} = 3 + 4 = 7$. Different numbers. The same warning applies to fractional exponents — $(a + b)^{1/2} \neq a^{1/2} + b^{1/2}$. This is the "freshman's dream" wearing a radical hat.
Power-of-a-power multiplies the exponents; product-of-powers adds them. Confusing the two ($x^2 \cdot x^3 = x^5$, $(x^2)^3 = x^6$) is endless. When in doubt, expand: $(x^2)^3 = x^2 \cdot x^2 \cdot x^2$, then count.
$\tfrac{1}{\sqrt{2}}$ is a perfectly valid number; rationalizing to $\tfrac{\sqrt{2}}{2}$ doesn't make it "more correct." It makes it easier to compare with other answers and matches the form textbooks expect. Don't be surprised if a calculator returns the un-rationalized form — both are right.
8. Worked examples
As always: try each one yourself before opening the solution. The goal is to see whether your moves match the recipe, not whether your final answer matches a key.
Example 1 · Simplify $\dfrac{a^4 b^{-3}}{a^{-2} b^5}$
Step 1. Apply the quotient rule to each variable independently. For $a$: $4 - (-2) = 6$. For $b$: $-3 - 5 = -8$.
$$ \frac{a^4 b^{-3}}{a^{-2} b^5} = a^{4-(-2)} \, b^{-3-5} = a^6 \, b^{-8}. $$Step 2. Convert to standard form (no negative exponents) by moving the $b^{-8}$ to the denominator:
$$ a^6 \, b^{-8} = \frac{a^6}{b^8}. $$Answer: $\boxed{\dfrac{a^6}{b^8}}$.
Example 2 · Rationalize $\dfrac{1}{\sqrt{5}}$
Step 1. Multiply numerator and denominator by $\sqrt{5}$:
$$ \frac{1}{\sqrt{5}} \cdot \frac{\sqrt{5}}{\sqrt{5}} = \frac{\sqrt{5}}{\sqrt{5} \cdot \sqrt{5}} = \frac{\sqrt{5}}{5}. $$Check. The original is $\tfrac{1}{\sqrt{5}} \approx 0.4472$. The rationalized form is $\tfrac{\sqrt{5}}{5} \approx \tfrac{2.2361}{5} \approx 0.4472$. ✓
Answer: $\boxed{\dfrac{\sqrt{5}}{5}}$.
Example 3 · Rationalize $\dfrac{1}{2 + \sqrt{3}}$ using the conjugate
Step 1. Multiply numerator and denominator by the conjugate $2 - \sqrt{3}$:
$$ \frac{1}{2 + \sqrt{3}} \cdot \frac{2 - \sqrt{3}}{2 - \sqrt{3}} = \frac{2 - \sqrt{3}}{(2 + \sqrt{3})(2 - \sqrt{3})}. $$Step 2. Expand the denominator via difference of squares:
$$ (2 + \sqrt{3})(2 - \sqrt{3}) = 2^2 - (\sqrt{3})^2 = 4 - 3 = 1. $$Step 3. Assemble:
$$ \frac{2 - \sqrt{3}}{1} = 2 - \sqrt{3}. $$Answer: $\boxed{2 - \sqrt{3}}$. (Yes, it really is that clean — the conjugate trick is at its best when the denominator's two pieces square to a small integer.)
Example 4 · Solve $2^x = 64$
Step 1. Rewrite the right side as a power of $2$. Since $64 = 2^6$:
$$ 2^x = 2^6. $$Step 2. Because the exponential function is one-to-one, the exponents must match:
$$ x = 6. $$Check. $2^6 = 64$. ✓
Answer: $\boxed{x = 6}$.
Example 5 · Solve $\sqrt{x + 5} = x - 1$ (mind the extraneous solution)
Step 1. The radical is already isolated. Square both sides:
$$ \left(\sqrt{x + 5}\right)^2 = (x - 1)^2 \quad\Longrightarrow\quad x + 5 = x^2 - 2x + 1. $$Step 2. Move everything to one side to get a quadratic:
$$ 0 = x^2 - 3x - 4 = (x - 4)(x + 1). $$So the candidates are $x = 4$ and $x = -1$.
Step 3 — the critical check. Plug each back into the original equation.
For $x = 4$: $\sqrt{4 + 5} = \sqrt{9} = 3$, and $4 - 1 = 3$. ✓ Keep it.
For $x = -1$: $\sqrt{-1 + 5} = \sqrt{4} = 2$, but $-1 - 1 = -2$. The left side is $+2$, the right is $-2$. ✗ Extraneous.
Answer: $\boxed{x = 4}$ (the other root was manufactured by squaring).