4.1.20 · D1Calculus I — Limits & Derivatives

Foundations — Derivatives of ln x and logₐ(x)

3,087 words14 min readBack to topic

This page assumes you have seen nothing. Before we can even talk about the slope of , we must earn every mark on the page: what a power is, what a log undoes, what a limit is, what is, what a slope is, and what the strange squiggle means. We build them in order — each block leans only on the ones above it.


1. Powers — the starting brick

Picture it. is three copies of stacked as a product: . As the exponent climbs, the value shoots upward faster and faster.

Figure — Derivatives of ln x and logₐ(x)

Read the figure. Each bar is for . Notice the leftmost bar is height (that is , explained just below) and each bar to the right is double the one before — that doubling is what "multiply by another copy of " looks like, and the magenta arrow marks how fast it runs away.

Why the topic needs this. Everything about logs is written on top of powers. You cannot ask "what power gives me this?" until you know what a power is — for every kind of power, whole, zero, negative or fractional. See Derivative of e^x and a^x for where these grow into functions.


2. The logarithm — asking the exponent backwards

So a log is not a new machine — it is the undo button for a power. The two lines below say the same thing read left-to-right vs right-to-left:

Picture it. A power takes an exponent and produces a value that grows explosively. The log is the mirror image: it takes the big value and reads off the small exponent .

Figure — Derivatives of ln x and logₐ(x)

Read the figure. The orange curve is ; feed it the exponent (bottom axis) and it outputs (marked orange dot). The magenta curve is its undo, ; feed it and it returns (magenta dot). The two curves are exact reflections across the dashed navy line — that reflection is what "inverse / undo" looks like geometrically.

Also we insist and : if then always, so it could never equal any other — the question has no answer.


3. Limits — "the value we head towards"

Before we can build or a slope, we need one honest tool for "getting closer and closer without necessarily arriving." (We already used it once above, to define .)

Why we need this. Three ideas — giving a meaning for irrational , the number , and the slope of a curve — all ask "what happens as something shrinks/grows, if I can't just plug in the endpoint?" The limit is the safe way to answer that. It underpins Standard Limit (1+t)^{1/t} → e.


4. The number — nature's favourite base

Where does it come from? Watch a bank that pays interest and re-invests it more and more often. Start with \1(1+1)^1 = 2(1+\tfrac12)^2 = 2.25n\left(1+\tfrac1n\right)^nne$:

Why the second form? Set . Then " huge" becomes " tiny," i.e. turns into — the very meaning of we just defined. See Standard Limit (1+t)^{1/t} → e.

Figure — Derivatives of ln x and logₐ(x)

Read the figure. Each violet dot is for a growing (horizontal axis, log-spaced). Early dots climb fast, later dots barely move, and all of them press up against the dashed magenta line at height . That flattening-onto-a-line is exactly what "" looks like.


5. Slope — how steep is the hill?

Picture it. Two points on a line make a right triangle: the horizontal side is the run, the vertical side is the rise. Slope is how tall that triangle is per unit width.

Figure — Derivatives of ln x and logₐ(x)

Read the figure. The orange curve is . The dashed magenta line just kisses it at ; the little navy triangle shows a run along the bottom and the matching rise up the side — their ratio is the slope. Notice the violet note far right: the curve there is nearly flat, so its rise-per-run (slope) is tiny.

But is a curved hill — its steepness is different at every point. So we need one more idea: the slope at a single point.

How we compute it. Let stand for a small change in — how far we step sideways from to . Then the rise is and the run is , so the rise-over-run of that little step is . Now squeeze the run down to nothing using the limit from §3:

Why the limit? If we used a run of exactly zero we would divide by zero — forbidden. So we watch what the rise-over-run approaches as the step shrinks. That "approaches" is precisely what captures.


6. Two facts we must earn: , then

The parent topic hinges on the slope of . To get it honestly we first show why the exponential is its own slope, using only the limit tool and the definition of .

6a. Why differentiates to itself

Apply the derivative-as-limit to :

What we just did: wrote out the rise-over-run for . Why: it is the only definition of slope we have.

Use the power-law (from §1) and pull the common out — it does not depend on :

Why this step: factoring separates a constant (as far as the limit is concerned) from the one piece that still moves.

Now the whole question is: what is ? Watch what looks like for tiny . From (§4), for a tiny we have , so , hence :

What it looks like: the curve crosses the -axis at height with slope exactly — that "slope at the start" is where the comes from. Substituting back:

So is the one function whose slope at every point equals its own height. That is precisely the special property we announced for the base in §4 — now proved. (This is developed further in Derivative of e^x and a^x.)

6b. From that, the slope of — every algebra step shown

We want . Start from the defining relation, not a formula. Let , which by §2 means

What we just did: rewrote as the exponent that lands on . Why: we already know how to differentiate , but not directly.

Now differentiate both sides with respect to . Left side is where is itself a function of ; right side is just :

The right side is (a slope- line). The left side needs the chain rule (§7): the outside is , whose derivative is itself by §6a, times the derivative of the inside :

What we just did: "outside derivative times inside derivative." Why: depends on , so a bare hides an inner change we must account for. What it looks like: the height moves both because is steep and because itself is shifting.

Solve for by dividing both sides by , then replace with (they are equal, from the top line):


7. Two tools that ride on top

Why the topic needs it. Real problems are , not bare . The inside must be accounted for, giving . We already used exactly this rule in §6b to differentiate .

Why the topic needs it. In change-of-base, , the denominator is a fixed number — it factors out, leaving . This is the whole derivation of (see Logarithm Laws and Logarithmic Differentiation for the deeper uses).


8. How it all feeds the topic

Powers a^n

a^x for any real x

Logarithm log_a x

The number e

Limit lim

Derivative d over dx

d over dx of e^x equals e^x

Natural log ln x

Standard limit 1+t ^ 1 over t to e

Slope rise over run

Slope of ln x and log_a x

Chain rule

Constant multiple

Change of base


Equipment checklist

Cover the right side and test yourself. If any answer is a surprise, re-read that section before the parent note.

What does mean when is a positive whole number?
Multiply the base by itself times.
Why is ?
Because forces (the adding-rule must hold).
What is ?
— the reciprocal, so that .
Why must the base be positive for (and general real powers)?
So that and all root/limit values stay real numbers.
How do we give a meaning when is irrational (like )?
Squeeze by fractions; the values head to a limit, which we define as .
Why does ?
copies of beside copies gives copies in the product.
What does the symbol mean?
The value an expression heads towards as is pushed to (without needing ).
What question does answer?
"To what power must I raise to get ?"
Rewrite without a log.
.
Why must for ?
A positive base to any power is always positive, so it can never equal or a negative number.
What is (roughly) and one way to define it?
; .
What is short for, and what makes it "natural"?
; natural because .
What does mean?
is the height the rule produces from input .
What does the prime in mean?
The derivative (slope) of ; .
In the derivative limit, what is ?
A small change in — the sideways step from to .
What is , and why?
, because for tiny , so .
Why is ?
Factoring gives .
State the derivative of and its domain.
for .
For , is positive or negative?
Negative, because .
State the chain rule for .
.
Why does a constant factor like just factor out of a derivative?
Because — fixed numbers ride along unchanged.