Skip to content

Mathematics · Ch 10 — Integrals

Fundamental Theorem of Calculus

7

Fundamental Theorem of Calculus

So far, ∫f(x) dx\int f(x)\,dx has meant the INDEFINITE integral -- a family of antiderivatives. A

definite integral ∫abf(x) dx\int_a^b f(x)\,dx is a different object: a specific NUMBER, informally

the (signed) area between the curve y=f(x)y=f(x) and the xx-axis from x=ax=a to x=bx=b. The

Fundamental Theorem of Calculus is the remarkable fact connecting the two -- that this area

can be computed using nothing more than an antiderivative found by the very techniques of

Sections 2-6, without ever summing areas directly. (As per the syllabus, this theorem is stated

here without proof.)

The area function. For a continuous function ff on [a,b][a,b], define

A(x)=∫axf(t) dt,a≤x≤b,A(x) = \int_a^x f(t)\,dt, \qquad a\le x\le b,

the (signed) area swept out from aa up to the variable point xx. A(x)A(x) is itself a function of

its upper limit xx.

First Fundamental Theorem of Calculus. A(x)A(x) is differentiable, and A′(x)=f(x)A'(x)=f(x) -- that is,

the area function is ITSELF an antiderivative of ff. In words: differentiating the area swept

out so far, with respect to the upper limit, gives back the original function -- confirming, at

the level of areas, that integration and differentiation are exact inverses of each other

(Section 1).

Second Fundamental Theorem of Calculus. If FF is ANY antiderivative of ff (i.e.

F′=fF'=f, found by ordinary indefinite integration), then

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

often written [F(x)]ab\big[F(x)\big]_a^b. This is the working form used throughout Sections 8-9: since

A(x)A(x) and F(x)F(x) are both antiderivatives of ff, they differ only by a constant (Section 1), and

that constant cancels out in the subtraction F(b)−F(a)F(b)-F(a) -- so it makes no difference WHICH

antiderivative is used, or whether the arbitrary constant CC is even written down for a definite

integral.

Why this matters. The Second Fundamental Theorem is what turns every indefinite-integration …