FTC & Definite Integrals — The Fundamental Theorem of Calculus and Definite Intervals - Calculus 2

SECTION 1

Historical Context & Motivation

For centuries, mathematicians grappled with two seemingly unrelated problems: computing the area beneath a curve (the problem of quadrature) and determining the instantaneous rate of change of a varying quantity (the tangent problem). Ancient Greek geometers, most notably Archimedes, devised the method of exhaustion to approximate areas bounded by parabolas and circles, essentially performing integration without the formal machinery of limits. Meanwhile, questions about velocity, tangent lines, and maxima and minima accumulated over the medieval and early-modern periods, awaiting a unifying framework. The Fundamental Theorem of Calculus would ultimately reveal that these two great problems are inverse operations of one another — a discovery that ranks among the most consequential in the history of mathematics.

~250 BCE • Archimedes and Quadrature

Archimedes uses the method of exhaustion to compute the area under a parabolic arc, anticipating integral calculus by nearly two millennia. His technique of bounding a region with inscribed and circumscribed polygons foreshadows the Riemann sum.

1635 • Cavalieri's Indivisibles

Bonaventura Cavalieri publishes Geometria Indivisibilibus, proposing that areas and volumes can be decomposed into infinitely many infinitesimal slices. His method, though lacking rigour, catalyzes the development of integral techniques across Europe.

1668 • Barrow's Geometric Insight

Isaac Barrow, Newton's mentor at Cambridge, demonstrates a geometric relationship between tangent lines and areas in his Lectiones Geometricae. This result is the earliest recognizable statement of the inverse relationship between differentiation and integration.

1669–1686 • Newton and Leibniz Formalize Calculus

Isaac Newton develops the method of fluxions (1669, circulated privately), and Gottfried Wilhelm Leibniz independently publishes his differential and integral calculus (1684–1686). Leibniz's notation — the elongated 'S' for integration and dx for differentials — endures to this day.

1823–1854 • Cauchy and Riemann Rigourize the Integral

Augustin-Louis Cauchy defines the definite integral as the limit of a sum, and Bernhard Riemann generalizes this with partitions and sample points. The modern ε-δ framework provides the rigorous foundation on which the Fundamental Theorem rests.

The central question that drove this centuries-long investigation can be stated simply: if we know how to differentiate a function, can we use that knowledge to evaluate areas, and vice versa? The Fundamental Theorem of Calculus answers with a resounding yes, providing the computational engine that transforms integration from a laborious limit-of-sums process into a matter of finding antiderivatives.

SECTION 2

Core Principles & Definitions

Before stating the theorem itself, we must establish the key objects it relates. The definite integral of a function f over an interval [a, b] is defined as the limit of Riemann sums and represents the signed area between the graph of f and the x-axis. An antiderivative (or indefinite integral) F of f is any function satisfying F′(x) = f(x). The Fundamental Theorem welds these two objects together, asserting that the process of accumulating area (integration) and the process of recovering a rate of change (differentiation) are inverse operations. The theorem comes in two parts: FTC Part 1 addresses the differentiation of an accumulation function, while FTC Part 2 provides the evaluation formula for definite integrals.

Definite Integral as Signed Area

The integral ∫ₐᵇ f(x) dx equals the net signed area between f(x) and the x-axis on [a, b]. Regions above the axis contribute positive area; regions below contribute negative area. This is defined precisely as the limit of Riemann sums as the partition norm tends to zero.

Antiderivative (Indefinite Integral)

A function F is an antiderivative of f on an interval I if F′(x) = f(x) for every x in I. Antiderivatives are unique up to a constant: if F and G are both antiderivatives of f, then F(x) − G(x) = C for some constant C. This family is denoted ∫ f(x) dx = F(x) + C.

FTC Part 1: Differentiation of Accumulation

If f is continuous on [a, b] and we define the accumulation function A(x) = ∫ₐˣ f(t) dt, then A is differentiable on (a, b) and A′(x) = f(x). In words: differentiating the "area so far" function returns the original integrand.

