4.1.19Calculus I — Limits & Derivatives

Derivatives of eˣ and aˣ — proofs

1,510 words7 min readdifficulty · medium

1. The one limit everything rests on

Apply this to f(x)=axf(x)=a^x with a>0a>0. HOW: use the exponent law ax+h=axaha^{x+h}=a^x\,a^h.

f(x)=limh0ax+haxh=limh0axahaxh=axlimh0ah1hcall this M(a).f'(x)=\lim_{h\to 0}\frac{a^{x+h}-a^x}{h} =\lim_{h\to 0}\frac{a^x a^h-a^x}{h} =a^x\cdot\underbrace{\lim_{h\to 0}\frac{a^h-1}{h}}_{\text{call this }M(a)}.

So for every exponential:

  ddxax=M(a)ax,M(a)=limh0ah1h  \boxed{\;\frac{d}{dx}a^x = M(a)\,a^x,\qquad M(a)=\lim_{h\to0}\frac{a^h-1}{h}\;}

The derivative is the function back again, just scaled by the constant M(a)M(a).


2. Defining ee as the base that makes M(a)=1M(a)=1

This is one clean way to define e2.71828e\approx 2.71828. From it:

  ddxex=ex  \boxed{\;\frac{d}{dx}e^x=e^x\;}

Consistency check (forecast-then-verify): does this limit definition agree with the famous e=limn(1+1n)ne=\lim_{n\to\infty}(1+\tfrac1n)^n? Set hh small: eh1he^h-1\approx h means eh1+he^h\approx 1+h, i.e. e(1+h)1/he\approx(1+h)^{1/h}. Letting h=1/n0h=1/n\to0 gives e=lim(1+1/n)ne=\lim(1+1/n)^n. ✓ Same number.


3. Finding M(a)M(a) exactly: M(a)=lnaM(a)=\ln a

We don't want to leave M(a)M(a) as a mystery limit. HOW: write any base in terms of ee.

a=elnaax=(elna)x=e(lna)x.a = e^{\ln a}\quad\Longrightarrow\quad a^x=\big(e^{\ln a}\big)^x=e^{(\ln a)\,x}.

Now differentiate e(lna)xe^{(\ln a)x} using the chain rule (outer eue^u, inner u=(lna)xu=(\ln a)x):

ddxax=ddxe(lna)x=e(lna)x(lna)=axlna.\frac{d}{dx}a^x=\frac{d}{dx}e^{(\ln a)x} = e^{(\ln a)x}\cdot(\ln a) = a^x\ln a.
Figure — Derivatives of eˣ and aˣ — proofs

4. Worked examples


5. Common mistakes (steel-manned)


Recall Feynman: explain to a 12-year-old

Imagine money that grows. A normal curve like x2x^2 speeds up when you climb it, but its slope is a different shape. exe^x is the magic curve where how steep it is right now is exactly how tall it is right now. So if it's 55 units tall, it's climbing at speed 55. For other growth-curves like 2x2^x or 3x3^x, the climb-speed is the height times a fixed "personality number" — and that number is the natural log of the base. ee is the one base whose personality number is exactly 11, which is why mathematicians call it natural.


Active recall

What is ddxex\frac{d}{dx}e^x?
exe^x (it is its own derivative).
What is ddxax\frac{d}{dx}a^x?
axlnaa^x\ln a.
Why does axa^x factor as axM(a)a^x\,M(a) in the difference quotient?
Because ax+h=axaha^{x+h}=a^x a^h, and axa^x is constant in hh so it leaves the limit; M(a)=limh0ah1hM(a)=\lim_{h\to0}\frac{a^h-1}{h}.
What does the limit M(a)=limh0ah1hM(a)=\lim_{h\to0}\frac{a^h-1}{h} equal, and what does it represent?
lna\ln a; it is the slope of axa^x at x=0x=0.
How is ee defined via this limit?
ee is the base with limh0eh1h=1\lim_{h\to0}\frac{e^h-1}{h}=1.
Derive ddxax\frac{d}{dx}a^x from ee.
ax=e(lna)xa^x=e^{(\ln a)x}; chain rule gives e(lna)xlna=axlnae^{(\ln a)x}\cdot\ln a=a^x\ln a.
What is ddxe5x\frac{d}{dx}e^{5x} and why not just e5xe^{5x}?
5e5x5e^{5x}; chain rule multiplies by inner derivative 55.
Differentiate 2x22^{x^2}.
2x2(2x)ln22^{x^2}(2x)\ln 2.
Why is "ddxax=xax1\frac{d}{dx}a^x=xa^{x-1}" wrong?
Power rule is for fixed exponent/varying base; here the exponent varies, so it doesn't apply.
Slope of 2x2^x at x=0x=0?
ln20.693\ln 2\approx0.693.

Connections

Concept Map

apply to a^x

factor out a^x

slope at x=0

choose base so M=1

gives

matches

rewrite base

chain rule

reveals

when a=e, ln e = 1

First principles limit

a^x = a^x times M of a

M of a = limit of a^h - 1 over h

Slope at height 1

Define e

d/dx e^x = e^x

e = limit of 1+1/n to the n

a = e^ln a

d/dx a^x = a^x ln a

M of a = ln a

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, idea simple hai: jab tum kisi exponential axa^x ka derivative nikalte ho first principles se, to ax+h=axaha^{x+h}=a^x a^h likh ke axa^x bahar aa jaata hai, aur andar bachta hai ek pure number M(a)=limh0ah1hM(a)=\lim_{h\to0}\frac{a^h-1}{h}. Ye number actually x=0x=0 par curve ki slope hai. To har exponential ka derivative apne aap ko wapas deta hai, bas ek constant M(a)M(a) se multiply hoke.

Ab ee ki khaasiyat ye hai ki uske liye M(e)=1M(e)=1 — yahi ee ki definition maan lo. Isliye ddxex=ex\frac{d}{dx}e^x=e^x, yaani slope = height, hamesha. Ye "natural" isiliye kehte hain.

Baaki bases ke liye trick: kisi bhi aa ko a=elnaa=e^{\ln a} likho, to ax=e(lna)xa^x=e^{(\ln a)x}. Chain rule lagao, andar ka derivative lna\ln a aata hai, aur mil jaata hai ddxax=axlna\frac{d}{dx}a^x=a^x\ln a. Matlab wo mysterious M(a)M(a) asal mein lna\ln a tha.

Sabse common galti: power rule (xnnxn1x^n\to nx^{n-1}) yahan mat lagao. Wahan base chalta hai exponent fixed; yahan exponent chalta hai base fixed — ulta case. Aur e5xe^{5x} me chain rule mat bhoolna, answer 5e5x5e^{5x} hota hai, e5xe^{5x} nahi.

Go deeper — visual, from zero

Test yourself — Calculus I — Limits & Derivatives

Connections