The fundamental theorem of calculus

Differentiation and integration are inverse operations, and the statement of that is the fundamental theorem of calculus1. We follow it with f(x)=x2f(x) = x^2.

Area as a function

Consider the area from 00 to xx as a function of xx.

F(x)=0xt2dt=x33F(x) = \int_0^x t^2 \, dt = \frac{x^3}{3}

Differentiating this FF returns F(x)=x2=f(x)F'(x) = x^2 = f(x). Differentiating the function that represents an area gives back the original function.

ddxaxf(t)dt=f(x)\frac{d}{dx} \int_a^x f(t) \, dt = f(x)

The reason appears in how the area grows. When xx increases by hh, the area gains a thin strip of width hh and height about f(x)f(x). The increment is about f(x)hf(x) h, so dividing by hh and letting h0h \to 0 leaves f(x)f(x).

The other form

Writing FF for an antiderivative of ff gives the method for computing a definite integral.

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

Instead of adding up an area in fine pieces, one subtraction of antiderivatives suffices. So 12x2dx=8313=73\int_1^2 x^2 dx = \dfrac{8}{3} - \dfrac{1}{3} = \dfrac{7}{3}.

Reading the correspondence off the graph

Quantity at x=1x = 1Value
f(1)f(1)11
F(1)F(1)13\dfrac{1}{3}
Slope of the tangent to FF, that is F(1)F'(1)11

The height of ff is the slope of FF.

Sign and monotonicity

Sign of ffBehavior of FF
positiveincreasing
negativedecreasing
00horizontal tangent

That the sign of ff decides whether FF rises or falls is another way of stating the theorem.

The parabola on the graph is y=x2y = x^2, the cubic representing the area is y=x33y = \dfrac{x^3}{3}, and the large dots are the point with f(1)=1f(1) = 1 and the point with F(1)=13F(1) = \dfrac{1}{3}.

  1. Fundamental theorem of calculus, Wikipedia