Differential Calculus

⚡ Key Takeaways

Differential calculus is the study of how functions change, captured by the derivative — the instantaneous rate of change, or the slope of the tangent line. The central object is the derivative $f'(x) = \lim_{h\to 0}\frac{f(x+h)-f(x)}{h}$ , which converts a function into its rate-of-change function. It applies anywhere quantities vary: velocity from position, marginal cost in economics, optimization, and curve sketching. Developed independently by Newton and Leibniz in the late 17th century.

💡 The Core Insight

The slope between two nearby points on a curve is an average rate of change. By sliding the second point ever closer to the first — taking a limit as the separation shrinks to zero — the average rate becomes an instantaneous rate. The derivative is precisely this limit, and it transforms the impossible idea of "slope at a single point" into a well-defined number.

DefinitionThe Derivative

The derivative of a function $f$ at a point $x$ is defined as the limit of the difference quotient:

1

\quad f'(x) = \lim_{h \to 0} \frac{f(x+h) - f(x)}{h}

Derivation hint: The fraction is the slope of the secant line through $(x, f(x))$ and $(x+h, f(x+h))$ ; letting $h\to 0$ collapses the secant onto the tangent.

Symbols:

$f'(x)$ — the derivative (Lagrange notation); also written $\frac{dy}{dx}$ (Leibniz), $\dot{y}$ (Newton), or $Df$ .
$h$ — the small horizontal increment, approaching zero.
$f(x+h) - f(x)$ — the change in output (rise).
$h$ in the denominator — the change in input (run).

A function is differentiable at $x$ if this limit exists. The derivative function $f'$ assigns to each $x$ the slope of the tangent there.

DefinitionEquivalent Point Form

An alternative form fixes a point $a$ and lets the variable $x$ approach it:

2

\quad f'(a) = \lim_{x \to a} \frac{f(x) - f(a)}{x - a}

Derivation hint: Substitute $x = a + h$ into [1]; as $x\to a$ , $h\to 0$ , and the two definitions coincide.

TheoremDifferentiability Implies Continuity

If $f$ is differentiable at $a$ , then $f$ is continuous at $a$ . The converse is false.

3

\quad \lim_{x \to a} f(x) = f(a) \quad \text{whenever } f'(a) \text{ exists}

