The most important theorem in calculus: the Newton-Leibniz formula reveals that differentiation and integration are inverse operations.
If , define the integral function:
Note: We use a different variable inside to avoid confusion with the upper limit .
If , then is continuous on .
In fact, is Lipschitz continuous: where .
For with :
This shows is Lipschitz continuous, hence uniformly continuous.
Let and .
If is continuous at , then is differentiable at and:
In short: “The derivative of an integral is the integrand.”
Consider the difference quotient for :
Since is continuous at , for any , there exists such that:
For :
Similarly for . Thus .
If , then is an antiderivative of on .
Important distinctions:
Let and suppose is an antiderivative of on (i.e., ). Then:
Take any partition .
By the Mean Value Theorem, for each there exists such that:
Summing over all (telescoping sum):
Taking , the right side converges to .
The notation or means:
This is read as “ evaluated from to ”.
Compute:
Antiderivative:
If and are differentiable and is continuous:
Let . Then:
By the chain rule:
Since , the result follows.
Find:
Here , , .
Evaluate:
This is form. By L'Hôpital's Rule:
Evaluate:
This is a Riemann sum for on :
Problem: If , prove:
Sketch:
Use Mean Value Theorem and recognize the Riemann sum structure for ... (detailed proof involves careful analysis).
The integral from to (both constants) is a constant. Its derivative is 0!
, not just !
(note the minus sign!)
has no elementary form. The integral exists but can't be expressed simply.
Evaluate:
Solution:
Antiderivative of is .
Evaluate:
Solution:
Antiderivative:
Evaluate: and
Solutions:
Find: where
Solution:
Using the Leibniz rule with :
Find:
Solution:
Using the Leibniz rule:
Evaluate:
Solution:
This is form. Apply L'Hôpital:
Still . Apply again or use Taylor: for small :
Problem: Find if
Solution:
By FTC Part 1, differentiate both sides:
Verify: and RHS at is . ✓
Problem 1:
Problem 2:
Problem 3:
Problem 5:
Problem 6:
Problem 9:
Before FTC, differentiation (tangent problem) and integration (area problem) were seen as separate. FTC reveals they are inverse operations—a profound insight.
Without FTC, computing would require summing 100 terms and taking limits. With FTC: !
FTC Part 1 guarantees that every continuous function has an antiderivative—even if we can't write it in elementary form. The integral always works!
If is velocity, then is displacement. The rate of change () and cumulative change are intimately linked.
If is absolutely continuous on , then exists almost everywhere, , and:
This is the Lebesgue version of FTC, valid for a broader class of functions.
Some important functions have no elementary antiderivative:
Error function
Sine integral
Logarithmic integral
Fresnel integral
Developed his “method of fluxions” in the 1660s, recognizing that differentiation and integration are inverse processes. He kept his work largely unpublished until later.
Independently developed calculus in the 1670s-80s. His notation (, ) and systematic approach proved more influential. The “Newton-Leibniz formula” honors both.
Scottish mathematician who stated a geometric version of FTC before Newton and Leibniz, though his work was less complete and systematic.
Newton's teacher at Cambridge who proved a geometric form of FTC in his “Lectiones Geometricae” (1670), directly influencing Newton's work.
| Result | Formula | Conditions |
|---|---|---|
| FTC Part 1 | continuous at | |
| Newton-Leibniz | , | |
| Leibniz Rule | differentiable | |
| Continuity of | , |
In the next section, we learn Computation Techniques for definite integrals:
FTC Part 1: Differentiation undoes integration. FTC Part 2 (Newton-Leibniz): How to evaluate definite integrals using antiderivatives.
For variable limits: differentiate the upper limit (multiply by its derivative), subtract the lower limit term.
FTC Part 1 requires to be continuous at the point of differentiation. FTC Part 2 requires an antiderivative to exist.
Many limit problems involve forms with integrals. Use FTC to differentiate the numerator.
Find where:
Answer:
Solve for :
Hint: Differentiate both sides and solve the ODE.
Evaluate:
Hint: Apply L'Hôpital twice and use Taylor expansion.
For parameter-dependent integrands:
When does this hold? What conditions are needed?
FTC is key to solving ODEs. has solution . Many techniques rely on the inverse relationship between derivatives and integrals.
Position from velocity: . Work from force: . FTC unifies these computations.
CDF from PDF: . By FTC: —the PDF is the derivative of the CDF.
FTC generalizes to complex contour integrals. If on a region, then.
Upper limit :
Lower limit :
Problem: Find where
Solution:
Expand:
Now differentiate using product rule + FTC:
Problem: Find
Solution:
This is . Rewrite and apply L'Hôpital:
The integral grows like , so this limit is .
Problem: Find the area under , for
Solution:
Use :
FTC connects the two main operations of calculus: differentiation and integration are inverse operations. This lets us evaluate definite integrals using antiderivatives instead of limits of Riemann sums.
No! A function can be integrable without having an antiderivative expressible in elementary functions. Example: e^(-x²) is integrable but has no elementary antiderivative.
If f ∈ R[a,b], F(x) = ∫ₐˣ f is still continuous. However, F is only differentiable at points where f is continuous, and F'(x₀) = f(x₀) only at such points.
Yes! Use ∫ₐˣ = -∫ˣₐ. For ∫_{g(x)}^{h(x)} f(t)dt, differentiate as: f(h(x))h'(x) - f(g(x))g'(x).
This notation (evaluation bar) is shorthand. We 'evaluate at b' then 'subtract evaluation at a'. It comes from the Newton-Leibniz formula.
Differentiation and integration are inverse operations!
is always continuous
Every continuous has an antiderivative via FTC
Given , find .
Solution: Apply chain rule:
Evaluate where .
Solution: L'Hôpital's rule gives evaluated at .
Find if .
Solution: Differentiate both sides: .
Find .
Solution: .
The Fundamental Theorem of Calculus is arguably the most important result in elementary calculus. It unifies two seemingly disparate problems—finding tangent lines (differentiation) and computing areas (integration)—revealing them as inverse operations.
This connection has profound implications throughout mathematics, physics, engineering, and beyond. From computing work and energy to modeling population growth, from signal processing to probability theory, FTC provides the foundational bridge between rates and accumulations.
As you continue your study of calculus, you will see FTC appear again and again—in integration techniques, in differential equations, in multivariable calculus (as the various generalized Stokes' theorems), and in real and complex analysis. Mastering FTC now will pay dividends throughout your mathematical journey.