In this section we review simplifying expressions and solving equations involving radicals. In addition to the product, quotient and power rules stated in Theorem radicalprops in Section AppRealNumberArithmetic, we present the following result which states that \(\text {n}^{\text {th}}\) roots and \(\text {n}^{\text {th}}\) powers more or less ‘undo’ each other.

Since \(\sqrt [n]{a}\) is defined so that \((\sqrt [n]{a})^n = a\), the first claim in the theorem is just a re-wording of Definition principalnthrootdefn. The second part of the theorem breaks down along odd/even exponent lines due to how exponents affect negatives. To see this, consider the specific cases of \(\sqrt [3]{(-2)^3}\) and \(\sqrt [4]{(-2)^{4}}\).

In the first case, \(\sqrt [3]{(-2)^3} =\sqrt [3]{-8} = -2\), so we have an instance of when \(\sqrt [n]{a^{n}} = a\). The reason that the cube root ‘undoes’ the third power in \(\sqrt [3]{(-2)^3} = -2\) is because the negative is preserved when raised to the third (odd) power. In \(\sqrt [4]{(-2)^{4}}\), the negative ‘goes away’ when raised to the fourth (even) power:\(\sqrt [4]{(-2)^{4}} = \sqrt [4]{16}\). According to Definition principalnthrootdefn, the fourth root is defined to give only non-negative numbers, so \(\sqrt [4]{16} = 2\). Here we have a case where \(\sqrt [4]{(-2)^{4}} = 2 = |-2|\), not \(-2\).

In general, we need the absolute values to simplify \(\sqrt [n]{a^{n}}\) only when \(n\) is even because a negative to an even power is always positive. In particular, \(\sqrt {x^2} = |x|\), not just ‘\(x\)’ (unless we know \(x \geq 0\).) We practice these formulas in the following example.

Theorem simplifyradicals allows us to generalize the process of ‘Extracting Square Roots’ to ‘Extracting \(\text {n}^{\text {th}}\) Roots’ which in turn allows us to solve equations of the form \(X^n = c\).

Extracting \(\text {n}^{\text {th}}\) roots:
  • If \(c\) is a real number and \(n\) is odd then the real number solution to \(X^{n} = c\) is \(X = \sqrt [n]{c}\).
  • If \(c \geq 0\) and \(n\) is even then the real number solutions to \(X^{n} = c\) are \(X = \pm \sqrt [n]{c}\).

    Note: If \(c < 0\) and \(n\) is even then \(X^{n} = c\) has no real number solutions.

Essentially, we solve \(X^{n} = c\) by ‘taking the \(\text {n}^{\text {th}}\) root’ of both sides: \(\sqrt [n]{X^{n}} = \sqrt [n]{c}\). Simplifying the left side gives us just \(X\) if \(n\) is odd or \(|X|\) if \(n\) is even. In the first case, \(X = \sqrt [n]{c}\), and in the second, \(X = \pm \sqrt [n]{c}\). Putting this together with the other part of Theorem simplifyradicals, namely \((\sqrt [n]{a})^n = a\), gives us a strategy for solving equations which involve \(\text {n}^{\text {th}}\) powers and \(n^{\text {th}}\) roots.

Strategies for Solving Power and Radical Equations
  • If the equation involves an \(\text {n}^{\text {th}}\) power and the variable appears in only one term, isolate the term with the \(\text {n}^{\text {th}}\) power and extract \(\text {n}^{\text {th}}\) roots.
  • If the equation involves an \(\text {n}^{\text {th}}\) root and the variable appears in that \(\text {n}^{\text {th}}\) root, isolate the \(\text {n}^{\text {th}}\) root and raise both sides of the equation to the \(\text {n}^{\text {th}}\) power.

    Note: When raising both sides of an equation to an even power, be sure to check for extraneous solutions.

The note about ‘extraneous solutions’ can be demonstrated by the basic equation: \(\sqrt {x} = -2\). This equation has no solution since, by definition, \(\sqrt {x} \geq 0\) for all real numbers \(x\). However, if we square both sides of this equation, we get \((\sqrt {x})^2 = (-2)^2\) or \(x = 4\). However, \(x = 4\) doesn’t check in the original equation, since \(\sqrt {4} = 2\), not \(-2\). Once again, the root of all of our problems lies in the fact that a negative number to an even power results in a positive number. In other words, raising both sides of an equation to an even power does not produce an equivalent equation, but rather, an equation which may possess more solutions than the original. Hence the cautionary remark above about extraneous solutions.

1 Rationalizing Denominators and Numerators

In Section ??, there were a few instances where we needed to ‘rationalize’ a denominator - that is, take a fraction with radical in the denominator and re-write it as an equivalent fraction without a radical in the denominator. There are various reasons for wanting to do this, but the most pressing reason is that rationalizing denominators - and numerators as well - gives us an opportunity for more practice with fractions and radicals. To refresh your memory, we rationalize a denominator and a numerator below:

