Skip to content

Mathematics · Ch 16 — Integration

First Fundamental Theorem of Integral Calculus

16.8.2

First Fundamental Theorem of Integral Calculus

The First Fundamental Theorem of Integral Calculus

This theorem establishes the crucial link between the two branches of calculus: differentiation and integration. It tells us that the rate at which the area under a curve changes is exactly the value of the function itself.

The Area Function and Its Derivative

For a continuous function ff on [a,b][a, b] and any xx in [a,b][a, b], define the area function — the area under y=f(t)y = f(t) from the fixed left endpoint aa to the variable right endpoint xx:

A(x)=∫axf(t) dtA(x) = \int_a^x f(t) \, dt

(The variable of integration is tt to avoid confusion with the upper limit xx.) The First Fundamental Theorem states that the derivative of this area function is the original function evaluated at xx:

First Fundamental Theorem of Integral Calculus

A′(x)=ddx∫axf(t) dt=f(x)A'(x) = \frac{d}{dx} \int_a^x f(t) \, dt = f(x)

This holds for all xx in the closed interval [a,b][a, b].

Why This Makes Sense (A Geometric Proof)
›Proof

Geometric Derivation of A′(x)=f(x)A'(x) = f(x)

For a small increment h>0h > 0, the change in area is the thin vertical strip under the curve between xx and x+hx+h:

ΔA=A(x+h)−A(x)=∫xx+hf(t) dt\Delta A = A(x+h) - A(x) = \int_x^{x+h} f(t) \, dt

For a continuous function and small hh, f(t)f(t) on [x,x+h][x, x+h] is approximately the constant f(x)f(x), so this strip is approximately a rectangle of height f(x)f(x) and width hh:

ΔA≈f(x)⋅h⟹ΔAh≈f(x)\Delta A \approx f(x) \cdot h \quad\Longrightarrow\quad \frac{\Delta A}{h} \approx f(x)

Taking the limit as h→0h \to 0 makes the approximation exact:

A′(x)=lim⁡h→0A(x+h)−A(x)h=lim⁡h→01h∫xx+hf(t) dt=f(x)A'(x) = \lim_{h \to 0} \frac{A(x+h) - A(x)}{h} = \lim_{h \to 0} \frac{1}{h} \int_x^{x+h} f(t) \, dt = f(x)

The instantaneous rate of change of the accumulated area is precisely the height of the curve at that point.

The Theorem in Context …
Theorem 1

Theorem 1 (First Fundamental Theorem of Integral Calculus)

Let ff be a continuous function on the closed interval [a,b][a, b], and define the area function

A(x)=∫axf(t) dt,x∈[a,b].A(x) = \int_{a}^{x} f(t) \, dt, \quad x \in [a, b].

Then AA is differentiable on (a,b)(a, b) and

A′(x)=f(x)for all x∈[a,b].A'(x) = f(x) \quad \text{for all } x \in [a, b].

Important

The theorem says: the derivative of the area under the curve from a fixed point aa to a variable point xx is exactly the original function ff at xx.

This is the first link between integration and differentiation — it tells us that integration (building area) and differentiation (finding slope) are inverse processes.


Complete Proof

›Proof

Step 1 – Set up the difference quotient.

For a small increment h≠0h \neq 0 such that x+hx+h still lies in [a,b][a, b], consider

A(x+h)−A(x)=∫ax+hf(t) dt−∫axf(t) dt.A(x+h) - A(x) = \int_{a}^{x+h} f(t) \, dt - \int_{a}^{x} f(t) \, dt.

By the property of definite integrals (additivity of limits),

A(x+h)−A(x)=∫xx+hf(t) dt.A(x+h) - A(x) = \int_{x}^{x+h} f(t) \, dt.

Step 2 – Apply the Mean Value Theorem for integrals.

Since ff is continuous on [x,x+h][x, x+h], by the Mean Value Theorem for integrals there exists some cc in [x,x+h][x, x+h] such that

∫xx+hf(t) dt=f(c)⋅h.\int_{x}^{x+h} f(t) \, dt = f(c) \cdot h.

Therefore,

A(x+h)−A(x)=f(c)⋅h.A(x+h) - A(x) = f(c) \cdot h.

Step 3 – Form the difference quotient.

Divide both sides by hh (remember h≠0h \neq 0):

A(x+h)−A(x)h=f(c).\frac{A(x+h) - A(x)}{h} = f(c).

Step 4 – Take the limit as h→0h \to 0.

As h→0h \to 0, the interval [x,x+h][x, x+h] shrinks to the single point xx. The point cc lies in that interval, so c→xc \to x. Because ff is continuous at xx,

lim⁡h→0f(c)=f(x).\lim_{h \to 0} f(c) = f(x).

Hence,

lim⁡h→0A(x+h)−A(x)h=f(x).\lim_{h \to 0} \frac{A(x+h) - A(x)}{h} = f(x).

Step 5 – Conclude.

The limit on the left is precisely the derivative A′(x)A'(x). Thus

A′(x)=f(x)for all x∈[a,b].A'(x) = f(x) \quad \text{for all } x \in [a, b].

This completes the proof.


When Is This Theorem Used? …