Overview
The Fundamental Theorem of Calculus (FTC) connects differentiation and integration, showing they are inverse operations.
Part 1: Differentiation of Integrals
If f is continuous on [a,b], then the function:
g(x)=∫axf(t)dt
is continuous on [a,b], differentiable on (a,b), and:
g′(x)=f(x)
Or equivalently:
dxd[∫axf(t)dt]=f(x)
With Variable Upper Limit
If the upper limit is a function u(x):
dxd[∫au(x)f(t)dt]=f(u(x))⋅u′(x)
With Variable Lower Limit
dxd[∫v(x)bf(t)dt]=−f(v(x))⋅v′(x)
Both Limits Variable
dxd[∫v(x)u(x)f(t)dt]=f(u(x))⋅u′(x)−f(v(x))⋅v′(x)
Part 2: Evaluation of Integrals
If f is continuous on [a,b] and F is any antiderivative of f, then:
∫abf(x)dx=F(b)−F(a)
This is often written as:
∫abf(x)dx=[F(x)]ab=F(x)ab
The Connection
- Part 1: Differentiation undoes integration
- Part 2: Integration undoes differentiation (up to a constant)
Together: ∫axf(t)dt is an antiderivative of f(x)
Examples
Example 1: FTC Part 1 (basic)
dxd[∫0xcos(t)dt]=cos(x)
Example 2: FTC Part 1 (with chain rule)
dxd[∫1x2etdt]=ex2⋅2x=2xex2
Example 3: FTC Part 1 (both limits variable)
dxd[∫xx3sin(t)dt]=sin(x3)⋅3x2−sin(x)⋅1
=3x2sin(x3)−sin(x)
Example 4: FTC Part 2 (polynomial)
∫13(2x−1)dx=[x2−x]13
=(9−3)−(1−1)=6
Example 5: FTC Part 2 (exponential)
∫0ln(2)exdx=[ex]0ln(2)
=eln(2)−e0=2−1=1
Example 6: FTC Part 2 (trigonometric)
∫0π/4sec2(x)dx=[tan(x)]0π/4
=tan(4π)−tan(0)=1−0=1
Example 7: Finding a function
If ∫0xf(t)dt=x2+2x, find f(x).
By FTC Part 1:
f(x)=dxd[x2+2x]=2x+2
Check: ∫0x(2t+2)dt=[t2+2t]0x=x2+2x ✓
Example 8: Proof that integration is inverse of differentiation
Let F(x)=∫axf(t)dt
By FTC Part 1: F′(x)=f(x)
Therefore F is an antiderivative of f.
By FTC Part 2:
∫abf(x)dx=F(b)−F(a)=∫abf(t)dt−∫aaf(t)dt
This confirms the two parts are consistent.
Mean Value Theorem for Integrals
If f is continuous on [a,b], there exists c in [a,b] such that:
∫abf(x)dx=f(c)(b−a)
This connects to the average value: f(c)=favg