7.1 The Fundamental Theorem of Calculus

7.1 The Fundamental Theorem of Calculus

Core CLEP Concept: The Fundamental Theorem of Calculus (FTC) represents the pinnacle of single-variable calculus. Developed independently by Sir Isaac Newton and Gottfried Wilhelm Leibniz in the late 17th century, the theorem unites two seemingly disconnected branches of mathematics: the tangent problem (differential calculus, measuring instantaneous rates of change) and the area problem (integral calculus, calculating accumulated continuous sums). On the CLEP Calculus exam, FTC problems appear extensively across both the non-calculator and calculator sections, testing your ability to differentiate accumulation functions with variable bounds, analyze accumulation graphs, and evaluate definite integrals algebraically.

---

1. The Conceptual Bridge: Inverse Mathematical Operations

Prior to the discovery of the Fundamental Theorem, computing the slope of a tangent line and calculating the area under a curve were treated as entirely unrelated geometric problems. Differential calculus focused on tangents and instantaneous velocity, while integral calculus evolved from exhaustion methods and limits of Riemann sums to determine areas and volumes.

The Fundamental Theorem of Calculus revealed that differentiation and integration are inverse operations, functioning in the exact same reciprocal manner as addition and subtraction, or multiplication and division.

                      DIFFERENTIATION (d/dx)
             [Instantaneous Rate of Change / Tangent Slope]
                      ----------------------->
   Accumulation / Area                              Rate of Change
      Function F(x)                                  Function f(x)
                      <-----------------------
                       INTEGRATION (int ... dx)
                   [Continuous Summation / Area]

When you differentiate an accumulation function, you recover the original rate of change function. Conversely, when you integrate a rate of change function, you recover the net accumulation of the original function. This inverse relationship eliminates the need to calculate infinite limits of Riemann sums for well-behaved functions, providing a direct analytical bridge between rates of change and total accumulation.

---

2. FTC Part 1: The Accumulation Function

Let $f$ be a continuous real-valued function on the closed interval $[a, b]$. For any value $x$ in $[a, b]$, we define the accumulation function (also known as the area function) $g(x)$ by:

$g(x) = \int_a^x f(t) \, dt$

In this formulation:

• $t$ serves as a dummy variable of integration that sweeps along the horizontal axis from $a$ to $x$.
• $x$ serves as the independent variable representing the variable upper limit of integration.
• $a$ is a fixed real constant representing the base point or accumulation origin, where $g(a) = \int_a^a f(t) , dt = 0$.

   y
   ^            y = f(t)
   |            _--_
   |           /    \
   |          /      \
   |         /|//////|\
   |        / |//////| \
---+-------+--+------+-+---------> t
   0       a  | Area | x         b
              | g(x) |

Formal Theorem Statement: FTC Part 1

Theorem (FTC Part 1): If $f$ is continuous on $[a, b]$, then the function $g$ defined by $g(x) = \int_a^x f(t) \, dt \quad \text{for } a \le x \le b$ is continuous on the closed interval $[a, b]$, differentiable on the open interval $(a, b)$, and its derivative is given by: $g'(x) = \frac{d}{dx} \left[ \int_a^x f(t) \, dt \right] = f(x)$

Rigorous Analytical Proof of FTC Part 1

To prove that $g'(x) = f(x)$ rigorously, we apply the formal limit definition of the derivative:

$g'(x) = \lim_{h \to 0} \frac{g(x + h) - g(x)}{h}$

Using the definition of $g(x)$ and integral interval additivity properties:

$g(x + h) - g(x) = \int_a^{x+h} f(t) \, dt - \int_a^x f(t) \, dt = \int_x^{x+h} f(t) \, dt$

Therefore:

$g'(x) = \lim_{h \to 0} \frac{1}{h} \int_x^{x+h} f(t) \, dt$

By the Mean Value Theorem for Definite Integrals, since $f$ is continuous on the closed interval $[x, x+h]$ (assuming $h > 0$; a symmetric argument applies for $h < 0$), there exists some number $c_h \in [x, x+h]$ such that:

$\int_x^{x+h} f(t) \, dt = f(c_h) \cdot h$

Substituting this relation into our difference quotient limit:

$g'(x) = \lim_{h \to 0} \frac{1}{h} \left[ f(c_h) \cdot h \right] = \lim_{h \to 0} f(c_h)$

As $h \to 0$, the interval $[x, x+h]$ contracts to the single point $x$, forcing $c_h \to x$ by the Squeeze Theorem. Because $f$ is continuous on $[a, b]$:

