P1.2.1 - Laws of indices for rational exponents

P1.2.1 - Laws of indices for rational exponents

Index laws are the rules that let you simplify powers without expanding long strings of multiplication. In A-level algebra the indices can be fractions or negative numbers as well as positive integers, so the same rules become a compact language for roots, reciprocals and powers. This lesson builds the rules from their meaning, then uses them in the kind of exact simplification steps that appear throughout pure mathematics.

Meaning of indices

In an expression such as ara^r, the number or expression aa is the base and rr is the index. For example, in x3/2x^{3/2}, the base is xx and the index is 32\frac{3}{2}.

For positive integer indices, the meaning is repeated multiplication:

a4=a×a×a×a.a^4=a\times a\times a\times a.

The laws of indices are designed so that this repeated-multiplication pattern keeps working when the indices are rational numbers such as 12\frac{1}{2}, 34\frac{3}{4}, or 23-\frac{2}{3}.

Rational exponent

A rational exponent is an exponent that can be written as mn\frac{m}{n}, where mm and nn are integers and n0n\ne 0.

For this lesson, when a variable has a fractional exponent, assume the base is positive unless a restriction is stated. For example, write x>0x>0 when using x1/2x^{1/2}, x3/2x^{3/2}, or x2/3x^{-2/3} as general real-valued algebra. When dividing by powers of a base, the base must also be non-zero.

Worked example 1

Identify the base and index in each expression.

  1. 52/35^{2/3}
  2. (2x1)4(2x-1)^{-4}
  3. p1/2q3p^{1/2}q^3

Solution

In 52/35^{2/3}, the base is 55 and the index is 23\frac{2}{3}.

In (2x1)4(2x-1)^{-4}, the whole bracket 2x12x-1 is the base and the index is 4-4. The brackets matter: (2x1)4(2x-1)^{-4} is not the same as 2x142x-1^{-4}.

In p1/2q3p^{1/2}q^3, there are two bases. The base pp has index 12\frac{1}{2}, and the base qq has index 33. Index laws must be applied separately to each base.

The three core laws

The Pearson specification names three core laws. They are laws for powers with the same base.

Core index laws

For a suitable base aa and rational indices mm and nn,

am×an=am+n,am÷an=amn,(am)n=amn.a^m\times a^n=a^{m+n},\qquad a^m\div a^n=a^{m-n},\qquad (a^m)^n=a^{mn}.

The first law adds indices because the repeated factors are being put together. For instance,

a3×a2=(a×a×a)×(a×a)=a5.a^3\times a^2=(a\times a\times a)\times(a\times a)=a^5.

The second law subtracts indices because division cancels common factors:

a5a2=a×a×a×a×aa×a=a3.\frac{a^5}{a^2}=\frac{a\times a\times a\times a\times a}{a\times a}=a^3.

The third law multiplies indices because a power is being repeated:

(a3)2=a3×a3=a6.(a^3)^2=a^3\times a^3=a^6.

These examples use integer indices so the structure is visible. The specification requires the same laws to be used for all rational exponents, so the same moves apply to expressions such as x1/2×x3/2x^{1/2}\times x^{3/2} and (x2/3)6(x^{2/3})^6.

The quotient law also explains the zero index. If a0a\ne 0, then

amam=1\frac{a^m}{a^m}=1

but the quotient law gives

amam=amm=a0.\frac{a^m}{a^m}=a^{m-m}=a^0.

So a0=1a^0=1 for any non-zero base aa.

Worked example 2

Simplify each expression, giving your answer using positive indices where possible. Assume x>0x>0.

x5/3×x1/3,x7/2x3/2,(x2/5)10.x^{5/3}\times x^{1/3},\qquad \frac{x^{7/2}}{x^{3/2}},\qquad (x^{-2/5})^{10}.

Solution

For the product, the bases are both xx, so add the indices:

x5/3×x1/3=x5/3+1/3=x6/3=x2.x^{5/3}\times x^{1/3}=x^{5/3+1/3}=x^{6/3}=x^2.

For the quotient, the bases are both xx, so subtract the indices:

x7/2x3/2=x7/23/2=x4/2=x2.\frac{x^{7/2}}{x^{3/2}}=x^{7/2-3/2}=x^{4/2}=x^2.

For the power of a power, multiply the indices:

(x2/5)10=x(2/5)×10=x4.(x^{-2/5})^{10}=x^{(-2/5)\times 10}=x^{-4}.

Using positive indices,

x4=1x4.x^{-4}=\frac{1}{x^4}.

So the three simplified answers are

x2,x2,1x4.x^2,\qquad x^2,\qquad \frac{1}{x^4}.

The three core laws Continued

The most common error is to use the right operation with the wrong law. Multiplication of powers means add indices, not multiply them. A power raised to a power means multiply indices, not add them.

Fractional and negative indices

Fractional indices connect powers to roots. The denominator of the fraction tells you the root; the numerator tells you the power.

Fractional index

For a>0a>0 and integers m,nm,n with n>0n>0,

am/n=(an)m=amn.a^{m/n}=\left(\sqrt[n]{a}\right)^m=\sqrt[n]{a^m}.

This is the equivalence required by the specification. It lets you choose the easier order. For 163/416^{3/4}, it is easier to take the fourth root first:

163/4=(164)3=23=8.16^{3/4}=\left(\sqrt[4]{16}\right)^3=2^3=8.

For 272/327^{2/3}, take the cube root first:

