Fundamental Theorem of Calculus

The Fundamental Theorem of Calculus establishes the exact relationship between differentiation and integration. These two operations arise from different initial motivations.

Introduction

The Fundamental Theorem of Calculus establishes the exact relationship between differentiation and integration. These two operations arise from different initial motivations. Differentiation describes instantaneous variation, while integration measures accumulated quantity. The theorem proves that, under suitable regularity assumptions, they are inverse processes. The result is traditionally divided into two complementary statements:

  • The First Fundamental Theorem of Calculus
  • The Second Fundamental Theorem of Calculus
As will be shown in the following sections, the First Fundamental Theorem guarantees that every continuous function on a closed interval admits an antiderivative, constructed explicitly via integration. The Second expresses the practical consequence: the definite integral of a function over an interval can be computed directly from any of its antiderivatives, evaluated at the endpoints.

The First Fundamental Theorem of Calculus

Let $f$ be continuous on a closed interval $[ a , b ]$. Define the function:

\[F ( x ) = \int_{a}^{x} f ( t ) d t\]

for $x \in [ a , b ]$. Then $F$ is continuous on $[ a , b ]$, differentiable on $( a , b )$, and:

\[F^{'} ( x ) = f ( x )\]

This statement asserts that the function defined by accumulation of area from a fixed lower bound up to a variable upper limit is differentiable, and its derivative coincides with the original integrand. To justify this result, consider the difference quotient:

\[\frac{F ( x + h ) - F ( x )}{h} = \frac{1}{h} ( \int_{a}^{x + h} f ( t ) d t - \int_{a}^{x} f ( t ) d t )\]

Definite integrals satisfy the additivity property over adjacent intervals: \(\int_{a}^{b} f ( t ) d t + \int_{b}^{c} f ( t ) d t = \int_{a}^{c} f ( t ) d t\) Applying this to our case, we obtain: \(\frac{1}{h} \int_{x}^{x + h} f ( t ) d t\)

Since $f$ is continuous on $[ x , x + h ]$, the Mean Value Theorem for integrals guarantees the existence of a point $c$ between $x$ and $x + h$ such that:

\[\int_{x}^{x + h} f ( t ) d t = f ( c ) h\]

Hence:

\[\frac{F ( x + h ) - F ( x )}{h} = f ( c )\]

As $h \rightarrow 0$, the point $c \rightarrow x$. By continuity of $f$, it follows that

\[\underset{h \rightarrow 0}{lim} \frac{F ( x + h ) - F ( x )}{h} = f ( x )\]

which proves $F^{‘} ( x ) = f ( x )$. Conceptually, this theorem shows that accumulation produces a function whose instantaneous rate of change recovers the original density.


From a geometric point of view, The First Fundamental Theorem interprets the function:

\[F ( x ) = \int_{a}^{x} f ( t ) d t\]

as accumulated signed area. The derivative $F^{‘} ( x )$ represents the instantaneous rate at which this area grows. If $f ( x ) > 0$, the area increases; if $f ( x ) < 0$, it decreases.

The Second Fundamental Theorem of Calculus

Let $f$ be continuous on $[ a , b ]$, and suppose $F$ is any antiderivative of $f$, meaning:

\[F^{'} ( x ) = f ( x )\]

Then:

\[\int_{a}^{b} f ( x ) d x = F ( b ) - F ( a )\]

This second statement converts the evaluation of a definite integral into the computation of a difference of antiderivative values. To see the structural connection with the first part, define:

\[G ( x ) = \int_{a}^{x} f ( t ) d t\]

From the First Fundamental Theorem, $G^{‘} ( x ) = f ( x )$. Since both $F$ and $G$ have the same derivative, their difference is constant:

\[F ( x ) = G ( x ) + c\]

Evaluating at $x = a$ gives:

\[F ( a ) = G ( a ) + c\]

Because $G ( a ) = 0$, we obtain $c = F ( a )$, and therefore:

\[G ( x ) = F ( x ) - F ( a )\]

Setting $x = b$ yields:

\[\int_{a}^{b} f ( x ) d x = G ( b ) = F ( b ) - F ( a )\]

Thus the definite integral measures the net change of any primitive over the interval.


The Second Fundamental Theorem has a geometric side that is worth pausing on. Given a continuous function $f$ on $[ a , b ]$ and any antiderivative $F$, the definite integral measures the net signed area between the graph of $f$ and the horizontal axis. The theorem tells us that this area equals $F ( b ) - F ( a )$, nothing more than the net change in $F$ across the interval.

What makes this striking is that one does not need to reconstruct the area piece by piece. The antiderivative $F$ already carries that information inside it, accumulated continuously. Evaluating it at the two endpoints and taking the difference is enough. The entire geometry of the curve between $a$ and $b$ collapses into a single arithmetic operation.

Example 1

Consider the following integral: \(\int_{0}^{1} 3 x^{2} d x\) An antiderivative of $3 x^{2}$ is $F ( x ) = x^{3}$. By the Second Fundamental Theorem we have: \(\int_{0}^{1} 3 x^{2} d x = F ( 1 ) - F ( 0 ) = 1^{3} - 0^{3} = 1\) The area under the curve $3 x^{2}$ over the interval $[ 0 , 1 ]$ is therefore exactly $1$, obtained without any geometric argument, but solely through the evaluation of an antiderivative at the endpoints.


As a second illustration, define: \(H ( x ) = \int_{1}^{x} ln ⁡ t d t\) Note that $H ( 1 ) = 0$, since the integral over a degenerate interval is zero. Since $ln ⁡ t$ is continuous for $t > 0$, the function $H$ is defined for $x > 0$, and the First Fundamental Theorem implies: \(H^{'} ( x ) = ln ⁡ x\) The derivative of the accumulation function recovers the integrand exactly, confirming that integration and differentiation are inverse operations in the precise sense established by the theorem.

Example 2

Apply the First Fundamental Theorem of Calculus to find the following derivative:

\[\frac{d}{d x} \int_{1}^{x} e^{- t^{2}} d t\]
  • The integrand here is $f ( t ) = e^{- t^{2}}$, a continuous function on all of $\mathbb{R}$.
  • The lower bound of integration is the constant $1$, and the upper bound is the variable $x$.

This is precisely the setting of the First Fundamental Theorem: if $F ( x ) = \int_{a}^{x} f ( t ) d t$, then $F^{‘} ( x ) = f ( x )$.

Applying this directly we obtain:

\[\frac{d}{d x} \int_{1}^{x} e^{- t^{2}} d t = e^{- x^{2}}\]
The derivative of the accumulation function recovers the integrand evaluated at $x$. Note that $e^{- t^{2}}$ has no closed-form antiderivative in terms of elementary functions, yet the First Fundamental Theorem allows us to differentiate the integral without ever computing it explicitly.

Selected references