MATH 141 Calculus 2 • McGill University, Montreal

Corrected exercises: areas, Riemann sums and the definite integral (MATH 141)

This is the corrected exercise set for the first chapter of MATH 141, Calculus 2, the second-semester calculus course taken at McGill University. It follows sections 5.1 and 5.2 of Stewart: areas and distances, Riemann sums, and the definite integral defined as a limit. Every exact value on this page is obtained without an antiderivative, by the limit of a sum, by geometry or by the properties of the integral, because that is what a question saying use the definition demands, and every number is chosen to be done by hand.

The thread running through the set: an integral is the limit of a sum of SIGNED rectangles, and every question is answered by writing that sum before any number. First the width Δx=b−an\Delta x = \frac{b - a}{n}, then the sample point xi=a+i Δxx_i = a + i\,\Delta x, then the height f(xi)f(x_i). The picture then settles what the algebra cannot: a rectangle below the axis counts negatively, so an integral is not an area, and a left or right sum is an over- or underestimate only where the function is monotonic.

The traps named in the solutions: dropping the aa from xi=a+i Δxx_i = a + i\,\Delta x, summing a constant to itself once instead of nn times, keeping the wrong leading term of ∑i2\sum i^2, taking the midpoint sum for the average of the left and right sums, believing the left sum always underestimates, concluding from Ln=RnL_n = R_n that an estimate is exact, reporting an integral of zero as an area of zero, and forgetting that reversed limits change the sign.

10 corrected exercises • 100 points • 150 minutes

Revision sheet for this chapter → Every MATH 141 chapter →

Course recap

  • • Δx=b−an\Delta x = \frac{b - a}{n} and xi=a+i Δxx_i = a + i\,\Delta x, i=0,1,…,ni = 0, 1, \ldots, n. Midpoints: xˉi=a+(i−12)Δx\bar{x}_i = a + \left(i - \frac{1}{2}\right)\Delta x.
  • • Ln=∑i=1nf(xi−1) ΔxL_n = \sum_{i=1}^{n} f(x_{i-1})\,\Delta x, Rn=∑i=1nf(xi) ΔxR_n = \sum_{i=1}^{n} f(x_i)\,\Delta x, Mn=∑i=1nf(xˉi) ΔxM_n = \sum_{i=1}^{n} f(\bar{x}_i)\,\Delta x: exactly nn terms each.
  • • ∫abf(x) dx=lim⁡n→∞∑i=1nf(xi) Δx\int_a^b f(x)\,dx = \lim_{n \to \infty} \sum_{i=1}^{n} f(x_i)\,\Delta x for ff continuous; any choice of sample points gives the same limit.
  • • ∑i=1ni=n(n+1)2\sum_{i=1}^{n} i = \frac{n(n+1)}{2}, ∑i=1ni2=n(n+1)(2n+1)6\sum_{i=1}^{n} i^2 = \frac{n(n+1)(2n+1)}{6}, ∑i=1ni3=[n(n+1)2]2\sum_{i=1}^{n} i^3 = \left[\frac{n(n+1)}{2}\right]^2 and ∑i=1nc=cn\sum_{i=1}^{n} c = cn.
  • • ff increasing on [a,b][a, b]: Ln≤∫abf≤RnL_n \le \int_a^b f \le R_n; decreasing: the reverse. In both cases ∣Ln−Rn∣=Δx∣f(a)−f(b)∣\left|L_n - R_n\right| = \Delta x\left|f(a) - f(b)\right|.
  • • ∫baf=−∫abf\int_b^a f = -\int_a^b f, ∫aaf=0\int_a^a f = 0, ∫abc dx=c(b−a)\int_a^b c\,dx = c(b - a), ∫abf+∫bcf=∫acf\int_a^b f + \int_b^c f = \int_a^c f, and m(b−a)≤∫abf≤M(b−a)m(b - a) \le \int_a^b f \le M(b - a) when m≤f≤Mm \le f \le M.
  • • An integral is a SIGNED area: area above the axis minus area below. The area of a region is ∫ab∣f(x)∣ dx\int_a^b |f(x)|\,dx.

Part A: the basics (/50)

Exercise 1: Sigma notation: the three formulas and the index that moves

Every exact computation of this chapter ends the same way: a sum of powers of ii, closed by one of four formulas, ∑i=1ni=n(n+1)2\sum_{i=1}^{n} i = \frac{n(n+1)}{2}, ∑i=1ni2=n(n+1)(2n+1)6\sum_{i=1}^{n} i^2 = \frac{n(n+1)(2n+1)}{6}, ∑i=1ni3=[n(n+1)2]2\sum_{i=1}^{n} i^3 = \left[\frac{n(n+1)}{2}\right]^2 and ∑i=1nc=cn\sum_{i=1}^{n} c = cn. They hold only for a sum that STARTS at i=1i = 1 and ENDS at i=ni = n; most errors come from applying them to a sum that does not.

The figure shows two copies of the staircase 1+2+3+4+51 + 2 + 3 + 4 + 5, one shaded and one turned over, fitting together into a rectangle.

5 columns61+2+3+4+5turned-over copy
  • a) Evaluate ∑i=120(3i−2)\sum_{i=1}^{20} (3i - 2).
  • b) Evaluate ∑i=410i2\sum_{i=4}^{10} i^2.
  • c) Find a closed form for ∑i=1n(i+1)2\sum_{i=1}^{n} (i + 1)^2 in two ways: by expanding the square, then by renaming the index j=i+1j = i + 1. Check that both agree for n=2n = 2.
  • d) Deduce lim⁡n→∞1n3∑i=1n(i+1)2\lim_{n \to \infty} \frac{1}{n^3}\sum_{i=1}^{n} (i + 1)^2, and compute lim⁡n→∞1n4∑i=1ni3\lim_{n \to \infty} \frac{1}{n^4}\sum_{i=1}^{n} i^3.
  • e) Use the figure to explain the formula for ∑i=1ni\sum_{i=1}^{n} i. The shaded staircase covers the triangle under the diagonal of an nn by nn square, whose area is n22\frac{n^2}{2}: by how much does it overshoot, and what happens to that overshoot, relative to n2n^2, as nn grows?
Show the solution

Answers

  • a) 590590
  • b) 371371
  • c) 2n3+9n2+13n6=(n+1)(n+2)(2n+3)6−1\frac{2n^3 + 9n^2 + 13n}{6} = \frac{(n+1)(n+2)(2n+3)}{6} - 1; both give 1313 for n=2n = 2.
  • d) 13\frac{1}{3} and 14\frac{1}{4}
  • e) Two staircases make an nn by (n+1)(n + 1) rectangle; the overshoot is n2\frac{n}{2}, and n/2n2→0\frac{n/2}{n^2} \to 0.

a) Split the sum and pull out the constant: ∑i=120(3i−2)=3∑i=120i−∑i=1202=3⋅20⋅212−2⋅20=630−40=590\sum_{i=1}^{20} (3i - 2) = 3\sum_{i=1}^{20} i - \sum_{i=1}^{20} 2 = 3 \cdot \frac{20 \cdot 21}{2} - 2 \cdot 20 = 630 - 40 = 590. The trap is the last term: ∑i=1202\sum_{i=1}^{20} 2 is twenty copies of 22, that is 4040, not 22. The constant does not depend on ii, but it is still added once per term. Writing 630−2=628630 - 2 = 628 is the most common slip on this line, and it reappears in every Riemann sum where ff has a constant term.

b) The formula needs a sum starting at 11, so complete it and remove what was added: ∑i=410i2=∑i=110i2−∑i=13i2=10⋅11⋅216−(1+4+9)=385−14=371\sum_{i=4}^{10} i^2 = \sum_{i=1}^{10} i^2 - \sum_{i=1}^{3} i^2 = \frac{10 \cdot 11 \cdot 21}{6} - (1 + 4 + 9) = 385 - 14 = 371. The subtracted sum stops at 33, the index just BEFORE the first term kept. Subtracting ∑i=14i2=30\sum_{i=1}^{4} i^2 = 30 removes the term 1616 that belongs to the sum and gives 355355. Check by counting terms: from 44 to 1010 there are 10−4+1=710 - 4 + 1 = 7 terms, 16+25+36+49+64+81+100=37116 + 25 + 36 + 49 + 64 + 81 + 100 = 371.

c) First route, expand: (i+1)2=i2+2i+1(i + 1)^2 = i^2 + 2i + 1, so ∑i=1n(i+1)2=n(n+1)(2n+1)6+2⋅n(n+1)2+n\sum_{i=1}^{n} (i + 1)^2 = \frac{n(n+1)(2n+1)}{6} + 2 \cdot \frac{n(n+1)}{2} + n. Over the common denominator 66: (2n3+3n2+n)+(6n2+6n)+6n6=2n3+9n2+13n6\frac{(2n^3 + 3n^2 + n) + (6n^2 + 6n) + 6n}{6} = \frac{2n^3 + 9n^2 + 13n}{6}. Second route, rename: with j=i+1j = i + 1, jj runs from 22 to n+1n + 1, so the sum is ∑j=2n+1j2=∑j=1n+1j2−1=(n+1)(n+2)(2n+3)6−1\sum_{j=2}^{n+1} j^2 = \sum_{j=1}^{n+1} j^2 - 1 = \frac{(n+1)(n+2)(2n+3)}{6} - 1. The formula is applied with n+1n + 1 in place of nn, in all three factors. For n=2n = 2: 16+36+266=13\frac{16 + 36 + 26}{6} = 13 and 3⋅4⋅76−1=14−1=13\frac{3 \cdot 4 \cdot 7}{6} - 1 = 14 - 1 = 13, which is 22+322^2 + 3^2. The trap to avoid: ∑(i+1)2≠∑i2+1\sum (i + 1)^2 \neq \sum i^2 + 1; the square must be expanded before the sum is split.

