4.1: The Definite Integral
( \newcommand{\kernel}{\mathrm{null}\,}\)
We shall begin our study ofthe integral calculus in the same way in which we began with the differential calculus—by asking a question about curves in the plane.
Suppose f is a real function continuous on an interval I and consider the curve y=f(x). Let a<b where a, b are two points in I, and let the curve be above the x-axis for x between a and b; that is, f(x)≥0. We then ask: What is meant by the area of the region bounded by the curve y=f(x), the x-axis, and the lines x=a and x=b? That is, what is meant by the area of the shaded region in Figure 4.1.1? We call this region the region under the curve y=f(x) between a and b.

The simplest possible case is where f is a constant function; that is, the curve is a horizontal line f(x)=k, where k is a constant and k≠0, shown in Figure(\PageIndex{2}\). In this case the region under the curve is just a rectangle with height k and width b−a, so the area is defined as Area=k⋅(b−a).The areas of certain other simple regions, such as triangles, trapezoids, and semicircles, are given by formulas from plane geometry.

The area under any continuous curve y=f(x) will be given by the definite integral, which is written ∫baf(x) dx.Before plunging into the detailed definition of the integral, we outline the main ideas.
First, the region under the curve is divided into infinitely many vertical strips of infinitesimal width dx. Next, each vertical strip is replaced by a vertical rectangle of height f(x), base dx, and area f(x) dx. The next step is to form the sum of the areas of all these rectangles, called the infinite Riemann sum (look ahead to Figures 4.1.3 and 4.1.11). Finally, the integral ∫baf(x) dx is defined as the standard part of the infinite Riemann sum.
The infinite Riemann sum, being a sum of rectangles, has an infinitesimal error. This error is removed by taking the standard part to form the integral.
It is often difficult to compute an infinite Riemann sum, since it is a sum of infinitely many infinitesimal rectangles. We shall first study finite Riemann sums, which can easily be computed on a hand calculator.
Suppose we slice the region under the curve between a and b into thin vertical strips of equal width. If there are n slices, each slice will have width Δx=(b−a)/n. The interval [a,b] will be partitioned into n subintervals [x0,x1], [x1,x2], …, [xn−1,xn] where x0=a, x1=a+Δx, x2=a+2Δx, …, xn=b.
The points x0, x1, …, xn are called partition points. On each subinterval [xk−1,xk], we form the rectangle of height f(xk−1). The kth rectangle will have area f(xk−1)⋅Δx.
From Figure 4.1.3, we can see that the sum of the areas of all these rectangles will be fairly close to the area under the curve. This sum is called a Riemann sum and is equal to f(x0)Δx+f(x1)Δx+⋯+f(xn−1)Δx.
It is the area of the shaded region in the picture. A convenient way of writing Riemann sums is the ∑-notation" (∑ is the capital Greek letter sigma), b∑af(x) Δx=f(x0)Δx+f(x1)Δx+⋯+f(xn−1)Δx.The a and b indicate that the first subinterval begins at a and the last subinterval ends at b.
![A function f(x) is graphed on the interval [a, b], which is partitioned into 7 equal segments of length Delta x. A vertical line extends from each partition point, except for the rightmost, to the corresponding f(x) point and forms the top left corner of a rectangle whose base is the x-axis.](https://math.libretexts.org/@api/deki/files/127809/Screenshot_2024-12-30_211903.png?revision=1)
We can carry out the same process even when the subinterval length Δx does not divide evenly into the interval length b−a. But then, as Figure 4.1.4 shows, there will be a remainder left over at the end of the interval [a,b], and the Riemann sum will have an extra rectangle whose width is this remainder. We let n be the largest integer such that a+nΔx≤b,and we consider the subintervals [x0,x1], …, [xn−1,xn], [xn,b],where the partition points are x0=a, x1=a+Δx, x2=a+2Δx, …, xn=a+nΔx, b.
![A function f(x) is graphed on the interval [a, b], which is partitioned into 5 equal segments of length Delta x with a remainder on the right end. A vertical line extends from each partition point, except for the fifth, to the corresponding f(x) point and forms the top left corner of a rectangle whose base is the x-axis and whose width is Delta x. The fifth partition point forms the top left corner of a rectangle whose base is the x-axis and whose width is the distance between that partition point and b.](https://math.libretexts.org/@api/deki/files/127810/Screenshot_2024-12-30_212809.png?revision=1)
xn will be less than or equal to b but xn+Δx will be greater than b. Then we define the Riemann sum to be the sum b∑af(x) Δx=f(x0) Δx+f(x1) Δx+⋯+f(xn−1) Δx+f(xn)(b−xn).
Thus given the function f, the interval [a, b], and the real number Δx>0, we have defined the Riemann sum ∑baf(x) Δx. We repeat the definition more concisely.
Let a<b and let Δx be a posltlve real number. Then the Riemann sum ∑baf(x) Δx is defined as the sum b∑af(x) Δx=f(x0) Δx+f(x1) Δx+⋯+f(xn−1) Δx+f(xn)(b−xn)
where n is the largest integer such that a+nΔx≤b, and x0=a, x1=a+Δx, x2=a+2Δx, …, xn=a+nΔx, b are the partition points.
If x0=b, the last term f(xn)(b−xn) is zero. The Riemann sum ∑baf(x) Δx is a real function of three variables a, b, and Δx, b∑af(x) Δx=S(a,b,Δx).The symbol x which appears in the expression is called a dummy variable (or bound variable), because the value of ∑baf(x) Δx does not depend on x. The dummy variable allows us to use more compact notation, writing f(x) Δx just once instead of writing f(x0)Δx, f(x1)Δx, f(x2)Δx, and so on.
From Figure 4.1.5 it is plausible that by making Δx smaller we can get the Riemann sum as close to the area as we wish.

Let f(x)=12x. In Figure 4.1.6, the region under the curve from x=0 to x=2 is a triangle with base 2 and height 1, so its area should be A=12bh=1.
![The area under the curve of f(x) = 1/2 x on the interval [0, 2] is a triangle of area 1.](https://math.libretexts.org/@api/deki/files/127830/Screenshot_2024-12-31_111813.png?revision=1)
Let us compare this value for the area with some Riemann sums. In Figure 4.1.7, we take Δx=12. The interval [0,2] divides into four subintervals [0,12], [12,1], [1,32] and [32,2]. We make a table of values of f(x) at the lower endpoints.
xk | 0 | 12 | 1 | 32 |
---|---|---|---|---|
f(xk) | 0 | 14 | 12 | 34 |
![Area under the curve of f(x) = 1/2 x on [0, 2] is approximated by a Riemann sum of 4 subintervals, with heights of each rectangle measured from the function value at its left endpoint.](https://math.libretexts.org/@api/deki/files/127831/Screenshot_2024-12-31_112100.png?revision=1)
The Riemann sum is then 2∑0f(x) Δx=0⋅12+14⋅12+12⋅12+34⋅12=68.
In Figure 4.1.8, we take Δx=14. The table of values is as follows.
xk | 0 | 14 | 24 | 34 | 44 | 54 | 64 | 74 |
---|---|---|---|---|---|---|---|---|
f(xk) | 0 | 18 | 28 | 38 | 48 | 58 | 68 | 78 |
The Riemann sum is 2∑0f(x) Δx=0⋅14+18⋅14+28⋅14+38⋅14+48⋅14+58⋅14+68⋅14+78⋅14=78We see that the value is getting closer to one.
![Area under the curve of f(x) = 1/2 x on [0, 2] is approximated by a Riemann sum of 8 subintervals, with heights of each rectangle measured from the function value at its left endpoint.](https://math.libretexts.org/@api/deki/files/127834/Screenshot_2024-12-31_113235.png?revision=1)
Finally, let us take a value of Δx that does not divide evenly into the interval length 2. Let Δx=0.6. We see in Figure 4.1.9 that the interval then divides into three subintervals of length 0.6 and one of length 0.2, namely [0,0.6], [0.6,1.2], [1.2,1.8], [1.8,2.0].
xk | 0 | 0.6 | 1.2 | 1.8 |
---|---|---|---|---|
f(xk) | 0 | 0.3 | 0.6 | 0.9 |
The Riemann sum is 2∑0f(x) Δ(x)=0(.6)+(.3)(.6)+(.6)(.6)+(.9)(.2)=.72.
![Area under the curve of f(x) = 1/2 x on [0, 2] is approximated by a Riemann sum of 3 subintervals of length 0.6 and a remainder, with heights of each rectangle measured from the function value at its left endpoint.](https://math.libretexts.org/@api/deki/files/127835/Screenshot_2024-12-31_113550.png?revision=1)
Let f(x)=√1−x2, defined on the closed interval I=[−1,1]. The region under the curve is a semicircle of radius 1. We know from plane geometry that the area is π/2, or approximately 3.14/2=1.57. Let us compute the values of some Riemann sums for this function to see how close they are to 1.57. First take Δx=12 as in Figure 4.1.10(a). We make a table of values.
xk | −1 | −1/2 | 0 | 1/2 |
---|---|---|---|---|
f(xk) | 0 | √3/4 | 1 | √3/4 |
The Riemann sum is then 1∑−1f(x) Δx=0⋅1/2+√3/4⋅1/2+1⋅1/2+√3/4⋅1/2=1+√32≈1.37
Next we take Δx=15. Then the interval [−1,1] is divided into ten subintervals as in Figure 4.1.10(b). Our table of values is as follows.
xk | −1 | −45 | −35 | −25 | −15 | 0 | 15 | 25 | 35 | 45 |
f(xk) | 0 | 35 | 45 | √215 | √245 | 1 | √245 | √215 | 45 | 35 |
![Area under the semicircular curve of radius 1 on [-1, 1] is approximated by Riemann sums. Graph (a) shows 4 equal subintervals and Graph (b) shows 10 equal subintervals, with heights of each rectangle measured from the function value at its left endpoint.](https://math.libretexts.org/@api/deki/files/127838/Screenshot_2024-12-31_114516.png?revision=1)
The Riemann sum is 1∑−1f(x) Δx=15[0+35+45+√215+√245+1+√245+√215+45+35]=19+2√21+2√2425≈1.52.
Thus we are getting closer to the actual area π/2≈1.57.
By taking Δx small we can get the Riemann sum to be as close to the area as we wish.
Our next step is to take Δx to be infinitely small and have an infinite Riemann sum. How can we do this? We observe that if the real numbers a and b are held fixed, then the Riemann sum b∑af(x) Δx=S(Δx)is a real function of the single variable Δx. (The symbol x which appears in the expression is a dummy variable, and the value of b∑af(x)depends only on Δx and not on x.) Furthermore, the term b∑af(x) Δx=S(Δx) is defined for all real Δx>0. Therefore by the Transfer Principle b∑af(x) dx=S(dx)is defined for all hyperreal dx>0. When dx>0 is infinitesimal, there are infinitely many subintervals of length dx, and we call b∑af(x) dxan infinite Riemann sum (Figure 4.1.11).

We may think intuitively of the Riemann sum b∑af(x) dxas the infinite sum f(x0) dx+f(x1) dx+⋯+f(xH−1) dx+f(xH)(b−xH)where H is the greatest hyperinteger such that a+H dx≤b. (Hyperintegers are discussed in Section 3.8.) H is positive infinite, and there are H+2 partition points x0, x1, …, xH, b. A typical term in this sum is the infinitely small quantity f(xK) dx where K is a hyperinteger, 0≤K<H, and xK=a+K dx.
The infinite Riemann sum is a hyperreal number. We would next like to take the standard part of it. But first we must show that it is a finite hyperreal number and thus has a standard part.
Let f be a continuous function on an interval I, let a<b be two points in I, and let dx be a positive infinitesimal. Then the infinite Riemann sum b∑af(x) dxis a finite hyperreal number.
Proof
Let B be a real number greater than the maximum value of f on [a,b]. Consider first a real number Δx>0. We can see from Figure 4.1.12 that the finite Riemann sum is less than the rectangular area B⋅(b−a); b∑af(x) Δx<B⋅(b−a).
![The area under the curve of a function f(x) on an interval [a, b] is approximated with a Riemann sum of n intervals of width Delta x, and a remainder between the rightmost of these interval partition points and point b. A horizontal line y=B is drawn above the greatest height of f(x) on this interval.](https://math.libretexts.org/@api/deki/files/127843/Screenshot_2024-12-31_120637.png?revision=1)
Therefore by the Transfer Principle, b∑af(x) dx<B⋅(b−a).
In a similar way we let C be less than the minimum of f on [a,b] and show that b∑af(x) dx>C⋅(b−a).
Thus the Riemann sum ∑baf(x) dx is finite.
We are now ready to define the central concept of this chapter, the definite integral. Recall that the derivative was defined as the standard part of the quotient Δy/Δx and was written dy/dx. The "definite integral" will be defined as the standard part of the infinite Riemann sum b∑af(x) dx, and is written ∫baf(x) dx. Thus the Δx is changed to dx in analogy with our differential notation. The ∑ is changed to the long thin S, i.e., ∫, to remind us that the integral is obtained from an infinite sum. We now state the definition carefully.
Let f be a continuous function on an interval I and let a<b be two points in I. Let dx be a positive infinitesimal. Then the definite integral of f from a to b with respect to dx is defined to be the standard part of the infinite Riemann sum with respect to dx, in symbols ∫baf(x) dx=st(b∑af(x) dx).
We also define ∫aaf(x) dx=0,∫abf(x) dx=−∫baf(x) dx.
By this definition, for each positive infinitesimal dx the definite integral ∫wuf(x) dxis a real function of two variables defined for all pairs (u,w) of elements of I. The symbol x is a dummy variable since the value of ∫wuf(x) dxdoes not depend on x.
In the notation ∑baf(x) dx for the Riemann sum and ∫baf(x) dx for the integral, we always use matching symbols for the infinitesimal dx and the dummy variable x. Thus when there are two or more variables we can tell which one is the dummy variable in an integral. For example, x2t can be integrated from 0 to 1 with respect to either x or t. With respect to x, 1∑0x2t dx=x20t dx+x21t dx+⋯+x2H−1t dx(where dx=1/H), and we shall see later that ∫10x2t dx=st(x20t dx+x21t dx+⋯+x2H−1t dx)=13t.
With respect to t, however, 1∑0x2t dt=x2t0 dt+x2t1 dt+⋯+x2tK−1 dt,and we shall see later that ∫10x2t dt=12x2.
The next two examples evaluate the simplest definite integrals. These examples do it the hard way. A much better method will be developed in Section 4.2.
Given a constant c>0, evaluate the integral ∫bac dx.
Figure 4.1.13 shows that for every positive real number Δx, the finite Riemann sum is b∑ac Δx=c(b−a).
By the Transfer Principle, the infinite Riemann sum in Figure 4.1.14 has the same value, b∑ac dx=c(b−a).
Taking standard parts, b∑ac dx=c(b−a).This is the familiar formula for the area of a rectangle.
![A constant function f(x) = c on the interval [a, b] is partitioned into n subintervals of finite width Delta x, going from a to x_n, which is a point less than b.](https://math.libretexts.org/@api/deki/files/127844/Screenshot_2024-12-31_122504.png?revision=1)
![A constant function f(x) = c on the interval [a, b] is partitioned into an infinite number of subintervals of width dx.](https://math.libretexts.org/@api/deki/files/127845/Screenshot_2024-12-31_122513.png?revision=1)
Given b>0, evaluate the integral ∫b0x dx.
The area under the line y=x is divided into vertical strips of width dx. Study Figure 4.1.15. The area of the lower region A is the infinite Riemann sum area of A=b∑0x dx.
By symmetry, the upper region B has the same area as A; area of A=area of B.
Call the remaining region C, formed by the infinitesimal squares along the diagonal. Thus area of A+area of B+area of C=b2.
Each square in C has height dx except the last one, which may be smaller, and the widths add up to b, so 0≤area of C≤b dx.
Putting equations (4.1.1) through (4.1.4) together, 2b∑0x dx≤b2≤(2b∑0x dx)+x dx.
Since b dx is infinitesimal, 2b∑0x dx≈b2,b∑0x dx≈b22.
Taking standard parts, we have ∫b0x dx=b22.

Problems for Section 4.1
Compute the following finite Riemann sums. If a hand calculator is available, the Riemann sums can also be computed with Δx=110.
1. | 1∑0(3x+1) Δx,Δx=13 | 2. | 1∑0(3x+1) Δx,Δx=25 |
3. | 1∑−1(3x+1) Δx,Δx=14 | 4. | 1∑02x2 Δx,Δx=14 |
5. | 1∑−12x2 Δx,Δx=14 | 6. | 5∑0(2x−1) Δx,Δx=1 |
7. | 5∑0(2x−1) Δx,Δx=2 | 8. | 1∑−1(x2−1) Δx,Δx=12 |
9. | 2∑0(x2−1) Δx,Δx=12 | 10. | 1∑−1(x2−1) Δx,Δx=310 |
11. | 3∑−4(5x2−12) Δx,Δx=2 | 12. | 3∑−4(5x2−12) Δx,Δx=1 |
13. | 3∑1(1+1/x) Δx,Δx=13 | 14. | 5∑010−2x Δx,Δx=12 |
15. | 0∑−1x4 Δx,Δx=14 | 16. | 1∑−12x3 Δx,Δx=12 |
17. | π∑0√x Δx,Δx=1 | 18. | 9∑−2|x−4| Δx,Δx=2 |
19. | π∑0sinx Δx,Δx=π4 | 20. | π∑0sin2x Δx,Δx=π4 |
21. | 1∑0ex Δx,Δx=15 | 22. | 1∑0xex Δx,Δx=15 |
23. | 5∑1lnx Δx,Δx=1 | 24. | 5∑1lnxx Δx,Δx=1 |
◻ 25. | Let b be a positive real number and n a positive integer. Prove that if Δx=b/n, b∑0x Δx=(1+2+⋯+(n−1))Δx2.Using the formula 1+2+⋯+(n−1)=n(n−1)2, prove that b∑0x Δx=(1−1/n)b2/2. | ||
◻ 26. | Let H be a positive infinite hyperinteger and dx=b/H. Using the Transfer Principle and Problem 25, prove that ∫b0x dx=b2/2. | ||
◻ 27. | Let b be a positive real number, n a positive integer, and Δx=b/n. Using the formula 12+22+32+⋯+(n−1)2=n(n−1)(2n−1)6,prove that b∑0x2Δx=n(n−1)(2n−1)6b3n3. | ||
◻ 28. | Use Problem 27 to show that ∫b0x2 dx=b3/3. |