Laws of exponents — review with real exponents: Visual walkthrough

Before any algebra, let us agree on what a power even is — in a picture.

Step 1 — What a power looks like: a row of identical blocks

WHAT. The symbol $a^{n}$ (read " $a$ to the $n$ ") is shorthand for a row of $n$ identical copies of $a$ , all multiplied together. Here $a$ is the base (the thing being copied) and $n$ is the exponent (how many copies).

WHY a picture at all? Because the whole law we are chasing is nothing but counting blocks. If you can see the blocks, you never memorise — you just recount.

PICTURE. Below, each pale-yellow block is one copy of $a$ . The row labelled $a^{3}$ has three blocks; $a^{2}$ has two blocks.

Figure — Laws of exponents — review with real exponents

We insist $a > 0$ throughout. (Why not $a = 0$ or $a < 0$ ? Those get their own step — Step 7 — because they fail for different reasons.) Keep the block picture in your head — every step below is just sliding rows of blocks together.

Step 2 — Multiplying two powers = pushing two rows together

WHAT. Take one row of $m$ blocks ( $a^{m}$ ) and a second row of $n$ blocks ( $a^{n}$ ). Multiplying them, $a^{m} \cdot a^{n}$ , means placing the second row right after the first.

WHY this move? Multiplication just says "and then multiply by these too." So $a^{m} \cdot a^{n}$ literally appends the $n$ -block row onto the $m$ -block row. No new rule invented — we are only rearranging blocks we already had.

PICTURE. The blue row ( $a^{m}$ ) and the pink row ( $a^{n}$ ) slide together into one long row.

$a^{m} \cdot a^{n} = m blue (a \dots a) n pink (a \dots a)$

$a^{m}$ ::: the blue pile — $m$ copies
$a^{n}$ ::: the pink pile — $n$ copies
the space between them ::: the multiplication dot; it does nothing to the blocks, just joins the piles

Step 3 — Count the whole row: the exponents add

WHAT. How many blocks are in the joined row? Just count: $m$ blue ones, then $n$ pink ones, so $m + n$ blocks total. A single row of $m + n$ copies of $a$ is $a^{m + n}$ .

WHY the " $+$ "? Because we are counting a combined pile. Counting a group of $m$ things and then $n$ more things is addition — that is the only place the plus sign comes from. There is nothing deeper; the plus in the exponent is just "how many blocks altogether."

PICTURE. The same long row from Step 2, now with a single bracket underneath counting all the blocks as $m + n$ .

Step 4 — Force the law to survive at $n = 0$ : why $a^{0} = 1$

WHAT. So far $n$ was at least $1$ — a row must have blocks. What if a row has zero blocks? We are not free to guess $a^{0}$ ; we demand that the product law from Step 3 keeps working, and see what it forces.

WHY force it? A rule with a hole in it (works for $n \geq 1$ but breaks at $0$ ) is useless. We want one law, no exceptions. So we insist Step 3 stays true, plug in $n = 0$ , and let the algebra tell us the only allowed value.

With that in hand, $a^{0}$ is the empty product (zero copies of $a$ ), so $a^{0} = 1$ directly. The product law then simply confirms it: $a^{m} \cdot a^{0} = a^{m + 0} = a^{m} ⟹ a^{0} = \frac{a ^{m}}{a ^{m}} = 1$

$a^{m} \cdot a^{0}$ ::: an $m$ -row joined with an empty row
$a^{m + 0} = a^{m}$ ::: joining an empty row adds nothing, so the count is unchanged
$a^{0} = a^{m} / a^{m}$ ::: divide both sides by $a^{m}$ ; since $a > 0$ , that division is legal (never $0/0$ )
$= 1$ ::: matches the empty-product value — the two viewpoints agree

PICTURE. An empty row (no blocks) tacked onto $a^{m}$ — the count stays $m$ , so the empty row must "weigh" $1$ .

Step 5 — Force negative exponents: why $a^{- n} = 1/ a^{n}$

WHAT. Now let the exponent go below zero. What could " $- n$ blocks" mean? Again we do not guess — we force Step 3 to survive.

WHY. We want to append an $(- n)$ -row to an $n$ -row and land on the empty row ( $a^{0} = 1$ ). Whatever "un-does" $n$ blocks back to nothing is the meaning of $a^{- n}$ .

$a^{n} \cdot a^{- n} = a^{n + (- n)} = a^{0} = 1 ⟹ a^{- n} = \frac{1}{a ^{n}}$

$a^{n} \cdot a^{- n}$ ::: a full row and its "anti-row"
$n + (- n) = 0$ ::: they cancel to the empty row
$= 1$ ::: from Step 4, the empty row is $1$
$a^{- n} = 1/ a^{n}$ ::: the anti-row is whatever flips $a^{n}$ into its reciprocal so the product is $1$

