Fundamental theorem of calculus

By Martin McBride, 2024-05-11
Tags: antiderivative
Categories: integration differentiation calculus


The 2 main operations of calculus are differentiation (which finds the slope of a curve) and integration (which finds the area under a curve). The fundamental theorem of calculus relates these operations to each other. They are, essentially, inverses of each other (after taking account of the constant of integration).

There are 2 parts to the theorem. The first fundamental theorem of calculus shows that integration is essentially the inverse of differentiation, in other words, it is the antiderivative. The second fundamental theorem of calculus shows how to calculate definite integrals.

First fundamental theorem of calculus

We write the definite integral of a function like this:

Definite integral

We have expressed this using the variable t rather than x, for reasons that will become clear in a moment. It doesn't matter what name we use for the variable, of course, the value of the definite integral remains the same.

The definite integral represents the area under the curve between t = a and t = b, shown here:

Definite integral

Now suppose that rather than using a constant value b for the upper limit, we make the upper limit variable. We will call it x. Then the value of the definite integral becomes dependent on x. That is to say, as the value of x changes then the upper limit moves so the area under the curve changes.

So we can express the integral, ie the area under the curve, as a function of x:

Definite integral

This idea is illustrated below. The left-hand curve shows the function f. The right-hand curve shows F. whose value is equal to the area under the curve on the graph of f:

Definite integral

Since F(x) represents the integral of f(t) from some arbitrary point a up to x, it means that F is, in effect, the indefinite integral of f.

Now we get to the important part, the theorem itself. This theorem doesn't automatically follow from what we have said so far, it needs to be proved (as we will do shortly) The theorem can be stated as:

Definite integral

This tells us that, if F is the integral of f, then f is the derivative of F. This important theorem links differentiation and integration.

It tells us that the integral of f is equal to the antiderivative of f, where the antiderivative is the function you can differentiate to get f. This means that integration and differentiation are inverse processes.

This animation shows the slope of F compared to the area under f as x increases:

Definite integral

Notice that:

  • Starting from x = a the slope of F is positive because f is positive.
  • The slope decreases to zero as f approaches 0 (at approx 1.7).
  • As x increases beyond that point, the slope of F becomes negative.

Second fundamental theorem of calculus

The second theorem relates to evaluating a definite integral. It tells us that:

Definite integral

Here, again, F is the antiderivative of f. This is an important equation. It allows us to calculate the area under the curve f, between points a and b, simply be evaluating the antiderivative F for the two values a and b:

Definite integral

Finding antiderivatives

These theorems highlight a common feature of integration that we all learn fairly early when we start calculus.

It is often possible to find the derivative of a function from first principles, but that is rarely possible for integrals. Most of the known standard integrals have been discovered by reversing a known derivative.

For example, if we want to integrate an expression such as:

Antiderivatives

We need to already know an applicable antiderivative. In this case, we know that:

Antiderivatives

So we can find the thing that we need to differentiate to get x to the power 4:

Antiderivatives

Which allows us to solve the integral:

Antiderivatives

Distance/velocity example

As an intuitive example, consider a trolley rolling along a flat surface, in a straight line, like this:

Trolley

This trolley is travelling at a constant velocity, v, of 1 metre per second. So after 6 seconds, it will have travelled a distance, s, of 6 m:

Trolley

In this simple example, the slope of the distance graph is equal to the value of the velocity graph. We don't need calculus to work that out, it is the basic equation of motion for constant velocity.

Now let's consider the case of a trolley that changes its velocity over time. It starts with a low velocity, then after 2 seconds the velocity makes a step change to a higher value, and then after 2 more seconds it makes a step change to an even higher value:

Trolley

The speed and distance graphs now look like this:

Trolley

If you look closely you can see that the distance graph has 3 linear sections. In each section, the slope of the distance graph is equal to the magnitude of the velocity graph.

If we change the motion so that the velocity changes in 6 steps, the graph looks like this:

Trolley

This time the distance graph has 6 linear sections, again with a slope that is equal to the value of the velocity at that time. But this time the linear sections are less pronounced.

It is easy to imagine that, if we continued to increase the number of steps until the velocity function was smooth, then the slope of the distance curve would still match the value of the velocity curve at every point in time.

Proof of the first theorem

We previously looked at quite a loose definition of the first theorem. We can state it more precisely here. If f(x) is a function that is continuous over the interval [a, b], we can define F(x) as:

Proof of the first theorem

The theorem states the for x in [a, b], the following is true:

Proof of the first theorem

