Skip to main content

Section 2.1 Rational Exponents and Radicals

Recall that previously, powers and exponents are a concise notation to write repeated multiplication. For example, \(3^4\) means multiply 3, 4 times, or \(3^4 = 3 \times 3 \times 3 \times 3 = 81\text{.}\)
We can extend the definition of exponents to allow for exponents which are fractions (i.e. rational numbers). For example, expressions like,
\begin{gather*} 3^{1/2} \quad \text{or} \quad 4^{3/2} \quad \text{or} \quad 8^{-4/3} \end{gather*}
At first, the previous definition of exponents as β€œhow many times you’re multiplying” doesn’t seem to make sense. After all, for example, for \(4^{3/2}\text{,}\) what does it mean to multiply 4 by itself β€œ3/2” times?

Example 2.1.1.

Suppose that we extend exponents to be allowed to be any rational number. Then, we want the laws of exponents to still work. In particular, the two fundamental laws,
\begin{align*} \boxed{ \begin{aligned} a^m \cdot a^n \amp= a^{m+n} \\ \frac{a^m}{a^n} \amp= a^{m-n} \end{aligned} } \end{align*}
Then, consider \(3^{1/2}\text{.}\) By properties of exponents, we have,
\begin{align*} 3^{1/2} \cdot 3^{1/2} \amp = 3^{1/2 + 1/2} \\\\ \amp = 3^1 \\\\ \amp = 3 \end{align*}
This shows that \(3^{1/2}\) multiplied by itself is equal to 3. In other words, \((3^{1/2})^2 = 3\text{.}\) On the other hand, we know that \(\sqrt{3}\) multiplied by itself is equal to 3, or,
\begin{gather*} \sqrt{3} \cdot \sqrt{3} = 3 \end{gather*}
This means that \(3^{1/2}\) and \(\sqrt{3}\) must be the same number, and so \(3^{1/2} = \sqrt{3}\text{.}\)
In general, for any number \(a\text{,}\) if we multiply \(a^{1/2}\) by itself, we get,
\begin{gather*} a^{1/2} \cdot a^{1/2} = a^1 = a \end{gather*}
This means that \((a^{1/2})^2 = a\text{,}\) and so \(a^{1/2} = \sqrt{a}\) is the square root of \(a\text{.}\)

Subsection 2.1.1 Rational Exponents

Definition 2.1.2.

\begin{gather*} \boxed{a^{1/2} = \sqrt{a}} \end{gather*}
In other words,
\begin{gather*} \boxed{\text{Raising a number to the power $1/2$ is equivalent to taking its square root}} \end{gather*}
Technically, there are two numbers whose square is \(a\text{,}\) which are \(\sqrt{a}\) and \(-\sqrt{a}\text{.}\) We define \(a^{1/2}\) to be the positive square root of \(a\text{.}\)
In a similar way, for an exponent of \(1/3\text{,}\) we have,
\begin{align*} a^{1/3} \cdot a^{1/3} \cdot a^{1/3} \amp = a^{1/3 + 1/3 + 1/3} \\\\ \amp = a^1 \\\\ \amp = a \end{align*}
Therefore, \((a^{1/3})^3 = a\text{,}\) and so \(a^{1/3} = \sqrt[3]{a}\) is the cube root of \(a\text{.}\)
\begin{gather*} \boxed{\text{Raising a number to the power $1/3$ is equivalent to taking its cube root}} \end{gather*}
In general, this works for any exponent of the form \(\frac{1}{n}\text{.}\)

Definition 2.1.3.

\begin{gather*} \boxed{a^{1/n} = \sqrt[n]{a}} \end{gather*}
Next, we want to define a rational exponent when the numerator is a number other than 1, like \(\frac{2}{3}\text{,}\) or \(\frac{5}{2}\text{.}\)

Example 2.1.4.