$\lim_{h \to 0} f(c_h) = f(x) \implies g'(x) = f(x) \quad \blacksquare$

Geometric Interpretation of Rate of Area Accumulation

The geometric intuition behind FTC Part 1 is visual and direct: when the upper boundary $x$ advances by an infinitesimal width $\Delta x = h$, the newly added area is a thin vertical strip of width $h$ and approximate height $f(x)$.

$\Delta g \approx \text{Height} \times \text{Width} = f(x) \cdot h \implies \frac{\Delta g}{h} \approx f(x)$

As $h \to 0$, the instantaneous rate at which area accumulates with respect to the upper bound $x$ equals the exact boundary height of the function $f(x)$.

---

3. Extended Leibniz Rule and Chain Rule Applications

On the CLEP exam, the upper and lower limits of integration are frequently non-linear functions of $x$. When the limits of integration are differentiable functions $u(x)$ and $v(x)$, we combine FTC Part 1 with the Chain Rule. This generalized differentiation formula is known as the Leibniz Rule.

Case 1: Variable Upper Limit $v(x)$

Let $g(x) = \int_a^{v(x)} f(t) , dt$. Defining $u = v(x)$ and applying the Chain Rule $\frac{dg}{dx} = \frac{dg}{du} \cdot \frac{du}{dx}$:

$\frac{d}{dx} \left[ \int_a^{v(x)} f(t) \, dt \right] = f(v(x)) \cdot v'(x)$

Case 2: Variable Lower Limit $u(x)$

Reversing the limits introduces a negative sign: $\int_{u(x)}^b f(t) , dt = -\int_b^{u(x)} f(t) , dt$. Differentiating yields:

$\frac{d}{dx} \left[ \int_{u(x)}^b f(t) \, dt \right] = -f(u(x)) \cdot u'(x)$

Case 3: Variable Upper and Lower Limits $u(x)$ and $v(x)$

Splitting the integral at an arbitrary intermediate constant $c$ in the domain of $f$:

$\int_{u(x)}^{v(x)} f(t) \, dt = \int_{u(x)}^c f(t) \, dt + \int_c^{v(x)} f(t) \, dt = \int_c^{v(x)} f(t) \, dt - \int_c^{u(x)} f(t) \, dt$

Differentiating both terms yields the Master Leibniz Formula:

$\frac{d}{dx} \left[ \int_{u(x)}^{v(x)} f(t) \, dt \right] = f(v(x)) \cdot v'(x) - f(u(x)) \cdot u'(x)$

Step-by-Step Worked Examples

Example 1: Variable Polynomial Upper Limit

Problem: Find $F'(x)$ for $F(x) = \int_2^{x^3} \sqrt{1 + t^2} , dt$.

• Step 1: Identify the integrand $f(t) = \sqrt{1 + t^2}$ and upper limit $v(x) = x^3$.
• Step 2: Differentiate the upper limit: $v'(x) = 3x^2$.
• Step 3: Substitute $v(x)$ into $f(t)$: $f(v(x)) = \sqrt{1 + (x^3)^2} = \sqrt{1 + x^6}$.
• Step 4: Multiply by $v'(x)$: $F'(x) = \sqrt{1 + x^6} \cdot 3x^2 = 3x^2 \sqrt{1 + x^6}$

Example 2: Variable Trigonometric and Quadratic Bounds

Problem: Find $\frac{d}{dx} \left[ \int_{x^2}^{\sin x} e^{t^2} , dt \right]$.

• Step 1: Identify $f(t) = e^{t^2}$, upper bound $v(x) = \sin x$, lower bound $u(x) = x^2$.
• Step 2: Compute derivatives: $v'(x) = \cos x$ and $u'(x) = 2x$.
• Step 3: Apply the Master Leibniz Formula: $\frac{d}{dx} \left[ \int_{x^2}^{\sin x} e^{t^2} \, dt \right] = e^{(\sin x)^2} \cdot (\cos x) - e^{(x^2)^2} \cdot (2x) = \cos(x) e^{\sin^2 x} - 2x e^{x^4}$

Example 3: Rational Integrand with Variable Bounds

Problem: Find $\frac{d}{dx} \left[ \int_{\cos x}^{3x} \frac{1}{1 + t^2} , dt \right]$.

• Upper term: $f(3x) \cdot \frac{d}{dx}[3x] = \frac{1}{1 + (3x)^2} \cdot 3 = \frac{3}{1 + 9x^2}$.
• Lower term: $f(\cos x) \cdot \frac{d}{dx}[\cos x] = \frac{1}{1 + \cos^2 x} \cdot (-\sin x) = -\frac{\sin x}{1 + \cos^2 x}$.
• Subtract lower from upper: $\frac{3}{1 + 9x^2} - \left( -\frac{\sin x}{1 + \cos^2 x} \right) = \frac{3}{1 + 9x^2} + \frac{\sin x}{1 + \cos^2 x}$

