3.2 Radical Operations, Rational Expressions & Equations

3.2 Radical Operations, Rational Expressions & Equations

Radical and rational expressions extend polynomial algebra into the broader field of fractions and algebraic functions. On the FTCE Mathematics 6–12 examination, candidates are tested on their foundational understanding of algebraic properties, rigorous simplification routines, and their ability to diagnose procedural misunderstandings—specifically surrounding domain restrictions and extraneous roots.

---

1. Radical Foundations & The Principal Root Convention

For any positive integer index $n \ge 2$ and real radicand $a$, the expression $\sqrt[n]{a}$ denotes the principal $n$-th root of $a$:

1. Odd Index ($n$ is odd): Every real number $a \in \mathbb{R}$ possesses exactly one real $n$-th root. If $a > 0$, $\sqrt[n]{a} > 0$; if $a < 0$, $\sqrt[n]{a} < 0$. For example, $\sqrt[3]{-64} = -4$ because $(-4)^3 = -64$.
2. Even Index ($n$ is even): For $a > 0$, there exist two real numbers whose $n$-th power equals $a$. By mathematical convention, the radical symbol $\sqrt[n]{a}$ refers exclusively to the non-negative real value, called the principal root. If $a < 0$, $\sqrt[n]{a} \notin \mathbb{R}$.

The Absolute Value Identity

A frequent testing point on the FTCE examination is the extraction of variables from even-index roots. Because the principal root of an even index cannot be negative, the extraction of an even power that produces an odd exponent requires an absolute value sign:

$$\sqrt[n]{x^n} = \begin{cases} |x| & \text{if } n \text{ is even} \\ x & \text{if } n \text{ is odd} \end{cases}$$

Consider $\sqrt{x^6} = \sqrt{(x^3)^2}$. If $x = -2$, then $x^6 = 64$ and $\sqrt{64} = 8$. However, evaluated without absolute values, $x^3 = (-2)^3 = -8 \neq 8$. Therefore, $\sqrt{x^6} = |x^3| = |x|^3$. If the exponent remains even upon extraction, such as $\sqrt{x^4} = x^2$, absolute value symbols are redundant because $x^2 \ge 0$ for all real $x$.

Core Properties of Radicals

For radicands where roots exist in $\mathbb{R}$:

• Product Rule: $\sqrt[n]{a \cdot b} = \sqrt[n]{a} \cdot \sqrt[n]{b}$
• Quotient Rule: $\sqrt[n]{\frac{a}{b}} = \frac{\sqrt[n]{a}}{\sqrt[n]{b}} \quad (b \neq 0)$
• Power-to-Radical Equivalence: $\sqrt[n]{a^m} = (\sqrt[n]{a})^m = a^{m/n}$

Like radicals (expressions sharing identical index and radicand) combine via the distributive property: $4\sqrt{50} - 2\sqrt{18} = 4(5\sqrt{2}) - 2(3\sqrt{2}) = 20\sqrt{2} - 6\sqrt{2} = 14\sqrt{2}$.

---

2. Rationalizing Denominators

A radical expression is considered in simplest form only when no radicand contains fractions, no radical appears in a denominator, and all perfect $n$-th powers are extracted.

Monomial Denominators

To rationalize a monomial radical denominator $\sqrt[n]{b^k}$ where $k < n$, multiply numerator and denominator by $\sqrt[n]{b^{n-k}}$ to complete the perfect $n$-th power under the radical:

$$\frac{5}{\sqrt[3]{2x}} = \frac{5}{\sqrt[3]{2^1 x^1}} \cdot \frac{\sqrt[3]{2^2 x^2}}{\sqrt[3]{2^2 x^2}} = \frac{5\sqrt[3]{4x^2}}{\sqrt[3]{2^3 x^3}} = \frac{5\sqrt[3]{4x^2}}{2x}$$

Binomial Denominators & Conjugates

When a denominator contains a sum or difference involving square roots, such as $a + \sqrt{b}$ or $\sqrt{a} - \sqrt{b}$, multiply numerator and denominator by its algebraic conjugate. The product of conjugates eliminates square roots via the difference of two squares identity $(u - v)(u + v) = u^2 - v^2$:

$$\frac{6}{\sqrt{7} - 1} = \frac{6}{\sqrt{7} - 1} \cdot \frac{\sqrt{7} + 1}{\sqrt{7} + 1} = \frac{6(\sqrt{7} + 1)}{(\sqrt{7})^2 - (1)^2} = \frac{6(\sqrt{7} + 1)}{7 - 1} = \frac{6(\sqrt{7} + 1)}{6} = \sqrt{7} + 1$$

---

3. Rational Expressions: Domain Restrictions & Arithmetic

A rational expression is an algebraic quotient $\frac{P(x)}{Q(x)}$ where $P(x)$ and $Q(x)$ are polynomials and $Q(x) \neq 0$. Because division by zero is undefined, the domain consists of all real numbers except the real roots of $Q(x)$:

$$\text{Domain} = \{x \in \mathbb{R} \mid Q(x) \neq 0\}$$