d) Divide the closed form by n3n^3: 2n3+9n2+13n6n3=13+32n+136n2→13\frac{2n^3 + 9n^2 + 13n}{6n^3} = \frac{1}{3} + \frac{3}{2n} + \frac{13}{6n^2} \to \frac{1}{3}. The shift by 11 changed the lower terms but not the leading one, 2n36\frac{2n^3}{6}, and only the leading term survives division by n3n^3. Next, 1n4[n(n+1)2]2=14(n+1n)2→14\frac{1}{n^4}\left[\frac{n(n+1)}{2}\right]^2 = \frac{1}{4}\left(\frac{n+1}{n}\right)^2 \to \frac{1}{4}. A frequent slip is to keep n⋅n⋅n6\frac{n \cdot n \cdot n}{6} as the leading part of ∑i2\sum i^2 and announce 16\frac{1}{6}: the factor 2n+12n + 1 contributes 2n2n, not nn.

e) The shaded staircase has columns of heights 1,2,…,n1, 2, \ldots, n, so its area is ∑i=1ni\sum_{i=1}^{n} i. The turned-over copy fills exactly the rest of a rectangle nn wide and n+1n + 1 high, so 2∑i=1ni=n(n+1)2\sum_{i=1}^{n} i = n(n + 1), which is the formula. Now n(n+1)2=n22+n2\frac{n(n+1)}{2} = \frac{n^2}{2} + \frac{n}{2}: the staircase is the triangle plus n2\frac{n}{2}, one half-square of overshoot on each of the nn steps. Relative to the size of the picture, n/2n2=12n→0\frac{n/2}{n^2} = \frac{1}{2n} \to 0. This is the whole idea of the chapter in one figure: rectangles overshoot a slanted boundary, and the error, shared among more and thinner rectangles, becomes negligible. Rescaled to the unit square, it says 1n2∑i=1ni→12\frac{1}{n^2}\sum_{i=1}^{n} i \to \frac{1}{2}, the area of the triangle under y=xy = x on [0,1][0, 1].

Exercise 2: Left, right and midpoint sums on a decreasing function

The region under f(x)=16−x2f(x) = 16 - x^2 between x=0x = 0 and x=4x = 4 is cut into n=4n = 4 strips of equal width. The figure shows the four LEFT rectangles: each strip is replaced by a rectangle whose height is the value of ff at the left end of the strip.

Let AA be the area of the region. Keep exact values throughout; no calculator is needed.

-112345-224681012141618y = 16 - x²
  • a) Give Δx\Delta x, then the sample points used by L4L_4, by R4R_4 and by M4M_4.
  • b) Compute L4L_4, R4R_4 and M4M_4.
  • c) Which of L4L_4 and R4R_4 is an overestimate of AA? Justify with a property of ff, not with the figure alone, and write the resulting inequality for AA.
  • d) Show that Ln−Rn=64nL_n - R_n = \frac{64}{n} for every nn. How many strips guarantee that AA is known to within 11 square unit by this bracket?
  • e) Exercise 4 shows that A=1283A = \frac{128}{3}. Check it against b) and c), and explain on the figure why M4M_4 is much closer to AA than L4L_4 or R4R_4.
Show the solution

Answers

  • a) Δx=1\Delta x = 1; L4L_4: 0,1,2,30, 1, 2, 3; R4R_4: 1,2,3,41, 2, 3, 4; M4M_4: 12,32,52,72\frac{1}{2}, \frac{3}{2}, \frac{5}{2}, \frac{7}{2}.
  • b) L4=50L_4 = 50, R4=34R_4 = 34, M4=43M_4 = 43
  • c) ff is decreasing on [0,4][0, 4]: L4L_4 over, R4R_4 under, 34<A<5034 < A < 50.
  • d) Ln−Rn=4n[f(0)−f(4)]=64nL_n - R_n = \frac{4}{n}\left[f(0) - f(4)\right] = \frac{64}{n}; n≥64n \ge 64 strips.
  • e) 34<42.67<5034 < 42.67 < 50; M4M_4 is off by 13\frac{1}{3} only, because each midpoint rectangle overshoots on one half of its strip and undershoots on the other.

a) Δx=b−an=4−04=1\Delta x = \frac{b - a}{n} = \frac{4 - 0}{4} = 1, and the division points are xi=0+iΔx=ix_i = 0 + i\Delta x = i, for i=0,1,2,3,4i = 0, 1, 2, 3, 4. The left sum uses the left end of each strip, x0,…,x3x_0, \ldots, x_3, that is 0,1,2,30, 1, 2, 3. The right sum uses x1,…,x4x_1, \ldots, x_4, that is 1,2,3,41, 2, 3, 4. The midpoint sum uses the centres xˉi=xi−1+xi2\bar{x}_i = \frac{x_{i-1} + x_i}{2}, that is 12,32,52,72\frac{1}{2}, \frac{3}{2}, \frac{5}{2}, \frac{7}{2}. Each sum has exactly n=4n = 4 terms: listing five sample points, 00 to 44, for L4L_4 is the error that adds a fifth rectangle standing outside the interval.

b) The values needed are f(0)=16f(0) = 16, f(1)=15f(1) = 15, f(2)=12f(2) = 12, f(3)=7f(3) = 7, f(4)=0f(4) = 0. So L4=1⋅(16+15+12+7)=50L_4 = 1 \cdot (16 + 15 + 12 + 7) = 50 and R4=1⋅(15+12+7+0)=34R_4 = 1 \cdot (15 + 12 + 7 + 0) = 34. For the midpoints, f(12)=634f(\frac{1}{2}) = \frac{63}{4}, f(32)=554f(\frac{3}{2}) = \frac{55}{4}, f(52)=394f(\frac{5}{2}) = \frac{39}{4}, f(72)=154f(\frac{7}{2}) = \frac{15}{4}, so M4=63+55+39+154=1724=43M_4 = \frac{63 + 55 + 39 + 15}{4} = \frac{172}{4} = 43. Note that M4M_4 is NOT the average of L4L_4 and R4R_4, which is 4242: the midpoint sum evaluates ff at new points, it does not average old values.

c) f′(x)=−2x≤0f'(x) = -2x \le 0 on [0,4][0, 4], so ff is decreasing there. On each strip [xi−1,xi][x_{i-1}, x_i] the largest value of ff is therefore at the LEFT end: the left rectangle contains the region above that strip, and the right rectangle is contained in it. Summing over the four strips, R4≤A≤L4R_4 \le A \le L_4, and since ff is strictly decreasing the inequalities are strict: 34<A<5034 < A < 50. The figure shows the left rectangles sticking out above the curve, but a picture is an illustration, not a proof: the marks go to the word decreasing and to its justification.

d) Write both sums out: Ln=Δx[f(x0)+f(x1)+⋯+f(xn−1)]L_n = \Delta x\left[f(x_0) + f(x_1) + \cdots + f(x_{n-1})\right] and Rn=Δx[f(x1)+⋯+f(xn−1)+f(xn)]R_n = \Delta x\left[f(x_1) + \cdots + f(x_{n-1}) + f(x_n)\right]. Every interior value appears in both and cancels, leaving Ln−Rn=Δx[f(x0)−f(xn)]=4n[f(0)−f(4)]=4n⋅16=64nL_n - R_n = \Delta x\left[f(x_0) - f(x_n)\right] = \frac{4}{n}\left[f(0) - f(4)\right] = \frac{4}{n} \cdot 16 = \frac{64}{n}. For n=4n = 4 this gives 16=50−3416 = 50 - 34, as it must. Since AA lies between RnR_n and LnL_n, it is known to within 11 as soon as 64n≤1\frac{64}{n} \le 1, that is n≥64n \ge 64 strips. The formula works only because ff is monotonic: it is the bracket of c), measured.

e) 1283=4223\frac{128}{3} = 42\frac{2}{3}, which lies between R4=34R_4 = 34 and L4=50L_4 = 50, as c) demands. The errors are 50−1283=22350 - \frac{128}{3} = \frac{22}{3} for L4L_4, 1283−34=263\frac{128}{3} - 34 = \frac{26}{3} for R4R_4, and only 43−1283=1343 - \frac{128}{3} = \frac{1}{3} for M4M_4. Draw a midpoint rectangle on one strip: on the left half of the strip the curve is above the top of the rectangle, on the right half it is below. The missing piece and the extra piece nearly cancel, which a left or right rectangle cannot do, since on a decreasing function it is entirely above or entirely below. That is an observation about this figure, not a rule to quote: nothing in this chapter says on which side of AA a midpoint sum falls.

Exercise 3: Distance from a table of velocities

A car starts from rest and accelerates along a straight road. Its speedometer is read every five seconds, and its speed never decreases during these thirty seconds:

