Section 1.3 : Radicals
We’ll open this section with the definition of the radical. If \(n\) is a positive integer that is greater than 1 and \(a\) is a real number then,
\[\sqrt[n]{a} = {a^{\frac{1}{n}}}\]where \(n\) is called the index, \(a\) is called the radicand, and the symbol \(\sqrt {} \) is called the radical. The left side of this equation is often called the radical form and the right side is often called the exponent form.
From this definition we can see that a radical is simply another notation for the first rational exponent that we looked at in the rational exponents section.
Note as well that the index is required in these to make sure that we correctly evaluate the radical. There is one exception to this rule and that is square root. For square roots we have,
\[\sqrt[2]{a} = \sqrt a \]In other words, for square roots we typically drop the index.
Let’s do a couple of examples to familiarize us with this new notation.
- \(\sqrt[4]{{16}}\)
- \(\sqrt[{10}]{{8x}}\)
- \(\sqrt {{x^2} + {y^2}} \)
Intro text prior to part solutions.
a \(\sqrt[4]{{16}} = {16^{\frac{1}{4}}}\)
b \(\sqrt[{10}]{{8x}} = {\left( {8x} \right)^{\frac{1}{{10}}}}\)
c \(\sqrt {{x^2} + {y^2}} = {\left( {{x^2} + {y^2}} \right)^{\frac{1}{2}}}\)
As seen in the last two parts of this example we need to be careful with parenthesis. When we convert to exponent form and the radicand consists of more than one term then we need to enclose the whole radicand in parenthesis as we did with these two parts. To see why this is consider the following,
\[8{x^{\frac{1}{{10}}}}\]From our discussion of exponents in the previous sections we know that only the term immediately to the left of the exponent actually gets the exponent. Therefore, the radical form of this is,
\[8{x^{\frac{1}{{10}}}} = 8\,\,\sqrt[{10}]{x} \ne \sqrt[{10}]{{8x}}\]So, we once again see that parenthesis are very important in this class. Be careful with them.
Since we know how to evaluate rational exponents we also know how to evaluate radicals as the following set of examples shows.
- \(\sqrt {16} \) and \(\sqrt[4]{{16}}\)
- \(\sqrt[5]{{243}}\)
- \(\sqrt[4]{{1296}}\)
- \(\sqrt[3]{{ - 125}}\)
- \(\sqrt[4]{{ - 16}}\)
To evaluate these we will first convert them to exponent form and then evaluate that since we already know how to do that.
a \(\sqrt {16} \) and \(\sqrt[4]{{16}}\) Show Solution
These are together to make a point about the importance of the index in this notation. Let’s take a look at both of these.
\[\sqrt {16} = {16^{\frac{1}{2}}} = 4\hspace{0.25in}\hspace{0.25in}{\mbox{because }}{4^2} = 16\] \[\sqrt[4]{{16}} = {16^{\frac{1}{4}}} = 2\hspace{0.25in}\hspace{0.25in}{\mbox{because }}{{\mbox{2}}^{\mbox{4}}} = 16\]So, the index is important. Different indexes will give different evaluations so make sure that you don’t drop the index unless it is a 2 (and hence we’re using square roots).
b \(\sqrt[5]{{243}}\) Show Solution
c \(\sqrt[4]{{1296}}\) Show Solution
d \(\sqrt[3]{{ - 125}}\) Show Solution
e \(\sqrt[4]{{ - 16}}\) Show Solution
As we saw in the integer exponent section this does not have a real answer and so we can’t evaluate the radical of a negative number if the index is even. Note however that we can evaluate the radical of a negative number if the index is odd as the previous part shows.
Let’s briefly discuss the answer to the first part in the above example. In this part we made the claim that \(\sqrt {16} = 4\) because \({4^2} = 16\). However, 4 isn’t the only number that we can square to get 16. We also have \({\left( { - 4} \right)^2} = 16\). So, why didn’t we use -4 instead? There is a general rule about evaluating square roots (or more generally radicals with even indexes). When evaluating square roots we ALWAYS take the positive answer. If we want the negative answer we will do the following.
\[ - \sqrt {16} = - 4\]This may not seem to be all that important, but in later topics this can be very important. Following this convention means that we will always get predictable values when evaluating roots.
Note that we don’t have a similar rule for radicals with odd indexes such as the cube root in part (d) above. This is because there will never be more than one possible answer for a radical with an odd index.
We can also write the general rational exponent in terms of radicals as follows.
\[{a^{\frac{m}{n}}} = {\left( {{a^{\frac{1}{n}}}} \right)^m} = {\left( {\sqrt[n]{a}} \right)^m}\hspace{0.25in}\hspace{0.25in}{\mbox{OR}}\hspace{0.25in}\hspace{0.25in}{a^{\frac{m}{n}}} = {\left( {{a^m}} \right)^{\frac{1}{n}}} = \sqrt[n]{{{a^m}}}\]We now need to talk about some properties of radicals.
Properties
If \(n\) is a positive integer greater than 1 and both \(a\) and \(b\) are positive real numbers then,
- \(\sqrt[n]{{{a^n}}} = a\)
- \(\sqrt[n]{{ab}} = \sqrt[n]{a}\,\sqrt[n]{b}\)
- \(\displaystyle \sqrt[n]{{\frac{a}{b}}} = \frac{{\sqrt[n]{a}}}{{\sqrt[n]{b}}}\)
Note that on occasion we can allow \(a\) or \(b\) to be negative and still have these properties work. When we run across those situations we will acknowledge them. However, for the remainder of this section we will assume that \(a\) and \(b\) must be positive.
Also note that while we can “break up” products and quotients under a radical we can’t do the same thing for sums or differences. In other words,
\[\sqrt[n]{{a + b}} \ne \sqrt[n]{a} + \sqrt[n]{b}\hspace{0.25in}\hspace{0.25in}{\mbox{AND}}\hspace{0.25in}\hspace{0.25in}\sqrt[n]{{a - b}} \ne \sqrt[n]{a} - \sqrt[n]{b}\]If you aren’t sure that you believe this consider the following quick number example.
\[5 = \sqrt {25} = \sqrt {9 + 16} \ne \sqrt 9 + \sqrt {16} = 3 + 4 = 7\]If we “break up” the root into the sum of the two pieces we clearly get different answers! So, be careful to not make this very common mistake!
We are going to be simplifying radicals shortly so we should next define simplified radical form. A radical is said to be in simplified radical form (or just simplified form) if each of the following are true.Simplified Radical Form
- All exponents in the radicand must be less than the index.
- Any exponents in the radicand can have no factors in common with the index.
- No fractions appear under a radical.
- No radicals appear in the denominator of a fraction.
In our first set of simplification examples we will only look at the first two. We will need to do a little more work before we can deal with the last two.
- \(\sqrt {{y^7}} \)
- \(\sqrt[9]{{{x^6}}}\)
- \(\sqrt {18{x^6}{y^{11}}} \)
- \(\sqrt[4]{{32{x^9}{y^5}{z^{12}}}}\)
- \(\sqrt[5]{{{x^{12}}{y^4}{z^{24}}}}\)
- \(\sqrt[3]{{9{x^2}}}\,\sqrt[3]{{6{x^2}}}\)
In this case the exponent (7) is larger than the index (2) and so the first rule for simplification is violated. To fix this we will use the first and second properties of radicals above. So, let’s note that we can write the radicand as follows.
\[{y^7} = {y^6}y = {\left( {{y^3}} \right)^2}y\]So, we’ve got the radicand written as a perfect square times a term whose exponent is smaller than the index. The radical then becomes,
\[\sqrt {{y^7}} = \sqrt {{{\left( {{y^3}} \right)}^2}y} \]Now use the second property of radicals to break up the radical and then use the first property of radicals on the first term.
\[\sqrt {{y^7}} = \sqrt {{{\left( {{y^3}} \right)}^2}} \,\,\sqrt y = {y^3}\sqrt y \]This now satisfies the rules for simplification and so we are done.
Before moving on let’s briefly discuss how we figured out how to break up the exponent as we did. To do this we noted that the index was 2. We then determined the largest multiple of 2 that is less than 7, the exponent on the radicand. This is 6. Next, we noticed that 7=6+1.
Finally, remembering several rules of exponents we can rewrite the radicand as,
\[{y^7} = {y^6}y = {y^{\left( 3 \right)\left( 2 \right)}}y = {\left( {{y^3}} \right)^2}y\]In the remaining examples we will typically jump straight to the final form of this and leave the details to you to check.
b \(\sqrt[9]{{{x^6}}}\) Show Solution
This radical violates the second simplification rule since both the index and the exponent have a common factor of 3. To fix this all we need to do is convert the radical to exponent form do some simplification and then convert back to radical form.
\[\sqrt[9]{{{x^6}}} = {\left( {{x^6}} \right)^{\frac{1}{9}}} = {x^{\frac{6}{9}}} = {x^{\frac{2}{3}}} = {\left( {{x^2}} \right)^{\frac{1}{3}}} = \sqrt[3]{{{x^2}}}\]c \(\sqrt {18{x^6}{y^{11}}} \) Show Solution
Now that we’ve got a couple of basic problems out of the way let’s work some harder ones. Although, with that said, this one is really nothing more than an extension of the first example.
There is more than one term here but everything works in exactly the same fashion. We will break the radicand up into perfect squares times terms whose exponents are less than 2 (i.e. 1).
\[18{x^6}{y^{11}} = 9{x^6}{y^{10}}\left( {2y} \right) = 9{\left( {{x^3}} \right)^2}{\left( {{y^5}} \right)^2}\left( {2y} \right)\]Don’t forget to look for perfect squares in the number as well.
Now, go back to the radical and then use the second and first property of radicals as we did in the first example.
\[\sqrt {18{x^6}{y^{11}}} = \sqrt {9{{\left( {{x^3}} \right)}^2}{{\left( {{y^5}} \right)}^2}\left( {2y} \right)} = \sqrt 9 \sqrt {{{\left( {{x^3}} \right)}^2}} \sqrt {{{\left( {{y^5}} \right)}^2}} \sqrt {2y} = 3{x^3}{y^5}\sqrt {2y} \]Note that we used the fact that the second property can be expanded out to as many terms as we have in the product under the radical. Also, don’t get excited that there are no \(x\)’s under the radical in the final answer. This will happen on occasion.
d \(\sqrt[4]{{32{x^9}{y^5}{z^{12}}}}\) Show Solution
This one is similar to the previous part except the index is now a 4. So, instead of get perfect squares we want powers of 4. This time we will combine the work in the previous part into one step.
\[\sqrt[4]{{32{x^9}{y^5}{z^{12}}}} = \sqrt[4]{{16{x^8}{y^4}{z^{12}}\left( {2xy} \right)}} = \sqrt[4]{{16}}\sqrt[4]{{{{\left( {{x^2}} \right)}^4}}}\sqrt[4]{{{y^4}}}\sqrt[4]{{{{\left( {{z^3}} \right)}^4}}}\sqrt[4]{{2xy}} = 2{x^2}y\,{z^3}\sqrt[4]{{2xy}}\]e \(\sqrt[5]{{{x^{12}}{y^4}{z^{24}}}}\) Show Solution
Again this one is similar to the previous two parts.
\[\sqrt[5]{{{x^{12}}{y^4}{z^{24}}}} = \sqrt[5]{{{x^{10}}{z^{20}}\left( {{x^2}{y^4}{z^4}} \right)}} = \sqrt[5]{{{{\left( {{x^2}} \right)}^5}}}\sqrt[5]{{{{\left( {{z^4}} \right)}^5}}}\sqrt[5]{{{x^2}{y^4}{z^4}}} = {x^2}{z^4}\sqrt[5]{{{x^2}{y^4}{z^4}}}\]In this case don’t get excited about the fact that all the \(y\)’s stayed under the radical. That will happen on occasion.
f \(\sqrt[3]{{9{x^2}}}\,\sqrt[3]{{6{x^2}}}\) Show Solution
This last part seems a little tricky. Individually both of the radicals are in simplified form. However, there is often an unspoken rule for simplification. The unspoken rule is that we should have as few radicals in the problem as possible. In this case that means that we can use the second property of radicals to combine the two radicals into one radical and then we’ll see if there is any simplification that needs to be done.
\[\sqrt[3]{{9{x^2}}}\,\sqrt[3]{{6{x^2}}} = \sqrt[3]{{\left( {9{x^2}} \right)\left( {6{x^2}} \right)}}\, = \sqrt[3]{{54{x^4}}}\]Now that it’s in this form we can do some simplification.
\[\sqrt[3]{{9{x^2}}}\,\sqrt[3]{{6{x^2}}} = \sqrt[3]{{27{x^3}\left( {2x} \right)}} = \sqrt[3]{{27{x^3}}}\sqrt[3]{{2x}} = 3x\sqrt[3]{{2x}}\]Before moving into a set of examples illustrating the last two simplification rules we need to talk briefly about adding/subtracting/multiplying radicals. Performing these operations with radicals is much the same as performing these operations with polynomials. If you don’t remember how to add/subtract/multiply polynomials we will give a quick reminder here and then give a more in depth set of examples the next section.
Recall that to add/subtract terms with \(x\) in them all we need to do is add/subtract the coefficients of the \(x\). For example,
\[4x + 9x = \left( {4 + 9} \right)x = 13x\hspace{0.25in}\hspace{0.25in}3x - 11x = \left( {3 - 11} \right)x = - 8x\]Adding/subtracting radicals works in exactly the same manner. For instance,
\[4\sqrt x + 9\sqrt x = \left( {4 + 9} \right)\sqrt x = 13\sqrt x \hspace{0.25in}3\,\,\sqrt[{10}]{5} - 11\,\,\sqrt[{10}]{5} = \left( {3 - 11} \right)\sqrt[{10}]{5} = - 8\,\,\sqrt[{10}]{5}\]We’ve already seen some multiplication of radicals in the last part of the previous example. If we are looking at the product of two radicals with the same index then all we need to do is use the second property of radicals to combine them then simplify. What we need to look at now are problems like the following set of examples.
- \(\left( {\sqrt x + 2} \right)\left( {\sqrt x - 5} \right)\)
- \(\left( {3\,\sqrt x - \sqrt y } \right)\left( {2\sqrt x - 5\sqrt y } \right)\)
- \(\left( {5\sqrt x + 2} \right)\left( {5\sqrt x - 2} \right)\)
In all of these problems all we need to do is recall how to FOIL binomials. Recall,
\[\left( {3x - 5} \right)\left( {x + 2} \right) = 3x\left( x \right) + 3x\left( 2 \right) - 5\left( x \right) - 5\left( 2 \right) = 3{x^2} + 6x - 5x - 10 = 3{x^2} + x - 10\]With radicals we multiply in exactly the same manner. The main difference is that on occasion we’ll need to do some simplification after doing the multiplication
a \(\left( {\sqrt x + 2} \right)\left( {\sqrt x - 5} \right)\) Show Solution
As noted above we did need to do a little simplification on the first term after doing the multiplication.
b \(\left( {3\,\sqrt x - \sqrt y } \right)\left( {2\sqrt x - 5\sqrt y } \right)\) Show Solution
Don’t get excited about the fact that there are two variables here. It works the same way!
\[\begin{align*}\left( {3\,\sqrt x - \sqrt y } \right)\left( {2\sqrt x - 5\sqrt y } \right) & = 6\sqrt {{x^2}} - 15\sqrt x \,\sqrt y - 2\sqrt x \,\sqrt y + 5\sqrt {{y^2}} \\ & = 6x - 15\sqrt {xy} - 2\sqrt {xy} + 5y\\ & = 6x - 17\sqrt {xy} + 5y\end{align*}\]Again, notice that we combined up the terms with two radicals in them.
c \(\left( {5\sqrt x + 2} \right)\left( {5\sqrt x - 2} \right)\) Show Solution
Not much to do with this one.
\[\left( {5\sqrt x + 2} \right)\left( {5\sqrt x - 2} \right) = 25\sqrt {{x^2}} - 10\sqrt x + 10\sqrt x - 4 = 25x - 4\]Notice that, in this case, the answer has no radicals. That will happen on occasion so don’t get excited about it when it happens.
The last part of the previous example really used the fact that
\[\left( {a + b} \right)\left( {a - b} \right) = {a^2} - {b^2}\]If you don’t recall this formula we will look at it in a little more detail in the next section.
Okay, we are now ready to take a look at some simplification examples illustrating the final two rules. Note as well that the fourth rule says that we shouldn’t have any radicals in the denominator. To get rid of them we will use some of the multiplication ideas that we looked at above and the process of getting rid of the radicals in the denominator is called rationalizing the denominator. In fact, that is really what this next set of examples is about. They are really more examples of rationalizing the denominator rather than simplification examples.
- \( \displaystyle \frac{4}{{\sqrt x }}\)
- \( \displaystyle \sqrt[5]{{\frac{2}{{{x^3}}}}}\)
- \( \displaystyle \frac{1}{{3 - \sqrt x }}\)
- \( \displaystyle \frac{5}{{4\sqrt x + \sqrt 3 }}\)
There are really two different types of problems that we’ll be seeing here. The first two parts illustrate the first type of problem and the final two parts illustrate the second type of problem. Both types are worked differently.
a \( \displaystyle \frac{4}{{\sqrt x }}\) Show Solution
In this case we are going to make use of the fact that \(\sqrt[n]{{{a^n}}} = a\). We need to determine what to multiply the denominator by so that this will show up in the denominator. Once we figure this out we will multiply the numerator and denominator by this term.
Here is the work for this part.
\[\frac{4}{{\sqrt x }} = \frac{4}{{\sqrt x }}\frac{{\sqrt x }}{{\sqrt x }} = \frac{{4\sqrt x }}{{\sqrt {{x^2}} }} = \frac{{4\sqrt x }}{x}\]Remember that if we multiply the denominator by a term we must also multiply the numerator by the same term. In this way we are really multiplying the term by 1 (since \(\frac{a}{a} = 1\)) and so aren’t changing its value in any way.
b \( \displaystyle \sqrt[5]{{\frac{2}{{{x^3}}}}}\) Show Solution
We’ll need to start this one off with first using the third property of radicals to eliminate the fraction from underneath the radical as is required for simplification.
\[\sqrt[5]{{\frac{2}{{{x^3}}}}} = \frac{{\sqrt[5]{2}}}{{\sqrt[5]{{{x^3}}}}}\]Now, in order to get rid of the radical in the denominator we need the exponent on the x to be a 5. This means that we need to multiply by \(\sqrt[5]{{{x^2}}}\) so let’s do that.
\[\sqrt[5]{{\frac{2}{{{x^3}}}}} = \frac{{\sqrt[5]{2}}}{{\sqrt[5]{{{x^3}}}}}\frac{{\sqrt[5]{{{x^2}}}}}{{\sqrt[5]{{{x^2}}}}} = \frac{{\sqrt[5]{{2{x^2}}}}}{{\sqrt[5]{{{x^5}}}}} = \frac{{\sqrt[5]{{2{x^2}}}}}{x}\]c \( \displaystyle \frac{1}{{3 - \sqrt x }}\) Show Solution
In this case we can’t do the same thing that we did in the previous two parts. To do this one we will need to instead to make use of the fact that
\[\left( {a + b} \right)\left( {a - b} \right) = {a^2} - {b^2}\]When the denominator consists of two terms with at least one of the terms involving a radical we will do the following to get rid of the radical.
\[\frac{1}{{3 - \sqrt x }} = \frac{1}{{\left( {3 - \sqrt x } \right)}}\frac{{3 + \sqrt x }}{{\left( {3 + \sqrt x } \right)}} = \frac{{3 + \sqrt x }}{{\left( {3 - \sqrt x } \right)\left( {3 + \sqrt x } \right)}} = \frac{{3 + \sqrt x }}{{9 - x}}\]So, we took the original denominator and changed the sign on the second term and multiplied the numerator and denominator by this new term. By doing this we were able to eliminate the radical in the denominator when we then multiplied out.
d \( \displaystyle \frac{5}{{4\sqrt x + \sqrt 3 }}\) Show Solution
This one works exactly the same as the previous example. The only difference is that both terms in the denominator now have radicals. The process is the same however.
\[\frac{5}{{4\sqrt x + \sqrt 3 }} = \frac{5}{{\left( {4\sqrt x + \sqrt 3 } \right)}}\frac{{\left( {4\sqrt x - \sqrt 3 } \right)}}{{\left( {4\sqrt x - \sqrt 3 } \right)}} = \frac{{5\left( {4\sqrt x - \sqrt 3 } \right)}}{{\left( {4\sqrt x + \sqrt 3 } \right)\left( {4\sqrt x - \sqrt 3 } \right)}} = \frac{{5\left( {4\sqrt x - \sqrt 3 } \right)}}{{16x - 3}}\]Rationalizing the denominator may seem to have no real uses and to be honest we won’t see many uses in an Algebra class. However, if you are on a track that will take you into a Calculus class you will find that rationalizing is useful on occasion at that level.
We will close out this section with a more general version of the first property of radicals. Recall that when we first wrote down the properties of radicals we required that \(a\) be a positive number. This was done to make the work in this section a little easier. However, with the first property that doesn’t necessarily need to be the case.
Here is the property for a general \(a\) (i.e. positive or negative)
\[\sqrt[n]{{{a^n}}} = \left\{ {\begin{array}{*{20}{l}}{\left| a \right|}&{{\mbox{if }}n{\mbox{ is even}}}\\a&{{\mbox{if }}n{\mbox{ is odd}}}\end{array}} \right.\]where \(\left| a \right|\) is the absolute value of \(a\). If you don’t recall absolute value we will cover that in detail in a section in the next chapter. All that you need to do is know at this point is that absolute value always makes \(a\) a positive number.
So, as a quick example this means that,
\[\sqrt[8]{{{x^8}}} = \left| x \right|\hspace{0.25in}\hspace{0.25in}{\mbox{AND}}\hspace{0.25in}\hspace{0.25in}\,\,\,\,\,\,\sqrt[{11}]{{{x^{11}}}} = x\]For square roots this is,
\[\sqrt {{x^2}} = \left| x \right|\]This will not be something we need to worry all that much about here, but again there are topics in courses after an Algebra course for which this is an important idea so we needed to at least acknowledge it.