Define rational exponents from the properties of integer exponents and rewrite radical expressions

Learning goal: Explain how the definition of the meaning of rational exponents follows from extending the properties of integer exponents to those values, use that definition as a notation for radicals in terms of rational exponents, and rewrite expressions involving radicals and rational exponents using the properties of exponents.

What the properties of integer exponents say. For a positive base b and integers m and n, four properties are in force: the product rule b^m · b^n = b^(m+n), the quotient rule b^m ÷ b^n = b^(m−n), the power rule (b^m)^n = b^(mn), and the product-to-a-power rule (ab)^n = a^n · b^n. Each was first justified by counting factors: 2³ · 2² is three 2s times two 2s, which is five 2s. Counting only makes sense for positive whole-number exponents, so when the exponent 0 and negative exponents were introduced, they were not read off from counting. They were defined so that the product rule would keep holding: b^0 must be 1 because b^3 · b^0 has to equal b^3, and b^(−2) must be 1/b² because b^2 · b^(−2) has to equal b^0 = 1. The same strategy, keeping the rules true, is what produces the meaning of a fraction in the exponent.

Why 5^(1/3) must be the cube root of 5. Suppose 5^(1/3) stands for some positive number, and suppose we insist that the power rule still works for it. Then (5^(1/3))³ = 5^((1/3)·3) = 5^1 = 5. So whatever 5^(1/3) is, cubing it must give exactly 5. There is exactly one positive number with that property, because cubing is an increasing operation on positive numbers: it is the cube root of 5, written ∛5, approximately 1.70998. Check: 1.709976³ ≈ 5.0000005, which rounds to 5. The definition was not chosen for convenience and then found to fit the rules; it was forced by the rules. That is what "the definition follows from extending the properties" means. In general, for b > 0 and a positive integer n, b^(1/n) is defined as the positive nth root of b, the unique positive number whose nth power is b, because (b^(1/n))^n = b^(n/n) = b^1 = b is the only way the power rule can survive.

A general fraction m/n in the exponent. Once b^(1/n) is settled, every rational exponent m/n is handled by the power rule again: b^(m/n) = (b^(1/n))^m, the nth root raised to the mth power. It could equally be (b^m)^(1/n), the nth root of the mth power, and the two agree for a positive base. For example, 8^(2/3) = (∛8)² = 2² = 4, and also 8^(2/3) = ∛(8²) = ∛64 = 4. Taking the root first is usually easier because the numbers stay small. A negative rational exponent means a reciprocal, exactly as with integers: 16^(−3/4) = 1/16^(3/4) = 1/(⁴√16)³ = 1/2³ = 1/8. Read it in three moves: the sign says "reciprocal", the denominator says "fourth root", the numerator says "cube".

Why this course keeps the base positive. Conventions differ: some books and calculators accept (−8)^(1/3) = −2 because the denominator 3 is odd, and others leave it undefined. This course uses rational exponents only with positive bases (and base 0 with positive exponents, where 0^(m/n) = 0), for a real reason: with negative bases the exponent rules stop being reliable. If (−8)^(1/3) = −2, then since 1/3 equals 2/6 the power rule would suggest ((−8)²)^(1/6) = 64^(1/6) = 2 as well, and the two computations disagree. The step that fails is the power rule (b^m)^n = b^(mn), which is guaranteed only for b > 0. Cube roots of negative numbers are still perfectly good numbers; in this course they are written with the radical sign, ∛(−8) = −2.

Radicals become exponents. Because b^(1/n) is the nth root, every radical can be written as a power: √x = x^(1/2), ∛x = x^(1/3), and ⁿ√(x^m) = x^(m/n) for integers m and n with n ≥ 2, all for x > 0, and also for x = 0 when the exponent is positive. That is the "notation for radicals in terms of rational exponents" the standard describes, and it is useful because there is now only one set of rules to apply. Instead of learning separate facts about multiplying roots, dividing roots and roots of roots, you convert to exponents, use the product, quotient and power rules, and convert back if a radical form is wanted.

A rewriting worked inside the lesson. Simplify ∛x · √x for x ≥ 0. Convert: x^(1/3) · x^(1/2). The product rule adds the exponents: 1/3 + 1/2 = 2/6 + 3/6 = 5/6, so the product is x^(5/6), which as a radical is ⁶√(x⁵). The step most students skip is checking with a number. Take x = 64: ∛64 · √64 = 4 · 8 = 32, and 64^(5/6) = (⁶√64)⁵ = 2⁵ = 32. The two agree, which confirms both the arithmetic on the fractions and the conversion back to a radical.