t (s)051015202530v (m/s)061115182021\begin{array}{c|ccccccc} t \text{ (s)} & 0 & 5 & 10 & 15 & 20 & 25 & 30 \\ \hline v \text{ (m/s)} & 0 & 6 & 11 & 15 & 18 & 20 & 21 \end{array}

Over a short time interval on which the speed is nearly constant, distance is speed times time. The distance dd travelled from t=0t = 0 to t=30t = 30 is therefore estimated by sums of such products, and those sums are Riemann sums of the velocity.

  • a) Compute the left and right estimates L6L_6 and R6R_6 of dd.
  • b) Explain why dd lies between them.
  • c) Give the best estimate that the table allows with a midpoint sum, and say why M6M_6 cannot be computed.
  • d) If the speedometer were read at equal intervals Δt\Delta t, how small should Δt\Delta t be for the gap between the left and right estimates to be at most 1010 m? How many intervals is that over the thirty seconds?
  • e) Why does a sum of products of vv and Δt\Delta t come out in metres? If the table described a car BRAKING, with a speed that never increases, which of L6L_6 and R6R_6 would be the upper estimate?
Show the solution

Answers

  • a) L6=350L_6 = 350 m, R6=455R_6 = 455 m
  • b) vv never decreases: L6≤d≤R6L_6 \le d \le R_6, so 350≤d≤455350 \le d \le 455 m.
  • c) M3=10(6+15+20)=410M_3 = 10(6 + 15 + 20) = 410 m; M6M_6 needs v(2.5),v(7.5),…v(2.5), v(7.5), \ldots, which are not in the table.
  • d) Rn−Ln=21 Δt≤10R_n - L_n = 21\,\Delta t \le 10: Δt≤1021\Delta t \le \frac{10}{21} s, that is n≥63n \ge 63 intervals.
  • e) Each term is (m/s) times (s) = m. Braking: L6L_6 becomes the upper estimate.

a) The time step is Δt=5\Delta t = 5 s and there are n=6n = 6 intervals: [0,5],[5,10],…,[25,30][0, 5], [5, 10], \ldots, [25, 30]. The left estimate uses the speed at the START of each interval: L6=5(0+6+11+15+18+20)=5⋅70=350L_6 = 5(0 + 6 + 11 + 15 + 18 + 20) = 5 \cdot 70 = 350 m. The right estimate uses the speed at the END: R6=5(6+11+15+18+20+21)=5⋅91=455R_6 = 5(6 + 11 + 15 + 18 + 20 + 21) = 5 \cdot 91 = 455 m. Seven readings give six intervals, hence six terms in each sum: the left sum drops the last reading and the right sum drops the first. Using all seven readings in one sum is the classic error, and here it gives 5⋅91=4555 \cdot 91 = 455 for the left sum, the right answer to a different question.

b) On each interval the speed is at least its value at the start and at most its value at the end, since it never decreases. So the distance covered on that interval lies between (starting speed) × 5\times\, 5 and (final speed) × 5\times\, 5. Adding the six intervals, L6≤d≤R6L_6 \le d \le R_6: 350≤d≤455350 \le d \le 455 m. This is the monotonicity argument of Exercise 2 with the roles swapped, because the function now INCREASES: for an increasing function the left sum is the underestimate. The statement gives this information in words, and the answer must quote it; the table alone could not rule out a dip between two readings.

c) A midpoint sum needs the speed at the centre of each interval. With intervals of 55 s the centres are 2.5,7.5,…2.5, 7.5, \ldots s, and the table has no reading there: M6M_6 is out of reach. With n=3n = 3 intervals of 1010 s, [0,10][0, 10], [10,20][10, 20] and [20,30][20, 30], the centres are 55, 1515 and 2525 s, which ARE in the table. So M3=10[v(5)+v(15)+v(25)]=10(6+15+20)=410M_3 = 10\left[v(5) + v(15) + v(25)\right] = 10(6 + 15 + 20) = 410 m. It lies inside the bracket of b), as any sensible estimate must. The width is 1010 s, not 55: using Δt=5\Delta t = 5 with three terms counts only half of the thirty seconds.

d) For nn equal intervals of width Δt\Delta t, the interior readings appear in both sums and cancel, as in Exercise 2: Rn−Ln=Δt[v(30)−v(0)]=21 ΔtR_n - L_n = \Delta t\left[v(30) - v(0)\right] = 21\,\Delta t. The distance is known to within 1010 m, by the bracket alone, when 21 Δt≤1021\,\Delta t \le 10, that is Δt≤1021\Delta t \le \frac{10}{21} s, slightly under half a second. Over thirty seconds this means n=30Δt≥30⋅2110=63n = \frac{30}{\Delta t} \ge 30 \cdot \frac{21}{10} = 63 intervals, that is 6464 readings counting the one at t=0t = 0. The argument uses only the two end speeds and the monotonicity: nothing about the shape of the curve in between.

e) Each term v(ti) Δtv(t_i)\,\Delta t is a speed in metres per second times a duration in seconds, so its unit is the metre: a rectangle drawn on a velocity graph carries the unit of its height times the unit of its width. The area under a velocity curve is a distance, and here, since the speed is never negative, it is the distance travelled. For a braking car the speed is largest at the start of each interval, so the LEFT estimate becomes the upper one and the right estimate the lower one. Which sum overestimates is never a property of left or right: it is a property of the direction in which the function moves.

Exercise 4: The integral as a limit of right sums

By definition, for ff continuous on [a,b][a, b], ∫abf(x) dx=lim⁡n→∞∑i=1nf(xi) Δx\int_a^b f(x)\,dx = \lim_{n \to \infty} \sum_{i=1}^{n} f(x_i)\,\Delta x, with Δx=b−an\Delta x = \frac{b - a}{n} and xi=a+i Δxx_i = a + i\,\Delta x. When a question says use the definition, this limit is what must be computed: no antiderivative, even one you already know.

The method has four moves, always in this order: write Δx\Delta x and xix_i, express f(xi)f(x_i) as powers of ii, close the sum with the formulas of Exercise 1, then let n→∞n \to \infty.

  • a) Use the definition, with right endpoints, to show that ∫04(16−x2) dx=1283\int_0^4 (16 - x^2)\,dx = \frac{128}{3}. Check your formula for RnR_n against the value R4=34R_4 = 34 of Exercise 2.
  • b) Use the definition to evaluate ∫13(x2−2x) dx\int_1^3 (x^2 - 2x)\,dx. Check your formula for RnR_n at n=1n = 1.
  • c) The answer to b) is smaller than the area of the region between the curve and the xx-axis on [1,3][1, 3]. Explain why, and say what the number measures.
  • d) Compute LnL_n for the integral of a), check it against L4=50L_4 = 50, and show that its limit is the same.
  • e) In b), a student writes xi=2inx_i = \frac{2i}{n}. Which integral has he computed, and what does he get?
Show the solution

Answers

  • a) Rn=64−32(n+1)(2n+1)3n2→64−643=1283R_n = 64 - \frac{32(n+1)(2n+1)}{3n^2} \to 64 - \frac{64}{3} = \frac{128}{3}; R4=34R_4 = 34.
  • b) Rn=4(n+1)(2n+1)3n2−2→23R_n = \frac{4(n+1)(2n+1)}{3n^2} - 2 \to \frac{2}{3}; R1=6=2f(3)R_1 = 6 = 2f(3).
  • c) On (1,2)(1, 2) the curve is below the axis and counts negatively: 23\frac{2}{3} is area above minus area below.
  • d) Ln=64−32(n−1)(2n−1)3n2L_n = 64 - \frac{32(n-1)(2n-1)}{3n^2}; L4=50L_4 = 50; limit 1283\frac{128}{3}.
  • e) ∫02(x2−2x) dx=83−4=−43\int_0^2 (x^2 - 2x)\,dx = \frac{8}{3} - 4 = -\frac{4}{3}, a different integral.

a) Δx=4−0n=4n\Delta x = \frac{4 - 0}{n} = \frac{4}{n} and xi=0+4in=4inx_i = 0 + \frac{4i}{n} = \frac{4i}{n}. Then f(xi)=16−16i2n2f(x_i) = 16 - \frac{16i^2}{n^2}, and Rn=∑i=1n(16−16i2n2)4n=64n∑i=1n1−64n3∑i=1ni2=64−64n3⋅n(n+1)(2n+1)6=64−32(n+1)(2n+1)3n2R_n = \sum_{i=1}^{n}\left(16 - \frac{16i^2}{n^2}\right)\frac{4}{n} = \frac{64}{n}\sum_{i=1}^{n} 1 - \frac{64}{n^3}\sum_{i=1}^{n} i^2 = 64 - \frac{64}{n^3} \cdot \frac{n(n+1)(2n+1)}{6} = 64 - \frac{32(n+1)(2n+1)}{3n^2}. The first sum is nn copies of 64n\frac{64}{n}, that is 6464. Check at n=4n = 4: 64−32⋅5⋅948=64−30=3464 - \frac{32 \cdot 5 \cdot 9}{48} = 64 - 30 = 34, exactly the R4R_4 of Exercise 2, so the closed form is right before the limit is even taken. Now (n+1)(2n+1)n2→2\frac{(n+1)(2n+1)}{n^2} \to 2, so Rn→64−643=1283R_n \to 64 - \frac{64}{3} = \frac{128}{3}. Everything is pulled out of the sum BEFORE the formulas are applied: 4n\frac{4}{n} and 16n2\frac{16}{n^2} do not depend on ii.

