A car that drives at a steady 60 kilometers per hour for 2 hours covers 120 kilometers. On a graph of speed against time that distance is the area of a rectangle 2 wide and 60 tall. Real speed changes all the time, so the region under the speed graph has a curved top. Cut it into thin strips, treat each strip as a rectangle and add them up. That plain idea is where integral calculus begins.
Key terms
Area intuition
Definition Any sensible measure of area for regions in the plane follows three rules. A rectangle of width and height has area . Area is additive, so a region cut into pieces that overlap only along their edges has the sum of the areas of the pieces. Area is monotone, so a region that lies inside another has no larger area. Together these rules mean that rectangles placed inside a region without overlapping, except along edges, give a lower bound for its area, and rectangles that together cover the region give an upper bound.
In plain words You may not know the area of a curved region yet, but you can trap it. Rectangles inside it give no more than the area, rectangles covering it give no less, and the true area lies in between.
Example The region under from to fits inside the rectangle of width and height , so its area is at most . It contains the rectangle from to with height , because for . So . The rest of the lesson narrows this down.
Nonnegative function
Definition A function is nonnegative on an interval with if for every in . The region under the graph of from to is then the set
bounded above by the graph, below by the -axis and on the sides by the lines and . Rectangle sums estimate the area of this region only when is nonnegative. Where is negative a product is negative, and a sum counts that part of the picture with a minus sign.
In plain words For now the curve stays on or above the -axis, so every rectangle has a genuine height that is zero or positive.
Example The function is nonnegative on , since there. It is not nonnegative on , because its value at is . A rectangle of width built on that value would add to a sum, which no area can be.
Finite partition
Definition A partition of , with , is a finite list of points
It cuts into subintervals with widths , which add up to . In a regular partition all widths are equal,
In plain words Choose finitely many cut points between and in increasing order. The pieces between neighboring cut points become the bases of the rectangles.
Example The regular partition of into pieces has and the points . The list is a partition of that is not regular, with widths and .
Left and right rectangles
Definition For a partition of , the left rectangle on has height , the value at the left end, and the right rectangle has height , the value at the right end. The left sum and the right sum are
For a regular partition with pieces they are written and , and every equals .
In plain words On each piece, read a height off the curve at one end, multiply by the width and add everything up. Left sums use the left ends and right sums use the right ends.
Example For on with , the width is and the points have heights .
Lower and upper estimates for monotone functions
Definition Let be nonnegative on and let be the area of the region under its graph. Suppose is nondecreasing on , which means whenever . Then on every piece the left end has the smallest height and the right end the largest. The left rectangles lie inside the region and the right rectangles cover it, so for every partition
This covers every increasing function and also functions with flat stretches. If is nonincreasing on , with whenever , the roles switch and . A function that is nondecreasing or nonincreasing on an interval is called monotone there. Without monotonicity on the whole interval, neither sum has to be a bound.
In plain words Left and right sums are sure to trap the area when the function moves in one direction across the whole interval. Then the low ends of the pieces give the lower estimate and the high ends give the upper estimate.
Example The function is decreasing on , so the right sum is the lower estimate and the left sum is the upper one, . Now see why monotonicity matters. The upper half of the unit circle, on , rises and then falls. With both sums equal
while the half disk has area . Both sums are too small, and neither is an upper estimate. Splitting at the top point and using the rule on each monotone half repairs this.
Refinement
Definition A partition refines another partition of if it contains every point of the other one, and possibly more. Let be nonnegative and monotone on . If one partition refines another, its lower estimate is at least as large and its upper estimate at most as large as those of the coarser partition. To see it for a nondecreasing , add one point inside a piece . The new left rectangle on has height , so the left sum can only grow. The new right rectangle on has height , so the right sum can only shrink. Adding several points repeats this step, and a nonincreasing works the same way with left and right switched. The regular partition with pieces refines the one with pieces, but for the one with pieces does not.
In plain words Cutting the pieces more finely can only tighten the trap. The lower estimate creeps up, the upper estimate creeps down, and the area stays caught between them.
Example For on each partition below refines the one before, since doubling keeps all the old points.
| Lower estimate | Upper estimate | Gap | |
|---|---|---|---|
The two sums share every height except and , so the gap is , and it halves with each doubling.
You can check this table in the Riemann sum explorer by choosing on and switching between the left and right rules at , and .
Finite sum versus limiting area
Definition Every left or right sum is a finite sum, and for a curved region it is usually only an approximation. For a continuous nonnegative on , calculus defines the area as the limit
which exists and equals the limit of . No finite has to give exactly. For a monotone , though, lies between and , whose difference is
so the error of either sum is at most this amount, and it shrinks to as grows.
In plain words A sum of rectangles is an estimate you can compute. The area is the number those estimates close in on as the rectangles get thinner.
Example For on the width is and the right ends are . The sum of the first squares is
which can be proved by mathematical induction. So
Every falls short of , but the last two terms shrink to as grows. So the area under from to is exactly , which no single finite sum here reaches.
Check yourself
- Estimate the area under on with left rectangles and right rectangles. Which sum is a lower estimate?
Show the answer
Here and the heights at are . So and . The function is increasing on , so is the lower estimate and .
- Find lower and upper estimates for the area under on with .
Show the answer
The width is and the heights at are . The function is decreasing on , so the right sum is the lower estimate.
So the area lies between about and .
- For on , how many equal pieces make sure that ?
Show the answer
The function is increasing, so the gap is
This is at most exactly when .