FTC Part 2: Evaluation Theorem

If f is continuous on [a, b] and F is any antiderivative of f, then ∫ₐᵇ f(x) dx = F(b) − F(a). This transforms the computation of a definite integral from a limit of sums into a simple subtraction of antiderivative values at the endpoints.

Continuity Hypothesis

Both parts of the FTC require f to be continuous on the closed interval [a, b]. This condition ensures that the Riemann integral exists and that the accumulation function is differentiable. Extensions to piecewise-continuous or Lebesgue-integrable functions come later in analysis.

✦

KEY TAKEAWAY

Think of a car's odometer and speedometer. The speedometer reads the instantaneous speed f(t) (the derivative), while the odometer records total distance traveled (the integral). FTC Part 1 says that if you differentiate the odometer reading with respect to time, you recover the speedometer reading. FTC Part 2 says that the total distance driven between time a and time b equals the odometer reading at b minus the reading at a — no need to sum up infinitely many tiny distances. The theorem confirms that integration and differentiation are inverse processes, just as multiplication and division undo each other.

SECTION 3

Visual Explanation: The Accumulation Function

The shaded region represents the definite integral ∫ₐᵇ f(x) dx. The dashed vertical lines mark the limits of integration a and b. By FTC Part 2, the area equals F(b) − F(a) where F is any antiderivative of f.

The diagram above captures the geometric heart of the Fundamental Theorem. The curve y = f(x) is continuous on [a, b], and the cyan-shaded region represents the net signed area between the graph and the x-axis. The key insight is that computing this area does not require partitioning the interval into rectangles and taking a limit (though that definition is foundational). Instead, if we can find any function F whose derivative equals f, we simply evaluate F at the two endpoints and subtract. This transforms a potentially arduous infinite-sum calculation into an exercise in antidifferentiation followed by arithmetic.

Notice that the area is "signed." Where f(x) dips below the x-axis, the integral accumulates negative area. Thus ∫ₐᵇ f(x) dx can be zero even if f is not identically zero — the positive and negative contributions may cancel. When total geometric area (unsigned) is required, one integrates |f(x)| instead. This distinction is essential in applications ranging from physics (net displacement vs. total distance) to probability (where the entire density integrates to 1).

SECTION 4

Mathematical Framework

FTC Part 1: The Accumulation Function

ACCUMULATION FUNCTION

A(x) = ∫ₐˣ f(t) dt

Here f is continuous on [a, b], t is the dummy variable of integration, and x ∈ [a, b]. The function A(x) gives the net area accumulated from a up to x.

FTC PART 1

d/dx [ ∫ₐˣ f(t) dt ] = f(x)

Differentiating the accumulation function with respect to its upper limit recovers the integrand. Equivalently, A′(x) = f(x). This guarantees that every continuous function has an antiderivative, namely the accumulation function itself.

The proof of FTC Part 1 rests on the definition of the derivative and the properties of the integral. We write A′(x) = $\lim_{h→0}$ [A(x+h) − A(x)] / h = $\lim_{h→0}$ (1/h) ∫ₓˣ⁺ʰ f(t) dt. Because f is continuous, the Mean Value Theorem for integrals guarantees the existence of some c between x and x+h such that ∫ₓˣ⁺ʰ f(t) dt = f(c) · h. As h → 0, c → x, and by continuity f(c) → f(x). Therefore A′(x) = f(x). This argument, while concise, uses three pillars: the limit definition of the derivative, the additivity of the integral, and the continuity of f.

💡

Chain Rule Extension

When the upper limit is a function u(x) rather than x itself, the chain rule yields d/dx [ ∫ₐᵘ⁽ˣ⁾ f(t) dt ] = f(u(x)) · u′(x). Similarly, if both limits are functions, d/dx [ ∫_{v(x)}^{u(x)} f(t) dt ] = f(u(x)) · u′(x) − f(v(x)) · v′(x). This extension appears frequently in applications and is a common source of examination questions.