PICTURE. A row of $n$ blocks and a pink "anti-row" (drawn as a fraction bar) that cancels it down to a single unit block ( $= 1$ ).

Step 6 — Force fractional exponents: why $a^{m / q} = (q a)^{m}$

WHAT. Push the same "make the law survive" idea onto a fraction upstairs. We build this in two clicks: first the single root $a^{1/ q}$ , then the general rational $a^{m / q}$ . We will need the companion power-of-a-power law $(a^{m})^{n} = a^{mn}$ , so let us earn that from blocks first.

WHY unpack power-of-a-power? Because $a^{1/ q}$ is defined by demanding $(a^{1/ q})^{q} = a$ , and we may not use a law we have not seen in blocks.

PICTURE (still one long row). Below, three chunks of length $m = 2$ are laid end to end ( $n = 3$ ). The bracket counts all $6$ blocks as $m \times n$ — no square, no area, just a longer row.

Now the two clicks:

Click 1 — single root. We want $(a^{1/ q})^{q} = a^{\frac{1}{q} \cdot q} = a^{1} = a$ . So $a^{1/ q}$ is the number whose $q$ -th power is $a$ — the $q$ -th root: $a^{1/ q} = q a .$

Click 2 — general rational $m / q$ . Write $\frac{m}{q} = m \cdot \frac{1}{q}$ and apply power-of-a-power: $a^{m / q} = (a^{1/ q})^{m} = (q a)^{m} .$

$a^{1/ q}$ ::: first take the $q$ -th root (one super-block)
$(\dots)^{m}$ ::: then make a row of $m$ of them (repeat $m$ times)
$(q a)^{m}$ ::: root first, power second — a plain block-row of $m$ copies of $q a$

So a rational exponent like $a^{7/5}$ is fully block-defined: build the super-block $5 a$ , then lay $7$ of them in a row. This is the block-meaning of every decimal exponent used later. See Rational Exponents and Radicals for the full bridge.

Recall Why is a decimal like

$1.41$ a rational (fraction) exponent? A terminating decimal is just a fraction over a power of ten: $1.4 = \frac{14}{10}$ , $1.41 = \frac{141}{100}$ , $1.414 = \frac{1414}{1000}$ . Each is $\frac{m}{q}$ with whole $m, q$ — so each already has the Step 6 block-meaning " $m$ copies of $q a$ ." That is exactly why we may call them "already defined."

Step 7 — The degenerate bases: $a = 0$ and $a < 0$ (two different failures)

WHAT. Everything above quietly assumed $a > 0$ . There are two excluded bases, and they misbehave for different reasons — so we separate them.

Case $a = 0$ . For a positive whole exponent, $0^{n}$ is perfectly fine: $0^{1} = 0$ , $0^{2} = 0 \cdot 0 = 0$ — a row of zeros multiplies to zero, no problem. The trouble starts elsewhere:

$0^{- 1} = \frac{1}{0 ^{1}} = \frac{1}{0}$ ::: undefined — Step 5 needs the reciprocal, and you cannot divide by zero
$0^{0}$ ::: ambiguous — the empty product says $1$ , but "zero to a power" pulls toward $0$ ; there is no single agreed value So $a = 0$ is barred not because it is "bad" everywhere, but because negative and zero exponents on it break (division by zero, ambiguity). Positive-integer powers of $0$ are fine; we just cannot build the full real-exponent system on it.

Case $a < 0$ . Here the failure is a genuine contradiction in the fraction rule. A fraction upstairs can be re-spelled ( $2/6 = 1/3$ ), and for a negative base the spellings disagree: $(- 8)^{1/3} = - 2 but (- 8)^{2/6} = 6 (- 8)^{2} = 664 = + 2$

$2/6$ and $1/3$ ::: the same exponent, reduced
$- 2$ vs $+ 2$ ::: two different answers — the law $a^{2/6} = a^{1/3}$ has collapsed
the fix ::: forbid it — demand $a > 0$ , and the ambiguity vanishes

WHY show both? So you never wander into either trap thinking "it's just like $a > 0$ ." $a = 0$ dies from division by zero / ambiguity; $a < 0$ dies from multi-valued roots. Only $a > 0$ survives every step.

PICTURE. Left panel: $0^{n}$ fine for $n > 0$ but $0^{- 1}$ and $0^{0}$ flagged. Right panel: the $(- 8)$ fork landing on $- 2$ and $+ 2$ with a red contradiction splash.

Step 8 — Push all the way to real (irrational) exponents

WHAT. What is $2^{2}$ , when $2 = 1.41421 \dots$ never ends and is no fraction? We cannot "count $2$ blocks." Instead we trap $2$ between terminating decimals (which are fractions, hence block-defined by Step 6) and watch where the powers head.

