Solving logarithmic equations: Visual walkthrough

Step 0 — The two words we will use constantly

Before any symbol, let us name the pieces so nothing sneaks in undefined.

That is the whole story. Everything below is a picture of those two arrows: going up ( $b^{c}$ ) and coming back down ( $lo g_{b}$ ).

Step 1 — Draw the log as a machine that asks a question

WHAT. Picture a "power detective" machine. You feed it a number $N$ ; it hands back the power $c$ that the base $b$ needed.

WHY. If we can see the log as one arrow, we can see its reverse arrow — and the reverse arrow is exactly what solving an equation needs.

PICTURE. In the figure, the cyan arrow $b^{(\cdot)}$ carries the power $c$ up to the number $N$ . The amber arrow $lo g_{b}$ carries the number $N$ back down to the power $c$ . They point opposite ways along the same track.

$b$ — the base, the number being repeatedly multiplied.
$c$ — the power we are hunting for.
$N$ — the result, the number sitting inside the log.
Up-arrow $b^{(\cdot)}$ : "take a power, produce a number."
Down-arrow $lo g_{b}$ : "take a number, produce its power."

This "up then back down returns you home" idea is exactly what Inverse functions means.

Step 2 — Why "log then power" lands you back where you started

WHAT. We claim two facts: $b^{l o g_{b} N} = N and lo g_{b} (b^{c}) = c .$

WHY. These are the inverse statements. The first says: take $N$ down (the log), then back up (the power) — you return to $N$ . This single identity is the engine that "cancels" a log.

PICTURE. Follow the amber path down and the cyan path up in the figure — the little loop closes on the same dot you started from.

Reading the first equation term by term:

$lo g_{b} N$ — "the power $b$ needs to reach $N$ " (a number, the height of the down-arrow).
$b^{(l o g_{b} N)}$ — "raise $b$ by that very power" — climb back up by exactly the height we came down.
$= N$ — so you land on $N$ again.

Recall Check your understanding

What does $lo g_{b} (b^{c})$ simplify to, and why? ::: It is $c$ : the power detective is asked " $b$ to what power gives $b^{c}$ ?" — obviously $c$ .

Step 3 — Turn the question into its answer: $lo g_{b} (N) = c ⟺ N = b^{c}$

WHAT. Start from an equation $lo g_{b} (N) = c$ . Raise the base $b$ to both sides: $b^{l o g_{b} N} = b^{c} .$ By Step 2 the left side collapses to $N$ , giving $N = b^{c} .$

WHY this tool. We chose "raise $b$ to both sides" — not add, not square — because raising $b$ is the exact inverse of $lo g_{b}$ (Step 2). Any other operation would not undo the log; this one does, cleanly.

PICTURE. The figure shows a balance scale: whatever we do to the left pan we do to the right pan, so equality survives. On the left pan the log vanishes; on the right pan $c$ becomes $b^{c}$ .

$b^{l o g_{b} N}$ — the log-and-power loop → collapses to $N$ .
$b^{c}$ — the right side simply climbs up by power $c$ .
$N = b^{c}$ — the equation, now with no log at all. Pure algebra remains.

This is Strategy 1 of the parent note, now derived rather than stated.

Step 4 — The domain gate: why some answers are fake

WHAT. The log machine refuses two inputs: it cannot take a number $\leq 0$ , and its base must satisfy $b > 0, b \neq = 1$ .

WHY. Look at the up-arrow $b^{c}$ . If $b > 0$ , then no matter what power $c$ you choose, $b^{c}$ is always positive — the graph never touches or dips below zero. So the down-arrow (the log) can only ever start from a positive number. Feeding it $0$ or a negative is a question with no answer.

PICTURE. The figure plots $y = b^{c}$ hugging above the horizontal axis, never crossing it. The shaded forbidden strip $N \leq 0$ has no arrow reaching it.

Curve $y = b^{c}$ — every output positive.
Shaded amber strip $N \leq 0$ — the forbidden zone; no valid log input lives here.
Dashed line $b = 1$ — banned because $1^{c} = 1$ for all $c$ , so the detective could never tell powers apart.

Step 5 — When there are many logs: squash them into one first

WHAT. An equation like $lo g_{5} (x) + lo g_{5} (x - 4) = 1$ has two logs. We cannot undo two at once. Use the product law to combine: $lo g_{5} (x) + lo g_{5} (x - 4) = lo g_{5} (x (x - 4)) .$