Derivation hint: Write $f(x)-f(a) = \frac{f(x)-f(a)}{x-a}\cdot(x-a)$ ; both factors have finite limits ( $f'(a)$ and $0$ ), so the product $\to 0$ .

ProofThe Power Rule from First Principles

We derive $\frac{d}{dx}x^n = nx^{n-1}$ for a positive integer $n$ .

Step 1. Apply the definition [1] to $f(x) = x^n$ :

4

\quad f'(x) = \lim_{h \to 0} \frac{(x+h)^n - x^n}{h}

Derivation hint: Direct substitution of $x^n$ into the difference quotient.

Step 2. Expand $(x+h)^n$ with the binomial theorem:

5

\quad (x+h)^n = x^n + nx^{n-1}h + \binom{n}{2}x^{n-2}h^2 + \cdots + h^n

Derivation hint: The binomial theorem $(a+b)^n = \sum_{k=0}^n \binom{n}{k}a^{n-k}b^k$ with $a=x$ , $b=h$ .

Step 3. Subtract $x^n$ and divide by $h$ . The $x^n$ terms cancel, and every remaining term has at least one factor of $h$ :

6

\quad \frac{(x+h)^n - x^n}{h} = nx^{n-1} + \binom{n}{2}x^{n-2}h + \cdots + h^{n-1}

Derivation hint: Factor $h$ from the numerator (after the $x^n$ cancellation) and cancel with the denominator.

Step 4. Take the limit $h \to 0$ . Every term containing $h$ vanishes, leaving:

7

\quad f'(x) = nx^{n-1}

Derivation hint: All terms after the first carry a positive power of $h$ , hence $\to 0$ . ∎

∎

mathematician · Gottfried Wilhelm Leibniz | 1646–1716

A German polymath — philosopher, diplomat, and mathematician — Leibniz developed his version of calculus in the 1670s, publishing in 1684. His genius lay in notation: the symbols $dy/dx$ and $\int$ were so well-designed that they survive virtually unchanged today, encoding the operations they represent and suggesting valid manipulations almost automatically. His emphasis on differentials (infinitesimally small quantities $dx$ , $dy$ ) gave calculus a flexible algebraic feel. A bitter priority dispute with Newton, fueled by nationalist rivalries, embittered Leibniz's later years, though both men are now credited as independent co-discoverers.

🧠 Intuition

Picture driving a car. The average speed over a trip is total distance divided by total time — a secant slope. But the speedometer reads your instantaneous speed: the slope of the tangent at one moment. The derivative is the mathematical speedometer. Now imagine zooming into a smooth curve under a microscope: the more you magnify, the straighter it looks. At sufficient magnification, any differentiable curve becomes indistinguishable from a straight line — and the slope of that line is the derivative. This is the principle of local linearity: differentiable functions are "locally straight."

Figure

Secant lines converging to the tangent as

h \to 0

```svg

```

ExampleInstantaneous Velocity of a Falling Object

Given: A ball dropped from rest has position $s(t) = 4.9t^2$ metres after $t$ seconds. Find its velocity at $t = 3$ s.

Step 1. Velocity is the derivative of position: $v(t) = s'(t)$ .

Step 2. Apply the power rule [7] (with the constant multiple rule): $\frac{d}{dt}(4.9t^2) = 4.9 \cdot 2t = 9.8t$ .

Step 3. Evaluate at $t = 3$ : $v(3) = 9.8 \times 3 = 29.4$ .

\boxed{v(3) = 29.4 \ \text{m/s}}

This matches free-fall under gravity, $g \approx 9.8\ \text{m/s}^2$ , accumulated over 3 seconds.

ExampleMaximizing Area of a Rectangular Pen

Given: A farmer has 40 m of fencing to enclose a rectangular pen. What dimensions maximize the area?

Step 1. Let width $= x$ . Perimeter gives $2x + 2y = 40$ , so $y = 20 - x$ .

Step 2. Area $A(x) = x(20 - x) = 20x - x^2$ .

Step 3. Differentiate: $A'(x) = 20 - 2x$ .

Step 4. Set $A'(x) = 0$ for a critical point: $20 - 2x = 0 \Rightarrow x = 10$ .

Step 5. Since $A''(x) = -2 < 0$ , this is a maximum. Then $y = 20 - 10 = 10$ .

\boxed{x = y = 10 \ \text{m}, \quad A_{\max} = 100 \ \text{m}^2}

The optimal rectangle is a square — a recurring theme in optimization.

⚠️ Common mistake

The derivative is not a fraction — though $\frac{dy}{dx}$ looks like one. It is the limit of a fraction. While Leibniz notation can be manipulated as if $dy$ and $dx$ were separate quantities (and this often works), treating them as genuine numbers without justification can lead to error. Also beware: $f'(x) = 0$ does not guarantee a maximum or minimum — it could be a horizontal inflection point (e.g. $f(x)=x^3$ at $x=0$ ).

CounterexampleContinuous but Not Differentiable

The function $f(x) = |x|$ is continuous everywhere but not differentiable at $x = 0$ . From the left, the slope is $-1$ ; from the right, it is $+1$ . The two one-sided limits of the difference quotient disagree:

8

\quad \lim_{h\to 0^-}\frac{|h|}{h} = -1 \neq +1 = \lim_{h\to 0^+}\frac{|h|}{h}

Derivation hint: For $h<0$ , $|h|=-h$ so the quotient is $-1$ ; for $h>0$ , $|h|=h$ giving $+1$ . This proves the converse of [3] fails: continuity does not imply differentiability. A sharp corner has no single tangent line.

connection

Differential calculus is one half of a profound unity. Its partner, Integral Calculus, reverses differentiation — and the Fundamental Theorem of Calculus reveals that these inverse operations are bound together, linking the slope of a curve to the area beneath it. The machinery of derivatives rests entirely on Limits and is intimately tied to Continuity. The derivative's geometric meaning depends on the Tangent Line, while its applications to maxima and minima form the subject of Optimization. Extending derivatives to functions of several variables opens the door to Partial Derivatives and the gradient.

🔬 Where this appears

⏳ History

- c. 250 BCE — Archimedes uses the "method of exhaustion" to find tangents and areas, anticipating limit ideas without formalizing them.

- 1629 — Pierre de Fermat develops adequality, a method for finding maxima, minima, and tangents that foreshadows the derivative.

- 1665–1666 — Isaac Newton, during the plague years at Woolsthorpe, develops his "method of fluxions," treating quantities as flowing in time.

- 1675–1684 — Gottfried Leibniz independently invents his calculus with the notation

dy/dx

and

\int

, publishing in Acta Eruditorum (1684).

- 1687 — Newton publishes the Principia, using calculus-based reasoning (though geometrically disguised) to derive the laws of motion and gravitation.

- 1711–1716 — The Priority Dispute between Newton and Leibniz erupts publicly, dividing British and Continental mathematicians for a century.

- 1734 — Bishop George Berkeley's The Analyst attacks the logical foundations, mocking infinitesimals as "ghosts of departed quantities."

- 1821 — Augustin-Louis Cauchy rigorously grounds calculus in the concept of the limit, dispensing with vague infinitesimals.

- 1872 — Karl Weierstrass provides the precise

\varepsilon

–

\delta

definition of the limit, completing the rigorous foundation of differential calculus.

open-problem

While differential calculus is fully rigorous, deep subtleties remain at its boundaries. Weierstrass (1872) stunned mathematicians by constructing a function that is continuous everywhere but differentiable nowhere — a curve so jagged it has no tangent at any point, anticipating fractals. This raises the question: how "typical" is differentiability? In a precise sense, most continuous functions are nowhere differentiable. Furthermore, non-standard analysis (Abraham Robinson, 1960s) rehabilitated Leibniz's infinitesimals as legitimate numbers in an extended number system, showing his intuitive approach was logically sound after all. Modern research extends differentiation to fractional orders (e.g. a "half-derivative" $\frac{d^{1/2}f}{dx^{1/2}}$ ) and to fractal sets where ordinary calculus fails.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also