b) Δx=3−1n=2n\Delta x = \frac{3 - 1}{n} = \frac{2}{n} and xi=1+2inx_i = 1 + \frac{2i}{n}: the left end a=1a = 1 must be there. Expanding, xi2−2xi=1+4in+4i2n2−2−4in=4i2n2−1x_i^2 - 2x_i = 1 + \frac{4i}{n} + \frac{4i^2}{n^2} - 2 - \frac{4i}{n} = \frac{4i^2}{n^2} - 1; the terms in ii cancel, which is what writing x2−2x=(x−1)2−1x^2 - 2x = (x - 1)^2 - 1 predicts. So Rn=∑i=1n(4i2n2−1)2n=8n3⋅n(n+1)(2n+1)6−2=4(n+1)(2n+1)3n2−2R_n = \sum_{i=1}^{n}\left(\frac{4i^2}{n^2} - 1\right)\frac{2}{n} = \frac{8}{n^3} \cdot \frac{n(n+1)(2n+1)}{6} - 2 = \frac{4(n+1)(2n+1)}{3n^2} - 2. The −2-2 is nn copies of −2n-\frac{2}{n}, not −2n-\frac{2}{n} once. Check at n=1n = 1: one rectangle of width 22 and height f(3)=3f(3) = 3, so R1=6R_1 = 6, and the formula gives 4⋅2⋅33−2=6\frac{4 \cdot 2 \cdot 3}{3} - 2 = 6. Finally Rn→83−2=23R_n \to \frac{8}{3} - 2 = \frac{2}{3}.

c) x2−2x=x(x−2)x^2 - 2x = x(x - 2) is negative on (1,2)(1, 2) and positive on (2,3)(2, 3), as the figure of the solution shows. A Riemann sum adds f(xi) Δxf(x_i)\,\Delta x with its sign, so every rectangle standing below the axis is SUBTRACTED. In the limit, ∫13(x2−2x) dx\int_1^3 (x^2 - 2x)\,dx is the area of the part above the axis minus the area of the part below: a net, or signed, area. The geometric area of the whole region counts both parts positively and is therefore larger than 23\frac{2}{3}. A problem that asks for an area of a region whose boundary crosses the axis must be split at the crossing, here x=2x = 2; a problem that asks for an integral must not be.

d) The left sum uses xi−1=4(i−1)nx_{i-1} = \frac{4(i-1)}{n}, so with k=i−1k = i - 1 it runs over k=0,…,n−1k = 0, \ldots, n - 1: Ln=4n∑k=0n−1(16−16k2n2)=64−64n3∑k=1n−1k2=64−64n3⋅(n−1)n(2n−1)6=64−32(n−1)(2n−1)3n2L_n = \frac{4}{n}\sum_{k=0}^{n-1}\left(16 - \frac{16k^2}{n^2}\right) = 64 - \frac{64}{n^3}\sum_{k=1}^{n-1} k^2 = 64 - \frac{64}{n^3} \cdot \frac{(n-1)n(2n-1)}{6} = 64 - \frac{32(n-1)(2n-1)}{3n^2}. The term k=0k = 0 contributes 00 to ∑k2\sum k^2 but 1616 to the first sum, which still has nn terms and still gives 6464; the formula for ∑k2\sum k^2 is then used with n−1n - 1 in place of nn. At n=4n = 4: 64−32⋅3⋅748=64−14=5064 - \frac{32 \cdot 3 \cdot 7}{48} = 64 - 14 = 50, the L4L_4 of Exercise 2. And (n−1)(2n−1)n2→2\frac{(n-1)(2n-1)}{n^2} \to 2, so Ln→1283L_n \to \frac{128}{3}, the same limit. For a continuous function the choice of sample points changes every approximation and never the integral.

e) With xi=2inx_i = \frac{2i}{n} and Δx=2n\Delta x = \frac{2}{n}, the sample points run from 2n\frac{2}{n} to 22: they cover [0,2][0, 2], not [1,3][1, 3]. His sum is ∑i=1n(4i2n2−4in)2n=8n3∑i2−8n2∑i→83−4=−43\sum_{i=1}^{n}\left(\frac{4i^2}{n^2} - \frac{4i}{n}\right)\frac{2}{n} = \frac{8}{n^3}\sum i^2 - \frac{8}{n^2}\sum i \to \frac{8}{3} - 4 = -\frac{4}{3}, which is ∫02(x2−2x) dx\int_0^2 (x^2 - 2x)\,dx, the integral over the part where the parabola is entirely below the axis. Even the sign is wrong. The quickest defence is the n=1n = 1 check of b): his formula at n=1n = 1 gives 8⋅11−8⋅1=08 \cdot \frac{1}{1} - 8 \cdot 1 = 0, which is 2f(2)2f(2), not 2f(3)=62f(3) = 6.

-1123456-2-11234negative partpositive part

Exercise 5: Reading a limit of sums as an integral

The reverse question is just as frequent on an exam: a limit of sums is given, and it must be recognized as ∫abf(x) dx\int_a^b f(x)\,dx. Read it in this order: the factor that behaves like constantn\frac{\text{constant}}{n} is Δx=b−an\Delta x = \frac{b - a}{n}; inside the function, the expression a+i Δxa + i\,\Delta x is xix_i, which gives aa; then b=a+n Δxb = a + n\,\Delta x, the last sample point.

Once the integral is identified, it can often be evaluated by geometry, with no computation of the sum.

  • a) Identify lim⁡n→∞∑i=1n3n9−9i2n2\lim_{n \to \infty} \sum_{i=1}^{n} \frac{3}{n}\sqrt{9 - \frac{9i^2}{n^2}} as an integral and evaluate it by geometry.
  • b) Give TWO different integrals equal to lim⁡n→∞∑i=1n2n(1+2in)\lim_{n \to \infty} \sum_{i=1}^{n} \frac{2}{n}\left(1 + \frac{2i}{n}\right), evaluate them by geometry, and confirm with the formulas of Exercise 1.
  • c) Evaluate lim⁡n→∞∑i=1n4n(4in−3)\lim_{n \to \infty} \sum_{i=1}^{n} \frac{4}{n}\left(\frac{4i}{n} - 3\right) by geometry, then with the formulas.
  • d) Write lim⁡n→∞∑i=1n2n e−1+2i/n\lim_{n \to \infty} \sum_{i=1}^{n} \frac{2}{n}\,e^{-1 + 2i/n} as an integral, without evaluating it. Then write ∫251+x3 dx\int_2^5 \sqrt{1 + x^3}\,dx as a limit of right Riemann sums.
  • e) A sum runs to 2n2n instead of nn: evaluate lim⁡n→∞∑i=12n1n⋅in\lim_{n \to \infty} \sum_{i=1}^{2n} \frac{1}{n} \cdot \frac{i}{n}.
Show the solution

Answers

  • a) ∫039−x2 dx=9π4\int_0^3 \sqrt{9 - x^2}\,dx = \frac{9\pi}{4}, a quarter disc of radius 33.
  • b) ∫02(1+x) dx=∫13x dx=4\int_0^2 (1 + x)\,dx = \int_1^3 x\,dx = 4
  • c) ∫04(x−3) dx=−92+12=−4\int_0^4 (x - 3)\,dx = -\frac{9}{2} + \frac{1}{2} = -4
  • d) ∫−11ex dx\int_{-1}^{1} e^x\,dx (or ∫02ex−1 dx\int_0^2 e^{x-1}\,dx); lim⁡n→∞∑i=1n3n1+(2+3in)3\lim_{n \to \infty} \sum_{i=1}^{n} \frac{3}{n}\sqrt{1 + \left(2 + \frac{3i}{n}\right)^3}
  • e) ∫02x dx=2\int_0^2 x\,dx = 2

a) The factor 3n\frac{3}{n} is Δx\Delta x, so b−a=3b - a = 3. Inside the root, 9i2n2=(3in)2\frac{9i^2}{n^2} = \left(\frac{3i}{n}\right)^2, so xi=3in=0+i Δxx_i = \frac{3i}{n} = 0 + i\,\Delta x: a=0a = 0, b=3b = 3 and f(x)=9−x2f(x) = \sqrt{9 - x^2}. The limit is ∫039−x2 dx\int_0^3 \sqrt{9 - x^2}\,dx. Squaring y=9−x2y = \sqrt{9 - x^2} gives x2+y2=9x^2 + y^2 = 9 with y≥0y \ge 0: the curve is the upper half of the circle of radius 33, and between x=0x = 0 and x=3x = 3 the region under it is a QUARTER disc. Its area is 14π⋅32=9π4\frac{1}{4}\pi \cdot 3^2 = \frac{9\pi}{4}, about 7.077.07 with π≈3.14\pi \approx 3.14. The figure of the solution shows six of the rectangles of the sum: since ff decreases on [0,3][0, 3], the right rectangles sit inside the quarter disc and every RnR_n is below 9π4\frac{9\pi}{4}.