WHY. The product law is not magic — it is an index law wearing a costume. Recall from Laws of logarithms: if $M = b^{p}$ and $N = b^{q}$ , then $M N = b^{p + q}$ , so their powers add. Since a log is a power, adding logs = one log of the product.

PICTURE. Two separate power-heights $p$ and $q$ stacked on top of each other equal the single height $p + q$ — the figure stacks two cyan bars into one taller amber bar.

$lo g_{5} (x) = p$ — height (power) to reach $x$ .
$lo g_{5} (x - 4) = q$ — height to reach $x - 4$ .
$p + q$ — stacked total = the power to reach the product $x (x - 4)$ .

Now there is one log, and Step 3 applies again. This is Strategy 2.

Step 6 — Run the full machine on a real equation

WHAT. Solve $lo g_{5} (x) + lo g_{5} (x - 4) = 1$ end to end.

Step 6a — Combine (Step 5): $lo g_{5} (x (x - 4)) = 1$ . Step 6b — Exponentiate (Step 3): $x (x - 4) = 5^{1} = 5$ . Step 6c — Algebra: $x^{2} - 4 x - 5 = 0 \Rightarrow (x - 5) (x + 1) = 0 \Rightarrow x = 5$ or $x = - 1$ . (This is a quadratic.) Step 6d — Domain gate (Step 4): need $x > 0$ and $x - 4 > 0$ , i.e. $x > 4$ .

WHY the gate now bites. $x = 5$ sits in the allowed region ( $5 > 4$ ) ✓. But $x = - 1$ makes $lo g_{5} (- 1)$ — the forbidden strip of Step 4 — so it is a fake root ✗.

PICTURE. The number line shows the allowed region $x > 4$ shaded cyan. The dot at $x = 5$ is inside it (kept); the dot at $x = - 1$ is far left in the amber forbidden zone (rejected).

$x = 5$

Green tick at $x = 5$ : both arguments positive → valid.
Red cross at $x = - 1$ : argument negative → extraneous, discard.

Step 7 — The degenerate cases (so nothing surprises you)

WHAT. Three edge scenarios and what the picture says about each.

Case	What happens	Why (picture)
$c = 0$	$lo g_{b} N = 0 \Rightarrow N = b^{0} = 1$	Height zero means you never climbed — you sit at $1$ .
$N = 1$	$lo g_{b} 1 = 0$ for any valid $b$	The up-arrow at power $0$ always lands on $1$ .
Both sides logs, same base	$lo g_{b} M = lo g_{b} N \Rightarrow M = N$	The down-arrow is strictly one-directional (one-to-one): equal heights force equal numbers. This is Strategy 3.

PICTURE. The figure overlays $y = lo g_{b} x$ for a base $b > 1$ , showing it passes through $(1, 0)$ (the $N = 1$ case) and rises without ever repeating a height — that "never repeats" is precisely why equal logs force equal arguments.

Point $(1, 0)$ : where the log crosses zero — the $c = 0$ / $N = 1$ meeting point.
Strictly rising curve: no two inputs share an output → one-to-one → Strategy 3 is safe.

Recall Why equating arguments needs the same base

If bases differ, the two curves have different steepness, so equal heights no longer mean equal numbers. Fix by converting with the Change of base formula first.

The one-picture summary

Everything on this page is one loop: combine many logs into one, exponentiate to erase the log (undo via the inverse up-arrow), do ordinary algebra, then pass every answer through the domain gate.

Recall Feynman retelling — say it like you'd tell a friend

A logarithm is a "power detective": $lo g_{2} 8$ asks "how many 2's multiply to 8?" — three. Climbing up ( $2^{3}$ ) and coming back down ( $lo g_{2}$ ) are opposite arrows on the same track, so doing one then the other drops you exactly where you began. That is the trick: an equation with a log is a riddle stated backwards. To solve it, raise the base to both sides — that undoes the log because raising is the exact reverse of taking a log — and now you have plain algebra with no logs left. If there are several logs, first stack them into one using the product law (which is really just "powers add when you multiply"). Solve the plain equation. Then — always — remember the machine refuses zero and negatives: any answer that would ask "what power gives a negative number?" is a lie, so cross it out. Combine, Exponentiate, Check. Cats Eat Cheese.

Connections

Laws of logarithms
Exponential equations
Change of base formula
Inverse functions
Quadratic equations by substitution
Domain and range of log functions