The Fundamental Theorem of Calculus (FTC) stands as the central pillar of integral calculus, bridging the seemingly distinct operations of differentiation and integration. Proving this theorem requires a careful construction of limits, the definition of the definite integral as a limit of Riemann sums, and the application of the Mean Value Theorem. It establishes that these two processes are, in essence, inverse operations of one another. Understanding this proof not only validates the computational shortcuts used in every calculus classroom but also reveals the deep structural unity of mathematical analysis.
The Two Parts of the Theorem
Before diving into the proof, Make sure you state the theorem clearly. It matters. The FTC is traditionally split into two parts, often referred to as FTC Part 1 and FTC Part 2.
FTC Part 1 connects the derivative of an accumulation function to the original integrand. If $f$ is a continuous real-valued function defined on a closed interval $[a, b]$, and $F$ is the function defined for all $x$ in $[a, b]$ by the definite integral $F(x) = \int_a^x f(t) , dt,$ then $F$ is continuous on $[a, b]$, differentiable on the open interval $(a, b)$, and $F'(x) = f(x)$ for all $x$ in $(a, b)$.
FTC Part 2 provides the practical method for evaluating definite integrals. If $f$ is continuous on $[a, b]$ and $F$ is any antiderivative of $f$ on $[a, b]$ (meaning $F' = f$), then $\int_a^b f(x) , dx = F(b) - F(a).$
The proof of Part 1 relies on the definition of the derivative and the properties of integrals. The proof of Part 2 follows almost immediately from Part 1 and the fact that any two antiderivatives of a function differ by a constant.
Proof of the Fundamental Theorem of Calculus Part 1
We begin with the function $F(x) = \int_a^x f(t) , dt$, where $f$ is continuous on $[a, b]$. To prove $F'(x) = f(x)$, we must evaluate the limit of the difference quotient: $F'(x) = \lim_{h \to 0} \frac{F(x+h) - F(x)}{h}.$
Step 1: Express the Difference Quotient Using Integral Properties
By the definition of $F$, we have: $F(x+h) = \int_a^{x+h} f(t) , dt \quad \text{and} \quad F(x) = \int_a^x f(t) , dt.$
Using the additive property of definite integrals ($\int_a^c = \int_a^b + \int_b^c$), the numerator becomes: $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.$
So, the difference quotient is: $\frac{F(x+h) - F(x)}{h} = \frac{1}{h} \int_x^{x+h} f(t) , dt.$
Step 2: Apply the Mean Value Theorem for Integrals
Since $f$ is continuous on the closed interval $[x, x+h]$ (or $[x+h, x]$ if $h < 0$), the Mean Value Theorem for Integrals guarantees the existence of a number $c_h$ between $x$ and $x+h$ such that: $\int_x^{x+h} f(t) , dt = f(c_h) \cdot (x+h - x) = f(c_h) \cdot h.$
Substituting this into the difference quotient yields a remarkable simplification: $\frac{1}{h} \int_x^{x+h} f(t) , dt = \frac{1}{h} \cdot f(c_h) \cdot h = f(c_h).$
Step 3: Evaluate the Limit
Now we take the limit as $h \to 0$: $F'(x) = \lim_{h \to 0} \frac{F(x+h) - F(x)}{h} = \lim_{h \to 0} f(c_h).$
As $h \to 0$, the interval $[x, x+h]$ shrinks to the single point $x$. That said, because $c_h$ is trapped inside this interval (by the Mean Value Theorem), $c_h \to x$ as $h \to 0$. Since $f$ is continuous at $x$, we have $\lim_{h \to 0} f(c_h) = f(x)$.
Thus, $F'(x) = f(x)$. This completes the proof of Part 1. It demonstrates that the rate of change of the accumulated area under the curve $f$ up to point $x$ is precisely the height of the curve at $x$.
Proof of the Fundamental Theorem of Calculus Part 2
The second part is often called the "Evaluation Theorem" because it allows us to compute definite integrals without resorting to Riemann sums. The proof is elegant and short, relying entirely on Part 1.
Step 1: Define the Accumulation Function and an Antiderivative
Let $f$ be continuous on $[a, b]$. Define the accumulation function $G(x) = \int_a^x f(t) , dt$. By FTC Part 1, we know $G'(x) = f(x)$. Thus, $G$ is an antiderivative of $f$.
Now, let $F$ be any antiderivative of $f$ on $[a, b]$. By definition, $F'(x) = f(x)$ for all $x$ in $[a, b]$.
Step 2: Use the Constant Difference Theorem
Since both $F$ and $G$ are antiderivatives of the same function $f$ on the interval $[a, b]$, their derivatives are equal: $F'(x) = G'(x) = f(x)$. A fundamental consequence of the Mean Value Theorem (often called the Constant Difference Theorem) states that if two functions have identical derivatives on an interval, they differ by a constant $C$.
So, there exists a constant $C$ such that: $F(x) = G(x) + C \quad \text{for all } x \in [a, b].$
Step 3: Evaluate at the Endpoints
We evaluate this relationship at the endpoints $b$ and $a$: $F(b) = G(b) + C$ $F(a) = G(a) + C$
Subtracting the second equation from the first eliminates the constant $C$: $F(b) - F(a) = G(b) - G(a).$
Step 4: Substitute the Definition of $G$
Recall that $G(x) = \int_a^x f(t) , dt$. Therefore: $G(b) = \int_a^b f(t) , dt \quad \text{and} \quad G(a) = \int_a^a f(t) , dt = 0.$
Substituting these values gives the final result: $F(b) - F(a) = \int_a^b f(t) , dt - 0 = \int_a^b f(t) , dt.$
This proves that to evaluate a definite integral, one simply needs to find any antiderivative $F$ and compute the difference $F(b) - F(a)$ Surprisingly effective..
The Critical Role of Continuity
A careful reading of the proofs above reveals a crucial hypothesis: the continuity of $f$. Why is this assumption necessary?
- In Part 1: We used the Mean Value Theorem for Integrals, which requires continuity. More fundamentally, we needed $\lim_{h
The continuity hypothesis is not a mere formality; it guarantees that the limiting process described in Part 1 is well‑behaved. When (f) is continuous at a point (x), the values of the integral average (\frac{1}{h}\int_{x}^{x+h}f(t),dt) settle down to the exact height (f(x)) as the interval shrinks. On top of that, if (f) possessed a jump or a removable discontinuity, the average values would oscillate between two or more limits, and the derivative of the accumulation function would fail to exist at that point. Consequently the equality (F'(x)=f(x)) could not be asserted without further work.
To illustrate, consider the step function
[ f(t)=\begin{cases} 1,& 0\le t< \tfrac12,\[2pt] 2,& \tfrac12\le t\le 1, \end{cases} ]
which is integrable on ([0,1]) but discontinuous at (t=\tfrac12). Defining
[ G(x)=\int_{0}^{x}f(t),dt, ]
we obtain a function that is constant on ([0,\tfrac12]) and then increases with slope 2 on ((\tfrac12,1]). So at (x=\tfrac12) the left‑hand derivative equals 1 while the right‑hand derivative equals 2; the derivative does not exist, so (G) is not an antiderivative of (f) in the classical sense. The Fundamental Theorem of Calculus therefore cannot be applied without the continuity assumption (or, more generally, without a stronger notion of integrability that permits a derivative almost everywhere) Not complicated — just consistent..
When the continuity requirement is relaxed, one must invoke more sophisticated tools—such as the Lebesgue theory or the theory of absolutely continuous functions—to recover a version of the theorem. In the classical Riemann setting, continuity ensures that every point is a “nice” point of differentiability for the accumulation function, and it guarantees the existence of an antiderivative that is differentiable everywhere Simple as that..
Having established why continuity matters, we can now draw the broader picture. Think about it: the Fundamental Theorem of Calculus, split into its two parts, tells us that differentiation and integration are inverse operations under the mild condition that the integrand be continuous. Part 1 shows that the process of accumulating area yields a function whose instantaneous rate of change reproduces the original curve. Part 2 tells us that the total accumulated area between two points can be read off directly from any antiderivative, turning an potentially cumbersome limit of Riemann sums into a simple evaluation Most people skip this — try not to..
This duality underpins much of elementary analysis, physics, engineering, and beyond. It permits us to move freely between the language of rates of change and the language of total accumulation, to compute work done by a force, the charge stored in a capacitor, or the growth of a population, without re‑deriving the underlying limits each time. Beyond that, the theorem exemplifies how a modest hypothesis—continuity on a closed interval—suffices to get to a profound connection between two seemingly distinct operations Still holds up..
Simply put, the continuity of (f) guarantees that the accumulation function is differentiable with derivative equal to (f), and that any antiderivative differs from this accumulation function only by a constant. As a result, the definite integral over ([a,b]) is exactly the difference of the antiderivative evaluated at the endpoints. The Fundamental Theorem of Calculus thus provides a concise, powerful bridge between the local behavior of a function and its global integral, completing the logical development of the subject Easy to understand, harder to ignore..