Simplifying a numerical radical with the same tools. √72 = (36 · 2)^(1/2) = 36^(1/2) · 2^(1/2) = 6√2, using the product-to-a-power rule with exponent 1/2. Numerically 6√2 ≈ 8.485, and √72 ≈ 8.485 as well. The same rule handles variables: (x⁶y³)^(1/3) = x^(6/3) · y^(3/3) = x²y for x, y ≥ 0.

Two misconceptions. First, b^(1/2) is not b/2: 9^(1/2) = 3, while 9/2 = 4.5. The exponent 1/2 means "the number whose square is 9", not "half of 9". Second, b^(m/n) is not b^m divided by b^n; that quotient would be b^(m−n). The fraction in the exponent is a single number, and the denominator names a root.

Order of computation. For a numerical base, factor the base into a perfect power when you can: 32^(2/5) = (2⁵)^(2/5) = 2^(5·2/5) = 2² = 4. For a base that is not a perfect power, keep the exact form and, if a decimal is wanted, approximate at the end: 2^(5/2) = (√2)⁵ = 4√2 ≈ 5.657. Exact first, decimal last, and say which one you are reporting.

Worked evaluation with a perfect-cube base: Evaluate 27^(4/3). The denominator 3 calls for a cube root and the numerator 4 for a fourth power: 27^(4/3) = (∛27)⁴ = 3⁴ = 81. Check by the other order: 27⁴ = 531,441 and ∛531,441 = 81, because 81³ = 531,441. Both routes give 81, so 27^(4/3) = 81 exactly.

Worked mixed radical and exponent form: Simplify √x ÷ x^(1/4) for x > 0. Convert the radical: x^(1/2) ÷ x^(1/4). The quotient rule subtracts exponents: 1/2 − 1/4 = 1/4, so the result is x^(1/4), which is ⁴√x. Check with x = 16: √16 ÷ 16^(1/4) = 4 ÷ 2 = 2, and ⁴√16 = 2, as required. The reasoning step a student skips is writing 1/2 as 2/4 before subtracting.

Worked root of a root: Rewrite ∛(√2) as a single power of 2. Inside is 2^(1/2); the cube root raises it to the 1/3: (2^(1/2))^(1/3) = 2^((1/2)(1/3)) = 2^(1/6), which is ⁶√2 ≈ 1.1225. Check: 1.1225⁶ ≈ 2.000. So a root of a root is a root whose index is the product of the two indices, and the exponent rules deliver that fact without a separate rule to memorize.

Worked explanation of the definition: A student asks why 4^(1/2) is 2 rather than some other number. If 4^(1/2) is to obey the product rule, then 4^(1/2) · 4^(1/2) = 4^(1/2 + 1/2) = 4^1 = 4. So 4^(1/2) is a positive number whose square is 4, and the only positive number with that property is 2. The definition of 4^(1/2) as √4 is forced by keeping the product rule true; it was not a free choice.

Equivalent-forms record: Make a three-column table headed radical form, rational-exponent form, and value. Fill it for √49, ∛125, 8^(2/3), 16^(−1/4), ⁴√(x⁸) for x ≥ 0, and (√5)³. For each row, write the property of exponents you used and, where a decimal is needed, give the exact form first and the decimal rounded to three places second. Then add one row showing why this course does not write (−8)^(1/3) in exponent notation: compute ((−8)²)^(1/6) and compare it with −2.

Independent performance: Write four expressions of your own that mix radicals and rational exponents with the same positive variable, for example x^(2/3) · ⁶√x or (x^(3/2))² ÷ √x. Rewrite each as a single power of x and as a single radical, showing the fraction arithmetic on the exponents. Check each rewriting by substituting x = 64 and evaluating both the original and the rewritten form. Then write a paragraph explaining, in your own words, why 5^(1/3) has to be the cube root of 5 if the power rule (b^m)^n = b^(mn) is to keep holding. Success criteria: every exponent fraction is in lowest terms, every substitution check produces the same value both ways, and the paragraph names the specific property that forces the definition.