Skip to content

Mathematics · Ch 1 — Integrals

Fundamental Theorem of Calculus

1.8

Fundamental Theorem of Calculus

The Fundamental Theorem of Calculus: The Bridge

The Fundamental Theorem of Calculus (FTC) reveals the deep connection between differentiation (finding slopes/rates of change) and integration (finding areas/accumulated change): the two operations are, in fact, inverses of each other. It has two parts — the first deals with the derivative of an integral function, the second gives a practical method to evaluate definite integrals without computing limits of sums.


Part 1: The Derivative of an Integral (The Area Function)

For a continuous function ff on [a,b][a, b] and any xx in [a,b][a, b], define the area function giving the area under the curve y=f(t)y = f(t) from the fixed starting point aa up to the variable point xx:

F(x)=∫axf(t) dtF(x) = \int_{a}^{x} f(t) \, dt

First Fundamental Theorem of Calculus

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

What this means: the rate at which the accumulated area changes at a point xx is exactly the height of the original function ff at that same point. Differentiating an integral (with a variable upper limit) gives back the original integrand — integration and differentiation are inverse processes.

Note

The variable of integration tt is a "dummy variable"; the result F(x)F(x) depends only on the upper limit xx. We could write ∫axf(u) du\int_a^x f(u) \, du and the derivative would still be f(x)f(x).


Part 2: Evaluating Definite Integrals (The Evaluation Theorem)

This is the part of the FTC you will use most often for calculations.

Second Fundamental Theorem of Calculus

Let ff be a continuous function on [a,b][a, b]. If FF is any antiderivative of ff (meaning F′(x)=f(x)F'(x) = f(x)), then

∫abf(x) dx=F(b)−F(a)\int_{a}^{b} f(x) \, dx = F(b) - F(a)

To find the definite integral, find an antiderivative FF of ff, evaluate it at the upper limit bb and the lower limit aa, and subtract. This is often written with a special notation:

∫abf(x) dx=[F(x)]ab=F(b)−F(a)\int_{a}^{b} f(x) \, dx = \left[ F(x) \right]_{a}^{b} = F(b) - F(a)

Tip

The constant of integration CC cancels out in F(b)−F(a)F(b) - F(a), so you can choose the simplest antiderivative (usually the one with C=0C = 0).


Proof of the Second Fundamental Theorem of Calculus

›Proof

Step 1: Define the area function.

Let A(x)=∫axf(t) dtA(x) = \int_a^x f(t) \, dt. By the First FTC, A′(x)=f(x)A'(x) = f(x), so A(x)A(x) is an antiderivative of f(x)f(x).

Step 2: Relate any antiderivative to the area function.

Let F(x)F(x) be any antiderivative of f(x)f(x). Since A(x)A(x) is also an antiderivative, they differ only by a constant: F(x)=A(x)+CF(x) = A(x) + C.

Step 3: Find the constant CC.

At x=ax = a: F(a)=A(a)+CF(a) = A(a) + C. But A(a)=∫aaf(t) dt=0A(a) = \int_a^a f(t) \, dt = 0, so C=F(a)C = F(a).

Step 4: Write the general antiderivative. …