b) First reading: Δx=2n\Delta x = \frac{2}{n} and xi=2inx_i = \frac{2i}{n}, so [a,b]=[0,2][a, b] = [0, 2] and f(x)=1+xf(x) = 1 + x. Second reading: xi=1+2inx_i = 1 + \frac{2i}{n}, so [a,b]=[1,3][a, b] = [1, 3] and f(x)=xf(x) = x. The same sum is both a right sum of 1+x1 + x on [0,2][0, 2] and of xx on [1,3][1, 3]: the second graph is the first one shifted right by 11. Both regions are trapezoids, with parallel sides 11 and 33 and width 22, so each integral equals 1+32⋅2=4\frac{1 + 3}{2} \cdot 2 = 4. With the formulas: 2n∑i=1n1+4n2∑i=1ni=2+4n2⋅n(n+1)2=2+2(n+1)n→4\frac{2}{n}\sum_{i=1}^{n} 1 + \frac{4}{n^2}\sum_{i=1}^{n} i = 2 + \frac{4}{n^2} \cdot \frac{n(n+1)}{2} = 2 + \frac{2(n+1)}{n} \to 4. The reading is not unique, the value is: any correct reading earns the marks, as long as aa, bb and ff are consistent with each other.

c) Δx=4n\Delta x = \frac{4}{n}, xi=4inx_i = \frac{4i}{n}, so the limit is ∫04(x−3) dx\int_0^4 (x - 3)\,dx. The line y=x−3y = x - 3 is below the axis on [0,3][0, 3], a triangle of legs 33 and 33 with area 92\frac{9}{2}, and above on [3,4][3, 4], a triangle of legs 11 and 11 with area 12\frac{1}{2}. The integral counts the first negatively: −92+12=−4-\frac{9}{2} + \frac{1}{2} = -4. With the formulas: 16n2∑i=1ni−12n∑i=1n1=8(n+1)n−12→8−12=−4\frac{16}{n^2}\sum_{i=1}^{n} i - \frac{12}{n}\sum_{i=1}^{n} 1 = \frac{8(n+1)}{n} - 12 \to 8 - 12 = -4. A negative limit of sums is no anomaly: it is the signal that the region lies mostly below the axis, and the geometric answer must carry the same sign.

d) 2n=Δx\frac{2}{n} = \Delta x, and in the exponent −1+2in=a+i Δx-1 + \frac{2i}{n} = a + i\,\Delta x with a=−1a = -1, so b=−1+2=1b = -1 + 2 = 1: the limit is ∫−11ex dx\int_{-1}^{1} e^x\,dx. The reading xi=2inx_i = \frac{2i}{n} on [0,2][0, 2] with f(x)=ex−1f(x) = e^{x - 1} is equally correct. Its value is left for the next chapter. For the second request, Δx=5−2n=3n\Delta x = \frac{5 - 2}{n} = \frac{3}{n} and xi=2+3inx_i = 2 + \frac{3i}{n}, so ∫251+x3 dx=lim⁡n→∞∑i=1n3n1+(2+3in)3\int_2^5 \sqrt{1 + x^3}\,dx = \lim_{n \to \infty} \sum_{i=1}^{n} \frac{3}{n}\sqrt{1 + \left(2 + \frac{3i}{n}\right)^3}. The 2+2 + inside the cube is the part most often dropped, and without it the sum describes [0,3][0, 3].

e) Here Δx=1n\Delta x = \frac{1}{n} and xi=inx_i = \frac{i}{n}, but there are 2n2n terms: the last sample point is 2nn=2\frac{2n}{n} = 2. The interval is [0,2][0, 2], of length 2n⋅1n=22n \cdot \frac{1}{n} = 2, and the limit is ∫02x dx\int_0^2 x\,dx, a triangle of base 22 and height 22, area 22. With the formula, now applied with 2n2n in place of nn: 1n2⋅2n(2n+1)2=2n+1n→2\frac{1}{n^2} \cdot \frac{2n(2n + 1)}{2} = \frac{2n + 1}{n} \to 2. The answer 12\frac{1}{2}, which is ∫01x dx\int_0^1 x\,dx, comes from assuming that every sum runs over [0,1][0, 1]; the upper index of the sum is part of the reading.

-11234-1123radius 3

Part B: problems and reasoning (/50)

Exercise 6: Signed area by geometry, and the properties of the integral

The figure shows the graph of a continuous function gg on [0,8][0, 8]: a segment from (0,−2)(0, -2) to (2,0)(2, 0), the upper half of the circle of centre (4,0)(4, 0) and radius 22, and a segment from (6,0)(6, 0) to (8,−2)(8, -2).

Every integral below is evaluated from the picture and the properties of the integral: additivity over intervals, ∫ba=−∫ab\int_b^a = -\int_a^b, linearity, and the comparison properties.

-1123456789-3-2-1123y = g(x)
  • a) Evaluate ∫02g(x) dx\int_0^2 g(x)\,dx, ∫26g(x) dx\int_2^6 g(x)\,dx and ∫08g(x) dx\int_0^8 g(x)\,dx.
  • b) Evaluate ∫82g(x) dx\int_8^2 g(x)\,dx and ∫55g(x) dx\int_5^5 g(x)\,dx.
  • c) Find the area of the region between the graph of gg and the xx-axis on [0,8][0, 8], and compare it with ∣∫08g(x) dx∣\left|\int_0^8 g(x)\,dx\right|.
  • d) Evaluate ∫08(3g(x)+1)dx\int_0^8 \left(3g(x) + 1\right)dx and ∫04(g(x)−2)dx\int_0^4 \left(g(x) - 2\right)dx.
  • e) Use the comparison properties to show that 2≤∫021+x3 dx≤62 \le \int_0^2 \sqrt{1 + x^3}\,dx \le 6. Then split the interval at x=1x = 1 to obtain a sharper bracket.
Show the solution

Answers

  • a) −2-2, 2π2\pi, 2π−42\pi - 4
  • b) 2−2π2 - 2\pi and 00
  • c) Area 2π+4≈10.282\pi + 4 \approx 10.28, against ∣2π−4∣≈2.28\left|2\pi - 4\right| \approx 2.28.
  • d) 6π−46\pi - 4 and π−10\pi - 10
  • e) 1≤1+x3≤31 \le \sqrt{1 + x^3} \le 3 on [0,2][0, 2] gives 2≤I≤62 \le I \le 6; split: 1+2≤I≤2+31 + \sqrt{2} \le I \le \sqrt{2} + 3.

a) On [0,2][0, 2] the graph is below the axis and bounds a triangle of base 22 and height 22, area 22: the integral is −2-2. On [2,6][2, 6] the region is a half disc of radius 22, area 12π⋅22=2π\frac{1}{2}\pi \cdot 2^2 = 2\pi, above the axis: the integral is 2π2\pi. On [6,8][6, 8] another triangle of area 22 lies below, contributing −2-2. By additivity, ∫08g(x) dx=−2+2π−2=2π−4\int_0^8 g(x)\,dx = -2 + 2\pi - 2 = 2\pi - 4, about 2.282.28. Each piece is computed with its sign FIRST, then added; adding areas and choosing the sign at the end is how a 2π+42\pi + 4 ends up on the answer line.

b) ∫28g(x) dx=2π−2\int_2^8 g(x)\,dx = 2\pi - 2 by additivity, so reversing the limits gives ∫82g(x) dx=−(2π−2)=2−2π\int_8^2 g(x)\,dx = -(2\pi - 2) = 2 - 2\pi. The reversal is not a geometric fact about the picture, it is a convention forced by the definition: running from 88 to 22 makes Δx=2−8n\Delta x = \frac{2 - 8}{n} negative, which flips the sign of every term. And ∫55g(x) dx=0\int_5^5 g(x)\,dx = 0 because Δx=0\Delta x = 0: an interval of length zero carries no area, whatever g(5)g(5) is.

c) The area counts every part positively: 2+2π+2=2π+42 + 2\pi + 2 = 2\pi + 4, about 10.2810.28. It equals ∫08∣g(x)∣ dx\int_0^8 |g(x)|\,dx, since ∣g∣|g| reflects the two triangles above the axis. Meanwhile ∣∫08g(x) dx∣=2π−4≈2.28\left|\int_0^8 g(x)\,dx\right| = 2\pi - 4 \approx 2.28, much smaller, because the triangles CANCEL part of the half disc before the absolute value is taken. In general ∣∫abg∣≤∫ab∣g∣\left|\int_a^b g\right| \le \int_a^b |g|, with equality only when gg keeps one sign. Taking the absolute value of the integral is not the same as integrating the absolute value.

d) By linearity, ∫08(3g(x)+1) dx=3∫08g(x) dx+∫081 dx=3(2π−4)+8=6π−4\int_0^8 (3g(x) + 1)\,dx = 3\int_0^8 g(x)\,dx + \int_0^8 1\,dx = 3(2\pi - 4) + 8 = 6\pi - 4. The integral of the constant 11 over [0,8][0, 8] is the area of a rectangle of width 88 and height 11, so 88, not 11: it is the same trap as ∑i=1nc=cn\sum_{i=1}^{n} c = cn in Exercise 1, and for the same reason. Next, ∫04g(x) dx=−2+π\int_0^4 g(x)\,dx = -2 + \pi, the triangle plus a QUARTER disc, so ∫04(g(x)−2) dx=(π−2)−2⋅4=π−10\int_0^4 (g(x) - 2)\,dx = (\pi - 2) - 2 \cdot 4 = \pi - 10.

