The indefinite integral builds a family of functions. The definite integral∫abf(x)dx builds a single number , the signed area between the graph of f and the x-axis on the interval [a,b]. The Fundamental Theorem of Calculus says that, miraculously, these two objects are computed by the same operation.
Definition as a limit of a sum
Partition [a,b] into n equal subintervals of width h=(b−a)/n. Pick a sample point ξi in the i-th subinterval. The Riemann sum is
Sn=∑i=1nf(ξi)⋅h.
If the limit limn→∞Sn exists and is independent of the choice of sample points, we call it the definite integral:
∫abf(x)dx=limn→∞h∑i=1nf(a+ih).
Geometrically each rectangle has height f(ξi) and width h, so the sum approximates the area under the curve. As n→∞, the approximation becomes exact.
The integral exists when f is continuous on [a,b], and more generally when f has only finitely many jumps. Such f are called Riemann integrable.
The Fundamental Theorem of Calculus
Part I (existence of antiderivatives). If f is continuous on [a,b], then the function
F(x)=∫axf(t)dt
is differentiable on (a,b) with F′(x)=f(x).
Part II (evaluation). If F is any antiderivative of f on [a,b], then
∫abf(x)dx=F(b)−F(a).
This is the bridge. The hard limit-of-sums definition becomes the easy "compute antiderivative, plug in endpoints" procedure. The notation [F(x)]ab=F(b)−F(a) is standard.
Why is the FTC true?
Sketch. Define F(x)=∫axf(t)dt. Then F(x+h)−F(x)=∫xx+hf(t)dt≈h⋅f(x) when h is small (because f is continuous, it is roughly constant near x). So
hF(x+h)−F(x)→f(x)ash→0.
That is, F′(x)=f(x). So F is an antiderivative of f.
Now if G is any other antiderivative, G(x)=F(x)+C. Then
G(b)−G(a)=F(b)−F(a)=∫aaf+∫abf−∫aaf=∫abf.
So every antiderivative works for evaluation.
Definite integral as area
If f≥0 on [a,b], then ∫abf(x)dx is the area between the curve, the x-axis, and the vertical lines x=a and x=b.
If f changes sign, the integral gives signed area , regions below the x-axis contribute negatively. To find true geometric area, integrate ∣f∣ instead, splitting at zeros of f.
Basic identities
Identity
Statement
Reversal
∫abf=−∫baf
Zero length
∫aaf=0
Additivity
∫abf+∫bcf=∫acf
Linearity
∫ab(αf+βg)=α∫abf+β∫abg
Bounding
m≤f≤M on [a,b]⇒m(b−a)≤∫abf≤M(b−a)
Worked examples
Example 1. Evaluate ∫01x2dx as a limit of a sum.
With h=1/n and ξi=ih: Sn=h∑i=1n(ih)2=h3∑i2=n31⋅6n(n+1)(2n+1). As n→∞ this →62=31. Confirmed by FTC: [3x3]01=31.
Example 2.∫0π/2cosxdx.
Antiderivative is sinx. So [sinx]0π/2=1−0=1.
Example 3.∫1exlnxdx.
Substitute u=lnx, du=dx/x. When x=1, u=0; when x=e, u=1. Integral =∫01udu=1/2.
Example 4.∫011+x2dx.
[tan−1x]01=tan−11−0=π/4.
Example 5. Find dxd∫0x2cos(t2)dt.
Use the chain version of FTC Part I: dxd∫ag(x)f(t)dt=f(g(x))⋅g′(x). So the answer is cos(x4)⋅2x=2xcos(x4).
Example 6. Compute the area between y=x2 and y=x on [0,1].
The two curves meet at x=0 and x=1, with x≥x2 on [0,1]. Area =∫01(x−x2)dx=[2x2−3x3]01=21−31=61.
Try it yourself
∫02(3x2+1)dx
∫−11∣x∣dx
∫0πsinxdx
∫14xdx
∫01exdx
∫12x21dx
Use the limit-of-sums to evaluate ∫02xdx.
∫0π/4sec2xdx
∫0π/2sin2xdx (use double-angle)
Find dxd∫xx2sintdt.
∫011+x2xdx
Find the area between y=sinx and the x-axis on [0,2π].
∫−22(x3+x)dx , predict the answer using symmetry.
∫0ax(a−x)dx as a function of a.
Pitfalls and tricks
No "+C" in definite integrals. The constant cancels in F(b)−F(a).
Change the limits under substitution. When you substitute u=g(x), also change the limits to u=g(a) and u=g(b). (Or revert to x first, then plug in original limits.)
Signed vs. unsigned area.∫abf may be negative or zero even when f is non-zero , it's only "area" when f≥0.
Discontinuities matter.∫−11x2dx is not[−x1]−11 , the integrand blows up at 0.