Example14.3.2
Simplify \(\sqrt{y^2+2y+1}\text{.}\)
We used the property \(\sqrt[n]{x^n}=\abs{x}\text{ where }n\text{ is even}\text{.}\)
In <<Unresolved xref, reference "section-simplifying-square-root"; check spelling or use "provisional" attribute>> and <<Unresolved xref, reference "section-square-root-operations"; check spelling or use "provisional" attribute>>, we learned square root operations. In this section, we will extend those concepts into root of other degrees, and learn how to handle radical expressions with variables.
In <<Unresolved xref, reference "section-simplifying-square-root"; check spelling or use "provisional" attribute>>, we learned how to convert expressions like \(\sqrt{12}=2\sqrt{3}\text{.}\) In this subsection, we will use the same concept to simplify expressions like \(\sqrt[3]{16x^3}\text{.}\)
We learned this property for square root:
\begin{equation*} \sqrt{x^2}=x\quad\text{where }x\ge0 \end{equation*}The condition \(x\ge0\) must be true because this property doesn't hold if \(x\lt0\text{.}\) For example: \(\sqrt{(-1)^2}=\sqrt{1}=1\text{,}\) where \(\sqrt{(-1)^2}\ne-1\text{.}\) We will use a different way to write this property:
\begin{equation*} \sqrt{x^2}=\abs{x} \end{equation*}This new formula will take care of negative numbers, like in \(\sqrt{(-1)^2}=\abs{-1}\text{.}\)
We have learned
\begin{equation*} \sqrt[n]{x}=x^{\frac{1}{n}} \end{equation*}and it's easy to see
\begin{align*} \sqrt{x^2}\amp=(x^2)^{\frac{1}{2}}\\ \amp=x^{2\cdot\frac{1}{2}}\\ \amp=\abs{x} \end{align*}Similarly, we can show the following:
\begin{align*} \sqrt{x^2}\amp=\abs{x}\\ \sqrt[4]{x^4}\amp=\abs{x}\\ \sqrt[6]{x^6}\amp=\abs{x}\\ \quad\ldots\\ \sqrt[n]{x^n}\amp=\abs{x}\amp\text{where }n\text{ is even} \end{align*}However, for \(\sqrt[3]{x^3}=x\text{,}\) there is no need for the absolute value symbol, because \(\sqrt[3]{1^3}=1\) and \(\sqrt[3]{(-1)^3}=-1\) do not cause confusions. The same is true for other odd-number-degree roots. In summary, we have:
\begin{align*} \sqrt[m]{x^m}\amp=x\amp\text{where }m\text{ is odd}\\ \sqrt[n]{x^n}\amp=\abs{x}\amp\text{where }n\text{ is even} \end{align*}Let's look at a few examples on simplifying radicals.
Simplify \(\sqrt{y^2+2y+1}\text{.}\)
We used the property \(\sqrt[n]{x^n}=\abs{x}\text{ where }n\text{ is even}\text{.}\)
Simplify \(\sqrt{z^4}\text{.}\)
In the last example, there is no need to write \(\sqrt{z^4}=\abs{z^2}\text{.}\) Because \(z^2\) is always positive or zero, the absolute value symbols are redundant.
In general, we have
\begin{equation*} \sqrt{x^{2m}}=\abs{x^m}\quad\text{for example: }\sqrt{x^{12}}=x^6 \end{equation*}Note that \(\abs{x^6}\) is not necessary, because \(x^6\) is never negative. Similarly, we have:
\begin{align*} \sqrt[3]{x^{3m}}\amp=x^m\amp\text{for example: }\sqrt[3]{x^{12}}=x^4\\ \sqrt[4]{x^{4m}}\amp=\abs{x^m}\amp\text{for example: }\sqrt[4]{x^{12}}=\abs{x^3}\\ \ldots \end{align*}Simplify \(\sqrt{72m^3n^5}\text{.}\) Assume all variables are positive.
Since all variables are assumed positive, there is no need to use the absolute value symbols.
Simplify \(\sqrt[3]{16z^4}\text{.}\) Assume all variables are positive.
We used the property \(\sqrt[m]{x^m}=x\text{ where }m\text{ is odd}\text{.}\)
Note that the "dot" (multiplication symbol) in \(2z\cdot\sqrt[3]{2z}\) is necessary. Otherwise it's difficult to tell between \(2z\cdot\sqrt[3]{2z}\) and \(2z^3\cdot\sqrt{2z}\text{.}\)
Simplify \(\sqrt[3]{54x^3y^5}\text{.}\)
Simplifying Radicals
In <<Unresolved xref, reference "section-square-root-operations"; check spelling or use "provisional" attribute>>, we learned how to add/subtract/multiply square root expressions. We will extend those concepts and simplify more complicated radical expressions.
In <<Unresolved xref, reference "theorem-square-root-property"; check spelling or use "provisional" attribute>>, we learned the properties:
\begin{align*} \sqrt{x\cdot y}\amp=\sqrt{x}\cdot\sqrt{y}\\ \sqrt{\frac{x}{y}}\amp=\frac{\sqrt{x}}{\sqrt{y}}, \text{ where }y\ne0 \end{align*}Those properties also work for other radicals:
\begin{align*} \sqrt[n]{x\cdot y}\amp=\sqrt[n]{x}\cdot\sqrt[n]{y}\\ \sqrt[n]{\frac{x}{y}}\amp=\frac{\sqrt[n]{x}}{\sqrt[n]{y}}, \text{ where }y\ne0 \end{align*}The next few examples will use those properties.
Do multiplication: \(\sqrt[3]{4x^2y}\cdot2\cdot\sqrt[3]{4xy^2}\)
Do multiplication: \(\sqrt{2p^2-p-1}\cdot\sqrt{p^2-1}\)
Do division: \(\frac{\sqrt[4]{32m^6n^{10}}}{\sqrt[4]{162m^{10}n}}\text{.}\) Assume all variables are positive.
When we add/subtract radical expressions, remember we can only combine like terms.
Simplify \(\sqrt{8t}+\sqrt[3]{8t}+\sqrt{18t}\text{.}\) Assume all variables are positive.
Note that \(\sqrt{2t}\) and \(\sqrt[3]{2t}\) are not like terms.
Simplify \(\sqrt[3]{375n^{12}x^9}-\sqrt[3]{192n^{12}x^9}\text{.}\) Assume all variables are positive.
When we add/subtract fractions, don't forget to find common denominators first.
Simplify \(\sqrt{\frac{3}{4}}+\sqrt{12}\text{.}\) Assume all variables are positive.
It's important to review radical operations covered in Subsection 8.2.7.
Multiplying/Dividing Radicals
Mixed Operations of Radicals