A definite integral of a function f(x) on an interval [a,b] is written ∫abf(x)dx, read as "the integral from a to b of f(x) with respect to x." Here a<b are real numbers and f is defined (and, for this introduction, continuous and non-negative) on [a,b].
Geometric meaning. ∫abf(x)dx is defined as the area of the plane region bounded above by the curve y=f(x), below by the X-axis, and on the sides by the vertical lines x=a and x=b. If g(x) is any primitive (antiderivative) of f(x) — that is, g′(x)=f(x) — then this area turns out to equal g(b)−g(a). The rest of this section explains why that is true, by building the area up from thin strips and taking a limit.
Partitioning the interval. Divide [a,b] into n equal sub-intervals using the points
a=x0<x1<x2<⋯<xn−1<xn=b.
Each sub-interval [xr,xr+1] determines a thin vertical strip of the region under the curve. The width of every strip is the same, h=nb−a, so that xr=a+rh and, since xn=b, we always have nh=b−a.
Approximating a strip by a rectangle. Figure 4.1 shows one such strip. Its true area (bounded above by the curved arc of y=f(x)) is approximated by the area of a rectangle with the same base [xr,xr+1] and height f(tr), where tr is some point strictly between xr and xr+1 chosen by the Mean Value Theorem (explained next). This rectangle's area is (xr+1−xr)⋅f(tr).
Bringing in the Mean Value Theorem. If g(x) is a primitive of f(x), the Mean Value Theorem applied to g on [xr,xr+1] says there exists tr with xr<tr<xr+1 such that
g(xr+1)−g(xr)=(xr+1−xr)⋅g′(tr)=(xr+1−xr)⋅f(tr),
because g′=f. So the exact increase in g across the strip equals exactly the approximate rectangle area built from f(tr) — the approximation is not a coincidence, it is forced by the Mean Value Theorem.
Summing all strips. Adding the rectangle areas for r=0,1,…,n−1 gives an approximating sum Sn for the whole region:
Sn=∑r=0n−1(xr+1−xr)⋅f(tr)=∑r=0n−1[g(xr+1)−g(xr)].
The right-hand sum telescopes — every interior g(xr) cancels once as a subtrahend and once as a minuend — leaving only the first and last terms:
Sn=g(xn)−g(x0)=g(b)−g(a).
This is true for every n, so in particular
g(b)−g(a)=limn→∞Sn=limn→∞∑r=0n−1(xr+1−xr)f(tr).
This limit — the limit, as the strips get infinitely thin, of the sum of thin-rectangle areas — is defined to be the definite integral:
∫abf(x)dx=limn→∞Sn=g(b)−g(a).
The limit-of-sum working formula. In practice tr is taken to be the right end-point a+rh of each strip (a legitimate choice since the Mean Value Theorem only guarantees some point in the strip, and for a continuous f the limit is the same regardless of which point in each strip is used), so the formula actually used to evaluate an integral from first principles is
∫abf(x)dx=limn→∞∑r=1nh⋅f(a+rh),h=nb−a.
The word "integrate" literally means "to find the sum of" — reflecting exactly this construction. This technique underlies not just areas but also arc lengths, volumes of revolution, and similar "sum of infinitely many infinitesimal pieces" constructions met later.
Worked Example 1 — ∫12(2x+5)dx. Here f(x)=2x+5, a=1, b=2, so h=n1 and nh=1. Then f(a+rh)=f(1+rh)=2(1+rh)+5=7+2rh. The sum becomes
∑r=1nh(7+2rh)=7h∑r=1n1+2h2∑r=1nr=7hn+2h2⋅2n(n+1)=7(hn)+(hn)2(1+n1).
As n→∞, hn=1 stays fixed and 1/n→0, so the limit is 7(1)+(1)2(1+0)=8. So ∫12(2x+5)dx=8.
Worked Example 2 — ∫237xdx. Here f(x)=7x, a=2,b=3, h=1/n. Then f(a+rh)=72+rh=72⋅7rh, and the sum ∑r=1n7rh is a finite geometric series with common ratio 7h and n terms, summing to 7h7h−1(7h)n−1=7h−17h(7nh−1). Multiplying by h⋅72 and using nh=1, the sum is 49⋅7h−17h(7−1)⋅h=49⋅6⋅7h−1h⋅7h. As h→0, 7h→1 and h7h−1→log7 (the defining limit of the derivative of 7x at 0), so 7h−1h→log71. The limit is therefore log749⋅6=log7294.
Worked Example 3 — ∫04(x−x2)dx. Here f(x)=x−x2, a=0,b=4, h=4/n, and f(rh)=rh−r2h2. Splitting the sum,
∑r=1nh(rh−r2h2)=h2∑r−h3∑r2=h22n(n+1)−h36n(n+1)(2n+1).
Writing each in terms of the fixed quantity nh=4: h2n(n+1)=(nh)2(1+1/n)→16, and h3n(n+1)(2n+1)=(nh)3(1+1/n)(2+1/n)→64⋅2=128. So the limit is 216−6128=8−364=−340.
Worked Example 4 — ∫0π/2sinxdx. Here a=0, b=π/2, h=nπ/2, so nh=π/2, and f(rh)=sin(rh). The sum ∑r=1nsin(rh) is a standard trigonometric sum; multiplying it by 2sin2h turns every term into a telescoping difference of cosines via the identity 2sinAsinB=cos(A−B)−cos(A+B), and collapses to
2sin2h∑r=1nsin(rh)=cos2h−cos(nh+2h)=cos2h−cos(2π+2h)=cos2h+sin2h,
using nh=π/2 and cos(π/2+θ)=−sinθ. So r=1∑nsin(rh)=2sin2hcos2h+sin2h, and the original sum is
h∑r=1nsin(rh)=(cos2h+sin2h)⋅2sin2hh=(cos2h+sin2h)⋅sin2h2h.
As n→∞, h→0, so cos2h→1, sin2h→0, and sin(h/2)h/2→1 (the standard θ/sinθ→1 limit). The whole expression →(1+0)⋅1=1. Hence ∫0π/2sinxdx=1.