FTC Part 2: The Evaluation Theorem

FTC PART 2 (EVALUATION THEOREM)

∫ₐᵇ f(x) dx = F(b) − F(a)

F is any antiderivative of f on [a, b], meaning F′(x) = f(x). The notation F(x) |ₐᵇ or [F(x)]ₐᵇ denotes F(b) − F(a). Because antiderivatives differ by a constant, the choice of F does not affect the result: [F(b)+C] − [F(a)+C] = F(b) − F(a).

FTC Part 2 follows directly from Part 1. Since A(x) = ∫ₐˣ f(t) dt is an antiderivative of f (by Part 1), and F is another antiderivative, we have F(x) = A(x) + C for some constant C. Evaluating at x = a gives F(a) = A(a) + C = 0 + C = C, so C = F(a). Then ∫ₐᵇ f(t) dt = A(b) = F(b) − C = F(b) − F(a). This elegant derivation shows that Part 2 is essentially a corollary of Part 1, not an independent theorem.

PROPERTIES OF THE DEFINITE INTEGRAL

∫ₐᵇ [αf(x) + βg(x)] dx = α∫ₐᵇ f(x) dx + β∫ₐᵇ g(x) dx

Linearity of integration: the integral of a linear combination equals the linear combination of the integrals. Additional properties include ∫ₐᵃ f(x) dx = 0, ∫ₐᵇ f(x) dx = −∫ᵇₐ f(x) dx, and the interval additivity ∫ₐᵇ + ∫ᵇᶜ = ∫ₐᶜ.

SECTION 5

Riemann Sums & the Definite Integral in Detail

The Fundamental Theorem gains its power from the rigorous definition of the definite integral via Riemann sums. To understand why F(b) − F(a) gives the correct area, it is worth revisiting how that area is defined in the first place. We partition [a, b] into n subintervals of widths Δxₖ, choose sample points xₖ* in each subinterval, and form the sum Sₙ = Σₖ₌₁ⁿ f(xₖ*) Δxₖ. As the norm of the partition (the width of the widest subinterval) approaches zero, Sₙ converges to the definite integral — provided f is Riemann integrable. For continuous functions, integrability is guaranteed.

A left Riemann sum with 8 subintervals approximates the area under the pink curve f(x). As the number of rectangles increases without bound, the Riemann sum converges to the definite integral.

The diagram above illustrates the left-endpoint Riemann sum with n = 8 equal subintervals. Each rectangle's height is the value of f at the left endpoint of its subinterval, and its width is Δx = (b − a)/8. The total area of the eight rectangles approximates ∫ₐᵇ f(x) dx, and the approximation improves as n grows. One can also use right endpoints, midpoints, or any sample points within each subinterval; in the limit, all choices yield the same value for a continuous integrand.

Property	Statement	Significance
Linearity	∫ₐᵇ [αf + βg] dx = α∫ₐᵇ f dx + β∫ₐᵇ g dx	Allows decomposition of complex integrands into simpler parts.
Order / Bounds	If f(x) ≤ g(x) on [a,b], then ∫ₐᵇ f dx ≤ ∫ₐᵇ g dx	Enables estimation of integrals via bounding functions.
Additivity	∫ₐᵇ f dx + ∫ᵇᶜ f dx = ∫ₐᶜ f dx	Allows splitting integrals at intermediate points for piecewise functions.
Reversal	∫ₐᵇ f dx = −∫ᵇₐ f dx	Swapping limits negates the integral; consistent with signed-area interpretation.
MVT for Integrals	∃ c ∈ (a,b) : f(c) = (1/(b−a)) ∫ₐᵇ f dx	Guarantees a point where f equals its average value on [a,b].

Key Properties of Definite Integrals

SECTION 6

Worked Example: Applying the FTC

