The fundamental theorem of calculus connects the two central operations of calculus: differentiation and integration. In one direction, it says that differentiating an accumulation function recovers the original continuous function. In the other, it says that a definite integral can be evaluated by finding an antiderivative and subtracting its endpoint values. These results turn integration from a limiting sum problem into a practical calculation using antiderivatives. If F′(x) = f(x), then the definite integral from a to b is F(b) − F(a). Conversely, if A(x) = ∫ₐˣ f(t) dt and f is continuous, then A′(x) = f(x). The theorem therefore explains why derivatives and integrals behave as inverse processes under appropriate conditions. It is fundamental not merely because it provides a calculation shortcut, but because it establishes the mathematical connection between instantaneous change and accumulated change.
What Is the Fundamental Theorem of Calculus?
The fundamental theorem of calculus is usually presented in two closely related parts.
The first part concerns an accumulation function:
A(x) = ∫ₐˣ f(t) dt
If f is continuous, then:
A′(x) = f(x)
The second part concerns evaluating a definite integral. If F is any antiderivative of f on the relevant interval, so that:
F′(x) = f(x)
then:
∫ₐᵇ f(x) dx = F(b) − F(a)
Together, these statements connect the local rate measured by a derivative with the accumulated quantity measured by a definite integral.
Fundamental Theorem of Calculus Part 1
Define:
A(x) = ∫ₐˣ f(t) dt
The function A(x) records accumulated signed area from the fixed point a to the variable endpoint x.
If f is continuous, then:
A′(x) = f(x)
This means that the rate at which accumulated area changes is simply the current height of the function.
Suppose x increases by a small amount h. The new area added is approximately a thin rectangle with width h and height f(x):
ΔA ≈ f(x)h
Divide by h:
ΔA/h ≈ f(x)
As h approaches zero, the approximation becomes exact:
A′(x) = f(x)
This is the conceptual heart of the first part of the theorem.
Example of Part 1
Let:
A(x) = ∫₀ˣ (t² + 3) dt
By the fundamental theorem of calculus:
A′(x) = x² + 3
No explicit integration is needed to find the derivative.
The variable t inside the integral is a dummy variable. Once the upper limit is x and the theorem is applied, the integrand is evaluated at x.
Why a Different Variable Is Often Used Inside the Integral
An accumulation function is commonly written:
A(x) = ∫ₐˣ f(t) dt
rather than:
A(x) = ∫ₐˣ f(x) dx
Using t inside the integral prevents confusion between the variable being accumulated over and the variable upper limit.
The symbol t has no special mathematical significance here. Other dummy variables such as u or s could be used:
A(x) = ∫ₐˣ f(u) du
The value of the integral is unchanged by renaming the dummy variable consistently.
Fundamental Theorem of Calculus Part 2
Suppose F is an antiderivative of f:
F′(x) = f(x)
Then:
∫ₐᵇ f(x) dx = F(b) − F(a)
This is sometimes written:
∫ₐᵇ f(x) dx = [F(x)]ₐᵇ
where:
[F(x)]ₐᵇ = F(b) − F(a)
The theorem converts an accumulated limiting process into an endpoint calculation.
Basic Example
Evaluate:
∫₁³ (2x + 1) dx
An antiderivative is:
F(x) = x² + x
Now apply the fundamental theorem of calculus:
∫₁³ (2x + 1) dx = F(3) − F(1)
Calculate:
F(3) = 3² + 3 = 12
F(1) = 1² + 1 = 2
Therefore:
∫₁³ (2x + 1) dx = 12 − 2
= 10
The definite integral equals:
10
Why the Constant of Integration Disappears
An indefinite integral includes an arbitrary constant:
∫ f(x) dx = F(x) + C
For a definite integral:
[F(b) + C] − [F(a) + C]
the constants cancel:
F(b) + C − F(a) − C
= F(b) − F(a)
Therefore the final definite-integral value does not need a +C.
Example With a Polynomial
Evaluate:
∫₀² (3x² − 4x + 5) dx
An antiderivative is:
F(x) = x³ − 2x² + 5x
Evaluate the upper endpoint:
F(2) = 8 − 8 + 10
= 10
Evaluate the lower endpoint:
F(0) = 0
Therefore:
∫₀² (3x² − 4x + 5) dx = 10
This is a direct application of the theorem rather than a separate area formula.
Example With a Negative Definite Integral
Evaluate:
∫₀² (x − 3) dx
An antiderivative is:
F(x) = x²/2 − 3x
At x = 2:
F(2) = 4/2 − 6
= 2 − 6
= −4
At x = 0:
F(0) = 0
Therefore:
∫₀² (x − 3) dx = −4
A definite integral measures signed accumulation. Because x − 3 is negative throughout [0, 2], the result is negative.
Area Interpretation
When f(x) ≥ 0 on [a, b]:
∫ₐᵇ f(x) dx
equals the geometric area under a curve between the graph, x-axis, and endpoints.
When f crosses the x-axis, positive and negative regions contribute with opposite signs.
Therefore:
definite integral ≠ total geometric area
in general.
If total geometric area is required, the interval may need to be divided at points where the function changes sign.
Example With Positive and Negative Regions
Consider:
∫₋₁¹ x dx
An antiderivative is:
F(x) = x²/2
Therefore:
∫₋₁¹ x dx = 1/2 − 1/2
= 0
The result is zero because the negative area from −1 to 0 cancels the equal positive area from 0 to 1.
The graph still encloses nonzero geometric area.
Variable Upper Limit
One of the most useful forms of the fundamental theorem is:
d/dx [∫ₐˣ f(t) dt] = f(x)
For example:
G(x) = ∫₂ˣ √(1 + t²) dt
Then:
G′(x) = √(1 + x²)
Even if the antiderivative of the integrand is inconvenient, the derivative of the accumulation function follows immediately.
Variable Upper Limit With an Inner Function
Suppose:
G(x) = ∫₀ˣ² cos(t) dt
The upper limit is not x but x².
Apply the fundamental theorem and then the chain rule:
G′(x) = cos(x²) · 2x
Therefore:
G′(x) = 2x cos(x²)
The derivative of the upper bound must not be omitted.
Variable Lower Limit
Suppose:
H(x) = ∫ₓ³ f(t) dt
Reversing the limits gives:
H(x) = −∫₃ˣ f(t) dt
Therefore:
H′(x) = −f(x)
More generally:
d/dx [∫g(x)ᵇ f(t) dt] = −f(g(x))g′(x)
The negative sign comes from the variable appearing as the lower limit.
Both Limits Variable
Suppose:
K(x) = ∫ᵤ⁽ˣ⁾ᵛ⁽ˣ⁾ f(t) dt
Then:
K′(x) = f(v(x))v′(x) − f(u(x))u′(x)
For example:
K(x) = ∫ₓ²ˣ²⁺¹ t³ dt
Here:
u(x) = x
v(x) = 2x² + 1
Therefore:
K′(x) = (2x² + 1)³(4x) − x³
This form combines the fundamental theorem with differentiation of the limits.
Example: Derivative of an Integral
Find:
d/dx [∫₁ˣ (t³ − 2t) dt]
The fundamental theorem gives:
x³ − 2x
So:
d/dx [∫₁ˣ (t³ − 2t) dt] = x³ − 2x
There is no need to find the antiderivative first.
Example: Derivative With Composite Upper Limit
Find:
d/dx [∫₀ˢⁱⁿ ˣ (1 + t⁴) dt]
Evaluate the integrand at:
t = sin x
to obtain:
1 + sin⁴x
Then multiply by the derivative of sin x:
cos x
Therefore:
d/dx [∫₀ˢⁱⁿ ˣ (1 + t⁴) dt]
= (1 + sin⁴x) cos x
Conditions for the Fundamental Theorem
For the elementary version of the first part, f is usually assumed to be continuous on the relevant interval.
Continuity ensures that the accumulation function behaves smoothly enough for:
A′(x) = f(x)
to hold at every interior point.
More advanced versions of the theorem work under broader conditions, but continuity is the standard assumption in introductory calculus.
This condition should not be ignored when the integrand has discontinuities or singularities.
What If the Function Is Discontinuous?
A discontinuity does not automatically make every integral impossible, but the straightforward continuous-function version of the theorem may no longer apply at the problematic point.
For example:
f(x) = 1/x
is not continuous at:
x = 0
An integral crossing zero:
∫₋₁¹ 1/x dx
cannot be treated as an ordinary definite integral by simply choosing ln|x| and subtracting endpoint values.
The singularity splits the problem into improper pieces, which belongs to the specialist treatment of an improper integral.
Fundamental Theorem and Antiderivatives
An antiderivative reverses differentiation.
If:
F′(x) = f(x)
then F is an antiderivative of f.
The second part of the fundamental theorem says that any such F can evaluate:
∫ₐᵇ f(x) dx
through:
F(b) − F(a)
This is why integration tables and rules focus heavily on finding antiderivatives.
The theorem provides the logical bridge from those antiderivatives to definite accumulated values.
Fundamental Theorem and Integrals
The broader family of integrals includes definite and indefinite forms as well as more advanced multidimensional and path-based forms.
The fundamental theorem specifically establishes the central inverse relationship between differentiation and one-variable integration.
It should not be interpreted as saying every advanced integral is evaluated by a single endpoint subtraction. Extensions and related theorems are needed in higher-dimensional settings.
Fundamental Theorem and Substitution
Suppose:
∫₀¹ 2x(x² + 1)³ dx
The fundamental theorem tells us that once an antiderivative is known, endpoint evaluation gives the definite integral.
Finding that antiderivative may require integration by substitution.
Let:
u = x² + 1
Then:
du = 2x dx
The limits become:
x = 0 → u = 1
x = 1 → u = 2
So:
∫₀¹ 2x(x² + 1)³ dx = ∫₁² u³ du
An antiderivative is:
u⁴/4
Therefore:
[u⁴/4]₁² = 16/4 − 1/4
= 15/4
The substitution identifies the antiderivative structure; the fundamental theorem performs the endpoint evaluation.
Fundamental Theorem and Differential Equations
Suppose:
y′(x) = f(x)
and:
y(a) = y₀
Integrating the derivative from a to x gives:
y(x) − y₀ = ∫ₐˣ f(t) dt
Therefore:
y(x) = y₀ + ∫ₐˣ f(t) dt
This expresses the solution as its initial value plus accumulated change.
The same principle appears in more specialized equations such as a first-order linear differential equation, where an integrating factor first transforms the equation into a derivative that can then be integrated.
Connection With Euler’s Method
If:
y′ = f(x, y)
then the exact change across one interval satisfies:
y(xₙ₊₁) − y(xₙ) = ∫ₓₙˣₙ₊₁ f(x, y(x)) dx
The Euler method approximates this accumulated change using the slope at the beginning of the interval:
∫ₓₙˣₙ₊₁ f(x, y(x)) dx ≈ h f(xₙ, yₙ)
Therefore:
yₙ₊₁ ≈ yₙ + h f(xₙ, yₙ)
This gives a useful connection between exact accumulated change and a basic numerical approximation without making the theorem itself a numerical method.
Fundamental Theorem and Implicit Differentiation
The fundamental theorem deals with differentiation of accumulated quantities and evaluation of integrals.
Implicit differentiation addresses a different problem: finding derivatives when variables are connected implicitly rather than with y already isolated.
The two methods can occur in one problem.
For example, if an implicitly defined relation contains an integral with a variable endpoint, the integral may first be differentiated using the fundamental theorem, while the remaining terms require implicit differentiation.
Keeping those steps distinct avoids mixing unrelated differentiation rules.
Fundamental Theorem and Multivariable Calculus
The elementary theorem concerns one-variable functions.
In multivariable calculus, local change may be represented by a gradient, while accumulation may occur through double, triple, line, or surface integrals.
Higher-dimensional calculus contains powerful generalizations that connect derivatives with integrals over boundaries and regions.
The one-variable fundamental theorem provides the conceptual prototype: local change and accumulated change are mathematically linked.
Gradient Versus the Fundamental Theorem
For:
f(x, y)
the gradient:
∇f = (fₓ, fᵧ)
collects local rates of change.
The fundamental theorem of calculus instead explains how a one-variable derivative and definite integral reverse one another.
A gradient is therefore a multivariable derivative object, not another name for an antiderivative or accumulated area.
The concepts meet in advanced calculus but retain different core meanings.
Eigenvectors and the Theorem
Eigenvectors belong primarily to linear algebra and identify directions preserved by a matrix transformation.
They are not required to apply the fundamental theorem to an ordinary one-variable integral.
They become relevant when differential-equation systems or multivariable linear models are represented using matrices.
This is an example of how topics within Calculus & Linear Algebra can interact without sharing the same basic calculation procedure.
Reversing Integration Limits
The definite-integral rule:
∫ₐᵇ f(x) dx = F(b) − F(a)
also explains why reversing limits changes the sign.
We have:
∫ᵦᵃ f(x) dx = F(a) − F(b)
Therefore:
∫ᵦᵃ f(x) dx = −[F(b) − F(a)]
so:
∫ᵦᵃ f(x) dx = −∫ₐᵇ f(x) dx
The sign change follows naturally from endpoint subtraction.
Equal Limits
If both bounds are equal:
∫ₐᵃ f(x) dx = F(a) − F(a)
Therefore:
∫ₐᵃ f(x) dx = 0
No interval remains over which to accumulate a quantity.
Splitting an Integral
For a point c between a and b:
∫ₐᵇ f(x) dx = ∫ₐᶜ f(x) dx + ∫𝚌ᵇ f(x) dx
Using an antiderivative F:
[F(c) − F(a)] + [F(b) − F(c)]
The middle terms cancel:
F(b) − F(a)
which is exactly the integral over the full interval.
This demonstrates the consistency of the theorem with additive accumulation.
Net Change Theorem
If:
F′(x) = f(x)
then:
F(b) − F(a) = ∫ₐᵇ f(x) dx
This is often interpreted as:
final value − initial value = accumulated rate of change
For example, if v(t) is velocity and s(t) is position:
s′(t) = v(t)
then:
s(b) − s(a) = ∫ₐᵇ v(t) dt
The integral of velocity gives displacement rather than necessarily total distance traveled.
This is one of the clearest practical interpretations of the fundamental theorem.
Example: Position From Velocity
Suppose:
v(t) = 3t² − 2t
and:
s(1) = 5
Find s(3).
The net change in position is:
s(3) − s(1) = ∫₁³ (3t² − 2t) dt
An antiderivative is:
t³ − t²
Evaluate:
[t³ − t²]₁³
At 3:
27 − 9 = 18
At 1:
1 − 1 = 0
Therefore:
s(3) − 5 = 18
So:
s(3) = 23
Common Mistakes
A common mistake is forgetting the lower endpoint and writing only:
F(b)
instead of:
F(b) − F(a)
Another error is adding +C to a final definite-integral answer. The constant cancels during endpoint subtraction.
When differentiating an integral with a composite upper limit, it is easy to forget the derivative of that limit. For:
∫ₐg(x) f(t) dt
the derivative is:
f(g(x))g′(x)
not merely f(g(x)).
A variable lower limit introduces a negative sign.
Another mistake is applying the ordinary theorem across a point where the integrand is undefined. Singularities may require separate convergence analysis.
Finally, a definite integral should not automatically be interpreted as total geometric area. The theorem evaluates signed accumulation unless absolute area is constructed separately.
Frequently Asked Questions
What is the fundamental theorem of calculus?
It is the theorem connecting differentiation and integration. It states, under suitable conditions, that differentiating an accumulation integral recovers the integrand and that definite integrals can be evaluated with antiderivatives.
What is Part 1 of the fundamental theorem of calculus?
If:
A(x) = ∫ₐˣ f(t) dt
and f is continuous, then:
A′(x) = f(x)
What is Part 2 of the fundamental theorem of calculus?
If:
F′(x) = f(x)
then:
∫ₐᵇ f(x) dx = F(b) − F(a)
under the usual conditions.
Why is the theorem important?
It proves that differentiation and integration are inverse processes in a precise sense and makes exact evaluation of many definite integrals practical.
Why do definite integrals not need +C?
The same arbitrary constant appears at both endpoints and cancels:
[F(b) + C] − [F(a) + C] = F(b) − F(a)
What happens if the upper limit is g(x)?
Then:
d/dx [∫ₐg(x) f(t) dt] = f(g(x))g′(x)
when the relevant conditions hold.
What happens if x is the lower limit?
Then:
d/dx [∫ₓᵇ f(t) dt] = −f(x)
Can both integration limits depend on x?
Yes. If:
G(x) = ∫ᵤ⁽ˣ⁾ᵛ⁽ˣ⁾ f(t) dt
then:
G′(x) = f(v(x))v′(x) − f(u(x))u′(x)
Does the theorem require continuity?
The standard introductory form assumes continuity on the relevant interval. More advanced versions allow weaker hypotheses, but singular or discontinuous cases require additional care.
Is the fundamental theorem only about area?
No. Definite integrals can represent any accumulated quantity, including displacement, mass, probability, work, and total change, depending on the integrand.
How is the theorem related to differential equations?
It converts a known rate into accumulated change. If y′ = f(x), then:
y(x) = y(a) + ∫ₐˣ f(t) dt
What is the best way to check a definite-integral answer?
Differentiate the proposed antiderivative to verify the integrand, then recheck that the endpoint evaluation uses upper minus lower and that the sign is reasonable for the function over the interval.