Consider \(8^{2/3}\text{.}\) Recognize that \(\frac{2}{3}\) is just \(2 \cdot \frac{1}{3}\text{,}\) so,
\begin{align*} 8^{2/3} = 8^{2 \cdot \frac{1}{3}} \amp = (8^{1/3})^2 \amp\amp \text{by properties of exponents} \\\\ \amp = (\sqrt[3]{8})^2 \\\\ \amp = 2^2 = 4 \end{align*}
And so \(8^{2/3} = (\sqrt[3]{8})^2\text{.}\) On the other hand,
\begin{align*} 8^{2/3} = 8^{2 \cdot \frac{1}{3}} \amp = (8^2)^{1/3} \amp\amp \text{by properties of exponents} \\\\ \amp = \sqrt[3]{8^2} \\\\ \amp = \sqrt[3]{64} = 4 \end{align*}
And so \(8^{2/3} = \sqrt[3]{8^2}\text{.}\) Putting both of them together, we get that all of these are equal,
\begin{gather*} 8^{2/3} = (\sqrt[3]{8})^2 = \sqrt[3]{8^2} \end{gather*}
and all of them are equal to 4.
In general,

Definition 2.1.5.

\begin{gather*} \boxed{a^{m/n} = \sqrt[n]{a^m} = \brac{\sqrt[n]{a}}^m} \end{gather*}
This means that when raising a number to a fraction power \(\frac{m}{n}\text{,}\)
  • Take the \(n\)th root and then raise to the \(m\)th power.
  • Or: Raise it to the the \(m\)th power and then take the \(n\)th root.
In short,
Some notes:
  • Decimal exponents can be thought of as fraction exponents. For example, \(4^{0.5} = 4^{1/2} = \sqrt{4} = 2\text{.}\)
  • Note that when evaluating expressions with rational exponents with a calculator, be sure to put parentheses around the fraction. Most calculators will evaluate as \(\frac{8^2}{3}\text{,}\) because with order of operations, exponentiation is higher than division.
  • Note that this always works, except if \(n\) is even and \(a\) is negative, because we can’t take the square root (or any even root) of a negative number.
We can also define negative rational exponents, in the same way as negative integer exponents.

Definition 2.1.6.

\begin{gather*} \boxed{a^{-m/n} = \frac{1}{a^{m/n}}} \end{gather*}

Subsection 2.1.2 Summary of Rational Exponents and Exponent Laws

In summary,
\begin{align*} \boxed{ \begin{aligned} a^{1/n} \amp= \sqrt[n]{a} \\ a^{m/n} \amp= \sqrt[n]{a^m} = \brac{\sqrt[n]{a}}^m \\ a^{-m/n} \amp= \frac{1}{a^{m/n}} \end{aligned}} \end{align*}
All of the laws of exponents also apply to rational exponents.

Subsection 2.1.3 Converting Between Rational Exponents and Radicals

Exercise Group 2.1.1.

Exercise Group 2.1.2.

Exercise Group 2.1.3.

Subsection 2.1.4 Evaluating Rational Exponents Exact Values Examples

Exercise Group 2.1.4.

Evaluate each power, without using a calculator. Your final answer should be either a whole number or a rational number.

Exercise Group 2.1.5.

Evaluate each power, without using a calculator, if possible. Your final answer should be either a whole number or a rational number.

Subsection 2.1.5 Rational Exponents Using a Calculator

Exercise Group 2.1.6.

Evaluate each expression using a calculator. Express your answers to four decimal places, if necessary.

Subsection 2.1.6 Simplifying Algebraic Expressions with Rational Exponents

Exercise Group 2.1.7.

Simplify each expression using exponent laws. Write with rational exponents where necessary.

Exercise Group 2.1.8.

Simplify each expression. Write with rational exponents where necessary.
(f)
\(\brac{\dfrac{m^{\frac{1}{2}} n^{\frac{1}{3}}}{n^{\frac{2}{3}} m^{\frac{1}{2}}}}^4\)
Answer.
\(\dfrac{1}{n^{\frac{4}{3}}}\)

Exercise Group 2.1.9.