We now apply FTC Part 2 and the chain-rule extension of FTC Part 1 to two representative problems, demonstrating the theorem's computational power and versatility.

Example 1: Evaluate ∫₁⁴ (3x² − 2x + 5) dx

Evaluating a Polynomial Definite Integral

1
Step 1 — Identify the integrand and interval

We wish to compute ∫₁⁴ (3x² − 2x + 5) dx. The integrand f(x) = 3x² − 2x + 5 is a polynomial, hence continuous everywhere, so the FTC applies on [1, 4].
2
Step 2 — Find an antiderivative F(x)

Apply the power rule for antiderivatives term by term: ∫ 3x² dx = x³, ∫ (−2x) dx = −x², ∫ 5 dx = 5x. Thus F(x) = x³ − x² + 5x. We omit the constant of integration C because it cancels in the subtraction.

F(x) = x³ − x² + 5x
3
Step 3 — Evaluate F at the endpoints

F(4) = 4³ − 4² + 5(4) = 64 − 16 + 20 = 68. F(1) = 1³ − 1² + 5(1) = 1 − 1 + 5 = 5.

F(4) = 68, F(1) = 5
4
Step 4 — Apply FTC Part 2

∫₁⁴ (3x² − 2x + 5) dx = F(4) − F(1) = 68 − 5 = 63.

∫₁⁴ (3x² − 2x + 5) dx = 63

Example 2: Differentiate G(x) = ∫₂^{x³} sin(t²) dt

FTC Part 1 with Chain Rule

1
Step 1 — Recognize the structure

G(x) = ∫₂^{u(x)} f(t) dt where f(t) = sin(t²) and u(x) = x³. The lower limit is the constant 2, and the upper limit is a function of x, so we apply the chain-rule extension of FTC Part 1.
2
Step 2 — Apply d/dx ∫ₐᵘ⁽ˣ⁾ f(t) dt = f(u(x)) · u′(x)

We need f(u(x)) = sin((x³)²) = sin(x⁶) and u′(x) = 3x². Multiplying these together gives G′(x) = sin(x⁶) · 3x² = 3x² sin(x⁶).

G′(x) = 3x² sin(x⁶)
3
Step 3 — Verify and interpret

No antiderivative of sin(t²) exists in closed form (it involves the Fresnel integral), so evaluating G(x) directly is impractical. The beauty of FTC Part 1 is that we can differentiate G without ever finding an explicit formula for the antiderivative.

SECTION 7

Strengths, Limitations & Common Pitfalls

Aspect	Strengths	Limitations / Pitfalls
Computational power	Reduces definite integration to finding any antiderivative and subtracting endpoint values — bypasses tedious limit-of-sums calculations.	Requires a closed-form antiderivative. Functions like $e^{−x²}$ , sin(x)/x, and $x^x$ have no elementary antiderivative, necessitating numerical methods.
Continuity requirement	For continuous functions on [a,b], the FTC guarantees both the existence of the integral and the validity of the evaluation formula.	If f has a discontinuity or a vertical asymptote inside [a,b], the integral becomes improper and the FTC cannot be applied naively. One must split the integral and take limits.
Signed vs. unsigned area	Signed area naturally encodes direction (net displacement, net charge, etc.), which is physically meaningful in many contexts.	Students often confuse signed area with total area. For total area, one must integrate \|f(x)\|, which typically requires splitting at zeros of f.
Variable limits (FTC Part 1)	Allows differentiation of integral expressions without finding antiderivatives — essential for functions defined by integrals (erf, Fresnel, etc.).	Forgetting the chain rule when the upper limit is u(x) rather than x is a frequent error. Must multiply by u′(x).
Constant of integration	The constant C cancels in F(b) − F(a), so any particular antiderivative works.	Students sometimes include +C in definite integral evaluations, which is unnecessary and can cause confusion if carried into subsequent calculations.

Strengths and Limitations of the Fundamental Theorem

⚠

COMMON PITFALL ALERT