WHY a limit (this tool, not another)? A limit answers precisely the question "the inputs are creeping toward a target we can't hit exactly — where is the output heading?"

Intuition Why the outputs settle on ONE number — for

every positive base Two block facts do all the work, and we must check both kinds of base. (1) Monotonic — either direction. If $a > 1$ , a longer exponent means more growth, so the values climb as the decimal grows (increasing). If $0 < a < 1$ (say $a = \frac{1}{2}$ ), each extra copy shrinks the value, so the values descend as the decimal grows (decreasing). If $a = 1$ , every power is just $1$ . In all three cases the values march steadily one way — they never bounce around. (2) Squeezed. $2$ is pinned between $1.41421$ (below) and $1.41422$ (above); the two powers $a^{1.41421}$ and $a^{1.41422}$ are already block-defined and lie astonishingly close. Add one more decimal and the gap shrinks by a factor of ten. A steadily-marching value trapped in a gap collapsing to zero width can only be closing in on a single number — whether it climbs to it (base $> 1$ ) or descends to it (base $< 1$ ). That trapped-between-shrinking-bounds picture is exactly what " $a^{x}$ is continuous" means, and it holds for all $a > 0$ .

Recall Why may we say "limits respect

$+$ and $\times$ "? That is the content of the limit laws: if $a^{r} \to L$ and $a^{s} \to M$ as the rationals $r, s$ close in, then $a^{r} a^{s} \to L M$ and $a^{r + s} \to L \cdot M$ too. In words: the limit of a product is the product of the limits, and likewise for sums. These are proved in Limits and Continuity; the matching statement that $a^{x}$ itself has no jumps lives in Exponential Functions and their Graphs. We use them here — we do not re-prove them.

$2^{1.4}, 2^{1.41}, 2^{1.414}, 2^{1.4142}, \dots ⟶ 2^{2}$

each entry ::: a rational exponent (a terminating decimal) — already block-defined by Step 6
the arrow $⟶$ ::: "closes in on" — the limit
$2^{2}$ ::: the single value all these approach ( $\approx 2.6651$ )

Because the limit laws let $+$ and $\times$ pass through, every law survives unchanged — e.g. $2^{2} \cdot 2^{2} = 2^{22}$ , exactly as if $2$ were a whole number.

PICTURE. A staircase of dots climbing the smooth curve $y = 2^{x}$ (base $> 1$ , increasing) beside a second curve $y = (\frac{1}{2})^{x}$ (base $< 1$ , decreasing) — both squeezing onto the vertical line $x = 2$ .

The base $e$ (see Number e and Natural Exponential) and logarithms (see Logarithms — Definition) are built on exactly this machinery.

The one-picture summary

Everything above compressed into a single flow: blocks → join them → count → force the gaps (zero, negative, fraction) → forbid $a \leq 0$ → limit to reals.

Recall Feynman retelling — the whole walkthrough in plain words

A power is a row of identical blocks: $a^{3}$ is three copies of $a$ multiplied. To multiply two powers you just shove the two rows together and count all the blocks — $m$ blocks then $n$ more is $m + n$ , and that "count them all" is why the little numbers add. Now we don't want holes in the rule. An empty row must count as $1$ — multiplying no factors at all (the empty product) starts at the do-nothing value $1$ — so $a^{0} = 1$ . An anti-row must cancel a row down to nothing, so $a^{- n} = 1/ a^{n}$ (a flip, never a negative). Repeating a row $n$ times lays $m \times n$ blocks in one long line, so $(a^{m})^{n} = a^{mn}$ ; reading that backwards makes a fraction upstairs a root, and $a^{m / q}$ is just $m$ copies of the $q$ -th root. We only allow positive bases: $a = 0$ dies on negative or zero exponents (dividing by zero, or the ambiguous $0^{0}$ ), and $a < 0$ dies because the same fraction spelled two ways (like $2/6$ and $1/3$ ) gives two clashing answers. Finally, for an endless irrational exponent like $2$ , we trap it between terminating decimals — which are secretly fractions — and the marching values (climbing if base $> 1$ , descending if base $< 1$ ) get squeezed into a gap shrinking to zero, so they close in on one number. Since the limit laws let $+$ and $\times$ pass through, all the block-counting laws survive the trip. One idea, all the way up: count the blocks.

Connections

Laws of Exponents — Review with Real Exponents — the parent this walkthrough visualises.
Rational Exponents and Radicals — the fraction-to-root step (Step 6).
Exponential Functions and their Graphs — the smooth curve behind Step 8.
Limits and Continuity — why the irrational limit lands on one value.
Number e and Natural Exponential — the special base built on these laws.
Logarithms — Definition — the inverse machine that undoes all of this.
Binomial Theorem — the correct expansion of $(a + b)^{n}$ , not $a^{n} + b^{n}$ .

Visual walkthrough — Laws of exponents — review with real exponents