e) On [0,2][0, 2], x3x^3 increases from 00 to 88, so 1≤1+x3≤31 \le \sqrt{1 + x^3} \le 3. The comparison property m(b−a)≤∫abf≤M(b−a)m(b - a) \le \int_a^b f \le M(b - a) gives 1⋅2≤I≤3⋅21 \cdot 2 \le I \le 3 \cdot 2, that is 2≤I≤62 \le I \le 6, where I=∫021+x3 dxI = \int_0^2 \sqrt{1 + x^3}\,dx. The bracket is honest but wide, since it uses a single rectangle below and a single rectangle above. Split at x=1x = 1: on [0,1][0, 1] the integrand lies between 11 and 2\sqrt{2}, on [1,2][1, 2] between 2\sqrt{2} and 33. Adding the two brackets, 1+2≤I≤2+31 + \sqrt{2} \le I \le \sqrt{2} + 3, about 2.41≤I≤4.412.41 \le I \le 4.41. These are exactly L2L_2 and R2R_2 for an increasing function: the comparison property is the one-rectangle case of the monotonicity bracket, and every split sharpens it.

Exercise 7: When the function turns, neither sum is on a safe side

A student has learned that the left sum underestimates and the right sum overestimates. That is true for an INCREASING function and false for a decreasing one, and when the function turns inside the interval it is not even a rule. Throughout, f(x)=x2f(x) = x^2; the figure shows its three left rectangles on [−1,2][-1, 2], the middle one of height 00.

-2-1123-112345y = x²
  • a) Compute L3L_3 and R3R_3 for ff on [−1,2][-1, 2].
  • b) Compute L3L_3 and R3R_3 for ff on [−2,1][-2, 1].
  • c) Use the definition to show that ∫−12x2 dx=3\int_{-1}^{2} x^2\,dx = 3. Explain from the graph, without any computation, why ∫−21x2 dx\int_{-2}^{1} x^2\,dx has the same value.
  • d) In a) and b), which sums overestimate? Explain with the monotonicity of ff on each strip, and build from the three strips of a) a lower and an upper bound that are GUARANTEED to hold.
  • e) Let g(x)=11+x2g(x) = \frac{1}{1 + x^2} on [0,1][0, 1] and I=∫01g(x) dxI = \int_0^1 g(x)\,dx. Show that Rn≤I≤LnR_n \le I \le L_n for every nn, compute L2L_2 and R2R_2, and find how many strips make Ln−Rn≤0.01L_n - R_n \le 0.01.
Show the solution

Answers

  • a) L3=2L_3 = 2, R3=5R_3 = 5
  • b) L3=5L_3 = 5, R3=2R_3 = 2
  • c) Rn=3−9(n+1)n+9(n+1)(2n+1)2n2→3−9+9=3R_n = 3 - \frac{9(n+1)}{n} + \frac{9(n+1)(2n+1)}{2n^2} \to 3 - 9 + 9 = 3; the reflection x↦−xx \mapsto -x carries one region onto the other.
  • d) On [−1,2][-1, 2]: L3L_3 under, R3R_3 over; on [−2,1][-2, 1]: the reverse. Guaranteed: 1≤∫−12x2 dx≤61 \le \int_{-1}^{2} x^2\,dx \le 6.
  • e) gg decreasing: Rn≤I≤LnR_n \le I \le L_n; R2=1320R_2 = \frac{13}{20}, L2=910L_2 = \frac{9}{10}; Ln−Rn=12n≤0.01L_n - R_n = \frac{1}{2n} \le 0.01 for n≥50n \ge 50.

a) Δx=2−(−1)3=1\Delta x = \frac{2 - (-1)}{3} = 1, division points −1,0,1,2-1, 0, 1, 2. L3=1⋅[f(−1)+f(0)+f(1)]=1+0+1=2L_3 = 1 \cdot \left[f(-1) + f(0) + f(1)\right] = 1 + 0 + 1 = 2 and R3=1⋅[f(0)+f(1)+f(2)]=0+1+4=5R_3 = 1 \cdot \left[f(0) + f(1) + f(2)\right] = 0 + 1 + 4 = 5. The middle left rectangle has height f(0)=0f(0) = 0: it is flat, and it still counts as one of the three terms.

b) Same width, division points −2,−1,0,1-2, -1, 0, 1. L3=f(−2)+f(−1)+f(0)=4+1+0=5L_3 = f(-2) + f(-1) + f(0) = 4 + 1 + 0 = 5 and R3=f(−1)+f(0)+f(1)=1+0+1=2R_3 = f(-1) + f(0) + f(1) = 1 + 0 + 1 = 2. The two intervals are mirror images of each other, and so are the sums: the left sum of one is the right sum of the other.

c) Δx=3n\Delta x = \frac{3}{n} and xi=−1+3inx_i = -1 + \frac{3i}{n}, the −1-1 being aa. Then xi2=1−6in+9i2n2x_i^2 = 1 - \frac{6i}{n} + \frac{9i^2}{n^2}, so Rn=3n∑i=1n(1−6in+9i2n2)=3−18n2⋅n(n+1)2+27n3⋅n(n+1)(2n+1)6=3−9(n+1)n+9(n+1)(2n+1)2n2R_n = \frac{3}{n}\sum_{i=1}^{n}\left(1 - \frac{6i}{n} + \frac{9i^2}{n^2}\right) = 3 - \frac{18}{n^2} \cdot \frac{n(n+1)}{2} + \frac{27}{n^3} \cdot \frac{n(n+1)(2n+1)}{6} = 3 - \frac{9(n+1)}{n} + \frac{9(n+1)(2n+1)}{2n^2}. Check at n=3n = 3: 3−12+9⋅4⋅718=3−12+14=53 - 12 + \frac{9 \cdot 4 \cdot 7}{18} = 3 - 12 + 14 = 5, the R3R_3 of a). As n→∞n \to \infty, Rn→3−9+9=3R_n \to 3 - 9 + 9 = 3. The cross term −6in-\frac{6i}{n} brings the sum of ii into play, and its sign is where most copies go wrong. For the second integral, the reflection x↦−xx \mapsto -x carries the graph of x2x^2 onto itself and the strip [−1,2][-1, 2] onto the strip [−2,1][-2, 1]: the two regions are congruent, so they have the same area, 33.

d) On [−1,2][-1, 2]: L3=2<3<5=R3L_3 = 2 < 3 < 5 = R_3, the left sum under and the right sum over. On [−2,1][-2, 1]: L3=5>3>2=R3L_3 = 5 > 3 > 2 = R_3, the reverse, for the same function and the same number of strips. The rule depends on the direction of ff strip by strip: ff decreases on (−∞,0](-\infty, 0] and increases on [0,∞)[0, \infty), so on a strip left of 00 the left rectangle is the tall one, and on a strip right of 00 it is the short one. The three strips of a) happen to split at the turning point 00, so a guaranteed bracket takes, on each strip, the smaller end value for the lower bound and the larger for the upper: lower =f(0)+f(0)+f(1)=1= f(0) + f(0) + f(1) = 1 and upper =f(−1)+f(1)+f(2)=6= f(-1) + f(1) + f(2) = 6, hence 1≤∫−12x2 dx≤61 \le \int_{-1}^{2} x^2\,dx \le 6. When a strip straddles the turning point, neither end value bounds the function on it, and the minimum f(0)f(0) must be used instead.

e) g′(x)=−2x(1+x2)2≤0g'(x) = -\frac{2x}{(1 + x^2)^2} \le 0 on [0,1][0, 1], so gg is decreasing there, and exactly as in Exercise 2, Rn≤I≤LnR_n \le I \le L_n for every nn. With n=2n = 2: g(0)=1g(0) = 1, g(12)=45g(\frac{1}{2}) = \frac{4}{5}, g(1)=12g(1) = \frac{1}{2}, so L2=12(1+45)=910L_2 = \frac{1}{2}\left(1 + \frac{4}{5}\right) = \frac{9}{10} and R2=12(45+12)=1320R_2 = \frac{1}{2}\left(\frac{4}{5} + \frac{1}{2}\right) = \frac{13}{20}: 0.65≤I≤0.90.65 \le I \le 0.9. The interior values cancel in the difference, Ln−Rn=1n[g(0)−g(1)]=12nL_n - R_n = \frac{1}{n}\left[g(0) - g(1)\right] = \frac{1}{2n}, and 12n≤0.01\frac{1}{2n} \le 0.01 as soon as n≥50n \ge 50. Fifty strips pin II inside an interval of width 0.010.01, without knowing anything about gg except its two end values and the sign of its derivative.

Exercise 8: Five statements to correct

Each statement below was written on a MATH 141 midterm, and each is false. Say what is wrong, give the correct statement, and settle it with the smallest counterexample you can find.

  • a) LnL_n always underestimates ∫abf(x) dx\int_a^b f(x)\,dx, because left rectangles sit under the curve.
  • b) ∫−31(x+1) dx=0\int_{-3}^{1} (x + 1)\,dx = 0, so the region between the line y=x+1y = x + 1 and the xx-axis, for −3≤x≤1-3 \le x \le 1, has zero area.
  • c) ∑i=1ni2=(∑i=1ni)2=n2(n+1)24\sum_{i=1}^{n} i^2 = \left(\sum_{i=1}^{n} i\right)^2 = \frac{n^2(n+1)^2}{4}.
  • d) If ∫abf(x) dx≥0\int_a^b f(x)\,dx \ge 0, then f(x)≥0f(x) \ge 0 for every xx in [a,b][a, b].
  • e) ∫302x dx=9\int_3^0 2x\,dx = 9, the area of the triangle under y=2xy = 2x.