A classic error is applying the FTC across a discontinuity. For example, ∫₋₁¹ (1/x²) dx is not equal to [−1/x]₋₁¹ = (−1) − (1) = −2. The integrand 1/x² has a vertical asymptote at x = 0, making this an improper integral that actually diverges to +∞. Always check that f is continuous on the entire interval [a, b] before invoking the FTC.

SECTION 8

Connections to Advanced Theory

The Fundamental Theorem of Calculus sits at the base of an entire edifice of more general integration theories and higher-dimensional analogues. Understanding how the FTC generalizes gives perspective on its role within mathematics and its applications in physics, engineering, and beyond.

FTC (Single Variable)	Generalization	Key Idea
∫ₐᵇ f(x) dx = F(b) − F(a)	Gradient Theorem (Line Integrals)	∫_C ∇F · dr = F(B) − F(A). The integral of a gradient field along any path depends only on the endpoints, generalizing the FTC to curves in ℝⁿ.
Boundary evaluation	Green's / Stokes' / Gauss' Theorems	These relate integrals over regions to integrals over their boundaries. All are higher-dimensional manifestations of the FTC principle: the integral of a derivative over a domain equals the boundary values.
Riemann integrability	Lebesgue Integration	The Lebesgue integral extends integration to a much broader class of functions. A version of the FTC holds: if F is absolutely continuous, then F(b) − F(a) = ∫ₐᵇ F′(x) dx (Lebesgue a.e.).
Continuous integrand	Improper Integrals	When f has an infinite discontinuity or the interval is unbounded, one defines ∫ₐ∞ f dx = $\lim_{R→∞}$ ∫ₐᴿ f dx. The FTC is applied to each finite truncation, and convergence is assessed via limits.

From FTC to Higher Generalizations

In your Calculus 2 course, you will encounter the FTC repeatedly: in integration techniques (substitution, integration by parts, partial fractions), in applications of integration (area between curves, volumes of revolution, arc length, work), and in the study of improper integrals and sequences and series (where integrals test series convergence via the integral test). Mastering the FTC now is essential, as it serves as the computational backbone of nearly every integration topic that follows.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain in your own words why FTC Part 1 and FTC Part 2 are not independent results. Specifically, describe how Part 2 can be derived as a consequence of Part 1, and clarify the role of the constant of integration in the derivation.

Show answer

FTC Part 1 establishes that A(x) = ∫ₐˣ f(t) dt is an antiderivative of f, since A′(x) = f(x). If F is any other antiderivative of f, then F and A differ by a constant: F(x) = A(x) + C. Evaluating at x = a gives F(a) = A(a) + C = 0 + C = C, so C = F(a). Then ∫ₐᵇ f(t) dt = A(b) = F(b) − C = F(b) − F(a), which is precisely the statement of FTC Part 2. The constant of integration cancels because we subtract endpoint values, which is why any particular antiderivative suffices for evaluation.

Question 2: BASIC CALCULATION

Evaluate ∫₀^{π/2} (cos x + 2x) dx using the Fundamental Theorem of Calculus.

Show answer

An antiderivative is F(x) = sin x + x². By FTC Part 2, ∫₀^{π/2} (cos x + 2x) dx = F(π/2) − F(0) = [sin(π/2) + (π/2)²] − [sin(0) + 0²] = [1 + π²/4] − 0 = 1 + π²/4. Numerically this is approximately 1 + 2.467 = 3.467. The computation required only finding the antiderivative and performing two substitutions, illustrating the efficiency the FTC provides over computing a limit of Riemann sums.

Question 3: INTERMEDIATE

Let H(x) = ∫_{x²}^{x³}

e^{−t}

dt. Find H′(x).

Show answer

We apply the chain-rule extension of FTC Part 1 with both limits as functions of x. Write H(x) = ∫_{v(x)}^{u(x)} f(t) dt where f(t) =

e^{−t}