---

4. Analyzing Accumulation Functions from Geometric Graphs

A signature problem type on the CLEP Calculus exam presents the geometric graph of a piecewise linear/circular function $f(t)$ and asks questions about the accumulation function $g(x) = \int_0^x f(t) , dt$.

The Core Derivative Translation Hierarchy

Because $g(x) = \int_0^x f(t) , dt$, FTC Part 1 establishes that $f$ is the first derivative of $g$, and $f'$ is the second derivative of $g$:

$g(x) = \text{Area under } f \qquad g'(x) = f(x) \qquad g''(x) = f'(x)$

Comprehensive Graphical Case Study

Suppose the graph of $f(t)$ on $[-2, 6]$ consists of line segments connecting $(-2, 0)$, $(0, 4)$, $(2, 0)$, $(4, -4)$, and $(6, 0)$. Let $g(x) = \int_0^x f(t) , dt$.

   f(t)
    4 +       (0,4)
      |        /\
    2 +       /  \
      |      /    \
   -2-+-----+------+------+------+------+--> t
      |   (-2,0)   (2,0)  |     (6,0)
   -2 +                   \    /
      |                    \  /
   -4 +                    (4,-4)

1. Calculate $g(0)$: $g(0) = \int_0^0 f(t) , dt = 0$.
2. Calculate $g(2)$: Area of triangle on $[0, 2]$: $\frac{1}{2}(\text{base})(\text{height}) = \frac{1}{2}(2)(4) = +4$.
3. Calculate $g(6)$: Area on $[0, 2]$ ($+4$) plus area on $[2, 6]$ (triangle below axis: $\frac{1}{2}(4)(-4) = -8$). Total: $g(6) = 4 - 8 = -4$.
4. Calculate $g(-2)$: $\int_0^{-2} f(t) , dt = -\int_{-2}^0 f(t) , dt = -(\text{Area of triangle on } [-2, 0]) = -\left(\frac{1}{2}(2)(4)\right) = -4$.
5. Local Extrema of $g(x)$:
   • $f(t)$ crosses from positive to negative at $t = 2 \implies g(x)$ attains a local maximum at $x = 2$ (value $= 4$).
   • At $t = -2$ and $t = 6$, check endpoint values to find absolute extrema: Absolute Max is $g(2) = 4$; Absolute Min is $g(-2) = -4$ and $g(6) = -4$.
6. Inflection Points of $g(x)$:
   • $f(t)$ changes from increasing to decreasing at $t = 0 \implies g(x)$ has an inflection point at $x = 0$.
   • $f(t)$ changes from decreasing to increasing at $t = 4 \implies g(x)$ has an inflection point at $x = 4$.

---

5. FTC Part 2: The Evaluation Theorem

While Part 1 treats the definite integral as an accumulation function, Part 2 provides the practical computational formula for evaluating definite integrals using elementary antiderivatives.

