logo

Proof of the Fundamental Theorem of Calculus 📂Calculus

Proof of the Fundamental Theorem of Calculus

Theorem1

Assume that the function ff is continuous on the closed interval [a,b][a,b].

(1) The function F(x)=axf(t)dt\displaystyle F(x) = \int_{a}^{x} f(t) dt is continuous on [a,b][a,b], differentiable on (a,b)(a,b), and satisfies dF(x)dx=f(x)\displaystyle {{dF(x)} \over {dx}} = f(x).

(2) For any antiderivative FF of ff, abf(x)dx=F(b)F(a)\displaystyle \int_{a}^{b} f(x) dx = F(b) - F(a)

Explanation

Of course, we use the words differentiation and integration so we can easily guess the relationship between them. However, in English, they are called differential and integral, which seem totally unrelated, and even the concepts don’t really resemble each other.

The Fundamental Theorem of Calculus shows that differentiation and integration are, indeed, inverse operations of each other.

Proof

(1)

By the Mean Value Theorem of Integration, there exists cc between x,x+hx, x+h that satisfies f(c)=1hxx+hf(t)dt\displaystyle f(c) = {{1} \over {h}} \int_{x}^{x+h} f(t) dt.

When h0h \to 0, it becomes cxc \to x, thus

limh01hxx+hf(t)dt=limh0f(c)=f(x) \lim_{h \to 0} {{1} \over {h}} \int_{x}^{x+h} f(t) dt = \lim_{h \to 0} f(c) = f(x)

Meanwhile, because of F(x+h)F(x)=ax+hf(t)dtaxf(t)dt=xx+hf(t)dt\displaystyle F(x+h) - F(x) = \int_{a}^{x+h} f(t) dt - \int_{a}^{x} f(t) dt = \int_{x}^{x+h} f(t) dt, it is also

1hxx+hf(t)dt=F(x+h)F(x)h {{1} \over {h}} \int_{x}^{x+h} f(t) dt = { {F(x+h) - F(x)} \over {h} }

Therefore,

limh0F(x+h)F(x)h=F(x)=f(x) \lim_{h \to 0} { {F(x+h) - F(x)} \over {h} } = F ' (x) = f(x)

(2)

Since FF is an antiderivative of ff, it follows abf(t)dt=F(b)+C\displaystyle \int_{a}^{b} f(t) dt = F(b) + C, thus

aaf(t)dt=F(a)+C \int_{a}^{a} f(t) dt = F(a) + C

Subtracting the two sides from each other results in

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

See Also


  1. James Stewart, Daniel Clegg, and Saleem Watson, Calculus (early transcendentals, 9E), p399-405 ↩︎