272/3=(273)2=32=9.27^{2/3}=\left(\sqrt[3]{27}\right)^2=3^2=9.

A negative index means reciprocal:

ar=1ar.a^{-r}=\frac{1}{a^r}.

So a negative fractional index combines both ideas:

272/3=1272/3=19.27^{-2/3}=\frac{1}{27^{2/3}}=\frac{1}{9}.

Worked example 3

Evaluate exactly:

813/4,322/5,(116)3/4.81^{3/4},\qquad 32^{-2/5},\qquad \left(\frac{1}{16}\right)^{-3/4}.

Solution

For 813/481^{3/4}, take the fourth root first:

813/4=(814)3=33=27.81^{3/4}=\left(\sqrt[4]{81}\right)^3=3^3=27.

For 322/532^{-2/5}, deal with the negative index by making a reciprocal:

322/5=1322/5.32^{-2/5}=\frac{1}{32^{2/5}}.

Then use the fifth root:

322/5=(325)2=22=4.32^{2/5}=\left(\sqrt[5]{32}\right)^2=2^2=4.

So

322/5=14.32^{-2/5}=\frac{1}{4}.

For (116)3/4\left(\frac{1}{16}\right)^{-3/4}, the negative index first changes the base to its reciprocal:

(116)3/4=163/4.\left(\frac{1}{16}\right)^{-3/4}=16^{3/4}.

Now use the fourth root:

163/4=(164)3=23=8.16^{3/4}=\left(\sqrt[4]{16}\right)^3=2^3=8.

Explain It Back

Use this as a self-explanation check after the section above. It is for diagnosing what you can already explain, not for learning new material from scratch.

That example is a useful stress test: the answer is positive because the negative index creates a reciprocal, not a negative number.

Simplifying with common bases

Index laws only combine powers with the same base. Sometimes the base is already the same, as in x1/2x5/2x^{1/2}x^{5/2}. Sometimes you need to rewrite numbers using a common base first.

For example, 88, 1616 and 3232 can all be written as powers of 22:

8=23,16=24,32=25.8=2^3,\qquad 16=2^4,\qquad 32=2^5.

This makes an expression such as 82/3×161/28^{2/3}\times 16^{1/2} much easier to simplify:

82/3×161/2=(23)2/3×(24)1/2.8^{2/3}\times 16^{1/2} =(2^3)^{2/3}\times (2^4)^{1/2}.

Now apply the power law:

(23)2/3=23×2/3=22,(24)1/2=24×1/2=22.(2^3)^{2/3}=2^{3\times 2/3}=2^2, \qquad (2^4)^{1/2}=2^{4\times 1/2}=2^2.

Then multiply:

22×22=24=16.2^2\times 2^2=2^4=16.

Worked example 4

Simplify fully:

253/2×511251/3.\frac{25^{3/2}\times 5^{-1}}{125^{1/3}}.

Solution

Rewrite every number as a power of 55:

25=52,125=53.25=5^2,\qquad 125=5^3.

Substitute these into the expression:

253/2×511251/3=(52)3/2×51(53)1/3.\frac{25^{3/2}\times 5^{-1}}{125^{1/3}} =\frac{(5^2)^{3/2}\times 5^{-1}}{(5^3)^{1/3}}.

Apply the power law:

(52)3/2=53,(53)1/3=5.(5^2)^{3/2}=5^3, \qquad (5^3)^{1/3}=5.

So the expression becomes

53×515.\frac{5^3\times 5^{-1}}{5}.

Combine the powers in the numerator:

53×51=52.5^3\times 5^{-1}=5^2.

Then divide by 5=515=5^1:

5251=521=5.\frac{5^2}{5^1}=5^{2-1}=5.

Therefore

253/2×511251/3=5.\frac{25^{3/2}\times 5^{-1}}{125^{1/3}}=5.

Simplifying with common bases Continued

Do not force a common base when there is no useful common base. For example, 23×522^3\times 5^2 is already exact; it is 8×25=2008\times25=200, not 10510^5.

Algebraic expressions

In algebraic simplification, apply index laws separately to each base. If an expression contains both xx and yy, collect the powers of xx together and the powers of yy together.

Worked example 5

Simplify

6x5/2y1/33x1/2y2/3,\frac{6x^{5/2}y^{-1/3}}{3x^{-1/2}y^{2/3}},

where x>0x>0 and y>0y>0. Give your answer using positive indices.

Solution

First simplify the numerical coefficient:

63=2.\frac{6}{3}=2.

Now collect the powers of xx. Since the powers are being divided, subtract the indices:

x5/2x1/2=x5/2(1/2)=x6/2=x3.\frac{x^{5/2}}{x^{-1/2}}=x^{5/2-(-1/2)}=x^{6/2}=x^3.

Now collect the powers of yy:

y1/3y2/3=y1/32/3=y1.\frac{y^{-1/3}}{y^{2/3}}=y^{-1/3-2/3}=y^{-1}.

So the expression is

2x3y1.2x^3y^{-1}.

Using positive indices,

2x3y1=2x3y.2x^3y^{-1}=\frac{2x^3}{y}.

Algebraic expressions Continued

When checking your answer, look at each base separately. A fully simplified answer should not leave a negative index unless the question allows it.

For rational exponents, the same three laws still control the algebra: add indices when multiplying like bases, subtract when dividing like bases, and multiply when raising a power to a power. Fractional indices are roots, and negative indices are reciprocals.