Chapter 02
Hard

Derivatives — Definition and Rules

00 · Symbol Glossary

$f'(x)$f prime of x — derivative

The derivative of ff: a new function giving the instantaneous rate of change of ff at each xx. Read "f prime of x." The prime mark ' denotes "derivative of."

$\dfrac{dy}{dx}$dy dx — Leibniz notation

An alternate notation for the derivative, read "d y d x," treating y=f(x)y=f(x). It suggests "an infinitesimal change in yy divided by an infinitesimal change in xx" and is especially convenient once implicit differentiation appears in Chapter 03.

$h$h — the step size

A small nonzero number representing the horizontal distance between two input points, xx and x+hx+h. The derivative is defined by shrinking hh toward 00.

$\dfrac{f(x+h)-f(x)}{h}$difference quotient

The slope of the line through the two points (x,f(x))(x, f(x)) and (x+h,f(x+h))(x+h, f(x+h)) on the graph of ff — the average rate of change over that interval. Taking h0h\to0 turns this average into an instantaneous rate.

$f''(x)$f double prime of x — second derivative

The derivative of f(x)f'(x) — the rate of change of the rate of change. Each additional prime mark differentiates one more time.

$\dfrac{d}{dx}\big[\cdot\big]$d dx — differentiation operator

An instruction, not a fraction on its own: "take the derivative, with respect to xx, of whatever is inside the brackets." ddx[x3]\dfrac{d}{dx}[x^3] means "differentiate x3x^3."

$\sin x,\ \cos x$sine, cosine — trigonometric functions

Standard trigonometric functions from precalculus, taken here as already known and evaluatable. Section 09 derives their derivatives directly from the limit definition of Section 01, using two limit facts about them stated as given below.

$\lim_{h\to0}\dfrac{\sin h}{h} = 1$the fundamental trig limit — given fact

A limit fact about sinh\sin h used as a building block in Section 09. Stated here without proof — proving it (typically via a geometric squeeze argument on the unit circle) is outside this chapter's scope, but the fact itself is essential and is used explicitly, not silently.

$\lim_{h\to0}\dfrac{\cos h - 1}{h} = 0$the companion trig limit — given fact

A second limit fact, paired with the one above, also used in Section 09's derivations. Also stated without proof for the same reason.

$e$Euler's number

The unique real number defined by the property limh0eh1h=1\displaystyle\lim_{h\to0}\frac{e^h-1}{h}=1 — this is a definition of ee, not a derived fact. e2.71828e\approx2.71828\ldots. Section 10 uses this defining property directly to differentiate exe^x.

$e^x$e to the x — natural exponential function