Let's start with the standard definition of the first derivative:

Proof of the first theorem

From the previous definition of F(x) we have:

Proof of the first theorem

We can substitute these terms into the derivative equation:

Proof of the first theorem

If we look at the two definite integrals, one has a range from a to (x + h), the other has a range from x to a. If we subtract one from the other we are left with the integral from x to (x + h):

Proof of the first theorem

We can apply the mean value theorem for integrals to this formula. This theorem tells us that, if f(x) is continuous over the interval [a, b], then there will be a value c in [a, b] for which:

Proof of the first theorem

In our case, a is equal to x, and b is equal to (x + h), so of course (b - a) is just h. So we can apply the mean value theorem to give:

Proof of the first theorem

So we can write F'(x) like this:

Proof of the first theorem

As we noted earlier, the mean value theorem says that c is in the interval [a, b], which in our case is the interval [x, x + h]. As h tends to 0. this interval tends towards [x, x], so in the limit, c tends to x. So we have:

Proof of the first theorem

Which proves the theorem.

Proof of the second theorem

Again we will start by giving a more rigorous statement of the second theorem: if f(x) is a function that is continuous over the interval [a, b], and F(x) is any antiderivative of f(x) then the definite integral can be found from:

Proof of the second theorem

As an aside, notice that this applies to any antiderivative of f(x). This is because if F(x) is an antiderivative of f(x), then adding any constant of integration C to F(x) also yields an antiderivative of f(x). But because we are subtracting F(a) from F(b), any constant term will vanish.

To prove this theorem, we will start by dividing the interval [a, b] into n equal sub-intervals, like this:

Proof of the second theorem

Boundary 0 is at a, boundary n is at b, and boundaries 1 to (n - 1) are equally spaced between them:

Proof of the second theorem

Using this scheme, we can express the RHS of the original equation as:

Proof of the second theorem

Now we will do a little trick:

Proof of the second theorem

Notice what we have done here. We have added two terms in (n - 1), one negative and one positive, so they cancel out to 0. We have also added two terms in (n - 2), one negative and one positive, which also cancel out to 0. And so on. Since all the extra terms cancel out, this equation is identical to the previous one.

So now we can group these terms differently (this is the same expression as before, we have just shifted the brackets around):

Proof of the second theorem

The reason for doing all this is to allow us to write it as a sum:

Proof of the second theorem

Next, we are going to use the mean value theorem. This is closely related to the mean value theorem for integrals we used earlier, and it states that there exists some value c in the interval [u, v] for which the following is true:

Proof of the second theorem

We can apply this to each one of the terms under the sigma above:

Proof of the second theorem

We have simplified this in the second line, by substituting f(x) for F'(x) (we know they are equivalent from earlier). And also since all the x values are equally spaced we can just use Δx for the difference (it doesn't depend on i). So the sum of all these terms is:

Proof of the second theorem

This sum is equal to the sum of the areas of these rectangles:

Proof of the second theorem

As n increases towards infinity, Δx goes to 0, and the area will tend towards the definite integral of f(x). This proves that:

Proof of the second theorem

See also



Join the GraphicMaths Newletter

Sign up using this form to receive an email when new content is added:

Popular tags

adder adjacency matrix alu and gate angle area argand diagram binary maths cartesian equation chain rule chord circle cofactor combinations complex modulus complex polygon complex power complex root cosh cosine cosine rule cpu cube decagon demorgans law derivative determinant diagonal directrix dodecagon eigenvalue eigenvector ellipse equilateral triangle euler eulers formula exponent exponential exterior angle first principles flip-flop focus gabriels horn gradient graph hendecagon heptagon hexagon horizontal hyperbola hyperbolic function hyperbolic functions infinity integration by parts integration by substitution interior angle inverse hyperbolic function inverse matrix irrational irregular polygon isosceles trapezium isosceles triangle kite koch curve l system line integral locus maclaurin series major axis matrix matrix algebra mean minor axis nand gate newton raphson method nonagon nor gate normal normal distribution not gate octagon or gate parabola parallelogram parametric equation pentagon perimeter permutations polar coordinates polynomial power probability probability distribution product rule proof pythagoras proof quadrilateral radians radius rectangle regular polygon rhombus root sech set set-reset flip-flop sine sine rule sinh sloping lines solving equations solving triangles square standard curves standard deviation star polygon statistics straight line graphs surface of revolution symmetry tangent tanh transformation transformations trapezium triangle turtle graphics variance vertical volume of revolution xnor gate xor gate