Simplify each expression using exponent laws. Write with rational exponents where necessary.
(a)
\(\brac{2a^{\frac{1}{2}} b^{\frac{2}{3}} c^{-1}}^3 \brac{3a^{-1} b^{\frac{1}{3}} c^{\frac{5}{2}}}^2\)
Answer.
\(\dfrac{72 b^{\frac{8}{3}} c^{2}}{a^{\frac{1}{2}}}\)
(b)
\(\brac{\dfrac{27x^{-3} y^{4}}{8z^{\frac{1}{2}}}}^{\frac{2}{3}}\)
Answer.
\(\dfrac{9 y^{\frac{8}{3}}}{4x^{2} z^{\frac{1}{3}}}\)
(d)
\(\dfrac{\brac{x^{\frac{5}{6}} y^{-\frac{1}{3}}}^3}{x^{-\frac{1}{2}} y^{\frac{7}{6}}}\)
Answer.
\(\dfrac{x^{3}}{y^{\frac{13}{6}}}\)
(h)
\(\brac{\dfrac{a^{-1} b^{2}}{c^{3}}}^{\frac{1}{2}} \brac{\dfrac{a^{3}}{b c^{-2}}}^{\frac{1}{3}}\)
Answer.
\(\dfrac{a^{\frac{1}{2}} b^{\frac{2}{3}}}{c^{\frac{5}{6}}}\)
(j)
\(\brac{\dfrac{27 a^{6}}{125 b^{-5}}}^{\frac{2}{3}} \cdot \brac{\dfrac{5 b^{3}}{3 a^{-2}}}^{-1}\)
Answer.
\(\dfrac{27 a^{2} b^{\frac{1}{3}}}{125}\)
(k)
\(\dfrac{\brac{a^{2} b^{-1}}^{\frac{3}{4}}}{\brac{a^{-\frac{3}{2}} b^{\frac{5}{8}}}^{2}}\)
Answer.
\(\dfrac{a^{\frac{9}{2}}}{b^{2}}\)
(m)
\(\brac{16 a^{-4} b^{6} c^{-2}}^{\frac{1}{4}} \brac{a^{3} b^{-1} c^{5}}^{\frac{1}{2}}\)
Answer.
\(2 a^{\frac{1}{2}} b c^{2}\)
(q)
\(\brac{\dfrac{32 m^{-3} n^{5}}{2 p^{4}}}^{\frac{1}{5}} \brac{m^{2} p^{-3}}^{\frac{3}{2}}\)
Answer.
\(\dfrac{2^{\frac{4}{5}} m^{\frac{12}{5}} n}{p^{\frac{53}{10}}}\)
(r)
\(\brac{\dfrac{a^{\frac{1}{2}} b^{-2}}{c^{-\frac{3}{2}}}}^{2} \brac{\dfrac{c}{a^{-1} b^{3}}}^{-1}\)
Answer.
\(\dfrac{c^{2}}{b}\)
(v)
\(\brac{\dfrac{a^{-\frac{2}{3}} b^{\frac{5}{6}}}{c^{-\frac{1}{2}}}}^{3} \brac{\dfrac{c^{2}}{a b^{-\frac{1}{3}}}}^{\frac{1}{2}}\)
Answer.
\(\dfrac{b^{\frac{8}{3}} c^{\frac{5}{2}}}{a^{\frac{5}{2}}}\)
(w)
\(\brac{\dfrac{x^{\tfrac{3}{2}}}{3 y^{-\tfrac{9}{2}}}}^{-2} \cdot \brac{9 x^{-1} y^{2}}^{\tfrac{1}{2}}\)
Answer.
\(\dfrac{27}{x^{\frac{7}{2}} y^{8}}\)
(x)
\(\brac{\dfrac{2 a^{3} b^{-1}}{5 c^{2}}}^{-3} \brac{\dfrac{25 c}{4 a^{-2} b^{\frac{1}{2}}}}^{\frac{1}{2}}\)
Answer.
\(\dfrac{625 b^{\frac{11}{4}} c^{\frac{13}{2}}}{16 a^{8}}\)
(y)
\(\brac{\dfrac{a b^{-1}}{c^{\frac{1}{2}}}}^{\frac{1}{3}} \brac{\dfrac{c^{-2}}{a^{-1} b}}^{-2}\)
Answer.
\(\dfrac{b^{\frac{5}{3}} c^{\frac{23}{6}}}{a^{\frac{5}{3}}}\)