The exponential function with base ee. Distinct in kind from xnx^n (Section 04's power rule): here the base is fixed and the variable sits in the exponent, the reverse of the power-rule setup.

$\ln x$natural logarithm of x

The inverse function of exe^x: lnx=y    ey=x\ln x = y \iff e^y = x, defined for x>0x>0. Read "el en x" or "natural log of x." Section 11 derives its derivative from this inverse relationship.


01 · The Derivative as a Limit

Chapter 01 built the difference quotient's average version: the slope between two points on a curve. Shrinking the gap between those two points until it vanishes turns that average slope into the instantaneous slope at a single point — the derivative.

Definition — Derivative at a Point

The derivative of ff at xx is

f(x)=limh0f(x+h)f(x)hf'(x) = \lim_{h\to0}\frac{f(x+h)-f(x)}{h}

provided the limit exists. If it exists, ff is differentiable at xx.

Step-by-step — Differentiate $f(x)=x^2$ from the definition
1
Write the difference quotient: f(x+h)f(x)h=(x+h)2x2h\dfrac{f(x+h)-f(x)}{h} = \dfrac{(x+h)^2 - x^2}{h}.
2
Expand (x+h)2(x+h)^2: (x+h)2=x2+2xh+h2(x+h)^2 = x^2 + 2xh + h^2 — this comes from multiplying (x+h)(x+h)(x+h)(x+h) term by term: xx=x2x\cdot x=x^2, xh+hx=2xhx\cdot h + h\cdot x=2xh, hh=h2h\cdot h=h^2.
3
Substitute and cancel x2x^2: (x2+2xh+h2)x2h=2xh+h2h\dfrac{(x^2+2xh+h^2)-x^2}{h} = \dfrac{2xh+h^2}{h}.
4
Factor hh out of the numerator and cancel: h(2x+h)h=2x+h\dfrac{h(2x+h)}{h} = 2x+h, valid since h0h\neq0 throughout the limit process.
5
Take the limit as h0h\to0: limh0(2x+h)=2x\lim_{h\to0}(2x+h) = 2x. The remaining hh vanishes because h0h\to0 directly (no division by hh remains, so no indeterminate form). Conclusion: f(x)=2xf'(x)=2x.
Why h cannot simply equal 0

Setting h=0h=0 directly in f(x+h)f(x)h\dfrac{f(x+h)-f(x)}{h} gives 00\dfrac{0}{0} — the same indeterminate form from Chapter 01. The algebra in steps 2–4 exists specifically to cancel the hh in the denominator before taking the limit, avoiding that indeterminate form entirely.


02 · Geometric Meaning — the Tangent Line

The difference quotient f(x+h)f(x)h\dfrac{f(x+h)-f(x)}{h} is the slope of a secant line — a line cutting through two points on the curve. As h0h\to0, the second point slides along the curve toward the first, and the secant line rotates until it just grazes the curve at a single point: the tangent line.

Example — Tangent line to $y=x^2$ at $x=3$

From Section 01, f(x)=2xf'(x)=2x, so the slope at x=3x=3 is f(3)=2(3)=6f'(3)=2(3)=6. The point on the curve is (3,f(3))=(3,9)(3, f(3))=(3,9).

Using point-slope form yy1=m(xx1)y - y_1 = m(x-x_1) with m=6m=6, x1=3x_1=3, y1=9y_1=9:

y9=6(x3)    y=6x18+9=6x9y - 9 = 6(x-3) \implies y = 6x - 18 + 9 = 6x - 9

The 18-18 comes from 6×(3)6\times(-3); the final constant 9-9 from 18+9-18+9. This line touches the parabola y=x2y=x^2 at exactly (3,9)(3,9) and matches its steepness there.


03 · Differentiability vs. Continuity

Every differentiable function is continuous — a sharp corner or a break cannot have a well-defined slope. But the converse is false: continuity does not guarantee differentiability.

❌ f(x) = |x| is continuous but not differentiable at 0

f(x)=xf(x)=\lvert x\rvert is continuous everywhere, including at x=0x=0 (Chapter 01's three conditions all hold: f(0)=0f(0)=0, the limit exists and equals 00, they match).

Check differentiability using one-sided difference quotients at x=0x=0: from the right, h>0h>0, so 0+h=h\lvert 0+h\rvert = h, giving h0h=1\dfrac{h-0}{h}=1 for every h>0h>0; the right-hand limit of the difference quotient is 11. From the left, h<0h<0, so 0+h=h\lvert 0+h\rvert=-h, giving h0h=1\dfrac{-h-0}{h}=-1 for every h<0h<0; the left-hand limit is 1-1.

Why it breaks: 111 \neq -1, so the two-sided limit defining f(0)f'(0) does not exist (Chapter 01, Section 03's one-sided-limit rule applies directly to this limit).

Consequence: f(x)=xf(x)=\lvert x\rvert has no derivative at x=0x=0 — graphically, the sharp corner has no single well-defined tangent line, only two different one-sided tangent slopes.


04 · The Power Rule

Repeating the limit definition for every function would be unworkable. The power rule gives an instant shortcut for any power of xx.

Definition — Power Rule

For any real constant nn:

ddx[xn]=nxn1\frac{d}{dx}\big[x^n\big] = n\,x^{n-1}

Bring the exponent nn down as a multiplying constant, then reduce the exponent by 11.

Step-by-step — Differentiate $f(x)=x^5$, $g(x)=x^{-2}$, and $h(x)=\sqrt{x}$
1
Apply to x5x^5: bring down n=5n=5, reduce exponent to 51=45-1=4: f(x)=5x4f'(x)=5x^4.
2
Apply to x2x^{-2}: bring down n=2n=-2, reduce exponent to 21=3-2-1=-3: g(x)=2x3g'(x)=-2x^{-3}.
3
Rewrite x\sqrt{x} as a power: x=x1/2\sqrt{x}=x^{1/2}, so n=1/2n=1/2.
4
Apply the power rule: bring down n=1/2n=1/2, reduce exponent to 121=12\frac12-1=-\frac12: h(x)=12x1/2=12xh'(x)=\frac12 x^{-1/2} = \dfrac{1}{2\sqrt{x}}.

05 · Sum, Difference, and Constant Multiple Rules

Differentiation is linear — it distributes over addition/subtraction and passes through constant multiplication unchanged.

Definition — Sum, Difference, Constant Multiple
ddx[f(x)±g(x)]=f(x)±g(x)ddx[cf(x)]=cf(x)ddx[c]=0\frac{d}{dx}\big[f(x)\pm g(x)\big] = f'(x)\pm g'(x) \qquad \frac{d}{dx}\big[c\cdot f(x)\big] = c\cdot f'(x) \qquad \frac{d}{dx}[c]=0

cc — any constant. Its derivative is 00 because a constant function never changes — zero slope everywhere.

Step-by-step — Differentiate $f(x) = 4x^3 - 7x^2 + 5x - 9$
1
Differentiate term by term (linearity): handle each of the four terms separately.
2
4x34x^3: power rule gives 3x23x^2; multiply by the constant 44: 12x212x^2.
3
7x2-7x^2: power rule gives 2x2x; multiply by 7-7: 14x-14x.
4
5x5x: power rule on x1x^1 gives 1x0=11\cdot x^0 = 1; multiply by 55: 55.
5
9-9: derivative of a constant is 00.
6
Assemble: f(x)=12x214x+5+0=12x214x+5f'(x) = 12x^2 - 14x + 5 + 0 = 12x^2-14x+5.

06 · The Product Rule

❌ The derivative of a product is NOT the product of derivatives

For f(x)=x2f(x)=x^2 and g(x)=x3g(x)=x^3, the product is f(x)g(x)=x5f(x)g(x)=x^5, and by the power rule, ddx[x5]=5x4\dfrac{d}{dx}[x^5]=5x^4.

A tempting but wrong shortcut: f(x)g(x)=2x3x2=6x3f'(x)\cdot g'(x) = 2x \cdot 3x^2 = 6x^3.

Why it breaks: 6x35x46x^3 \neq 5x^4 (check at x=1x=1: 656\neq5). Multiplying derivatives ignores the cross-interaction between the two changing factors.

Consequence: products require their own rule, derived next, that accounts for both factors changing simultaneously.

Definition — Product Rule
ddx[f(x)g(x)]=f(x)g(x)+f(x)g(x)\frac{d}{dx}\big[f(x)g(x)\big] = f'(x)g(x) + f(x)g'(x)

"Derivative of the first times the second, plus the first times the derivative of the second."

Step-by-step — Differentiate $y = x^2(x^3+1)$ using the product rule
1
Identify the two factors: f(x)=x2f(x)=x^2, g(x)=x3+1g(x)=x^3+1.
2
Differentiate each factor separately: f(x)=2xf'(x)=2x (power rule); g(x)=3x2g'(x)=3x^2 (power rule; the +1+1 differentiates to 00).
3
Apply the formula: y=f(x)g(x)+f(x)g(x)=2x(x3+1)+x2(3x2)y' = f'(x)g(x)+f(x)g'(x) = 2x(x^3+1) + x^2(3x^2).
4
Expand each term: 2x(x3+1)=2x4+2x2x(x^3+1)=2x^4+2x; x2(3x2)=3x4x^2(3x^2)=3x^4.
5
Combine like terms: y=2x4+2x+3x4=5x4+2xy' = 2x^4+2x+3x^4 = 5x^4+2x. Check: expanding y=x2(x3+1)=x5+x2y=x^2(x^3+1)=x^5+x^2 directly and differentiating with the sum rule gives 5x4+2x5x^4+2x — matches. ✓

07 · The Quotient Rule

Definition — Quotient Rule

For g(x)0g(x)\neq0:

ddx[f(x)g(x)]=f(x)g(x)f(x)g(x)(g(x))2\frac{d}{dx}\left[\frac{f(x)}{g(x)}\right] = \frac{f'(x)g(x) - f(x)g'(x)}{\big(g(x)\big)^2}

"Bottom times derivative of top, minus top times derivative of bottom, all over bottom squared." The order of subtraction matters — the rule is not symmetric in ff and gg.

Step-by-step — Differentiate $y = \dfrac{x^2-1}{x+3}$
1
Identify top and bottom: f(x)=x21f(x)=x^2-1, g(x)=x+3g(x)=x+3.
2
Differentiate each: f(x)=2xf'(x)=2x; g(x)=1g'(x)=1.
3
Apply the formula: y=f(x)g(x)f(x)g(x)(g(x))2=2x(x+3)(x21)(1)(x+3)2y' = \dfrac{f'(x)g(x)-f(x)g'(x)}{(g(x))^2} = \dfrac{2x(x+3) - (x^2-1)(1)}{(x+3)^2}.
4
Expand the numerator: 2x(x+3)=2x2+6x2x(x+3)=2x^2+6x; (x21)(1)=x21(x^2-1)(1)=x^2-1. So the numerator is 2x2+6x(x21)=2x2+6xx2+12x^2+6x - (x^2-1) = 2x^2+6x-x^2+1.
5
Combine like terms in the numerator: 2x2x2=x22x^2-x^2=x^2, leaving x2+6x+1x^2+6x+1.
6
Final answer: y=x2+6x+1(x+3)2y' = \dfrac{x^2+6x+1}{(x+3)^2}.
❌ Forgetting to square the denominator

A common slip on the same problem: writing y=2x(x+3)(x21)(1)x+3y' = \dfrac{2x(x+3)-(x^2-1)(1)}{x+3} — reusing g(x)=x+3g(x)=x+3 instead of (g(x))2=(x+3)2(g(x))^2=(x+3)^2 in the denominator.

Why it breaks: the quotient rule's denominator always carries an exponent of 22; omitting it changes the units of the result and gives a formula that fails to match the definition-based derivative on any test value.

Consequence: always double-check the denominator has the squared bottom before finalizing a quotient-rule answer.


08 · Higher-Order Derivatives

Differentiating a function once gives the rate of change. Differentiating that result gives the rate of change of the rate of change — and the process can repeat indefinitely.

Definition — Higher-Order Derivatives
f(x)=ddx[f(x)]f(x)=ddx[f(x)]f(n)(x)=ddx[f(n1)(x)]f''(x) = \frac{d}{dx}\big[f'(x)\big] \qquad f'''(x) = \frac{d}{dx}\big[f''(x)\big] \qquad f^{(n)}(x) = \frac{d}{dx}\Big[f^{(n-1)}(x)\Big]

For n4n\geq4, the notation switches from repeated primes to f(n)(x)f^{(n)}(x) (a superscript in parentheses, to avoid confusing it with a power).

Step-by-step — Find $f''(x)$ for $f(x) = x^4 - 6x^2$
1
First derivative (power rule term by term): f(x)=4x312xf'(x) = 4x^3 - 12x.
2
Second derivative — differentiate f(x)f'(x) again: apply the power rule to 4x34x^3: 12x212x^2. Apply it to 12x-12x: 12-12.
3
Assemble: f(x)=12x212f''(x) = 12x^2 - 12.
A preview of what higher-order derivatives measure

If f(x)f(x) tracks position, f(x)f'(x) tracks the rate of change of position, and f(x)f''(x) tracks the rate of change of that rate. Chapter 04 uses f(x)f''(x) to determine how a curve bends — a purely calculus question, independent of any physical interpretation.


09 · Derivatives of Sine and Cosine

The rules so far only differentiate polynomials — sums of powers of xx. sinx\sin x and cosx\cos x are not built from powers of xx at all, so the power rule cannot reach them. Their derivatives are found the same way the power rule itself was justified in Section 01: directly from the limit definition of the derivative.

Two prerequisite facts, assumed as given

Two ingredients are needed and are not derived here: the angle-addition identities from trigonometry, sin(x+h)=sinxcosh+cosxsinh\sin(x+h) = \sin x\cos h + \cos x\sin h and cos(x+h)=cosxcoshsinxsinh\cos(x+h) = \cos x\cos h - \sin x\sin h (standard precalculus facts), and the two limit facts from the Symbol Glossary, limh0sinhh=1\lim_{h\to0}\frac{\sin h}{h}=1 and limh0cosh1h=0\lim_{h\to0}\frac{\cos h-1}{h}=0. Both limit facts follow from a geometric squeeze argument on the unit circle, which is a full topic in its own right and out of scope here — they are used below exactly as named quantities, not silently.

Step-by-step — Differentiate $f(x)=\sin x$ from the definition
1
Write the difference quotient (Section 01's definition): f(x)=limh0sin(x+h)sinxhf'(x) = \displaystyle\lim_{h\to0}\frac{\sin(x+h)-\sin x}{h}.
2
Expand sin(x+h)\sin(x+h) using the angle-addition identity: sin(x+h)=sinxcosh+cosxsinh\sin(x+h) = \sin x\cos h + \cos x\sin h, so the numerator becomes sinxcosh+cosxsinhsinx\sin x\cos h + \cos x\sin h - \sin x.
3
Group the two terms that contain sinx\sin x: sinxcoshsinx=sinx(cosh1)\sin x\cos h - \sin x = \sin x(\cos h - 1), leaving the numerator as sinx(cosh1)+cosxsinh\sin x(\cos h-1) + \cos x\sin h.
4
Split into two separate fractions over hh: f(x)=limh0[sinxcosh1h+cosxsinhh]f'(x) = \displaystyle\lim_{h\to0}\left[\sin x\cdot\frac{\cos h-1}{h} + \cos x\cdot\frac{\sin h}{h}\right]sinx\sin x and cosx\cos x do not depend on hh, so they pull outside each limit.
5
Substitute the two given limit facts: cosh1h0\dfrac{\cos h-1}{h}\to0 and sinhh1\dfrac{\sin h}{h}\to1 as h0h\to0, so f(x)=sinx0+cosx1f'(x) = \sin x\cdot0 + \cos x\cdot1.
6
Conclude: f(x)=cosxf'(x) = \cos x.
Step-by-step — Differentiate $f(x)=\cos x$ from the definition
1
Write the difference quotient: f(x)=limh0cos(x+h)cosxhf'(x) = \displaystyle\lim_{h\to0}\frac{\cos(x+h)-\cos x}{h}.
2
Expand cos(x+h)\cos(x+h) using its angle-addition identity: cos(x+h)=cosxcoshsinxsinh\cos(x+h) = \cos x\cos h - \sin x\sin h, so the numerator becomes cosxcoshsinxsinhcosx\cos x\cos h - \sin x\sin h - \cos x.
3
Group the two terms that contain cosx\cos x: cosxcoshcosx=cosx(cosh1)\cos x\cos h - \cos x = \cos x(\cos h-1), leaving the numerator as cosx(cosh1)sinxsinh\cos x(\cos h-1) - \sin x\sin h.
4
Split into two fractions over hh: f(x)=limh0[cosxcosh1hsinxsinhh]f'(x) = \displaystyle\lim_{h\to0}\left[\cos x\cdot\frac{\cos h-1}{h} - \sin x\cdot\frac{\sin h}{h}\right].
5
Substitute the given limit facts: cosh1h0\dfrac{\cos h-1}{h}\to0, sinhh1\dfrac{\sin h}{h}\to1, so f(x)=cosx0sinx1f'(x) = \cos x\cdot0 - \sin x\cdot1.
6
Conclude: f(x)=sinxf'(x) = -\sin x. Note the minus sign — it does not cancel or disappear; it is the direct result of the sinxsinh-\sin x\sin h term in step 3, which had no cosx\cos x factor to group with (cosh1)(\cos h-1).
Geometric intuition — the derivative of sine traces out cosine

Plot sinx\sin x: it rises steepest at x=0x=0 (slope 1=cos01=\cos0), flattens to a momentary standstill at the peak x=π/2x=\pi/2 (slope 0=cos(π/2)0=\cos(\pi/2)), then falls steepest at x=πx=\pi (slope 1=cosπ-1=\cos\pi). The height of the cosine curve at each xx exactly matches the steepness of the sine curve at that same xx — which is precisely what f(x)=cosxf'(x)=\cos x states. The two curves are the same shape, one a quarter-period shift of the other, which is why differentiating sine "produces" cosine rather than some unrelated function.

❌ Dropping the negative sign on the derivative of cosine

A common slip: writing ddx[cosx]=sinx\dfrac{d}{dx}[\cos x] = \sin x, omitting the minus sign derived in step 6 above.

Why it breaks: near x=0x=0, cosx\cos x is decreasing — check numerically: cos(0.1)0.995\cos(0.1)\approx0.995, cos(0)=1\cos(0)=1, so the function's value went down as xx increased from 00 to 0.10.1. A positive derivative f(0)=sin(0)=0f'(0)=\sin(0)=0 or, worse, an incorrectly-signed positive value elsewhere would claim the function is flat or rising, contradicting the observed decrease.

Consequence: the correct fact ddx[cosx]=sinx\dfrac{d}{dx}[\cos x]=-\sin x gives f(0)=sin(0)=0f'(0)=-\sin(0)=0 at x=0x=0 specifically (a momentary flat point, correct since x=0x=0 is a peak of cosine), but at x=0.5x=0.5: f(0.5)=sin(0.5)0.479<0f'(0.5)=-\sin(0.5)\approx-0.479<0, correctly signaling a decrease — matching cos(0.6)<cos(0.5)\cos(0.6)<\cos(0.5). Dropping the sign would instead predict an increase there, the opposite of the true behavior.


10 · Derivative of the Natural Exponential Function

Definition — Derivative of e^x

Using the defining property of ee from the Symbol Glossary, limh0eh1h=1\displaystyle\lim_{h\to0}\frac{e^h-1}{h}=1:

ddx[ex]=ex\frac{d}{dx}\big[e^x\big] = e^x

exe^x is its own derivative — a fixed point of differentiation.

Step-by-step — Differentiate $f(x)=e^x$ from the definition
1
Write the difference quotient: f(x)=limh0ex+hexhf'(x) = \displaystyle\lim_{h\to0}\frac{e^{x+h}-e^x}{h}.
2
Split the exponent using the exponent law ex+h=exehe^{x+h}=e^x\cdot e^h (a standard property of exponents, assumed known): the numerator becomes exehexe^x e^h - e^x.
3
Factor exe^x out of the numerator: exehex=ex(eh1)e^x e^h - e^x = e^x(e^h-1) — this is valid because exe^x does not depend on hh, the variable the limit is taken over.
4
Pull exe^x outside the limit (again, it does not depend on hh): f(x)=exlimh0eh1hf'(x) = e^x\cdot\displaystyle\lim_{h\to0}\frac{e^h-1}{h}.
5
Substitute the defining limit of ee: by the Symbol Glossary's definition of ee, this limit equals exactly 11.
6
Conclude: f(x)=ex1=exf'(x) = e^x\cdot1 = e^x.
Geometric intuition — the curve whose height equals its own slope

For every other function differentiated so far, the derivative is a different-looking function — x2x^2's derivative is 2x2x, a straight line, not a parabola. exe^x is the unique (up to a constant multiple) function whose graph's steepness at any point equals the graph's height at that same point. Where exe^x is small, it grows slowly; where it is large, it grows fast — the rate of growth is proportional to the current value, which is exactly why exponential growth compounds the way it does in Chapter 08's perpetuity example.

❌ Applying the power rule to an exponential function

A common confusion: differentiating exe^x as if it were xnx^n with n=en=e-like treatment, producing something like xex1x\cdot e^{x-1} by mimicking the power rule's "bring down the exponent, subtract one" pattern.

Why it breaks: the power rule (Section 04) applies to a fixed exponent and a variable basexnx^n for constant nn. Here the roles are reversed: exe^x has a fixed base and a variable exponent. These are structurally different functions, and the power rule's derivation (Section 04, built by expanding (x+h)n(x+h)^n via the binomial theorem) does not apply when the variable is in the exponent rather than the base — there is no binomial expansion of ex+he^{x+h} that behaves like (x+h)n(x+h)^n does.

Consequence: xex1x\cdot e^{x-1} is not even dimensionally close to the correct derivative; at x=1x=1, the (wrong) power-rule-style guess gives 1e0=11\cdot e^0=1, while the correct derivative from the step-block above gives f(1)=e12.718f'(1)=e^1\approx2.718 — the two disagree, and only the exponential rule derived above is valid whenever the variable sits in the exponent.


11 · Derivative of the Natural Logarithm

lnx\ln x is defined (Symbol Glossary) as the inverse of exe^x. Rather than returning to the limit definition directly, its derivative is found using a general fact about inverse functions: reciprocal slopes.

Definition — Inverse Function Derivative Rule

If y=f1(x)y=f^{-1}(x) is the inverse of a differentiable, invertible function ff (so x=f(y)x=f(y)), then writing the derivative as a limit of ΔyΔx\dfrac{\Delta y}{\Delta x} and noting that Δx=f(y+Δy)f(y)\Delta x = f(y+\Delta y)-f(y):

dydx=limΔy0Δyf(y+Δy)f(y)=1limΔy0f(y+Δy)f(y)Δy=1f(y)\frac{dy}{dx} = \lim_{\Delta y\to0}\frac{\Delta y}{f(y+\Delta y)-f(y)} = \frac{1}{\displaystyle\lim_{\Delta y\to0}\dfrac{f(y+\Delta y)-f(y)}{\Delta y}} = \frac{1}{f'(y)}

The last step used the fact that as Δx0\Delta x\to0, Δy0\Delta y\to0 as well (the inverse function is continuous), and the reciprocal of a limit is the limit of the reciprocal, provided f(y)0f'(y)\neq0. This is a standalone derivation from first principles here; Chapter 03 revisits the same identity using the chain rule, once that tool is available.

Step-by-step — Differentiate $f(x)=\ln x$ using the inverse function rule
1
Set up the inverse relationship: let y=lnxy=\ln x, so by the Symbol Glossary's definition, x=eyx=e^y.
2
Apply the inverse function derivative rule with f(y)=eyf(y)=e^y: dydx=1f(y)=1ddy[ey]\dfrac{dy}{dx} = \dfrac{1}{f'(y)} = \dfrac{1}{\frac{d}{dy}[e^y]}.
3
Substitute the derivative of eye^y from Section 10 (the same rule applies regardless of the variable's name): ddy[ey]=ey\dfrac{d}{dy}[e^y] = e^y, so dydx=1ey\dfrac{dy}{dx} = \dfrac{1}{e^y}.
4
Replace eye^y using the original substitution x=eyx=e^y from step 1: 1ey=1x\dfrac{1}{e^y} = \dfrac{1}{x}.
5
Conclude: ddx[lnx]=1x\dfrac{d}{dx}[\ln x] = \dfrac{1}{x}, valid for x>0x>0 (the domain of lnx\ln x).
Geometric intuition — reflecting across the line y = x

The graph of y=lnxy=\ln x is the graph of y=exy=e^x reflected across the diagonal line y=xy=x (the defining geometric picture of an inverse function). Reflecting a curve across y=xy=x swaps the roles of "rise" and "run" at every corresponding point, which turns a slope into its reciprocal — exactly the algebra in step 2 above. Where exe^x grows steeply (large xx), its reflection lnx\ln x grows correspondingly slowly, matching 1x0\dfrac1x\to0 as xx\to\infty.


12 · Exercises

EXERCISE 2.1

Set up the difference quotient f(x+h)f(x)h\dfrac{f(x+h)-f(x)}{h}, expand (x+h)3(x+h)^3 fully, cancel the x3x^3 terms, factor out hh, then let h0h\to0.

(x+h)3=x3+3x2h+3xh2+h3(x+h)^3 = x^3+3x^2h+3xh^2+h^3. So f(x+h)f(x)=3x2h+3xh2+h3=h(3x2+3xh+h2)f(x+h)-f(x) = 3x^2h+3xh^2+h^3 = h(3x^2+3xh+h^2). Dividing by hh: 3x2+3xh+h23x^2+3xh+h^2. Taking h0h\to0: f(x)=3x2f'(x)=3x^2 — matching the power rule shortcut.

Use the limit definition to find f(x)f'(x) for f(x)=x3f(x) = x^3. Show the full binomial expansion.

EXERCISE 2.2

Differentiate each term with the power rule; remember the derivative of a lone constant is 00.

f(x)=5x43x2+8x12f(x) = 5x^4 - 3x^2 + 8x - 12. Term by term: 5x420x35x^4 \to 20x^3; 3x26x-3x^2\to-6x; 8x88x\to8; 120-12\to0. So f(x)=20x36x+8f'(x)=20x^3-6x+8.

Differentiate f(x)=5x43x2+8x12f(x) = 5x^4 - 3x^2 + 8x - 12.

EXERCISE 2.3

Identify the two factors, differentiate each, and combine with "derivative of first times second, plus first times derivative of second."

f=x3f=x^3, g=2x25g=2x^2-5. f=3x2f'=3x^2, g=4xg'=4x. y=3x2(2x25)+x3(4x)=6x415x2+4x4=10x415x2y' = 3x^2(2x^2-5) + x^3(4x) = 6x^4-15x^2+4x^4 = 10x^4-15x^2.

Differentiate y=x3(2x25)y = x^3(2x^2-5) using the product rule. Verify by first expanding the product and differentiating term by term.

EXERCISE 2.4

Apply the quotient rule directly: bottom times derivative of top, minus top times derivative of bottom, over bottom squared.

f=3x+1f = 3x+1, g=x2g = x-2. f=3f'=3, g=1g'=1. y=3(x2)(3x+1)(1)(x2)2=3x63x1(x2)2=7(x2)2y' = \dfrac{3(x-2)-(3x+1)(1)}{(x-2)^2} = \dfrac{3x-6-3x-1}{(x-2)^2} = \dfrac{-7}{(x-2)^2}.

Differentiate y=3x+1x2y = \dfrac{3x+1}{x-2}.

EXERCISE 2.5

Check the one-sided difference quotients at the corner point separately, as done for x|x| in Section 03.

f(x)={x2x<12x1x1f(x) = \begin{cases}x^2 & x<1\\2x-1 & x\geq1\end{cases}. From the left: f(x)=2xf'(x)=2x for x<1x<1, so approaching x=1x=1 gives slope 2(1)=22(1)=2. From the right: f(x)=2f'(x)=2 for x>1x>1 (constant slope of the line 2x12x-1). Both one-sided slopes equal 22, and ff is continuous at x=1x=1 (both pieces give f(1)=1f(1)=1), so ff is differentiable at x=1x=1, with f(1)=2f'(1)=2.

Determine whether f(x)={x2x<12x1x1f(x) = \begin{cases}x^2 & x<1\\2x-1 & x\geq1\end{cases} is differentiable at x=1x=1. Show both one-sided difference-quotient limits.

EXERCISE 2.6

An asset's price function's first derivative gives instantaneous price velocity; the second derivative measures how that velocity itself is changing.

P(t)=2t3+15t2+100P(t) = -2t^3 + 15t^2 + 100 (price in dollars, tt in days). P(t)=6t2+30tP'(t) = -6t^2+30t. P(2)=6(4)+30(2)=24+60=36P'(2) = -6(4)+30(2) = -24+60=36 — price is increasing at 3636 dollars/day at t=2t=2. P(t)=12t+30P''(t) = -12t+30. P(2)=24+30=6>0P''(2) = -24+30=6>0 — the rate of increase is itself still growing at t=2t=2, i.e. the price is accelerating upward, not just rising.

An asset's price is modeled by P(t)=2t3+15t2+100P(t) = -2t^3+15t^2+100 for tt in days. Compute P(2)P'(2) and P(2)P''(2), and state what each tells you about the price's behavior at t=2t=2.

EXERCISE 2.7

Expand sin(x+h)\sin(x+h) with the angle-addition identity, group the sinx\sin x terms, split into the two given limit facts, and substitute.

f(x)=sinxf(x)=\sin x at a general point, following Section 09's derivation: sin(x+h)sinx=sinx(cosh1)+cosxsinh\sin(x+h)-\sin x = \sin x(\cos h-1)+\cos x\sin h. Dividing by hh and taking the limit: sinx0+cosx1=cosx\sin x\cdot0+\cos x\cdot1=\cos x. So f(x)=cosxf'(x)=\cos x, and at x=π/2x=\pi/2: f(π/2)=cos(π/2)=0f'(\pi/2)=\cos(\pi/2)=0 — matching the fact that sinx\sin x has a peak (momentarily flat) at x=π/2x=\pi/2.

Using the derivation method of Section 09, state f(x)f'(x) for f(x)=sinxf(x)=\sin x and evaluate f(π/2)f'(\pi/2). Explain in one sentence why a value of 00 makes sense there.

EXERCISE 2.8

Use the exponential derivative rule from Section 10 directly; no expansion is required once the rule is established.

f(x)=3exx2f(x) = 3e^x - x^2. Differentiate term by term (linearity, Section 05): ddx[3ex]=3ex\dfrac{d}{dx}[3e^x] = 3e^x (Section 10's rule, constant multiple); ddx[x2]=2x\dfrac{d}{dx}[-x^2]=-2x (power rule). So f(x)=3ex2xf'(x) = 3e^x-2x.

Differentiate f(x)=3exx2f(x) = 3e^x - x^2.

EXERCISE 2.9

Apply the product rule from Section 06, differentiating lnx\ln x using Section 11's rule for one of the two factors.

y=xlnxy = x\ln x. Product rule with f(x)=xf(x)=x, g(x)=lnxg(x)=\ln x: f(x)=1f'(x)=1, g(x)=1xg'(x)=\dfrac1x (Section 11). y=1lnx+x1x=lnx+1y' = 1\cdot\ln x + x\cdot\dfrac1x = \ln x + 1. The x1x=1x\cdot\frac1x=1 term comes directly from multiplying xx by lnx\ln x's derivative and cancelling.

Differentiate y=xlnxy = x\ln x using the product rule together with the derivative of lnx\ln x from Section 11.


13 · Chapter Summary

ConceptFormula / Rule
Derivative (definition)f(x)=limh0f(x+h)f(x)hf'(x) = \lim_{h\to0}\dfrac{f(x+h)-f(x)}{h}
Tangent line slopem=f(a)m = f'(a) at the point (a,f(a))(a, f(a))
Differentiable     \implies continuousConverse false — see x\lvert x\rvert at 00
Power ruleddx[xn]=nxn1\dfrac{d}{dx}[x^n] = nx^{n-1}
Sum/difference/constant multipleDifferentiation is linear; ddx[c]=0\dfrac{d}{dx}[c]=0
Product rule(fg)=fg+fg(fg)' = f'g+fg'
Quotient rule(fg)=fgfgg2\left(\dfrac{f}{g}\right)' = \dfrac{f'g-fg'}{g^2}
Higher-order derivativesf(x)=ddx[f(x)]f''(x) = \dfrac{d}{dx}[f'(x)]; continues to f(n)(x)f^{(n)}(x)
Derivative of sineddx[sinx]=cosx\dfrac{d}{dx}[\sin x] = \cos x
Derivative of cosineddx[cosx]=sinx\dfrac{d}{dx}[\cos x] = -\sin x
Derivative of exe^xddx[ex]=ex\dfrac{d}{dx}[e^x] = e^x
Derivative of lnx\ln xddx[lnx]=1x\dfrac{d}{dx}[\ln x] = \dfrac{1}{x}, x>0x>0
Inverse function ruledydx=1f(y)\dfrac{dy}{dx} = \dfrac{1}{f'(y)} where x=f(y)x=f(y)

Next: Chapter 03 — Chain Rule, Implicit Differentiation, where composite and implicitly-defined functions get their own differentiation rules.