Show the solution

Answers

  • a) False: f(x)=16−x2f(x) = 16 - x^2 on [0,4][0, 4] gives L4=50>1283L_4 = 50 > \frac{128}{3}.
  • b) False: two triangles of area 22 cancel in the integral; the area is 44.
  • c) False: for n=2n = 2, 1+4=51 + 4 = 5 but 32=93^2 = 9. The squared sum is ∑i3\sum i^3.
  • d) False: f(x)=x−1f(x) = x - 1 on [0,4][0, 4] has integral 44 and f(0)=−1f(0) = -1. Only the converse holds.
  • e) False: ∫302x dx=−∫032x dx=−9\int_3^0 2x\,dx = -\int_0^3 2x\,dx = -9.

a) FALSE. A left rectangle takes the height at the left end of its strip; it sits under the curve only if ff is larger further right, that is if ff increases. For f(x)=16−x2f(x) = 16 - x^2 on [0,4][0, 4], which decreases, Exercise 2 gave L4=50L_4 = 50 while the integral is 1283≈42.67\frac{128}{3} \approx 42.67: an overestimate. Correct statement: if ff is increasing on [a,b][a, b] then Ln≤∫abf≤RnL_n \le \int_a^b f \le R_n, if it is decreasing the inequalities reverse, and if it turns, as in Exercise 7, neither sum is on a fixed side.

b) FALSE. The line crosses the axis at x=−1x = -1. On [−3,−1][-3, -1] it bounds a triangle of legs 22 and 22 BELOW the axis, area 22, and on [−1,1][-1, 1] a triangle of the same size ABOVE it, area 22. The integral counts the first negatively: −2+2=0-2 + 2 = 0. The region itself has area 2+2=42 + 2 = 4. Correct statement: an integral is a signed area; the area of the region is ∫−31∣x+1∣ dx=4\int_{-3}^{1} |x + 1|\,dx = 4, obtained by splitting at the crossing point.

c) FALSE. For n=2n = 2: ∑i2=1+4=5\sum i^2 = 1 + 4 = 5 while (∑i)2=32=9\left(\sum i\right)^2 = 3^2 = 9. A sum of squares is not the square of the sum, just as a2+b2≠(a+b)2a^2 + b^2 \neq (a + b)^2. Correct statement: ∑i=1ni2=n(n+1)(2n+1)6\sum_{i=1}^{n} i^2 = \frac{n(n+1)(2n+1)}{6}. The formula the student wrote is real, but it belongs to the CUBES: ∑i=1ni3=(∑i=1ni)2\sum_{i=1}^{n} i^3 = \left(\sum_{i=1}^{n} i\right)^2, and for n=2n = 2, 1+8=91 + 8 = 9. Confusing the two changes a limit of 13\frac{1}{3} into nonsense, since 1n3⋅n2(n+1)24→∞\frac{1}{n^3} \cdot \frac{n^2(n+1)^2}{4} \to \infty.

d) FALSE. Take f(x)=x−1f(x) = x - 1 on [0,4][0, 4]: a triangle of area 12\frac{1}{2} below the axis on [0,1][0, 1] and one of area 92\frac{9}{2} above on [1,4][1, 4], so ∫04(x−1) dx=−12+92=4≥0\int_0^4 (x - 1)\,dx = -\frac{1}{2} + \frac{9}{2} = 4 \ge 0, yet f(0)=−1<0f(0) = -1 < 0. A positive integral only says that the area above outweighs the area below. Correct statement: the CONVERSE is true, if f(x)≥0f(x) \ge 0 on [a,b][a, b] then ∫abf(x) dx≥0\int_a^b f(x)\,dx \ge 0; it is one of the comparison properties.

e) FALSE. The triangle under y=2xy = 2x on [0,3][0, 3] has base 33 and height 66, area 99, so ∫032x dx=9\int_0^3 2x\,dx = 9. Running from 33 down to 00 reverses the sign: ∫302x dx=−9\int_3^0 2x\,dx = -9. In the definition, Δx=0−3n<0\Delta x = \frac{0 - 3}{n} < 0 makes every term negative even though 2x≥02x \ge 0 on the interval. Correct statement: ∫baf(x) dx=−∫abf(x) dx\int_b^a f(x)\,dx = -\int_a^b f(x)\,dx, and the area of the triangle is 99 whatever order the limits are written in.

Exercise 9: A solar array on a clear day: energy from power readings

The inverter of a rooftop solar array logs its power output PP, in kilowatts, every two hours on a clear day. The output rises steadily from sunrise until noon, then falls steadily until sunset:

t (h)681012141618P (kW)023.23.63.220\begin{array}{c|ccccccc} t \text{ (h)} & 6 & 8 & 10 & 12 & 14 & 16 & 18 \\ \hline P \text{ (kW)} & 0 & 2 & 3.2 & 3.6 & 3.2 & 2 & 0 \end{array}

Energy is power times time as long as the power is constant, so the energy EE produced during the day, in kilowatt-hours, is ∫618P(t) dt\int_6^{18} P(t)\,dt, with tt in hours. The figure plots the readings.

46810121416182012345time t (h)power P (kW)
  • a) Compute the estimates L6L_6 and R6R_6 of EE.
  • b) A classmate says: since L6=R6L_6 = R_6, the value is exact. Explain why the two sums are equal and why that proves nothing. Then use the information in the statement to give a lower and an upper bound for EE that are guaranteed.
  • c) Give the midpoint estimate that the table allows.
  • d) An engineer fits the model P(t)=(t−6)(18−t)10P(t) = \frac{(t - 6)(18 - t)}{10}. Check that it reproduces the readings, then compute EE exactly for this model, using the definition of the integral.
  • e) The household uses 2020 kWh per day. From the readings alone, can the owner be sure the array covered that day's use? Could she be sure it produced 3030 kWh? Compare the estimates of a) and c) with the value of d).
Show the solution

Answers

  • a) L6=R6=28L_6 = R_6 = 28 kWh
  • b) L6−R6=2[P(6)−P(18)]=0L_6 - R_6 = 2\left[P(6) - P(18)\right] = 0; guaranteed: 20.8≤E≤35.220.8 \le E \le 35.2 kWh.
  • c) M3=4(2+3.6+2)=30.4M_3 = 4(2 + 3.6 + 2) = 30.4 kWh
  • d) Rn=8645[n+12n−(n+1)(2n+1)6n2]→1445=28.8R_n = \frac{864}{5}\left[\frac{n+1}{2n} - \frac{(n+1)(2n+1)}{6n^2}\right] \to \frac{144}{5} = 28.8 kWh
  • e) Yes for 2020 kWh (20.8>2020.8 > 20); no for 3030 kWh. L6=R6L_6 = R_6 is 0.80.8 under, M3M_3 is 1.61.6 over.

a) Δt=2\Delta t = 2 h, n=6n = 6 intervals. L6=2(0+2+3.2+3.6+3.2+2)=2⋅14=28L_6 = 2(0 + 2 + 3.2 + 3.6 + 3.2 + 2) = 2 \cdot 14 = 28 kWh and R6=2(2+3.2+3.6+3.2+2+0)=2⋅14=28R_6 = 2(2 + 3.2 + 3.6 + 3.2 + 2 + 0) = 2 \cdot 14 = 28 kWh. The unit is kilowatts times hours, the kilowatt-hour of an electricity bill.

b) As in Exercise 2, L6−R6=Δt[P(6)−P(18)]=2(0−0)=0L_6 - R_6 = \Delta t\left[P(6) - P(18)\right] = 2(0 - 0) = 0: the two sums share their five interior readings and differ only by their end values, which are both 00 at sunrise and sunset. Their equality says something about the two ENDS of the table, nothing about the accuracy. The function rises then falls, so on each half the sums err in opposite directions, and here they happen to err by the same amount. A guaranteed bracket uses the monotonicity on each half separately, as in Exercise 7. Morning, PP increasing: the left sum is a lower bound, 2(0+2+3.2)=10.42(0 + 2 + 3.2) = 10.4, the right sum an upper bound, 2(2+3.2+3.6)=17.62(2 + 3.2 + 3.6) = 17.6. Afternoon, PP decreasing: the right sum is the lower bound, 2(3.2+2+0)=10.42(3.2 + 2 + 0) = 10.4, the left sum the upper, 2(3.6+3.2+2)=17.62(3.6 + 3.2 + 2) = 17.6. So 20.8≤E≤35.220.8 \le E \le 35.2 kWh, a wide but honest interval.

c) With three intervals of 44 h, [6,10][6, 10], [10,14][10, 14] and [14,18][14, 18], the midpoints are 88, 1212 and 1616, all in the table. M3=4[P(8)+P(12)+P(16)]=4(2+3.6+2)=30.4M_3 = 4\left[P(8) + P(12) + P(16)\right] = 4(2 + 3.6 + 2) = 30.4 kWh. The width is 44 h, not 22.

