Unit 10, lesson 112

Area Approximation with Rectangles

How to estimate the area under a nonnegative curve with left and right rectangles, when those sums are guaranteed lower and upper bounds, and how finer partitions close in on the exact area.

  • Theory part 223
  • Practice part 224
  • Rates and Areas

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 ww and height hh has area whwh. 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 f(x)=4−x2f(x) = 4 - x^2 from x=0x = 0 to x=2x = 2 fits inside the rectangle of width 22 and height 44, so its area AA is at most 88. It contains the rectangle from x=0x = 0 to x=1x = 1 with height 33, because 4−x2≥34 - x^2 \ge 3 for 0≤x≤10 \le x \le 1. So 3≤A≤83 \le A \le 8. The rest of the lesson narrows this down.

Nonnegative function

Definition A function ff is nonnegative on an interval [a,b][a, b] with a<ba < b if f(x)≥0f(x) \ge 0 for every xx in [a,b][a, b]. The region under the graph of ff from aa to bb is then the set

{(x,y)∣a≤x≤b, 0≤y≤f(x)},\{ (x, y) \mid a \le x \le b, \ 0 \le y \le f(x) \},

bounded above by the graph, below by the xx-axis and on the sides by the lines x=ax = a and x=bx = b. Rectangle sums estimate the area of this region only when ff is nonnegative. Where ff is negative a product f(x) Δxf(x) \, \Delta x 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 xx-axis, so every rectangle has a genuine height that is zero or positive.

Example The function 4−x24 - x^2 is nonnegative on [0,2][0, 2], since x2≤4x^2 \le 4 there. It is not nonnegative on [0,3][0, 3], because its value at 33 is 4−9=−54 - 9 = -5. A rectangle of width 11 built on that value would add 1⋅(−5)=−51 \cdot (-5) = -5 to a sum, which no area can be.

Finite partition

Definition A partition of [a,b][a, b], with a<ba < b, is a finite list of points

a=x0<x1<x2<⋯<xn=b.a = x_0 < x_1 < x_2 < \cdots < x_n = b.

It cuts [a,b][a, b] into nn subintervals [xi−1,xi][x_{i-1}, x_i] with widths Δxi=xi−xi−1>0\Delta x_i = x_i - x_{i-1} > 0, which add up to b−ab - a. In a regular partition all widths are equal,

Δx=b−an,xi=a+i Δx(i=0,1,…,n).\begin{gathered} \Delta x = \frac{b - a}{n}, \\[0.8em] x_i = a + i \, \Delta x \quad (i = 0, 1, \ldots, n). \end{gathered}

In plain words Choose finitely many cut points between aa and bb in increasing order. The pieces between neighboring cut points become the bases of the rectangles.

Example The regular partition of [1,3][1, 3] into n=4n = 4 pieces has Δx=12\Delta x = \frac{1}{2} and the points 1,1.5,2,2.5,31, 1.5, 2, 2.5, 3. The list 0,0.5,20, 0.5, 2 is a partition of [0,2][0, 2] that is not regular, with widths 0.50.5 and 1.51.5.

Left and right rectangles

Definition For a partition of [a,b][a, b], the left rectangle on [xi−1,xi][x_{i-1}, x_i] has height f(xi−1)f(x_{i-1}), the value at the left end, and the right rectangle has height f(xi)f(x_i), the value at the right end. The left sum and the right sum are

L=∑i=1nf(xi−1) Δxi,R=∑i=1nf(xi) Δxi.\begin{aligned} L &= \sum_{i=1}^{n} f(x_{i-1}) \, \Delta x_i, \\[0.8em] R &= \sum_{i=1}^{n} f(x_i) \, \Delta x_i. \end{aligned}

For a regular partition with nn pieces they are written LnL_n and RnR_n, and every Δxi\Delta x_i equals Δx\Delta x.

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 f(x)=4−x2f(x) = 4 - x^2 on [0,2][0, 2] with n=4n = 4, the width is Δx=0.5\Delta x = 0.5 and the points 0,0.5,1,1.5,20, 0.5, 1, 1.5, 2 have heights 4,3.75,3,1.75,04, 3.75, 3, 1.75, 0.

