The Central Idea
Exponent notation and radical notation often describe the same quantity in different forms.
For example,
\[ \sqrt{x}=x^{1/2} \]and
\[ \sqrt[3]{x}=x^{1/3}. \]More generally,
\[ \sqrt[n]{x}=x^{1/n} \]under the appropriate conventions for the number system and domain.
This equivalence lets us choose the representation that is more useful for a particular task.
From Radicals to Rational Exponents
The denominator of a rational exponent tells us the root.
For example,
\[ x^{1/2}=\sqrt{x}, \] \[ x^{1/3}=\sqrt[3]{x}, \]and
\[ x^{1/4}=\sqrt[4]{x}. \]When a numerator is also present, it tells us the power.
For example,
\[ x^{3/2}=\left(\sqrt{x}\right)^3. \]Equivalently,
\[ x^{3/2}=\sqrt{x^3}, \]where the expressions are defined and interpreted consistently.
The General Rational Exponent Rule
For positive real \(x\),
\[ x^{m/n} = \left(\sqrt[n]{x}\right)^m = \sqrt[n]{x^m}. \]For example,
\[ 16^{3/4} = \left(\sqrt[4]{16}\right)^3. \]Since
\[ \sqrt[4]{16}=2, \]we get
\[ 16^{3/4}=2^3=8. \]The exponential and radical forms represent the same exact value.
Negative Rational Exponents
A negative exponent indicates a reciprocal.
For nonzero \(x\),
\[ x^{-a}=\frac{1}{x^a}. \]Therefore,
\[ x^{-1/2} = \frac{1}{x^{1/2}} = \frac{1}{\sqrt{x}}. \]Similarly,
\[ x^{-2/3} = \frac{1}{x^{2/3}} = \frac{1}{\sqrt[3]{x^2}}. \]The negative sign affects the placement of the factor, not the sign of the value.
Principal Roots
Radical notation normally denotes the principal root.
For example,
\[ \sqrt{9}=3, \]not \(\pm3\).
The equation
\[ x^2=9 \]has two real solutions:
\[ x=\pm3, \]but the expression
\[ \sqrt{9} \]denotes the single nonnegative principal square root.
This distinction is essential when rewriting powers and radicals.
Why \(\sqrt{x^2}\) Is Not Always \(x\)
For real \(x\),
\[ \sqrt{x^2}=|x|. \]For example, if
\[ x=-5, \]then
\[ \sqrt{x^2}=\sqrt{25}=5, \]while
\[ x=-5. \]So the correct equivalence is
\[ \sqrt{x^2}=|x|. \]Replacing it with \(x\) would be valid only if we already knew that
\[ x\ge0. \]Even and Odd Roots Behave Differently
Over the real numbers, an odd root is defined for every real input.
For example,
\[ \sqrt[3]{-8}=-2. \]But an even root requires a nonnegative radicand.
For example,
\[ \sqrt{-4} \]is not a real number.
This difference affects which exponent rewrites are valid over the reals.
Odd Roots Reverse Odd Powers
For real \(x\),
\[ \sqrt[3]{x^3}=x. \]More generally, for odd positive integer \(n\),
\[ \sqrt[n]{x^n}=x. \]There is no absolute-value correction because odd powers preserve sign.
For example,
\[ \sqrt[3]{(-4)^3} = \sqrt[3]{-64} = -4. \]Even Roots Reverse Even Powers Differently
For even positive integer \(n\),
\[ \sqrt[n]{x^n}=|x| \]over the real numbers.
For example,
\[ \sqrt[4]{x^4}=|x|. \]This follows because the principal even root is nonnegative.
Whenever an even root is used to reverse an even power, ask whether an absolute value is required.
Product Rule for Powers
When multiplying powers with the same base, add the exponents:
\[ x^a x^b=x^{a+b}. \]For example,
\[ x^{1/2}x^{3/2} = x^2. \]In radical form,
\[ \sqrt{x}\cdot x\sqrt{x} = x^2 \]where the expressions are defined.
Exponent form often makes these combinations more compact.
Quotient Rule for Powers
For nonzero \(x\),
\[ \frac{x^a}{x^b}=x^{a-b}. \]For example,
\[ \frac{x^{5/2}}{x^{1/2}} = x^2. \]The same simplification can be carried out in radical notation, but exponent notation often reveals the structure faster.
Power of a Power
When a power is raised to another power, multiply the exponents:
\[ (x^a)^b=x^{ab} \]where the expression is defined under the conventions being used.
For example,
\[ \left(x^{1/2}\right)^4=x^2 \]for \(x\ge0\).
The domain matters because \(x^{1/2}\) is real only for nonnegative \(x\).
Power of a Product
For integer exponents,
\[ (ab)^n=a^n b^n. \]For example,
\[ (3x)^2=9x^2. \]In radical form, care is needed with even roots.
For nonnegative real \(a\) and \(b\),
\[ \sqrt{ab}=\sqrt{a}\sqrt{b}. \]But this should not be extended blindly to arbitrary negative real factors.
Simplifying Radicals by Extracting Perfect Powers
Radicals can often be simplified by factoring the radicand into a perfect power times a remaining factor.
For example,
\[ \sqrt{72} = \sqrt{36\cdot2}. \]Then
\[ \sqrt{72} = \sqrt{36}\sqrt{2} = 6\sqrt{2}. \]Likewise,
\[ \sqrt[3]{54} = \sqrt[3]{27\cdot2} = 3\sqrt[3]{2}. \]Simplifying Variable Radicals
Consider
\[ \sqrt{x^4}. \]Because
\[ x^4=(x^2)^2 \]and \(x^2\ge0\),
\[ \sqrt{x^4}=x^2. \]But for
\[ \sqrt{x^2}, \]the correct simplification is
\[ |x|. \]The distinction depends on whether the quantity being extracted is already guaranteed nonnegative.
Combining Like Radicals
Radicals can be combined by addition only when they have the same radical part.
For example,
\[ 3\sqrt{2}+5\sqrt{2} = 8\sqrt{2}. \]This is exactly like combining like terms.
But
\[ \sqrt{2}+\sqrt{3} \]cannot be combined into one simpler ordinary radical by adding the radicands.
In particular,
\[ \sqrt{2}+\sqrt{3}\ne\sqrt{5}. \]Rewrite Before Combining
Sometimes radicals that do not initially look alike can be simplified into like radicals.
Consider
\[ \sqrt{8}+\sqrt{18}. \]Simplify each radical:
\[ \sqrt{8}=2\sqrt{2}, \] \[ \sqrt{18}=3\sqrt{2}. \]Then combine:
\[ 2\sqrt{2}+3\sqrt{2} = 5\sqrt{2}. \]Equivalent rewriting can expose hidden like structure.
Multiplying Radicals
For nonnegative real \(a\) and \(b\),
\[ \sqrt{a}\sqrt{b} = \sqrt{ab}. \]For example,
\[ \sqrt{3}\sqrt{12} = \sqrt{36} = 6. \]Equivalently,
\[ 3^{1/2}12^{1/2} = (36)^{1/2} = 6. \]Dividing Radicals
For \(a\ge0\) and \(b>0\),
\[ \frac{\sqrt{a}}{\sqrt{b}} = \sqrt{\frac{a}{b}}. \]For example,
\[ \frac{\sqrt{18}}{\sqrt{2}} = \sqrt{9} = 3. \]This equivalence can be useful before or after rationalization.
Do Not Distribute a Root Across Addition
A common error is
\[ \sqrt{a+b} = \sqrt{a}+\sqrt{b}. \]This is generally false.
For example,
\[ \sqrt{9+16} = \sqrt{25} = 5, \]while
\[ \sqrt{9}+\sqrt{16} = 3+4 = 7. \]Roots interact nicely with products under suitable conditions, but not with addition in this way.
Do Not Split Powers Across Addition
Likewise,
\[ (a+b)^2 \]is not
\[ a^2+b^2. \]The correct expansion is
\[ (a+b)^2=a^2+2ab+b^2. \]Exponent laws apply to products and powers, not indiscriminately to sums.
Rewriting Negative Powers
Negative exponents often become easier to interpret after reciprocal rewriting.
For example,
\[ \frac{1}{x^{-2}} = x^2, \]provided \(x\ne0\).
Likewise,
\[ \frac{x^{-3}}{y^{-2}} = \frac{y^2}{x^3}, \]provided \(x\ne0\) and \(y\ne0\) where the original expression requires them.
A negative exponent does not mean the expression is negative. It indicates reciprocal structure.
Zero Exponents
For nonzero \(x\),
\[ x^0=1. \]This follows from the quotient rule:
\[ \frac{x^a}{x^a}=x^{a-a}=x^0, \]while also
\[ \frac{x^a}{x^a}=1. \]Therefore,
\[ x^0=1 \]for \(x\ne0\).
The expression \(0^0\) requires separate treatment and is not covered by this ordinary rule.
Rewriting Powers to a Common Base
Sometimes exponential expressions become easier to compare or combine when rewritten with the same base.
For example,
\[ 8=2^3 \]and
\[ 32=2^5. \]So
\[ 8^x = (2^3)^x = 2^{3x}, \]while
\[ 32^y = (2^5)^y = 2^{5y}. \]A common base can expose relationships that are hidden in the original notation.
Rewriting Roots to a Common Index
Radicals with different indices can sometimes be rewritten using rational exponents and a common denominator.
For example,
\[ \sqrt{x}=x^{1/2} \]and
\[ \sqrt[3]{x}=x^{1/3}. \]A common denominator for the exponents is \(6\):
\[ x^{1/2}=x^{3/6}, \] \[ x^{1/3}=x^{2/6}. \]This can be useful in multiplication, comparison, or more advanced symbolic manipulation.
Equivalent Forms Can Reveal Different Structure
Consider
\[ x^{3/2}. \]We may write it as
\[ x\sqrt{x} \]for \(x\ge0\).
The exponent form
\[ x^{3/2} \]may be more convenient when applying exponent laws.
The radical form
\[ x\sqrt{x} \]may be easier to interpret or simplify with other radicals.
Neither is inherently more correct. The preferred form depends on the task.
Domain-Aware Rewriting
Suppose we write
\[ x^{1/2}=\sqrt{x}. \]Over the real numbers, both sides require
\[ x\ge0. \]But for
\[ x^{2/3}, \]we can interpret
\[ x^{2/3} = \left(\sqrt[3]{x}\right)^2 \]for every real \(x\), because cube roots accept negative inputs.
So exponent-to-radical conversion is not merely a notation swap. The parity of the root and the chosen number system matter.
Fractional Exponents with Negative Inputs
Consider
\[ (-8)^{2/3}. \]Using the real cube-root interpretation,
\[ (-8)^{2/3} = \left(\sqrt[3]{-8}\right)^2 = (-2)^2 = 4. \]But even-root denominators behave differently.
For example,
\[ (-8)^{1/2} \]is not real.
Whenever fractional exponents involve negative inputs, inspect the denominator of the reduced exponent and the number system being used.
Reduce Rational Exponents When Useful
It is often useful to reduce a rational exponent before interpreting it as a root.
For example,
\[ x^{2/4} = x^{1/2}. \]So over the usual real principal-value convention,
\[ x^{2/4}=\sqrt{x} \]for \(x\ge0\).
Reducing the fraction exposes the actual root index and can prevent unnecessary complexity.
Worked Example: Convert to Radical Form
Rewrite
\[ x^{5/3} \]in radical form.
The denominator \(3\) indicates a cube root, and the numerator \(5\) indicates a fifth power:
\[ x^{5/3} = \sqrt[3]{x^5}. \]Equivalently,
\[ x^{5/3} = \left(\sqrt[3]{x}\right)^5. \]Worked Example: Convert to Exponential Form
Rewrite
\[ \sqrt[4]{x^3} \]using a rational exponent.
The root index becomes the denominator and the power becomes the numerator:
\[ \sqrt[4]{x^3} = x^{3/4}. \]Worked Example: Simplify a Radical
Simplify
\[ \sqrt{48}. \]Factor out the largest perfect square:
\[ 48=16\cdot3. \]Then
\[ \sqrt{48} = \sqrt{16}\sqrt{3} = 4\sqrt{3}. \]Worked Example: Absolute Value Correction
Simplify
\[ \sqrt{9x^2}. \]Separate the factors:
\[ \sqrt{9x^2} = \sqrt{9}\sqrt{x^2}. \]Then
\[ \sqrt{9x^2} = 3|x|. \]The absolute value is required because the principal square root is nonnegative.
Worked Example: Exponent Laws with Rational Exponents
Simplify
\[ x^{1/3}x^{5/3}. \]Add the exponents:
\[ x^{1/3+5/3} = x^{6/3} = x^2. \]So
\[ x^{1/3}x^{5/3}=x^2. \]Worked Example: Rewrite to Expose a Common Radical
Simplify
\[ 2\sqrt{12}+\sqrt{27}. \]Rewrite each radical:
\[ \sqrt{12} = 2\sqrt{3}, \] \[ \sqrt{27} = 3\sqrt{3}. \]Then
\[ 2\sqrt{12}+\sqrt{27} = 4\sqrt{3}+3\sqrt{3} = 7\sqrt{3}. \]Common Errors
Dropping the Absolute Value
Incorrect:
\[ \sqrt{x^2}=x. \]Correct over the reals:
\[ \sqrt{x^2}=|x|. \]Adding Radicands
Incorrect:
\[ \sqrt{a}+\sqrt{b}=\sqrt{a+b}. \]This is not a valid general identity.
Misreading a Negative Exponent
Incorrect:
\[ x^{-2}=-x^2. \]Correct:
\[ x^{-2}=\frac{1}{x^2}, \qquad x\ne0. \]Ignoring the Domain of an Even Root
Over the real numbers,
\[ \sqrt{x} \]requires
\[ x\ge0. \]Using Exponent Laws Across Addition
Exponent rules apply to products, quotients, and powers. They do not allow
\[ (a+b)^n=a^n+b^n \]in general.
Practice
1. Radical to Exponent
Rewrite:
\[ \sqrt[5]{x^2}. \]Check Answer
\[ \sqrt[5]{x^2}=x^{2/5}. \]2. Exponent to Radical
Rewrite:
\[ x^{7/3}. \]Check Answer
\[ x^{7/3} = \sqrt[3]{x^7} = \left(\sqrt[3]{x}\right)^7. \]3. Negative Exponent
Rewrite with positive exponents:
\[ x^{-3/2}. \]Check Answer
\[ x^{-3/2} = \frac{1}{x^{3/2}} = \frac{1}{x\sqrt{x}}, \]for real \(x>0\).
4. Simplify a Radical
Simplify:
\[ \sqrt{75}. \]Check Answer
\[ \sqrt{75} = \sqrt{25\cdot3} = 5\sqrt{3}. \]5. Absolute Value
Simplify over the real numbers:
\[ \sqrt{16x^2}. \]Check Answer
\[ \sqrt{16x^2} = 4|x|. \]6. Combine Like Radicals
Simplify:
\[ 3\sqrt{8}+\sqrt{18}. \]Check Answer
\[ 3(2\sqrt{2})+3\sqrt{2} = 9\sqrt{2}. \]7. Rational Exponent Arithmetic
Simplify:
\[ x^{2/5}x^{3/5}. \]Check Answer
\[ x^{2/5+3/5} = x. \]Key Ideas
- Radical notation and rational-exponent notation often represent the same quantity.
- The denominator of a rational exponent indicates the root; the numerator indicates the power.
- Negative exponents represent reciprocals.
- Principal even roots are nonnegative.
- Over the real numbers, \(\sqrt{x^2}=|x|\), not generally \(x\).
- Odd roots can accept negative real inputs; even roots cannot.
- Exponent laws apply to products, quotients, and powers under the appropriate conditions.
- Perfect-power factors can be extracted from radicals to simplify them.
- Like radicals can be combined after they are rewritten to the same radical part.
- Roots and powers do not distribute across addition in the way they do across certain products.
- The validity of a rewrite depends on the domain, root parity, and number system being used.
Where This Leads
Rewriting powers and radicals gives us another family of exact symbolic transformations for exposing useful structure.
Next, we will study Completing the Square, where a quadratic expression is deliberately rewritten into an equivalent squared form that reveals its geometry, its vertex, and new ways to solve equations.