3.2.7 · D2Exponentials & Logarithms

Visual walkthrough — Common log (log₁₀) and natural log (ln x)

1,895 words9 min readBack to topic

We need almost nothing to start. Just three plain-English ideas, each drawn:

  • a function is a machine: feed it a number, it spits one out;
  • an inverse undoes a machine (put the output back in, get the input);
  • the slope of a curve at a point is the steepness of the straight line that just grazes it there.

Let's go.


Step 1 — What "slope of a curve" even means

WHAT. Before we touch logarithms, we fix the idea of slope at a point. Take any curve. Pick a point on it. Zoom in. The curve looks straighter and straighter until, super close up, it is a straight line. The steepness of that line is the slope — written , read "how much changes for a tiny change in ."

WHY this tool. We are hunting for the slope of . So we must first agree what slope means, in a way we can compute. The honest definition uses a tiny step :

Term by term: the top is rise (how much the output climbed), the bottom is run (how far right we stepped), and means "shrink the step to nothing so rise-over-run becomes the true steepness right at the point."

PICTURE. The red line is the secant through two nearby points; as shrinks it snaps onto the green tangent — the true slope.

Figure — Common log (log₁₀) and natural log (ln x)

Step 2 — What is: the mirror of

WHAT. The natural log is defined as the inverse of the exponential . In plain words: asks " to what power gives ?"

Reading the two-way arrow: on the left, feed into the log machine, out comes the power . On the right, feed that same into the -machine, out comes again. Each undoes the other.

WHY this matters. Inverses have a beautiful geometric fact: their graphs are mirror images across the line . Flip over that diagonal and you get . We will squeeze the slope of out of the slope of using exactly this mirror — that is the whole plan.

PICTURE. Blue is , yellow is , the dashed diagonal is the mirror . Notice a point on blue becomes on yellow.

Figure — Common log (log₁₀) and natural log (ln x)

Step 3 — The one fact about we are allowed to use

WHAT. The exponential has one magical property, the very reason was invented: its slope equals its own height.

At every point on the blue curve, the steepness of the tangent equals the -value there.

WHY this is fair to assume. This is the defining property of (built in the parent note from continuous compounding, ). We take it as our single ingredient and derive everything else. If you used base instead, the slope of would be times an ugly leftover factor — we will meet that leftover in Step 7.

PICTURE. At three points the green tangent's steepness (its rise-over-run) is drawn equal to the height of the curve there.

Figure — Common log (log₁₀) and natural log (ln x)

Step 4 — The mirror swaps rise and run

WHAT. Here is the geometric heart. Reflecting across swaps the horizontal and vertical directions. A tangent line to with steepness becomes, after the flip, a tangent line to with steepness — the reciprocal.

WHY. Slope is . Mirroring turns "up" into "across" and "across" into "up", so the fraction flips upside down. This is not algebra yet — it is a fact you can see.

PICTURE. The same tangent segment, once as a triangle on blue (rise , run ) and again reflected on yellow (rise , run ). Its slope went from to .

Figure — Common log (log₁₀) and natural log (ln x)

Step 5 — Put the two facts together

WHAT. Take a point on the yellow log curve at horizontal position . Its mirror partner on the blue curve sits at height (that's what mirroring does — swaps coordinates). By Step 3, the blue tangent there has slope equal to its height, which is . By Step 4, the yellow slope is the reciprocal:

Term by term: the mirror sends log-input to an exponential-output of value ; the exponential's slope there is that same (Step 3); flip it (Step 4) and you land on .

WHY it's clean only for base . The reciprocal was perfect because 's slope was exactly its height with no extra factor. That "no extra factor" is the definition of . Any other base leaves a scar — see Step 7.

PICTURE. One matched pair of points: blue point at height with tangent slope ; yellow point at input with tangent slope .

Figure — Common log (log₁₀) and natural log (ln x)

Step 6 — A pure-algebra check (implicit differentiation)

WHAT. The picture is convincing; here is the same argument in symbols so you can verify it. Start from the definition , rewrite as , and differentiate both sides with respect to .

WHY each piece. The left side (a thing changing at the same rate as itself). On the right we used Step 3's fact ( differentiates to ) times — the chain rule, because is itself a function of , so we must account for how fast moves. Now solve:

The reciprocal is the algebra-twin of the mirror-flip in Step 4, and substituting is the twin of the coordinate-swap in Step 5. Same story, two languages. See Differentiation of ln x and e^x.


Step 7 — The degenerate & edge cases (never skip these)

Case . As shrinks toward zero from the right, blows up to : the yellow curve becomes vertical. That matches the mirror — becomes flat (slope ) far to the left, and a flat line reflects to a vertical one.

Case . As grows, : the log curve flattens out. It keeps rising forever but ever more lazily. Mirror-check: gets ever steeper going right, and steep reflects to shallow.

Case (forbidden). There is no point on the yellow curve here at all (Step 2's domain), so asking for its slope is meaningless. For integration we patch this with — the absolute value lets the antiderivative live on the negative side too, but itself still refuses .

Case base (why is special). For a general base , . The extra is the "scar" — the leftover factor from 's slope not equalling its height. Only when is , wiping the scar clean. That is why calculus adopts .

PICTURE. The curve for , with the vertical blow-up near (red) and the flattening tail (green), plus the curve sitting lower to show the scar factor.

Figure — Common log (log₁₀) and natural log (ln x)

The one-picture summary

WHAT. Everything on one canvas: blue with its "slope = height" tangent, the dashed mirror , yellow as the reflection, and the resulting slope read straight off a matched pair. Follow the arrow from a height- point on blue to an input- point on yellow — the slope flips from to .

Figure — Common log (log₁₀) and natural log (ln x)
Recall Feynman: the whole walkthrough in one breath

I want the steepness of the "-to-what?" curve, . I know one lucky fact: the curve is so special that at every point its steepness equals its own height — that's literally what makes the number . Now, is just seen in a mirror placed along the line ; the mirror swaps left–right with up–down. Swapping up and down flips a slope upside-down: rise-over-run becomes run-over-rise. So at the input , whose mirror partner sits at height on the curve where the slope is , the log's slope must be the flip of that — namely . Near zero it goes vertical (the mirror of going flat), far out it goes flat (the mirror of going steep), and it never exists for because can't be zero or negative. Swap the base and a stray factor sneaks in; only keeps the answer spotlessly .


Connections

Concept Map

e^x slope equals its height

reflect across y = x

mirror flips slope upside down

slope of ln x is one over x

blows up near zero flattens at infinity

other bases add factor ln b