For example, in the function $f(x) = \frac{(x - 3)(x + 2)}{x - 3}$, the domain is $\{x \in \mathbb{R} \mid x \neq 3\}$. Canceling $(x - 3)$ produces the simplified form $x + 2$. Graphically, $f(x)$ represents a line with a removable discontinuity (hole) at the coordinate point $(3, 5)$, whereas non-canceling denominator zeros produce vertical asymptotes.

Operations on Rational Expressions

1. Multiplication: Factor all numerators and denominators completely, state all domain exclusions, and cancel factors common to any numerator and denominator: $\frac{A}{B} \cdot \frac{C}{D} = \frac{AC}{BD}$.
2. Division: Multiply by the reciprocal of the divisor: $\frac{A}{B} \div \frac{C}{D} = \frac{A}{B} \cdot \frac{D}{C}$. Note that domain restrictions for division must include values where $B(x) = 0$, $D(x) = 0$, and $C(x) = 0$.
3. Addition & Subtraction:
   • Factor all denominators to find the Least Common Denominator (LCD), which is the product of the highest power of each distinct prime polynomial factor.
   • Multiply the numerator and denominator of each term by the missing factors necessary to build the LCD.
   • Combine numerators over the common denominator, expand, combine like terms, and factor the resulting numerator to check for further simplification.

---

4. Solving Rational Equations & Extraneous Solutions

A rational equation contains one or more rational expressions. The standard solution procedure involves multiplying every term on both sides by the LCD to eliminate denominators, transforming the rational equation into an equivalent polynomial equation.

+-------------------------------------------------------------------------+
|                Protocol for Solving Rational Equations                  |
+-------------------------------------------------------------------------+
| 1. Factor all denominators completely.                                  |
| 2. Explicitly write down all restricted values where any denominator = 0.|
| 3. Multiply every term on both sides by the LCD to clear fractions.    |
| 4. Solve the resulting linear or quadratic polynomial equation.         |
| 5. Compare all candidate solutions against the restricted values.       |
| 6. Discard any value that makes a denominator zero as EXTRANEOUS.       |
+-------------------------------------------------------------------------+

Why Do Extraneous Solutions Arise?

When multiplying an equation $A(x) = B(x)$ by the LCD polynomial $M(x)$, we transition to the equation $M(x)A(x) = M(x)B(x)$, or equivalently $M(x)[A(x) - B(x)] = 0$. By the zero-product property, the solutions to this derived equation include all values where $A(x) - B(x) = 0$ plus any values where $M(x) = 0$. If an algebraic candidate root satisfies $M(x) = 0$, it was introduced artificially by the multiplication step and causes division by zero in the original expression. Such values are extraneous roots.

---

5. Worked Exemplar: Rational Equation with Extraneous Root Check

Problem: Solve the rational equation completely over the real numbers:

$$\frac{x}{x - 2} + \frac{1}{x - 4} = \frac{2}{x^2 - 6x + 8}$$

Step 1: Factor Denominators and State Restrictions Factoring the quadratic denominator on the right:

$$x^2 - 6x + 8 = (x - 2)(x - 4)$$

The equation becomes:

$$\frac{x}{x - 2} + \frac{1}{x - 4} = \frac{2}{(x - 2)(x - 4)}$$

The LCD is $(x - 2)(x - 4)$. Denominators are zero when $x = 2$ or $x = 4$.

$$\text{Domain Restrictions: } x \neq 2, \quad x \neq 4$$

Step 2: Clear Fractions by Multiplying by the LCD Multiply each term by $(x - 2)(x - 4)$:

$$(x - 2)(x - 4) \cdot \frac{x}{x - 2} + (x - 2)(x - 4) \cdot \frac{1}{x - 4} = (x - 2)(x - 4) \cdot \frac{2}{(x - 2)(x - 4)}$$ $$x(x - 4) + 1(x - 2) = 2$$

Step 3: Expand and Solve the Resulting Quadratic Equation

$$x^2 - 4x + x - 2 = 2$$ $$x^2 - 3x - 4 = 0$$

Factoring the quadratic trinomial:

$$(x - 4)(x + 1) = 0$$

Setting each factor to zero gives algebraic candidates:

$$x = 4 \quad \text{or} \quad x = -1$$

Step 4: Check Candidates Against Domain Restrictions

• Candidate $x = 4$: In Step 1, $x = 4$ was identified as a restricted value. Substituting $x = 4$ into the original equation produces division by zero in $\frac{1}{4 - 4} = \frac{1}{0}$ and $\frac{2}{4^2 - 24 + 8} = \frac{2}{0}$. Therefore, $x = 4$ is an extraneous solution and must be discarded.
• Candidate $x = -1$: Check in the original equation: $$\text{LHS} = \frac{-1}{-1 - 2} + \frac{1}{-1 - 4} = \frac{-1}{-3} + \frac{1}{-5} = \frac{1}{3} - \frac{1}{5} = \frac{5 - 3}{15} = \frac{2}{15}$$ $$\text{RHS} = \frac{2}{(-1)^2 - 6(-1) + 8} = \frac{2}{1 + 6 + 8} = \frac{2}{15}$$ Because $\text{LHS} = \text{RHS} = \frac{2}{15}$, $x = -1$ is a valid solution.

Conclusion: The solution set contains exactly one real number: $\{-1\}$.