In the previous section we saw that inverse variation can be expressed as a power function by using negative integer exponents. For example, the function \(f(x) = \dfrac{k}{x^2}\) can also be written as \(f(x)=kx^{-2}\text{.}\) Using negative exponents can simplify many calculations that would otherwise involve algebraic fractions.
But is there some meaning to exponents that are fractions, such as \(\frac{1}{2}\) or \(\frac{1}{3}\text{?}\) For example, do expressions such as \(5^{1/2}\) or \(a^{1/3}\) have some familiar interpretation? We’ll see that fractional exponents can denote square roots and other radicals.
Subsection 6.2.1 \(n^\text{th}\) Roots
Recall that \(s\) is a square root of \(b\) if \(s^2 = b\text{,}\) and \(s\) is a cube root of \(b\) if \(s^3 = b\text{.}\) For example, \(5\) is a square root of \(25\) because \(5^2 = 25\text{,}\) and \(2\) is a cube root of \(8\) because \(2^3 = 8\text{.}\)
In a similar way, we can define the fourth, fifth, or sixth root of a number. For instance, the fourth root of \(81\) is the number \(3\) because \(3^4 = 81\text{.}\)
\(n\)th Roots.
\(s\) is called an \(n\)th root of \(b\) if \(\blert{s^n = b}\text{.}\)
We use the symbol \(\sqrt[n]{b}\) to denote the \(n\)th root of \(b\text{.}\) An expression of the form \(\sqrt[n]{b}\) is called a radical, \(b\) is called the radicand, and \(n\) is called the index of the radical.
\(~\alert{\text{[TK]}}\)
Example 6.2.1.
\(\sqrt[4]{81} = 3\) because \(3^4 = 81\)
\(\sqrt[5]{32} = 2\) because \(2^5 = 32\)
\(\sqrt[6]{64} = 2\) because \(2^6 = 64\)
\(\sqrt[4]{1} = 1\) because \(1^4 = 1\)
\(\sqrt[5]{100,000} = 10\) because \(10^5 = 100,000\)
Checkpoint 6.2.2. Practice 1.
Evaluate each radical.
\(\displaystyle \sqrt[4]{16}\)
\(\displaystyle \sqrt[5]{243}\)
Solution.
\(\displaystyle 2\)
\(\displaystyle 3\)
Subsection 6.2.2 Exponential Notation for Radicals
A convenient notation for radicals uses fractional exponents. Consider the expression \(9^{1/2}\text{.}\) What meaning can we attach to an exponent that is a fraction? Recall that when we raise a power to a power, we multiply the exponents together:
\begin{equation*}
\left(x^a\right)^b = x^{ab}
\end{equation*}
Therefore, if we square the number \(9^{1/2}\text{,}\) we get
\begin{equation*}
\left(9^{1/2}\right)^2 = 9^{(1/2)(2)} = 9^1 = 9
\end{equation*}
Thus, \(9^{1/2}\) is a number whose square is \(9\text{.}\) But this means that \(9^{1/2}\) is a square root of \(9\text{,}\) or
\begin{equation*}
9^{1/2} =\sqrt{9} = 3
\end{equation*}
Checkpoint 6.2.3. QuickCheck 1.
Fill in the blanks.
Inverse variation can be expressed as a power function by using a exponent.
The number \(n\) in the expression \(\sqrt[n]{b}\) is called the of the radical.
We use exponents to denote radicals.
State the law of exponents that shows that \(a^{1/2}\) is a square root of \(a\text{.}\)
Remember that \(9\) actually has two square roots, namely \(3\) and \(-3\text{.}\) But the symbol \(\sqrt{\hphantom{00}}\) represents only the positive square root, so that \(\sqrt{9} = 3\text{.}\) The same is true for the exponent \(\frac{1}{2}\text{:}\) any nonnegative number raised to the \(\frac{1}{2}\) power is equal to the positive square root of the number, or
\begin{equation*}
a^{1/2} =\sqrt{a}
\end{equation*}
Example 6.2.4.
\(\displaystyle 25^{1/2} = 5\)
\(\displaystyle -25^{1/2} = -5\)
\((-25)^{1/2}\) is not a real number.
\(\displaystyle 0^{1/2} = 0\)
Checkpoint 6.2.5. Practice 2.
Evaluate each power.
\(\displaystyle 4^{1/2}\)
\(\displaystyle 4^{-2}\)
\(\displaystyle 4^{-1/2}\)
\(\displaystyle \left(\dfrac{1}{4}\right)^{1/2}\)
Solution.
\(\displaystyle 2\)
\(\displaystyle \dfrac{1}{16} \)
\(\displaystyle \dfrac{1}{2} \)
\(\displaystyle \dfrac{1}{2} \)
The same reasoning works for roots with any index. For instance, \(8^{1/3}\) is the cube root of \(8\text{,}\) because
\begin{equation*}
\left(8^{1/3}\right)^3 = 8^{(1/3)(3)} = 8^1 = 8
\end{equation*}
Thus, we make the following definition for fractional exponents.
Exponential Notation for Radicals.
For any integer \(n \ge 2\) and for \(a \ge 0\text{,}\)
\begin{equation*}
\blert{a^{1/n} = \sqrt[n]{a}}
\end{equation*}
Example 6.2.6.
\(\displaystyle 81^{1/4} = \sqrt[4]{81} = 3\)
\(\displaystyle 125^{1/3} = \sqrt[3]{125} = 5\)
Caution 6.2.7.
Note that
\begin{equation*}
25^{1/2} \ne \frac{1}{2}(25) ~~ \text{ and } ~~ 125^{1/3} \ne \frac{1}{3}(125)
\end{equation*}
An exponent of \(\dfrac{1}{2}\) denotes the square root of its base, and an exponent of \(\dfrac{1}{3}\) denotes the cube root of its base.
Checkpoint 6.2.8. Practice 3.
Write each power with radical notation, and then evaluate.
\(\displaystyle 32^{1/5}\)
\(\displaystyle 625^{1/4}\)
Solution.
\(\displaystyle \sqrt[5]{32}= 2\)
\(\displaystyle \sqrt[4]{625}= 5\)
Of course, we can use decimal fractions for exponents as well. For example,
\begin{equation*}
\sqrt{a} = a^{1/2} = a^{0.5} ~~~~\text{ and } ~~~~ \sqrt[4]{a} = a^{1/4} = a^{0.25}
\end{equation*}
Example 6.2.9.
\(\displaystyle 100^{0.5} = \sqrt{100} = 10\)
\(\displaystyle 16^{0.25} = \sqrt[4]{16} = 2\)
Checkpoint 6.2.10. Practice 4.
Write each power with radical notation, and then evaluate.
\(\displaystyle 100,000^{0.2}\)
\(\displaystyle 81^{0.25}\)
Solution.
\(\displaystyle \sqrt[5]{100,000}=10 \)
\(\displaystyle \sqrt[4]{81}=3 \)
Checkpoint 6.2.11. QuickCheck 2.
True or false.
The exponent \(\dfrac{1}{n}\) tells us to take a reciprocal.
The exponent 0.2 denotes a fifth root.
A power with a negative exponent is not a real number.
The expressions \(x^{-3}\) and \(x^{1/3}\) are the same.
Subsection 6.2.3 Irrational Numbers
What about \(n\)th roots such as \(\sqrt{23}\) and \(5^{1/3}\) that cannot be evaluated easily? These are examples of irrational numbers. An irrational number is one that cannot be expressed as a quotient of two integers.
It is not possible to write down an exact decimal equivalent for an irrational number, but we can find an approximation to as many decimal places as we like. \(~\alert{\text{[TK]}}~\) We can use a calculator to obtain decimal approximations for irrational numbers. For example, you can verify that
\begin{equation*}
\sqrt{23} \approx 4.796 ~~~~~ \text{ and } ~~~~~ 5^{1/3}\approx 1.710
\end{equation*}
Caution 6.2.12.
The following keying sequence for evaluating the irrational number \(7^{1/5}\) is incorrect:
7 ^ 1 ÷ 5 ENTER
You can check that this sequence calculates \(\dfrac{7^1}{5}\text{,}\) instead of \(7^{1/5}\text{.}\) Recall that according to the order of operations, powers are computed before multiplications or divisions. We must enclose the exponent \(1/5\) in parentheses and enter
7 ^ ( 1 ÷ 5 ) ENTER
Or, because \(\dfrac{1}{5}= 0.2\text{,}\) we can enter
7 ^ 0.2 ENTER
Subsection 6.2.5 Using Fractional Exponents to Solve Equations
We know that raising to powers and taking roots are inverse operations, that is, each operation undoes the effects of the other. This relationship is especially easy to see when the root is denoted by a fractional exponent. For example, to solve the equation
\begin{equation*}
x^5 = 250
\end{equation*}
we would take the fifth root of each side. But instead of using radical notation, we can raise both sides of the equation to the power \(\dfrac{1}{5}\text{:}\)
\begin{align*}
\left(x^5\right)^{1/5} \amp= 250^{1/5}\\
x \amp \approx 3.017
\end{align*}
Notice again that \(\left(x^a\right)^b = x^{ab}\text{,}\) so
\begin{equation*}
\left(x^5\right)^{1/5} = x^{(1/5)(5)} = x^1
\end{equation*}
Thus, to solve an equation involving a power function \(x^n\text{,}\) we first isolate the power, then raise both sides to the exponent \(\dfrac{1}{n}\text{.}\)
Example 6.2.20.
For astronomers, the mass of a star is its most important property, but it is also the most difficult to measure directly. For many stars, their luminosity, or brightness, varies roughly as the fourth power of the mass.
Our Sun has luminosity \(4 \times 10^{26}\) watts and mass \(2 \times 10^{30}\) kilograms. Because the numbers involved are so large, astronomers often use these solar constants as units of measure: The luminosity of the Sun is \(1\) solar luminosity, and its mass is \(1\) solar mass. Write a power function for the luminosity, \(L\text{,}\) of a star in terms of its mass, \(M\text{,}\) using units of solar mass and solar luminosity.
The star Sirius is 23 times brighter than the Sun, so its luminosity is 23 solar luminosities. Estimate the mass of Sirius in units of solar mass.
Solution.
Because
\(L\) varies as the fourth power of
\(M\text{,}\) we have
\begin{equation*}
L = kM^4
\end{equation*}
Substituting the values of
\(L\) and
\(M\) for the Sun (namely,
\(L = 1\) and
\(M = 1\)), we find
\begin{equation*}
1 = k(1)^4
\end{equation*}
so
\(k = 1\) and
\(L = M^4\text{.}\)
We substitute the luminosity of Sirius,
\(L = 23\text{,}\) to get
\begin{equation*}
23 = M^4
\end{equation*}
To solve the equation for
\(M\text{,}\) we raise both sides to the
\(\dfrac{1}{4}\) power.
\begin{align*}
(23)^{1/4} \amp = \left(M^4\right)^{1/4}\\
2.1899 \amp = M
\end{align*}
The mass of Sirius is about 2.2 solar masses, or about 2.2 times the mass of the Sun.
Checkpoint 6.2.21. QuickCheck 4.
How do we solve the equation \(x^8=32\text{?}\)
Which law of exponents justifies this strategy?
Checkpoint 6.2.22. Practice 7.
The manager of the Atlantis Hotel wants to install in the lobby a spherical fish tank that holds at least 900 cubic feet of water. What should be the radius of the fish tank?
Subsection 6.2.7 Solving Radical Equations
A radical equation is one in which the variable appears under a square root or other radical. The radical may be denoted by a fractional exponent. For example, the equation
\begin{equation*}
5x^{1/3} = 32
\end{equation*}
is a radical equation because \(x^{1/3} = \sqrt[3]{x}\text{.}\) To solve the equation, we first isolate the power to get
\begin{equation*}
x^{1/3} = 6.4
\end{equation*}
Then we raise both sides of the equation to the reciprocal of \(\dfrac{1}{3}\text{,}\) or \(3\text{.}\)
\begin{align*}
\left(x^{1/3}\right)^3 \amp = 6.4^3\\
x \amp = 262.144
\end{align*}
Example 6.2.25.
When a car brakes suddenly, its speed can be estimated from the length of the skid marks it leaves on the pavement. A formula for the car’s speed, in miles per hour, is
\begin{equation*}
v = f(d) = (24d)^{1/2}
\end{equation*}
where the length of the skid marks, \(d\text{,}\) is given in feet.
If a car leaves skid marks 80 feet long, how fast was the car traveling when the driver applied the brakes?
How far will a car skid if its driver applies the brakes while traveling 80 miles per hour?
Solution.
To find the velocity of the car, we evaluate the function for \(d = \alert{80}\text{.}\)
\begin{align*}
v\amp= (24 \cdot \alert{80})^{1/2}\\
\amp = (1920)^{1/2} \approx 43.8178046
\end{align*}
The car was traveling at approximately 44 miles per hour.
-
We would like to find the value of \(d\) when the value of \(v\) is known. We substitute \(v = \alert{80}\) into the formula and solve the equation
\begin{equation*}
\alert{80} = (24d)^{1/2} ~~ \blert{\text{ Solve for }d.}
\end{equation*}
Because \(d\) appears to the power \(\frac{1}{2}\text{,}\) we first square both sides of the equation to get
\begin{align*}
80^2 \amp = \left((24d)^{1/2}\right)^2 \amp\amp \blert{\text{Square both sides.}}\\
6400 \amp = 24d \amp\amp \blert{\text{Divide by }24.}\\
266.\overline{6} \amp = d
\end{align*}
You can check that this value for \(d\) works in the original equation. Thus, the car will skid approximately 267 feet. A graph of the function \(v = (24d)^{1/2}\) is shown below, along with the points corresponding to the values in parts (a) and (b).
Note 6.2.26.
Thus, we can solve an equation where one side is an \(n\)th root of \(x\) by raising both sides of the equation to the \(n\)th power. We must be careful when raising both sides of an equation to an even power, since extraneous solutions may be introduced. However, because most applications of power functions deal with positive numbers only, they do not usually involve extraneous solutions.
Checkpoint 6.2.27. QuickCheck 5.
How do we solve the equation \(~x^{1/6} = 12\text{?}\)
How do we solve the equation \(~\sqrt[6]{x} = 12\text{?}\)
How do we solve the equation \(~x^6 = 12\text{?}\)
How do we evaluate the function \(~f(x)=x^{1/6}\) for \(x=12\text{?}\)
Checkpoint 6.2.28. Practice 9.
Solve \(~5(x-1)^{1/4} = 10\)
Hint: Isolate the radical, then raise both sides to the fourth power.
Subsection 6.2.8 Roots of Negative Numbers
You already know that \(\sqrt{-9}\) is not a real number, because there is no real number whose square is \(-9\text{.}\) Similarly, \(\sqrt[4]{-16}\) is not a real number, because there is no real number \(r\) for which \(r^4 = -16\text{.}\) (Both of these radicals represent complex numbers.) In general, we cannot find an even root (square root, fourth root, and so on) of a negative number.
On the other hand, every positive number has two even roots that are real numbers. For example, both \(3\) and \(-3\) are square roots of \(9\text{.}\) The symbol \(\sqrt{9}\) refers only to the positive, or principal root, of \(9\text{.}\) If we want to refer to the negative square root of \(9\text{,}\) we must write \(-\sqrt{9} = -3\text{.}\) Similarly, both \(2\) and \(-2\) are fourth roots of \(16\text{,}\) because \(2^4 = 16\) and \((-2)^4 = 16\text{.}\) However, the symbol \(\sqrt[4]{16}\) refers to the principal, or positive, fourth root only. Thus,
\begin{equation*}
\sqrt[4]{16} = 2 ~~ \text{ and } ~~ -\sqrt[4]{16} = -2
\end{equation*}
Things are simpler for odd roots (cube roots, fifth roots, and so on). Every real number, whether positive, negative, or zero, has exactly one real-valued odd root. For example,
\begin{equation*}
\sqrt[5]{32} = 2 ~~ \text{ and } ~~ \sqrt[5]{-32} = -2
\end{equation*}
Here is a summary of our discussion.
Roots of Real Numbers.
Every positive number has two real-valued roots, one positive and one negative, if the index is even.
A negative number has no real-valued root if the index is even.
Every real number, positive, negative, or zero, has exactly one real-valued root if the index is odd.
Example 6.2.29.
\(\sqrt[4]{-625}\) is not a real number.
\(\displaystyle - \sqrt[4]{625} = -5\)
\(\displaystyle \sqrt[5]{-1} = -1\)
\(\sqrt[4]{-1}\) is not a real number.
The same principles apply to powers with fractional exponents. Thus
\begin{equation*}
(-32)^{1/5} = -2
\end{equation*}
but \((-64)^{1/6}\) is not a real number. On the other hand,
\begin{equation*}
-64^{1/6} = -2
\end{equation*}
because the exponent \(1/6\) applies only to \(64\text{,}\) and the negative sign is applied after the root is computed.
Checkpoint 6.2.30. Practice 10.
Evaluate each power, if possible.
\(\displaystyle -81^{1/4}\)
\(\displaystyle (-81)^{1/4}\)
\(\displaystyle -64^{1/3}\)
\(\displaystyle (-64)^{1/3}\)
Solution.
\(\displaystyle -3\)
undefined
\(\displaystyle -4\)
\(\displaystyle -4\)