08.07.2017 Views

Calculus 2nd Edition Rogawski

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

SECTION 11.3 Convergence of Series with Positive Terms 565<br />

(b) Show, by integrating over [0, 1], that<br />

π<br />

4 = 1 − 1 3 + 1 5 − 1 ∫<br />

(−1)N−1<br />

1<br />

+···+<br />

7 2N − 1 + x 2N dx<br />

(−1)N<br />

0 1 + x 2<br />

(c) Use the Comparison Theorem for integrals to prove that<br />

than L/4 on the table. It will not fall through because it will not fit<br />

through any of the removed sections.<br />

L/16 L/4 L/16<br />

∫ 1 x 2N dx<br />

0 ≤<br />

0 1 + x 2 ≤ 1<br />

2N + 1<br />

Hint: Observe that the integrand is ≤ x 2N .<br />

(d) Prove that<br />

π<br />

4 = 1 − 1 3 + 1 5 − 1 7 + 1 9 − ···<br />

Hint: Use (b) and (c) to show that the partial sums S N of satisfy<br />

∣ SN − π ∣<br />

4 ≤<br />

1<br />

2N+1 , and thereby conclude that lim S N = π<br />

N→∞<br />

4 .<br />

54. Cantor’s Disappearing Table (following Larry Knop of Hamilton<br />

College) Take a table of length L (Figure 7). At stage 1, remove the<br />

section of length L/4 centered at the midpoint. Two sections remain,<br />

each with length less than L/2. At stage 2, remove sections of length<br />

L/4 2 from each of these two sections (this stage removes L/8 of the<br />

table). Now four sections remain, each of length less than L/4. At stage<br />

3, remove the four central sections of length L/4 3 , etc.<br />

(a) Show that at the Nth stage, each remaining section has length less<br />

than L/2 N and that the total amount of table removed is<br />

( 1<br />

L<br />

4 + 1 8 + 1 16 +···+ 1 )<br />

2 N+1<br />

(b) Show that in the limit as N →∞, precisely one-half of the table<br />

remains.<br />

This result is curious, because there are no nonzero intervals of table left<br />

(at each stage, the remaining sections have a length less than L/2 N ). So<br />

the table has “disappeared.” However, we can place any object longer<br />

FIGURE 7<br />

55. The Koch snowflake (described in 1904 by Swedish mathematician<br />

Helge von Koch) is an infinitely jagged “fractal” curve obtained<br />

as a limit of polygonal curves (it is continuous but has no tangent line<br />

at any point). Begin with an equilateral triangle (stage 0) and produce<br />

stage 1 by replacing each edge with four edges of one-third the length,<br />

arranged as in Figure 8. Continue the process: At the nth stage, replace<br />

each edge with four edges of one-third the length.<br />

(a) Show that the perimeter P n of the polygon at the nth stage satisfies<br />

P n = 4 3 P n−1. Prove that lim<br />

n→∞ P n = ∞. The snowflake has infinite<br />

length.<br />

(b) Let A 0 be the area of the original equilateral triangle. Show that<br />

(3)4 n−1 new triangles are added at the nth stage, each with area A 0 /9 n<br />

(for n ≥ 1). Show that the total area of the Koch snowflake is 8 5 A 0.<br />

Stage 1 Stage 2 Stage 3<br />

FIGURE 8<br />

3<br />

2<br />

y<br />

1<br />

a 1 a 2 a 3 a N x<br />

1 2 3 N<br />

FIGURE 1 The partial sum S N is the sum of<br />

the areas of the N shaded rectangles.<br />

11.3 Convergence of Series with Positive Terms<br />

The next three sections develop techniques for determining whether an infinite series<br />

converges or diverges. This is easier than finding the sum of an infinite series, which is<br />

possible only in special cases.<br />

In this section, we consider positive series ∑ a n , where a n > 0 for all n. We can<br />

visualize the terms of a positive series as rectangles of width 1 and height a n (Figure 1).<br />

The partial sum<br />

S N = a 1 + a 2 +···+a N<br />

is equal to the area of the first N rectangles.<br />

The key feature of positive series is that their partial sums form an increasing sequence:<br />

S N

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!