Why fractional powers mean roots

Try

A cube has volume 125 cubic centimetres. Its positive side length is 5 centimetres because 5³=125. Now imagine a calculator writes the same side length as 125^(1/3). That notation should express the root calculation, not a new unrelated operation. Before reading further, write the equation that any proposed side length must satisfy and explain why −5 is not a side length.

Recall that a³ means a·a·a. For positive a, integer exponent rules include (aᵐ)ⁿ=a^(mn) and aᵐaⁿ=a^(m+n). Our question is how to extend the notation while preserving those rules.

Predict

Predict 125^(2/3) without typing a fractional decimal into a calculator. If taking the cube root gives 5, what should squaring that result give? Then predict 125^(−1/3). A negative exponent changes a number into a reciprocal; it does not place a minus sign in front of the result. All these numerical powers are positive.

Separate an evaluation from an equation: 49^(1/2) asks for one principal value, whereas solving x²=49 asks for every number whose square is 49.

Experiment

Complete the last column before checking the table. Use exact roots and fractions, not rounded exponents such as 0.333.

Expression	Root or reciprocal step	Result
125^(1/3)	Positive cube root of 125	5
125^(2/3)	Square the positive cube root	25
125^(−1/3)	Reciprocal of the positive cube root	1/5
16^(3/4)	Cube the positive fourth root	8

For each row, reverse the calculation: for example, the cube of 5 is 125 and the fourth power of 2 is 16. Make a second table for base 64 and denominator 6. Compare exponents 2/6 and 1/3. Equivalent fractions must not produce different values for the same positive base.

Understand

Let a be positive and n a positive integer. If the nested-power law is to hold at exponent 1/n, then (a^(1/n))ⁿ=a^1=a. We therefore define a^(1/n) as the positive nth root of a. For any integer m, define a^(m/n)=(a^(1/n))ᵐ; when m is negative, use the reciprocal of the corresponding positive power. Positive real roots exist and are unique, a real-number property assumed at this school level. Exponent notation does not itself prove that existence.

Why can the fraction be rewritten? Put t=a^(1/6)>0. Then (t²)³=a, so t² is the positive cube root of a. Thus a^(2/6)=a^(1/3). More generally, if m/n=p/q, use the positive nqth root s of a. The two powers are s^(mq) and s^(pn), and mq=pn. This also handles negative numerators because s is nonzero.

The same common-root argument proves addition of rational exponents: represent both exponents with denominator nq and use the ordinary integer law for powers of s. The extension is coherent; it is not a rule justified by a few matching calculator outputs.

Apply

Repair this explanation: “The square root of 49 is both 7 and −7, so 49^(1/2) has two values.” The equation has those two solutions, but the principal square-root notation chooses the nonnegative one. For a positive input the chosen root is positive.

In your practice response, state the positive-base condition before using the full collection of rational-power laws. Zero can be assigned some nonnegative powers, but a negative power of zero would require division by zero. Negative bases require additional restrictions and can break nested-power rules. Those cases are the next lesson, rather than silently included in this definition.

Continue

Keep a three-step explanation: identify the positive root, apply the integer numerator, and take a reciprocal if the exponent is negative. Your general derivation is stronger evidence than a list of numerical answers because it explains why the procedure is consistent.

This lesson develops N-RN.A.1 through an original root argument. Next, use the same notation to rewrite radicals while preserving their domains. Existence of roots and all exponent extensions to arbitrary real exponents are different claims; the latter requires further reasoning beyond this rational-exponent lesson.