Math Core

Lesson 4.2 · Radicals and Inverse Functions

Rational exponents

In Algebra 1 you met fraction exponents as another way to write roots: 91/2=39^{1/2} = 3 and 82/3=48^{2/3} = 4. In Algebra 2 you'll use them as a full working tool: with negative bases, with variables, and to solve equations where the unknown is raised to a fractional power.

The definition, extended

Recall why the definition works. If the power-of-a-power rule is going to hold, then (a1/n)n=a1=a\left(a^{1/n}\right)^n = a^1 = a, so a1/na^{1/n} has to be an nnth root of aa. Building on that:

Rational exponents

For integers mm and nn with n≥2n \ge 2 and mn\dfrac{m}{n} in lowest terms,

a1/n=anam/n=(an)m=amn,a^{1/n} = \sqrt[n]{a} \qquad\qquad a^{m/n} = \left(\sqrt[n]{a}\right)^m = \sqrt[n]{a^m},

whenever an\sqrt[n]{a} is a real number. The denominator is the index of the root; the numerator is the power. A negative exponent still means reciprocal: a−m/n=1am/na^{-m/n} = \dfrac{1}{a^{m/n}}.

The phrase "whenever an\sqrt[n]{a} is a real number" matters once negative bases show up:

  • If the denominator nn is odd, any base is allowed. (−8)2/3=(−83)2=(−2)2=4(-8)^{2/3} = \left(\sqrt[3]{-8}\right)^2 = (-2)^2 = 4, and (−32)3/5=(−325)3=(−2)3=−8(-32)^{3/5} = \left(\sqrt[5]{-32}\right)^3 = (-2)^3 = -8.
  • If the denominator nn is even, the base must be nonnegative. (−16)3/4(-16)^{3/4} would need −164\sqrt[4]{-16}, which is not real, so (−16)3/4(-16)^{3/4} is not a real number.

Also notice the difference between (−16)1/2(-16)^{1/2} and −161/2-16^{1/2}. In the second, the exponent applies only to 1616, so −161/2=−16=−4-16^{1/2} = -\sqrt{16} = -4, a perfectly good real number.

Worked example: Evaluating with negative bases and negative exponents

Evaluate each expression, or say that it is not real.

  1. (−27)4/3(-27)^{4/3}
  2. 32−3/532^{-3/5}
  3. (−81)3/4(-81)^{3/4}
  4. (1681)−3/4\left(\dfrac{16}{81}\right)^{-3/4}

Solutions.

  1. Odd denominator, so the negative base is fine: −273=−3\sqrt[3]{-27} = -3 and (−3)4=81(-3)^4 = 81.
  2. 323/5=(325)3=23=832^{3/5} = \left(\sqrt[5]{32}\right)^3 = 2^3 = 8, so 32−3/5=1832^{-3/5} = \dfrac{1}{8}.
  3. Even denominator with a negative base: −814\sqrt[4]{-81} is not real, so (−81)3/4(-81)^{3/4} is not a real number.
  4. A negative exponent on a fraction flips it: (1681)−3/4=(8116)3/4\left(\dfrac{16}{81}\right)^{-3/4} = \left(\dfrac{81}{16}\right)^{3/4}. Then 81164=32\sqrt[4]{\dfrac{81}{16}} = \dfrac{3}{2} and (32)3=278\left(\dfrac{3}{2}\right)^3 = \dfrac{27}{8}.

Using the exponent rules with variables

Every exponent rule you know still holds for rational exponents (for positive bases):

aras=ar+saras=ar−s(ar)s=ars(ab)r=arbra^r a^s = a^{r+s} \qquad \frac{a^r}{a^s} = a^{r-s} \qquad \left(a^r\right)^s = a^{rs} \qquad (ab)^r = a^r b^r

Rewriting radicals as powers is often the easiest way to simplify them, because the rules turn root arithmetic into fraction arithmetic. In this lesson, assume every variable is positive.

Worked example: Simplifying with rational exponents

Simplify. Write each answer with positive exponents.

  1. (27x6y−3)2/3\left(27x^6 y^{-3}\right)^{2/3}
  2. x3/4⋅x1/2x1/3\dfrac{x^{3/4} \cdot x^{1/2}}{x^{1/3}}
  3. x3⋅x4\sqrt[3]{x} \cdot \sqrt[4]{x} as a single radical

Solutions.

  1. Apply the exponent to each factor: 272/3=32=927^{2/3} = 3^2 = 9, (x6)2/3=x4\left(x^6\right)^{2/3} = x^4 and (y−3)2/3=y−2\left(y^{-3}\right)^{2/3} = y^{-2}. So the result is 9x4y−2=9x4y29x^4y^{-2} = \dfrac{9x^4}{y^2}.
  2. Add in the numerator, then subtract, using the common denominator 1212:
