The Fundamental Theorem of Calculus

The Fundamental Theorem of Calculus (FTC) is the crown jewel of mathematics. It connects two seemingly unrelated concepts: the derivative (slopes) and the integral (areas). Before this discovery, calculating areas was a tedious process of infinite sums. After the FTC, it became a simple matter of finding an anti-derivative.

Part 1: The Area Function

The first part of the theorem states that if we define an “area function” $F(x)$ that accumulates the area under a function $f(t)$ from a fixed point $a$ to $x$: $F(x) = \int_a^x f(t) \, dt$ Then the derivative of this area function is simply the original function: $F'(x) = f(x)$

The Intuition: The rate at which area is being added at point $x$ is exactly equal to the “height” of the function at that point. If the function is tall, the area grows quickly. If it is zero, the area stops growing.

Part 2: The Shortcut to Integration

The second part provides the formula we use in practice to evaluate definite integrals. If $F$ is any anti-derivative of $f$ (meaning $F' = f$), then: $\int_a^b f(x) \, dx = F(b) - F(a)$

This is revolutionary. To find the area under a curve, you don’t need to draw rectangles. You just need to find the “inverse” of the derivative and plug in the endpoints.

import sympy as sp

# Define the variable and the function
x = sp.Symbol('x')
f = x**2

# Find the anti-derivative (Indefinite Integral)
F = sp.integrate(f, x)
print(f"Function: f(x) = {f}")
print(f"Anti-derivative: F(x) = {F}")

# Evaluate the definite integral from 0 to 3 using FTC Part 2
# Integral = F(3) - F(0)
a, b = 0, 3
result = F.subs(x, b) - F.subs(x, a)

print(f"\nIntegral from {a} to {b} of x^2 dx:")
print(f"F({b}) - F({a}) = {F.subs(x, b)} - {F.subs(x, a)} = {result}")

# Verify with sympy's definite integral tool
assert result == sp.integrate(f, (x, a, b))

Why “Fundamental”?

The FTC is fundamental because it shows that differentiation and integration are inverse operations. It turns a geometry problem (area) into an algebra problem (anti-derivatives). Every time a physicist calculates the energy lost by a falling object or an engineer calculates the total stress on a bridge, they are relying on this 300-year-old bridge between two worlds.

Exercises