Logarithm — definition as inverse of exponential: Visual walkthrough

Step 1 — What "raising to a power" actually looks like

WHAT. Pick a positive number that is not $1$ — call it the base, written $b$ . Repeated multiplication by $b$ builds a staircase of values. If we multiply $b$ by itself $x$ times we write $b^{x}$ . The little raised number $x$ is the exponent: it counts how many times we multiplied. To keep the first picture simple we start with a base bigger than 1 (say $b = 2$ ); the case $0 < b < 1$ gets its own frame in Step 8.

WHY. Before we can invert a machine, we must watch the machine run forwards. The exponent is the input; the value $b^{x}$ is the output. Keep your eye on which is which.

PICTURE. Look at Step Figure 1. The base is $b = 2$ . Each step to the right multiplies the height by $2$ : $1 \to 2 \to 4 \to 8$ . The red number on the horizontal axis is the exponent (button-presses); the height is the output $b^{x}$ .

Figure — Logarithm — definition as inverse of exponential

$base = 2 b^{multiplications how many x} = we land on the height y$

Step 2 — The output is always positive (a fact we will need)

WHAT. No matter what real $x$ you feed in — big, small, zero, or negative — the height $b^{x}$ is a strictly positive number. It never touches $0$ and never dips below.

WHY. This single fact decides what inputs the log can accept later. If forwards only ever produces positives, then the inverse can only be asked about positives.

PICTURE. In Step Figure 2, watch the curve as we walk left. Negative exponents give fractions ( $2^{- 1} = \frac{1}{2}$ , $2^{- 2} = \frac{1}{4}$ ), shrinking toward the axis but never reaching it. The dashed line $y = 0$ is a floor the curve approaches forever — a horizontal asymptote (an asymptote is a straight line a curve creeps ever closer to but never actually touches).

$b^{- 2} = \frac{1}{b ^{2}} > 0, b^{0} = 1, b^{2} = b \cdot b > 0$

Left term: a negative exponent flips to a fraction — still above zero.
Middle: zero presses leaves you at $1$ (you started at $1$ and multiplied nothing).
Right: positive exponent climbs. Every case lands above the floor.

Step 3 — The curve is one-to-one (why an inverse can exist at all)

WHAT. As $x$ increases, $b^{x}$ moves in one steady direction — always up if $b > 1$ , always down if $0 < b < 1$ — it never flattens or turns back. So every height is reached by exactly one exponent. This property is called one-to-one.

WHY it never turns back. Take $b > 1$ . Going one step right multiplies the current height by $b$ , and multiplying a positive number by something bigger than $1$ always makes it larger. So each step is strictly taller than the last — the curve can only rise, never repeat a height. (For $0 < b < 1$ , multiplying by a factor smaller than 1 always makes it smaller, so it can only fall — still one steady direction, still one-to-one.) An inverse asks "which input gave this output?" That question has a single clean answer exactly when no two inputs share an output. One steady direction guarantees it.

PICTURE. In Step Figure 3, draw any horizontal line at height $y > 0$ . It crosses the curve in exactly one place (the coral dot). That crossing's horizontal position is the answer to "which exponent?"

Step 4 — Turning the question around

WHAT. Forwards we asked: "Given exponent $x$ , what height $y$ ?" Now flip it: "Given height $y$ , which exponent $x$ ?" We give the answer to that new question a name — the logarithm.

WHY. There is no ordinary algebra (add, subtract, multiply, divide) that pulls $x$ down out of $b^{x}$ . The exponent is "trapped upstairs." So mathematics does what it always does when a needed operation is missing: it invents a symbol for the answer. That symbol is $lo g_{b}$ .

PICTURE. Step Figure 4 shows the same crossing dot as before, but now we read it the other way: enter through the vertical axis at height $y$ , travel across to the curve, then drop down to read off the exponent. The log is that "drop-down-and-read" motion.

Step 5 — The two motions cancel (the golden identities)

WHAT. Doing the forward machine and then the log machine returns you to start — and vice versa: $b^{l o g_{b} y} = y and lo g_{b} (b^{x}) = x$

WHY. This is exactly what "inverse" means: two operations that undo each other. We are just checking our named symbol really does the undoing.

PICTURE. Step Figure 5 is a flow loop. Start at $y$ , apply $lo g_{b}$ (find the exponent), then apply "raise $b$ to it" — you arrive back at $y$ . The arrows form a closed circle: nothing is lost.

$b^{lo g_{b} y that makes y the exponent} = y$

Read it aloud: "raise $b$ to the exponent that makes $y$ " — of course you get $y$ . The $lo g_{b}$ found the right exponent; the $b^{(\cdot)}$ used it.

$lo g_{b} (a height b^{x}) = x$

Read it aloud: "which exponent produces $b^{x}$ ?" — it is written right there: $x$ .

Step 6 — Reading off exact values from the picture

WHAT. Because the log just reads a crossing, easy heights give exact answers with no calculator.