34+12−13=912+612−412=1112,so the result is x11/12.\frac{3}{4} + \frac{1}{2} - \frac{1}{3} = \frac{9}{12} + \frac{6}{12} - \frac{4}{12} = \frac{11}{12}, \qquad \text{so the result is } x^{11/12}.
  1. Write as powers: x1/3⋅x1/4=x7/12x^{1/3} \cdot x^{1/4} = x^{7/12}. Back in radical form, that is x712\sqrt[12]{x^7}. Notice this combines two roots with different indices, something that is awkward to do with radical notation alone.

Solving equations with rational exponents

To solve xm/n=kx^{m/n} = k, you want to raise both sides to the reciprocal power nm\dfrac{n}{m}, because (xm/n)n/m=x1\left(x^{m/n}\right)^{n/m} = x^1. But you have to be careful about signs whenever an even number is involved.

It helps to read xm/nx^{m/n} as (xn)m\left(\sqrt[n]{x}\right)^m:

  • If the numerator mm is even, then (xn)m=k\left(\sqrt[n]{x}\right)^m = k can have two solutions for xn\sqrt[n]{x} (a positive one and a negative one), just like u2=9u^2 = 9 gives u=±3u = \pm 3.
  • If the denominator nn is even, then xx must be nonnegative, and xm/nx^{m/n} can never be negative.

Worked example: Solving rational exponent equations

Solve each equation over the real numbers.

  1. x3/2=27x^{3/2} = 27
  2. x2/3=16x^{2/3} = 16
  3. 3x4/3+7=553x^{4/3} + 7 = 55

Solutions.

  1. Raise both sides to the 23\dfrac{2}{3} power: x=272/3=(273)2=9x = 27^{2/3} = \left(\sqrt[3]{27}\right)^2 = 9. Check: 93/2=(9)3=279^{3/2} = \left(\sqrt{9}\right)^3 = 27. ✓ The denominator of 32\dfrac{3}{2} is even, so xx must be nonnegative, and there is no negative solution.
  2. Write the left side as (x3)2=16\left(\sqrt[3]{x}\right)^2 = 16. Then x3=4\sqrt[3]{x} = 4 or x3=−4\sqrt[3]{x} = -4, so x=64x = 64 or x=−64x = -64. Check: (−64)2/3=(−4)2=16(-64)^{2/3} = (-4)^2 = 16. ✓ Both solutions work.
  3. Isolate the power: 3x4/3=483x^{4/3} = 48, so x4/3=16x^{4/3} = 16. Then (x3)4=16\left(\sqrt[3]{x}\right)^4 = 16, so x3=±2\sqrt[3]{x} = \pm 2 and x=±8x = \pm 8. Check: 84/3=24=168^{4/3} = 2^4 = 16 and (−8)4/3=(−2)4=16(-8)^{4/3} = (-2)^4 = 16. ✓

Common mistake

When you raise both sides of x2/3=16x^{2/3} = 16 to the 32\dfrac{3}{2} power, you get only x=64x = 64 and miss x=−64x = -64. Whenever the numerator of the exponent is even, remember the ±\pm, and always check each candidate in the original equation.

A formula with a rational exponent

Rational exponents show up in science formulas. Kepler's third law says that a planet's orbital period TT (in Earth years) and its average distance from the Sun aa (in astronomical units) satisfy T=a3/2T = a^{3/2}. A planet at distance a=4a = 4 has period T=43/2=(4)3=8T = 4^{3/2} = \left(\sqrt{4}\right)^3 = 8 years. To find the distance for a period of 2727 years, solve a3/2=27a^{3/2} = 27: a=272/3=9a = 27^{2/3} = 9 astronomical units.

Tip

To evaluate am/na^{m/n} by hand, take the root first and the power second. 813/4=33=2781^{3/4} = 3^3 = 27 is much easier than finding 8134=531,4414\sqrt[4]{81^3} = \sqrt[4]{531{,}441}.

Practice

Practice 1

Evaluate 1252/3125^{2/3}.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 2

Evaluate (−27)2/3(-27)^{2/3}.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 3

Evaluate 32−4/532^{-4/5}.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 4

Assume x>0x > 0. Write (x1/2⋅x3/4)4\left(x^{1/2} \cdot x^{3/4}\right)^4 as a single power xnx^n. What is nn?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 5

Assume x>0x > 0. Which expression equals (64x9)2/3\left(64x^9\right)^{2/3}?

Practice 6

Solve x3/2=64x^{3/2} = 64.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 7

Solve x2/3=25x^{2/3} = 25. Give all real solutions.

Separate answers with commas, e.g. 2, -5

Practice 8

Solve 2x4/3−5=1572x^{4/3} - 5 = 157. Give all real solutions.

Separate answers with commas, e.g. 2, -5