, u(x) = x³, and v(x) = x². Then H′(x) = f(u(x)) · u′(x) − f(v(x)) · v′(x) =

e^{−x³}

· 3x² −

e^{−x²}

· 2x. This result is exact and requires no explicit evaluation of the integral itself. The key strategic decision is recognizing that the generalized FTC with the subtraction formula handles the variable lower limit without needing to split the integral.

Question 4: APPLIED

A particle moves along a straight line with velocity v(t) = t² − 4t + 3 (meters per second) for t ∈ [0, 5]. (a) Find the net displacement over [0, 5]. (b) Find the total distance traveled over [0, 5].

Show answer

(a) Net displacement = ∫₀⁵ (t² − 4t + 3) dt. An antiderivative is F(t) = t³/3 − 2t² + 3t. So F(5) − F(0) = (125/3 − 50 + 15) − 0 = 125/3 − 35 = 125/3 − 105/3 = 20/3 ≈ 6.667 m. (b) For total distance, integrate |v(t)|. First find zeros of v: t² − 4t + 3 = (t − 1)(t − 3) = 0, so t = 1 and t = 3. Since v < 0 on (1, 3), total distance = ∫₀¹ (t² − 4t + 3) dt + ∫₁³ |t² − 4t + 3| dt + ∫₃⁵ (t² − 4t + 3) dt = [F(1) − F(0)] − [F(3) − F(1)] + [F(5) − F(3)]. We compute F(1) = 1/3 − 2 + 3 = 4/3, F(3) = 9 − 18 + 9 = 0. So total distance = 4/3 − (0 − 4/3) + (20/3 − 0) = 4/3 + 4/3 + 20/3 = 28/3 ≈ 9.333 m. The distinction between parts (a) and (b) highlights the signed vs. unsigned area interpretation.

Question 5: CRITICAL THINKING

Prove that if f is continuous on [a, b] and ∫ₐᵇ f(x) dx = 0 with f(x) ≥ 0 for all x ∈ [a, b], then f(x) = 0 for all x ∈ [a, b]. (Hint: argue by contradiction using the continuity of f and the properties of the integral.)

Show answer

Suppose for contradiction that there exists c ∈ [a, b] with f(c) > 0. Since f is continuous, there exists δ > 0 such that f(x) > f(c)/2 > 0 for all x ∈ (c − δ, c + δ) ∩ [a, b]. Call this interval J, and let its length be ℓ > 0. By the comparison property of integrals, ∫ₐᵇ f(x) dx ≥ ∫_J f(x) dx ≥ (f(c)/2) · ℓ > 0. This contradicts the hypothesis that ∫ₐᵇ f(x) dx = 0. Therefore no such c exists, and f(x) = 0 for all x ∈ [a, b]. This result relies crucially on continuity; for merely integrable functions, one can only conclude f = 0 almost everywhere (in the Lebesgue sense).

SUMMARY

Summary

The Fundamental Theorem of Calculus establishes the profound connection between differentiation and integration. FTC Part 1 states that the accumulation function A(x) = ∫ₐˣ f(t) dt is an antiderivative of f, so d/dx[∫ₐˣ f(t) dt] = f(x) whenever f is continuous. FTC Part 2 (the Evaluation Theorem) lets us compute definite integrals via ∫ₐᵇ f(x) dx = F(b) − F(a), where F is any antiderivative of f. This bypasses the laborious limit-of-Riemann sums and transforms integration into an algebraic computation.

Key prerequisites include the continuity of the integrand on [a, b] and the ability to find antiderivatives. The chain-rule extension of Part 1 handles variable limits: d/dx[∫ₐ^{u(x)} f(t) dt] = f(u(x)) · u′(x). Properties of definite integrals — linearity, additivity, comparison, and reversal of limits — complement the FTC and are essential tools in every subsequent integration topic. This theorem is the computational backbone of Calculus 2 and generalizes to higher dimensions through Green's, Stokes', and Gauss' theorems.