WHY. This turns the abstract definition into a skill: convert " $lo g_{b} y = ?$ " into the spoken question " $b$ to what power is $y$ ?" and match a power you know.

PICTURE. Step Figure 6 marks three landing heights on the $b = 2$ curve and drops each to its exponent.

Step 7 — The degenerate & forbidden cases (cover every scenario)

WHAT. Three edges that trip people up. Each gets its own reasoning.

WHY. A tool you can't trust at its boundaries is a tool you don't understand. We show why each edge behaves as it does — never "just because."

A note on the symbol $y \to 0^{+}$ . The arrow $\to$ means "gets closer and closer to," and the little raised $+$ means "from above" — so $y \to 0^{+}$ reads " $y$ slides down toward $0$ while staying positive." (We stay above because Step 2 forbids reaching $0$ .)

PICTURE. Step Figure 7 overlays all three cases on one axis.

Case $y = 1$ (the pivot). $b^{0} = 1$ for any legal base, so $lo g_{b} 1 = 0$ always. Green dot sits at $(1, 0)$ .
Case $y \to 0^{+}$ (approaching the floor). From Step 2 the curve only approaches height $0$ as the exponent runs to $- \infty$ . So $lo g_{b} y$ dives to $- \infty$ — there is a vertical asymptote at $y = 0$ (again: a line the log-curve creeps toward forever without touching).
Case $y \leq 0$ (forbidden). A positive base never produces a zero or negative height (Step 2). So "which exponent gives $- 8$ ?" has no answer. $lo g_{2} (- 8)$ is undefined — not $- 3$ . The exponent's sign controls the size of the output, never its sign.

Step 8 — Both directions at once: the mirror line (and the $0 < b < 1$ case)

WHAT. Plot the forward curve $y = b^{x}$ and the log curve $y = lo g_{b} x$ on the same axes. The log curve is the exponential curve reflected in the line $y = x$ . This works for both families of base:

$b > 1$ : exponential rises, so its log also rises.
$0 < b < 1$ : exponential falls (each step multiplies by a factor under $1$ ), so its log falls too — but every fact above still holds: still positive outputs, still one-to-one, still passes the pivot.

WHY. Reflecting in $y = x$ is the geometric name for swapping input and output. That swap is literally what an inverse does — so the mirror image is the inverse, made visible. (More in Inverse functions and reflection in $y=x$.)

PICTURE. Step Figure 8. On the left, base $b = 2$ ( $> 1$ ): both curves rise. On the right, base $b = \frac{1}{2}$ ( $0 < b < 1$ ): both curves fall. In each panel the dashed diagonal $y = x$ is the mirror, and each point $(a, b^{a})$ has a twin $(b^{a}, a)$ .

Exponential $b^{x}$	reflects to	Logarithm $lo g_{b} x$
passes $(0, 1)$	$\to$	passes $(1, 0)$
horizontal asymptote $y = 0$	$\to$	vertical asymptote $x = 0$
domain: all real $x$	$\to$	range: all real $y$
range: $y > 0$	$\to$	domain: $x > 0$
rises ( $b > 1$ ) / falls ( $0 < b < 1$ )	$\to$	rises / falls the same way

Notice how Step 2's "output always positive" becomes the log's "input must be positive" — the same wall, seen from the other side of the mirror.

The one-picture summary

Step Figure 9 compresses the whole story: the exponential machine (blue), its mirror the log machine (coral), the diagonal mirror line, the pivot point where both meet, and the forbidden shaded region $y \leq 0$ that neither curve enters.

Recall Feynman retelling — say it to a friend

Picture a doubling button. Start at $1$ ; each press doubles: $1, 2, 4, 8, \dots$ . The exponent is just how many times you pressed. That machine only ever grows upward — it can hit $8$ , or a tiny fraction like $\frac{1}{8}$ , but never $0$ and never a negative number. (Swap the button for a halving button — that's a base between 0 and 1 — and everything runs the same way, just downhill.)

Now your friend hands you a height — say $8$ — and asks, "how many presses?" Answering that is the logarithm: $lo g_{2} 8 = 3$ means "you pressed three times." Because the machine never lands on $0$ or below, you can only ask this question about positive heights — that's why $lo g$ of a negative number simply has no answer.

Pressing then un-pressing gets you back where you started — that's why $b^{l o g_{b} y} = y$ and $lo g_{b} (b^{x}) = x$ . And if you draw both machines together, one is just the other seen in a mirror tilted at $4 5^{\circ}$ (the line $y = x$ ), because "how many presses?" is the same question as " $b$ to what power?" read backwards.

Connections

Parent: Logarithm — definition as inverse of exponential (index 3.2.6)
Exponential functions — $b^x$ and its graph
Inverse functions and reflection in $y=x$
Laws of logarithms — product, quotient, power rules
Change of base formula
Natural logarithm $\ln$ and Euler's number $e$
Solving exponential equations

Visual walkthrough — Logarithm — definition as inverse of exponential