Theorem (FTC Part 2 / The Evaluation Theorem): If $f$ is continuous on the closed interval $[a, b]$, and $F$ is any antiderivative of $f$ on $[a, b]$ (that is, $F'(x) = f(x)$ for all $x \in [a, b]$), then: $\int_a^b f(x) \, dx = F(b) - F(a)$

Derivation Connecting Part 1 and Part 2

By FTC Part 1, we know that $g(x) = \int_a^x f(t) , dt$ is an antiderivative of $f(x)$. If $F(x)$ is any other antiderivative of $f(x)$, then $F(x)$ and $g(x)$ can differ only by an additive constant $C$:

$g(x) = F(x) + C$

Evaluate this identity at $x = a$:

$g(a) = \int_a^a f(t) \, dt = 0 \implies F(a) + C = 0 \implies C = -F(a)$

Therefore:

$g(x) = F(x) - F(a)$

Now evaluate at $x = b$:

$g(b) = \int_a^b f(t) \, dt = F(b) - F(a) \quad \blacksquare$

Bracket Evaluation Notation and the Cancellation of $+ C$

We write $F(b) - F(a)$ using standard evaluation bracket notation:

$[F(x)]_a^b \quad \text{or} \quad \left. F(x) \right|_a^b = F(b) - F(a)$

If we include the arbitrary constant $+C$ in the antiderivative:

$\int_a^b f(x) \, dx = [F(x) + C]_a^b = [F(b) + C] - [F(a) + C] = F(b) + C - F(a) - C = F(b) - F(a)$

The constants $+C$ and $-C$ algebraically cancel in every definite integral evaluation, making the constant of integration completely unnecessary when evaluating definite integrals.

Rigorous Multi-Category Worked Examples

Example 1: Fractional Powers and Monomial Denominators

Problem: Evaluate $\int_1^4 \left( 3\sqrt{x} - \frac{4}{x^2} \right) dx$.

• Step 1: Rewrite using exponent rules: $\int_1^4 (3x^{1/2} - 4x^{-2}) , dx$.
• Step 2: Determine the antiderivative $F(x)$: $F(x) = 3\left(\frac{x^{3/2}}{3/2}\right) - 4\left(\frac{x^{-1}}{-1}\right) = 2x^{3/2} + \frac{4}{x}$
• Step 3: Evaluate from 1 to 4: $F(4) = 2(4)^{3/2} + \frac{4}{4} = 2(8) + 1 = 16 + 1 = 17$ $F(1) = 2(1)^{3/2} + \frac{4}{1} = 2(1) + 4 = 6$
• Step 4: Compute $F(4) - F(1)$: $\int_1^4 \left( 3\sqrt{x} - \frac{4}{x^2} \right) dx = 17 - 6 = 11$

Example 2: Exponential with Base $e$

Problem: Evaluate $\int_0^{\ln 3} 6 e^{2x} , dx$.

• Step 1: Antiderivative: $F(x) = 6\left(\frac{e^{2x}}{2}\right) = 3e^{2x}$.
• Step 2: Evaluate bounds: $F(\ln 3) = 3e^{2\ln 3} = 3e^{\ln(3^2)} = 3(9) = 27$ $F(0) = 3e^{2(0)} = 3(1) = 3$
• Step 3: Compute difference: $27 - 3 = 24$.

Example 3: Trigonometric Form

Problem: Evaluate $\int_0^{\pi/4} (\sec^2 x + 4\cos x) , dx$.

• Step 1: Antiderivative: $F(x) = \tan x + 4\sin x$.
• Step 2: Evaluate upper limit: $F(\pi/4) = \tan(\pi/4) + 4\sin(\pi/4) = 1 + 4\left(\frac{\sqrt{2}}{2}\right) = 1 + 2\sqrt{2}$.
• Step 3: Evaluate lower limit: $F(0) = \tan(0) + 4\sin(0) = 0 + 0 = 0$.
• Step 4: Compute difference: $(1 + 2\sqrt{2}) - 0 = 1 + 2\sqrt{2}$.

Example 4: Rational Inverse Tangent Form

Problem: Evaluate $\int_0^{1/\sqrt{3}} \frac{6}{1 + x^2} , dx$.

• Step 1: Antiderivative: $F(x) = 6\arctan(x)$.
• Step 2: Evaluate upper limit: $F(1/\sqrt{3}) = 6\arctan(1/\sqrt{3}) = 6\left(\frac{\pi}{6}\right) = \pi$.
• Step 3: Evaluate lower limit: $F(0) = 6\arctan(0) = 6(0) = 0$.
• Step 4: Compute difference: $\pi - 0 = \pi$.

---

6. Common CLEP Pitfalls & Traps

1. Applying FTC 2 Across Essential Discontinuities: FTC Part 2 strictly requires $f(x)$ to be continuous across the entire closed interval $[a, b]$. For example, calculating $\int_{-1}^2 \frac{1}{x^2} , dx$ as $[-x^{-1}]_{-1}^2 = -\frac{1}{2} - (1) = -\frac{3}{2}$ is completely false. The integrand has an infinite discontinuity at $x = 0 \in [-1, 2]$, meaning the integral is divergent (and since $\frac{1}{x^2} > 0$, an area can never be negative).
2. Forgetting the Chain Rule Factor on Variable Limits: When differentiating an accumulation function like $\frac{d}{dx} \int_0^{x^3} \sin(t) , dt$, writing $\sin(x^3)$ without multiplying by the inner derivative $3x^2$ is an immediate trap. The correct result is $3x^2 \sin(x^3)$.
3. Reversing Variable Limits Without Negation: Differentiating $\frac{d}{dx} \int_x^5 f(t) , dt$ equals $-f(x)$, not $+f(x)$. Always account for the negative sign when the variable is in the lower limit.
4. Confusing Dummy Variable $t$ with Bound Variable $x$: Never leave the dummy variable $t$ in the final derivative of an accumulation function. $\frac{d}{dx} \int_1^x f(t) , dt = f(x)$, not $f(t)$.