L4=0.5 (4+3.75+3+1.75)=6.25,\begin{aligned} L_4 &= 0.5\,(4 + 3.75 + 3 + 1.75) \\[0.4em] &= 6.25, \end{aligned}R4=0.5 (3.75+3+1.75+0)=4.25.\begin{aligned} R_4 &= 0.5\,(3.75 + 3 + 1.75 + 0) \\[0.4em] &= 4.25. \end{aligned}

Lower and upper estimates for monotone functions

Definition Let ff be nonnegative on [a,b][a, b] and let AA be the area of the region under its graph. Suppose ff is nondecreasing on [a,b][a, b], which means f(s)≤f(t)f(s) \le f(t) whenever a≤s<t≤ba \le s < t \le b. 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

L≤A≤R.L \le A \le R.

This covers every increasing function and also functions with flat stretches. If ff is nonincreasing on [a,b][a, b], with f(s)≥f(t)f(s) \ge f(t) whenever a≤s<t≤ba \le s < t \le b, the roles switch and R≤A≤LR \le A \le L. 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 4−x24 - x^2 is decreasing on [0,2][0, 2], so the right sum is the lower estimate and the left sum is the upper one, 4.25≤A≤6.254.25 \le A \le 6.25. Now see why monotonicity matters. The upper half of the unit circle, y=1−x2y = \sqrt{1 - x^2} on [−1,1][-1, 1], rises and then falls. With n=2n = 2 both sums equal

L2=1⋅(0+1)=1,R2=1⋅(1+0)=1,\begin{aligned} L_2 &= 1 \cdot (0 + 1) = 1, \\[0.4em] R_2 &= 1 \cdot (1 + 0) = 1, \end{aligned}

while the half disk has area π2≈1.571\frac{\pi}{2} \approx 1.571. Both sums are too small, and neither is an upper estimate. Splitting at the top point x=0x = 0 and using the rule on each monotone half repairs this.

Refinement

Definition A partition refines another partition of [a,b][a, b] if it contains every point of the other one, and possibly more. Let ff be nonnegative and monotone on [a,b][a, b]. 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 ff, add one point tt inside a piece [xi−1,xi][x_{i-1}, x_i]. The new left rectangle on [t,xi][t, x_i] has height f(t)≥f(xi−1)f(t) \ge f(x_{i-1}), so the left sum can only grow. The new right rectangle on [xi−1,t][x_{i-1}, t] has height f(t)≤f(xi)f(t) \le f(x_i), so the right sum can only shrink. Adding several points repeats this step, and a nonincreasing ff works the same way with left and right switched. The regular partition with 2n2n pieces refines the one with nn pieces, but for n≥2n \ge 2 the one with n+1n + 1 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 4−x24 - x^2 on [0,2][0, 2] each partition below refines the one before, since doubling nn keeps all the old points.

nnLower estimate RnR_nUpper estimate LnL_nGap
22337744
444.254.256.256.2522
884.81254.81255.81255.812511

The two sums share every height except f(0)=4f(0) = 4 and f(2)=0f(2) = 0, so the gap is (4−0) Δx(4 - 0) \, \Delta x, and it halves with each doubling.

You can check this table in the Riemann sum explorer by choosing 4−x24 - x^2 on [0,2][0, 2] and switching between the left and right rules at n=2n = 2, 44 and 88.

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 ff on [a,b][a, b], calculus defines the area as the limit

A=lim⁡n→∞Rn,A = \lim_{n \to \infty} R_n,

which exists and equals the limit of LnL_n. No finite nn has to give AA exactly. For a monotone ff, though, AA lies between LnL_n and RnR_n, whose difference is

∣Rn−Ln∣=∣f(b)−f(a)∣⋅b−an,\lvert R_n - L_n \rvert = \lvert f(b) - f(a) \rvert \cdot \frac{b - a}{n},

