The Fundamental Theorem of Calculus
The fundamental theorem of calculus is the “soul” of the whole of calculus: it links two operations that seem entirely unrelated — differentiation and integration. Only once you understand this theorem do you really understand integration.
Before Newton and Leibniz, finding an area (integration) and finding a tangent (differentiation) were two independent kinds of problem:
- The area problem: how do you find the area enclosed by a curve? The ancient Greeks used the method of exhaustion, and their successors used “sum up the pieces”.
- The tangent problem: how do you find the slope of the tangent to a curve at a point? This is the origin of differential calculus.
In the seventeenth century Newton and Leibniz independently discovered a remarkable fact: the two problems are inverse operations to each other. This discovery turned countless area computations that had previously had to be attacked one at a time into a single uniform procedure. As later generations put it, “the fundamental theorem of calculus turned a craft into a science”.
Definition
A definition is a precise description of what a concept, a term, or an object means. Understanding definitions is the foundation of learning any field, and every concept has its own exact meaning.
Let be continuous on . The function
is called the upper-limit function. It represents the total area “accumulated from to ”.
Theorem
A theorem is a proposition that has been rigorously proved, and it is the foundation of mathematical reasoning. A theorem usually states its conditions and its conclusion, and is an important part of any mathematical system.
If is continuous on , then the upper-limit function is differentiable, and
that is: differentiating the accumulated area gives the rate of change itself.
Idea of the proof (going back to the definition of the derivative):
By the mean value theorem for integrals, there is a such that , and hence
An Intuitive Understanding
Picture a reservoir being filled, with the rate of inflow and the total volume of water stored. The rate of change of the stored volume is of course the current rate of inflow — .
Theorem
A theorem is a proposition that has been rigorously proved, and it is the foundation of mathematical reasoning. A theorem usually states its conditions and its conclusion, and is an important part of any mathematical system.
Let be continuous on , and let be any antiderivative of . Then
Idea of the proof: put . By the first fundamental theorem, both and are antiderivatives of , so (a constant). Setting gives (since ). Hence , as required.
Mathematical formula
A formula is a symbolic expression of quantitative relations and structural patterns, and an essential tool for solving mathematical problems. Key formulas should be mastered and applied flexibly.
The depth of the fundamental theorem of calculus lies in the fact that it unifies three threads:
- It unifies differentiation and integration: differentiation and integration are inverse operations.
- It unifies evaluation and area-finding: a definite integral no longer requires a complicated process of summing pieces — it is enough to find an antiderivative and substitute the limits.
- It unifies the local and the global: a local rate of change (the derivative), once integrated, restores the whole accumulated quantity.
It is precisely this theorem that raised “integration” from a geometric operation to a general-purpose method of calculation, and made it the cornerstone of every subject that uses calculus — physics, engineering, economics and beyond.
Application 1: Differentiating an Integral with Variable Limits
Let . Find .
Approach:
Split the integral into the difference of two upper-limit functions, and then apply the chain rule.
Steps:
Answer:
Application 2: Constructing an Antiderivative to Compute an Integral
Use the fundamental theorem of calculus to compute .
Approach:
First find an antiderivative by a substitution, and then substitute the limits.
Steps:
- Put , so
Answer:
Symbols Used in This Article
| Symbol | Type | Pronunciation/Explanation | Meaning in This Article |
|---|---|---|---|
| mathematical symbol | integral from a to x | The upper-limit function | |
| mathematical symbol | F of x | The upper-limit function | |
| mathematical symbol | F prime of x | The derivative of the upper-limit function | |
| mathematical symbol | G of x | An antiderivative of | |
| mathematical symbol | G of x from a to b | The notation for substituting the limits | |
| Greek letter | Xi | The point whose existence the mean value theorem for integrals asserts | |
| mathematical symbol | h | The increment of the independent variable | |
| mathematical symbol | limit as h goes to 0 | The limit as tends to zero | |
| mathematical symbol | Euler’s number | The base of the natural logarithm | |
| mathematical symbol | sine of t | The sine function |