d) The model gives P(8)=2⋅1010=2P(8) = \frac{2 \cdot 10}{10} = 2, P(10)=4⋅810=3.2P(10) = \frac{4 \cdot 8}{10} = 3.2, P(12)=6⋅610=3.6P(12) = \frac{6 \cdot 6}{10} = 3.6, and by the symmetry of (t−6)(18−t)(t - 6)(18 - t) about t=12t = 12 the afternoon values match too, with P(6)=P(18)=0P(6) = P(18) = 0. Now the definition: Δt=12n\Delta t = \frac{12}{n} and ti=6+12int_i = 6 + \frac{12i}{n}, so ti−6=12int_i - 6 = \frac{12i}{n} and 18−ti=12(1−in)18 - t_i = 12\left(1 - \frac{i}{n}\right). Then P(ti)=14410⋅in(1−in)=725(in−i2n2)P(t_i) = \frac{144}{10} \cdot \frac{i}{n}\left(1 - \frac{i}{n}\right) = \frac{72}{5}\left(\frac{i}{n} - \frac{i^2}{n^2}\right) and Rn=725⋅12n∑i=1n(in−i2n2)=8645[n+12n−(n+1)(2n+1)6n2]R_n = \frac{72}{5} \cdot \frac{12}{n}\sum_{i=1}^{n}\left(\frac{i}{n} - \frac{i^2}{n^2}\right) = \frac{864}{5}\left[\frac{n+1}{2n} - \frac{(n+1)(2n+1)}{6n^2}\right]. Check at n=6n = 6: 8645(712−91216)=8645⋅35216=28\frac{864}{5}\left(\frac{7}{12} - \frac{91}{216}\right) = \frac{864}{5} \cdot \frac{35}{216} = 28, the R6R_6 of a). As n→∞n \to \infty the bracket tends to 12−13=16\frac{1}{2} - \frac{1}{3} = \frac{1}{6}, so E=86430=1445=28.8E = \frac{864}{30} = \frac{144}{5} = 28.8 kWh. Writing tit_i from 66, not from 00, is what makes the product factor so cleanly.

e) For 2020 kWh, yes: the guaranteed lower bound of b), 20.820.8 kWh, uses only the readings and the statement that the output rises then falls, and it already exceeds 2020. For 3030 kWh, no: 3030 lies inside the bracket [20.8,35.2][20.8, 35.2], and M3=30.4M_3 = 30.4 above it is only an estimate, not a bound; the model of d) even gives 28.8<3028.8 < 30. Against that value, L6=R6=28L_6 = R_6 = 28 is 0.80.8 kWh too low and M3=30.4M_3 = 30.4 is 1.61.6 too high. The lesson for a decision: an estimate answers how much, only a bound answers is it enough, and a bound needs a monotonicity argument, never the agreement of two sums.

Exercise 10: A final exam question: the cubic whose integral is zero

This is the shape of a long final exam question on the chapter: one function, five moves, each using a different tool. Here f(x)=x3−2xf(x) = x^3 - 2x on [0,2][0, 2]. No antiderivative may be used: everything follows from the definition, the geometry of a triangle and the properties of the integral.

  • a) Use the definition, with right endpoints, to show that ∫0ax3 dx=a44\int_0^a x^3\,dx = \frac{a^4}{4} for every a>0a > 0.
  • b) Deduce ∫02(x3−2x) dx\int_0^2 (x^3 - 2x)\,dx, evaluating ∫022x dx\int_0^2 2x\,dx as the area of a triangle.
  • c) The function ff is not identically zero on [0,2][0, 2]. Explain how its integral can vanish, by studying the sign of ff.
  • d) Find the area of the region between the graph of ff and the xx-axis, for 0≤x≤20 \le x \le 2.
  • e) Show that lim⁡n→∞∑i=1n(16i3n4−8in2)\lim_{n \to \infty} \sum_{i=1}^{n}\left(\frac{16i^3}{n^4} - \frac{8i}{n^2}\right) is the integral of b), then compute this limit directly with the formulas of Exercise 1. What is the sign of each sum, and why is that no contradiction?
Show the solution

Answers

  • a) Rn=a44(n+1n)2→a44R_n = \frac{a^4}{4}\left(\frac{n+1}{n}\right)^2 \to \frac{a^4}{4}
  • b) 4−4=04 - 4 = 0
  • c) f<0f < 0 on (0,2)(0, \sqrt{2}), f>0f > 0 on (2,2)(\sqrt{2}, 2): equal areas cancel.
  • d) ∫02f=−1\int_0^{\sqrt{2}} f = -1, ∫22f=1\int_{\sqrt{2}}^{2} f = 1: area 22.
  • e) The sum equals 4(n+1)n2>0\frac{4(n+1)}{n^2} > 0 for every nn, and tends to 00.

a) Δx=an\Delta x = \frac{a}{n} and xi=ainx_i = \frac{ai}{n}, so Rn=∑i=1na3i3n3⋅an=a4n4∑i=1ni3=a4n4[n(n+1)2]2=a44(n+1n)2R_n = \sum_{i=1}^{n}\frac{a^3 i^3}{n^3} \cdot \frac{a}{n} = \frac{a^4}{n^4}\sum_{i=1}^{n} i^3 = \frac{a^4}{n^4}\left[\frac{n(n+1)}{2}\right]^2 = \frac{a^4}{4}\left(\frac{n+1}{n}\right)^2. Since n+1n→1\frac{n+1}{n} \to 1, Rn→a44R_n \to \frac{a^4}{4}. The letter aa is a constant for the sum, pulled out with 1n4\frac{1}{n^4}; keeping it general costs nothing and gives d) for free.

b) With a=2a = 2, ∫02x3 dx=164=4\int_0^2 x^3\,dx = \frac{16}{4} = 4. The graph of y=2xy = 2x on [0,2][0, 2] bounds a triangle of base 22 and height 44, so ∫022x dx=4\int_0^2 2x\,dx = 4. By linearity, ∫02(x3−2x) dx=4−4=0\int_0^2 (x^3 - 2x)\,dx = 4 - 4 = 0.

c) f(x)=x(x2−2)=x(x−2)(x+2)f(x) = x(x^2 - 2) = x(x - \sqrt{2})(x + \sqrt{2}). On (0,2)(0, \sqrt{2}) the factors xx and x+2x + \sqrt{2} are positive and x−2x - \sqrt{2} is negative, so f<0f < 0; on (2,2)(\sqrt{2}, 2) all three are positive and f>0f > 0. The integral subtracts the area below the axis from the area above, and the two happen to be equal, as the figure of the solution shows. An integral equal to zero never means that nothing is there: it means that what is above and what is below balance exactly.

d) Split at the crossing point 2\sqrt{2}. By a) with a=2a = \sqrt{2}, ∫02x3 dx=(2)44=44=1\int_0^{\sqrt{2}} x^3\,dx = \frac{(\sqrt{2})^4}{4} = \frac{4}{4} = 1, and ∫022x dx\int_0^{\sqrt{2}} 2x\,dx is a triangle of base 2\sqrt{2} and height 222\sqrt{2}, area 12⋅2⋅22=2\frac{1}{2} \cdot \sqrt{2} \cdot 2\sqrt{2} = 2. So ∫02f(x) dx=1−2=−1\int_0^{\sqrt{2}} f(x)\,dx = 1 - 2 = -1. By additivity, ∫22f(x) dx=∫02f(x) dx−∫02f(x) dx=0−(−1)=1\int_{\sqrt{2}}^{2} f(x)\,dx = \int_0^2 f(x)\,dx - \int_0^{\sqrt{2}} f(x)\,dx = 0 - (-1) = 1. The area counts both pieces positively: ∣−1∣+1=2|-1| + 1 = 2. Adding −1+1-1 + 1 and reporting an area of 00 is the error this question is built to catch.

e) For the integral of b), Δx=2n\Delta x = \frac{2}{n} and xi=2inx_i = \frac{2i}{n}, so f(xi) Δx=(8i3n3−4in)2n=16i3n4−8in2f(x_i)\,\Delta x = \left(\frac{8i^3}{n^3} - \frac{4i}{n}\right)\frac{2}{n} = \frac{16i^3}{n^4} - \frac{8i}{n^2}: the given sum is exactly RnR_n, and its limit is 00 by b). Directly: 16n4⋅n2(n+1)24−8n2⋅n(n+1)2=4(n+1)2n2−4(n+1)n=4(n+1)n2\frac{16}{n^4} \cdot \frac{n^2(n+1)^2}{4} - \frac{8}{n^2} \cdot \frac{n(n+1)}{2} = \frac{4(n+1)^2}{n^2} - \frac{4(n+1)}{n} = \frac{4(n+1)}{n^2}, which tends to 00. Check at n=1n = 1: 16−8=8=4⋅2116 - 8 = 8 = \frac{4 \cdot 2}{1}. Every RnR_n is POSITIVE, and the limit is 00: no contradiction, since a limit of positive numbers may be 00, as 1n→0\frac{1}{n} \to 0 shows. Each RnR_n misses the integral by exactly 4(n+1)n2\frac{4(n+1)}{n^2}, an error that shrinks roughly like 4n\frac{4}{n}: the sign of an approximation says nothing about the sign of its limit.

-11234-2-112345area 1, belowarea 1, above

See also

Struggling with MATH 141?

I tutor first-year calculus at McGill and Concordia, in English or in French, in Montreal or online. Get in touch for a first session.

Site by Studio Squalli