so the error of either sum is at most this amount, and it shrinks to 00 as nn 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 4−x24 - x^2 on [0,2][0, 2] the width is Δx=2n\Delta x = \frac{2}{n} and the right ends are xi=2inx_i = \frac{2i}{n}. The sum of the first nn squares is

∑i=1ni2=n(n+1)(2n+1)6,\sum_{i=1}^{n} i^2 = \frac{n(n + 1)(2n + 1)}{6},

which can be proved by mathematical induction. So

Rn=∑i=1n(4−4i2n2)2n=8−8n3⋅n(n+1)(2n+1)6=163−4n−43n2.\begin{aligned} R_n &= \sum_{i=1}^{n} \left(4 - \frac{4i^2}{n^2}\right) \frac{2}{n} \\[0.8em] &= 8 - \frac{8}{n^3} \cdot \frac{n(n + 1)(2n + 1)}{6} \\[0.8em] &= \frac{16}{3} - \frac{4}{n} - \frac{4}{3n^2}. \end{aligned}
nn101010010010001000
RnR_n4.924.925.29325.29325.3293325.329332

Every RnR_n falls short of 163\frac{16}{3}, but the last two terms shrink to 00 as nn grows. So the area under 4−x24 - x^2 from 00 to 22 is exactly 163≈5.333\frac{16}{3} \approx 5.333, which no single finite sum here reaches.

Check yourself

  1. Estimate the area under f(x)=x2+1f(x) = x^2 + 1 on [0,3][0, 3] with n=3n = 3 left rectangles and n=3n = 3 right rectangles. Which sum is a lower estimate?
Show the answer

Here Δx=1\Delta x = 1 and the heights at 0,1,2,30, 1, 2, 3 are 1,2,5,101, 2, 5, 10. So L3=1+2+5=8L_3 = 1 + 2 + 5 = 8 and R3=2+5+10=17R_3 = 2 + 5 + 10 = 17. The function is increasing on [0,3][0, 3], so L3=8L_3 = 8 is the lower estimate and 8≤A≤178 \le A \le 17.

  1. Find lower and upper estimates for the area under f(x)=1xf(x) = \frac{1}{x} on [1,2][1, 2] with n=4n = 4.
Show the answer

The width is Δx=14\Delta x = \frac{1}{4} and the heights at 1,1.25,1.5,1.75,21, 1.25, 1.5, 1.75, 2 are 1,45,23,47,121, \frac{4}{5}, \frac{2}{3}, \frac{4}{7}, \frac{1}{2}. The function is decreasing on [1,2][1, 2], so the right sum is the lower estimate.

R4=14(45+23+47+12)=533840≈0.6345,\begin{aligned} R_4 &= \frac{1}{4}\left(\frac{4}{5} + \frac{2}{3} + \frac{4}{7} + \frac{1}{2}\right) \\[0.8em] &= \frac{533}{840} \approx 0.6345, \end{aligned} L4=14(1+45+23+47)=319420≈0.7595.\begin{aligned} L_4 &= \frac{1}{4}\left(1 + \frac{4}{5} + \frac{2}{3} + \frac{4}{7}\right) \\[0.8em] &= \frac{319}{420} \approx 0.7595. \end{aligned}

So the area lies between about 0.63450.6345 and 0.75950.7595.

  1. For f(x)=x2+1f(x) = x^2 + 1 on [0,3][0, 3], how many equal pieces make sure that Rn−Ln≤0.01R_n - L_n \le 0.01?
Show the answer

The function is increasing, so the gap is

Rn−Ln=(f(3)−f(0))⋅3n=27n.\begin{aligned} R_n - L_n &= \bigl(f(3) - f(0)\bigr) \cdot \frac{3}{n} \\[0.8em] &= \frac{27}{n}. \end{aligned}

This is at most 0.010.01 exactly when n≥2700n \ge 2700.

How this lesson connects

Resources for this lesson