Fractional Indices
Punch 9^{0.5} into a calculator and it answers 3.
Try 8^{1/3} and out comes 2. That looks impossible —
how can you multiply a number by itself "half a time"? You can't, at least not in the
counting-on-your-fingers way. Yet the calculator is completely right, and the reason is one of the
neatest tricks in all of arithmetic.
Here is the punchline first: a fractional index is a root. A power of
\tfrac{1}{2} means the square root, a power of
\tfrac{1}{3} means the cube root, and so on. So
9^{1/2} = \sqrt{9} = 3 and
8^{1/3} = \sqrt[3]{8} = 2. Roots and powers turn out to be the
same idea wearing two different costumes.
Why a half must mean "square root"
Nobody just decided this to be cute. It is forced on us by the
laws of indices you already
know — the rule that when you multiply powers of the same base, the indices add.
Suppose a^{1/2} is going to mean something. Whatever it is, if
we multiply it by itself the indices must add:
a^{1/2} \times a^{1/2} = a^{\,\frac12 + \frac12} = a^{1} = a
So a^{1/2} is a number that gives a when
multiplied by itself. But that is the exact definition of the square root! There is no wiggle
room — if the index laws are to keep working, a^{1/2} is
obliged to be \sqrt{a}.
The same argument works for any root. Multiply a^{1/3} by itself three
times and the indices add to 1:
a^{1/3} \times a^{1/3} \times a^{1/3} = a^{\,\frac13+\frac13+\frac13} = a^{1} = a,
so a^{1/3} is the number you cube to get a —
the cube root. In general:
a^{1/n} = \sqrt[n]{a}.
Worked examples: the simple roots
Pick perfect squares and cubes and these come out clean. Read the denominator of the index as
"which root", then just recall your times tables:
- 25^{1/2} = \sqrt{25} = 5, because 5\times5=25.
- 64^{1/2} = \sqrt{64} = 8, because 8\times8=64.
- 27^{1/3} = \sqrt[3]{27} = 3, because 3\times3\times3=27.
- 1000^{1/3} = \sqrt[3]{1000} = 10, because 10^3=1000.
The full fraction: a^{m/n}
What if the top of the fraction isn't 1? A general index
\tfrac{m}{n} says: take the nth root, then raise to the mth
power. The denominator is the root, the numerator is the power:
a^{m/n} = \left(\sqrt[n]{a}\right)^{m} = \left(\sqrt[n]{a}\,\right)^{m}.
Why is this allowed? Because \tfrac{m}{n} = m \times \tfrac{1}{n}, and
the power-of-a-power law says you multiply the indices:
a^{m/n} = \left(a^{1/n}\right)^{m} = \left(\sqrt[n]{a}\right)^{m}.
Example 1 — 8^{2/3}. The denominator 3 says cube
root; the numerator 2 says square it:
8^{2/3} = \left(\sqrt[3]{8}\right)^{2} = 2^{2} = 4.
Example 2 — 16^{3/2}. The 2 says square root; the 3
says cube it:
16^{3/2} = \left(\sqrt{16}\right)^{3} = 4^{3} = 64.
Example 3 — 32^{2/5}. The 5 says fifth root
(2^5=32); the 2 says square it:
32^{2/5} = \left(\sqrt[5]{32}\right)^{2} = 2^{2} = 4.
Negative and fractional together
You can stack the ideas. A negative index means "reciprocal" (flip it over) and a
fractional index means "root" — so a negative fraction means flip it and take
the root:
4^{-1/2} = \frac{1}{4^{1/2}} = \frac{1}{\sqrt{4}} = \frac{1}{2}.
27^{-2/3} = \frac{1}{27^{2/3}} = \frac{1}{\left(\sqrt[3]{27}\right)^{2}} = \frac{1}{3^{2}} = \frac{1}{9}.
Notice how each rule you meet just slots into place beside the others — nothing is thrown away.
When the answer isn't whole
Perfect squares and cubes give tidy whole answers, but most bases don't. What is
2^{1/2}? It is \sqrt{2}, and
\sqrt{2}=1.41421\ldots — a never-ending, never-repeating decimal. That
is completely fine. A fractional index is still a perfectly good number; it just happens to be
irrational, so we round it when we need a figure:
2^{1/2}\approx 1.414,\qquad 5^{1/3}\approx 1.710,\qquad 10^{1/2}\approx 3.162.
These "in-between" values are the whole point of fractional indices: they fill the gaps between the
whole-number powers so densely that the powers of a base join up into one smooth, unbroken curve.
Checking your work — run it backwards
Every root claim can be checked by raising it back to the power. If
8^{2/3}=4 is right, then multiplying the index by
\tfrac{3}{2} should undo it and return the 8-side. More simply, verify
the root itself: you claimed \sqrt[3]{8}=2, so check
2^3=8 — yes. Then 2^2=4. Done, with
confidence.
It is also worth knowing that the root and the power can be done in either order — the
value is the same:
a^{m/n} = \left(\sqrt[n]{a}\right)^{m} = \sqrt[n]{a^{m}}.
For 8^{2/3}: root-first is (\sqrt[3]{8})^2 = 2^2 = 4,
and power-first is \sqrt[3]{8^2} = \sqrt[3]{64} = 4. Same answer — but
root-first kept the numbers small, which is why we recommend it.
Two classic slip-ups live in this topic:
-
Take the root before the power. For a^{m/n} it is
almost always easier to do the root (the bottom) first, then the power. Compare
the two routes for 16^{3/2}: root-first gives
4^{3}=64 in your head, while power-first makes you compute
16^{3}=4096 and then hunt for its square root. Same answer, far more
painful. Small numbers first, always.
-
Denominator = root, numerator = power — not the other way round. In
8^{2/3} the 3 on the bottom is the cube root and the
2 on top is the squaring: cube root then square, giving 4. Swapping them
(square root then cube) is a different, wrong calculation. A handy memory hook: the root sign
"digs down" to the bottom of the fraction.
You can literally see a^{1/2}. Draw a square whose area is
a. How long is each side? Whatever length, call it
s, must satisfy s\times s = a — so
s = \sqrt{a} = a^{1/2}. The power one-half is the side of a
square of that area.
So a garden bed of area 9\text{ m}^2 has sides
9^{1/2}=3\text{ m}, and a floor of area
144\text{ m}^2 has sides 144^{1/2}=12\text{ m}.
In the same spirit, a^{1/3} is the edge length of a cube of
volume a. The abstract index has a concrete shape.
Fractional indices are the last piece that completes the whole "power" story — and once it clicks
in, a single notation a^{x} covers everything:
- Whole numbers → repeated multiplication: a^{3}=a\cdot a\cdot a.
- Zero → gives 1: a^{0}=1.
- Negatives → reciprocals: a^{-1}=\tfrac{1}{a}.
- Fractions → roots: a^{1/2}=\sqrt{a}.
So 2^{2.5} = 2^{5/2} = \left(\sqrt{2}\right)^{5} \approx 5.657 — no
magic, just root-and-power. Because a^{x} now makes sense for
any number x, you can join the dots into a smooth curve. That
curve is the exponential
graphs — the maths behind compound interest, populations, and radioactive decay.
Extending a pattern until it covers everything is one of the most powerful moves in mathematics,
and here it hands you growth itself.