\[ \frac {1}{\sqrt {2}} = \frac {\sqrt {2}}{\sqrt {2} \sqrt {2}} = \frac {\sqrt {2}}{\sqrt {4}} = \frac {\sqrt {2}}{2} \quad \text {and} \quad \frac {7\sqrt [3]{4}}{3} = \frac {7 \sqrt [3]{4}\sqrt [3]{2}}{3\sqrt [3]{2}} = \frac {7\sqrt [3]{8}}{3\sqrt [3]{2}} = \frac {7 \cdot 2}{3\sqrt [3]{2}} = \frac {14}{3\sqrt [3]{2}} \]

In general, if the fraction contains either a single term numerator or denominator with an undesirable \(\text {n}^{\text {th}}\) root, we multiply the numerator and denominator by whatever is required to obtain a perfect \(\text {n}^{\text {th}}\) power in the radicand that we want to eliminate. If the fraction contains two terms the situation is somewhat more complicated. To see why, consider the fraction \(\frac {3}{4 - \sqrt {5}}\). Suppose we wanted to rid the denominator of the \(\sqrt {5}\) term. We could try as above and multiply numerator and denominator by \(\sqrt {5}\) but that just yields:

\[ \frac {3}{4 - \sqrt {5}} = \frac {3\sqrt {5}}{(4 - \sqrt {5})\sqrt {5}} = \frac {3\sqrt {5}}{4\sqrt {5} - \sqrt {5}\sqrt {5}} = \frac {3\sqrt {5}}{4\sqrt {5} - 5}\]

We haven’t removed \(\sqrt {5}\) from the denominator - we’ve just shuffled it over to the other term in the denominator. As you may recall, the strategy here is to multiply both the numerator and the denominator by what’s called the conjugate.

That is, to get the conjugate of a two-term expression involving a square root, you change the ‘\(-\)’ to a ‘\(+\),’ or vice-versa. For example, the conjugate of \(4 - \sqrt {5}\) is \(4 + \sqrt {5}\), and when we multiply these two factors together, we get \((4 - \sqrt {5})(4 + \sqrt {5}) = 4^2 - (\sqrt {5})^2 = 16 - 5 = 11\). Hence, to eliminate the \(\sqrt {5}\) from the denominator of our original fraction, we multiply both the numerator and the denominator by the conjugate of \(4-\sqrt {5}\) to get:

\[\frac {3}{4 - \sqrt {5}} = \frac {3 (4 + \sqrt {5})}{(4 - \sqrt {5})(4 + \sqrt {5})} = \frac {3 (4 + \sqrt {5})}{4^2 - (\sqrt {5})^2} = \frac {3(4 + \sqrt {5})}{16 - 5} = \frac {12 + 3\sqrt {5}}{11}\]

What if we had \(\sqrt [3]{5}\) instead of \(\sqrt {5}\)? We could try multiplying \(4 - \sqrt [3]{5}\) by \(4 + \sqrt [3]{5}\) to get

\[(4 - \sqrt [3]{5})(4 + \sqrt [3]{5}) = 4^2 - (\sqrt [3]{5})^2 = 16 - \sqrt [3]{25},\]

which leaves us with a cube root. What we need to undo the cube root is a perfect cube, which means we look to the Difference of Cubes Formula for inspiration: \(a^3 - b^3 = (a-b)(a^2+ab+b^2)\). If we take \(a = 4\) and \(b = \sqrt [3]{5}\), we multiply

\[ (4 - \sqrt [3]{5})(4^2 + 4\sqrt [3]{5} + (\sqrt [3]{5})^2) = 4^3 + 4^2\sqrt [3]{5} + 4 \sqrt [3]{5} - 4^2\sqrt [3]{5}-4(\sqrt [3]{5})^2 - (\sqrt [3]{5})^3 = 64 - 5 = 59\]

So if we were charged with rationalizing the denominator of \(\frac {3}{4 - \sqrt [3]{5}}\), we’d have:

\[ \frac {3}{4 - \sqrt [3]{5}} = \frac {3(4^2 + 4\sqrt [3]{5} + (\sqrt [3]{5})^2)}{(4 - \sqrt [3]{5})(4^2 + 4\sqrt [3]{5} + (\sqrt [3]{5})^2)} = \frac {48 + 12\sqrt [3]{5}+ 3\sqrt [3]{25}}{59}\]

This sort of thing extends to \(\text {n}^{\text {th}}\) roots since \((a-b)\) is a factor of \(a^n - b^n\) for all natural numbers \(n\), but in practice, we’ll stick with square roots with just a few cube roots thrown in for a challenge.

We close this section with an awesome example from Calculus.