10 Curves in the Plane

10.1 Arc Length and Surface Area

margin: π4π23π4π1xy (a)π4π23π4π121xy (b) Figure 10.1.1: Graphing y=sinx on [0,π] and approximating the curve with line segments. Λ

In previous sections we have used integration to answer the following questions:

  1. (a)

    Given a region, what is its area?

  2. (b)

    Given a solid, what is its volume?

In this section, we address a related question: Given a curve, what is its length? This is often referred to as arc length.

Consider the graph of y=sinx on [0,π] given in Figure 10.1.1 (a). How long is this curve? That is, if we were to use a piece of string to exactly match the shape of this curve, how long would the string be?

As we have done in the past, we start by approximating; later, we will refine our answer using limits to get an exact solution.

The length of straight-line segments is easy to compute using the Distance Formula. We can approximate the length of the given curve by approximating the curve with straight lines and measuring their lengths.

In Figure 10.1.1 (b), the curve y=sinx has been approximated with 4 line segments (the interval [0,π] has been divided into 4 equal length subintervals). It is clear that these four line segments approximate y=sinx very well on the first and last subinterval, though not so well in the middle. Regardless, the sum of the lengths of the line segments is 3.79, so we approximate the arc length of y=sinx on [0,π] to be 3.79.

In general, we can approximate the arc length of y=f(x) on [a,b] in the following manner. Let a=x0<x1<<xn-1<xn=b be a partition of [a,b] into n subintervals. Let Δxi represent the length of the ith subinterval [xi-1,xi].

margin: ΔyiΔxixi-1xiyi-1yixy Figure 10.1.2: Zooming in on the ith subinterval [xi-1,xi] of a partition of [a,b]. Λ

Figure 10.1.2 zooms in on the ith subinterval where y=f(x) is approximated by a straight line segment. The dashed lines show that we can view this line segment as the hypotenuse of a right triangle whose sides have length Δxi and Δyi. Using the Pythagorean Theorem, the length of this line segment is (Δxi)2+(Δyi)2. Summing over all subintervals gives an arc length approximation

Li=1n(Δxi)2+(Δyi)2.

As it is written, this is not a Riemann Sum. While we could conclude that taking a limit as the subinterval length goes to zero gives the exact arc length, we would not be able to compute the answer with a definite integral. We need first to do a little algebra.

In the above expression factor out a Δxi2 term:

i=1n(Δxi)2+(Δyi)2 =i=1n(Δxi)2(1+(Δyi)2(Δxi)2).

Now pull the (Δxi)2 term out of the square root:

Li=1n1+(Δyi)2(Δxi)2Δxi.

This is nearly a Riemann Sum. Consider the (Δyi)2/(Δxi)2 term. The expression Δyi/Δxi measures the “change in y/change in x,” that is, the “rise over run” of f on the ith subinterval. The Mean Value Theorem of Differentiation (Theorem 3.2.1) states that there is a ci in the ith subinterval where f(ci)=Δyi/Δxi. Thus we can rewrite our above expression as:

Li=1n1+[f(ci)]2Δxi.

This is a Riemann Sum. As long as f is continuous on [a,b], we can invoke Theorem 5.3.2 and conclude

L=ab1+[f(x)]2dx.
Key Idea 10.1.1 Arc Length

Let f be differentiable on an open interval containing [a,b], where f is also continuous on [a,b]. Then the arc length of f from x=a to x=b is

L=ab1+[f(x)]2dx.

As the integrand contains a square root, it is often difficult to use the formula in Key Idea 10.1.1 to find the length exactly. When exact answers are difficult to come by, we resort to using numerical methods of approximating definite integrals. The following examples will demonstrate this.

margin: 242468xy Figure 10.1.3: A graph of f(x)=x3/2 from Example 10.1.1. Λ
Example 10.1.1 Finding arc length

Find the arc length of f(x)=x3/2 from x=0 to x=4.

SolutionA graph of f is given in Figure 10.1.3. We begin by finding f(x)=32x1/2. Using the formula, we find the arc length L as

L =041+(32x1/2)2dx
=041+94xdx
=04(1+94x)1/2dx
=2349(1+94x)3/2|04
=827(103/2-1)units.
Example 10.1.2 Finding arc length

Find the arc length of f(x)=18x2-lnx from x=1 to x=2.

SolutionA graph of f is given in Figure 10.1.4; the portion of the curve measured in this problem is in bold. margin: 1230.51xy Figure 10.1.4: A graph of f(x)=18x2-lnx from Example 10.1.2. Λ This function was chosen specifically because the resulting integral can be evaluated exactly. We begin by finding f(x)=x/4-1/x. The arc length is

L =121+(x4-1x)2dx
=121+x216-12+1x2dx
=12x216+12+1x2dx
=12(x4+1x)2dx
=12(x4+1x)dx
=(x28+lnx)|12
=38+ln2units.

The previous examples found the arc length exactly through careful choice of the functions. In general, exact answers are much more difficult to come by and numerical approximations are necessary.

Example 10.1.3 Approximating arc length numerically

Find the length of the sine curve from x=0 to x=π.

SolutionThis is somewhat of a mathematical curiosity; Example 5.4.3 showed that the area under one “hump” of the sine curve is 2 square units; now we are measuring its arc length.

margin: x1+cos2x02π/43/2π/213π/43/2π2 Figure 10.1.5: A table of values of y=1+cos2x to evaluate a definite integral in Example 10.1.3. Λ

The setup is straightforward: f(x)=sinx and f(x)=cosx. Thus

L=0π1+cos2xdx.

This integral cannot be evaluated in terms of elementary functions so we will approximate it with Simpson’s Method with n=4. Figure 10.1.5 gives the integrand evaluated at 5 evenly spaced points in [0,π]. Simpson’s Rule then states that

0π1+cos2xdx π-043(2+43/2+2(1)+43/2+2)
3.82918.

Using a computer with n=100 the approximation is L3.8202; our approximation with n=4 is quite good. Our approximation of 3.79 from the beginning of this section isn’t as close.

Surface Area of Solids of Revolution

margin:
(fullscreen)
(a)
(fullscreen)
(b)
Figure 10.1.6: Establishing the formula for surface area. Λ

We have already seen how a curve y=f(x) on [a,b] can be revolved around an axis to form a solid. Instead of computing its volume, we now consider its surface area.

We begin as we have in the previous sections: we partition the interval [a,b] with n subintervals, where the ith subinterval is [xi,xi+1]. On each subinterval, we can approximate the curve y=f(x) with a straight line that connects f(xi) and f(xi+1) as shown in Figure 10.1.6(a). Revolving this line segment about the x-axis creates part of a cone (called a frustum of a cone) as shown in Figure 10.1.6(b). The surface area of a frustum of a cone is

A=2πravgL,

where ravg is the average of R1 and R2. The length is given by L; we use the material just covered by arc length to state that

L1+[f(ci)]2Δxi

for some ci in the ith subinterval. The radii are just the function evaluated at the endpoints of the interval: f(xi-1) and f(xi). Thus the surface area of this sample frustum of the cone is approximately

2πf(xi-1)+f(xi)21+[f(ci)]2Δxi.

Since f is a continuous function, the Intermediate Value Theorem states there is some di in [xi-1,xi] such that f(di)=f(xi-1)+f(xi)2; we can use this to rewrite the above equation as

2πf(di)1+[f(ci)]2Δxi.

Summing over all the subintervals we get the total surface area to be approximately

Surface Areai=1n2πf(di)1+[f(ci)]2Δxi,

which is a Riemann Sum. Taking the limit as the subinterval lengths go to zero gives us the exact surface area, given in the upcoming Key Idea.

If instead we revolve y=f(x) about the y-axis, the radii of the resulting frustum are xi-1 and xi; their average value is simply the midpoint of the interval. In the limit, this midpoint is just x. This gives the second part of Key Idea 10.1.2.

Key Idea 10.1.2 Surface Area of a Solid of Revolution

Let f be differentiable on an open interval containing [a,b] where f is also continuous on [a,b].

  1. (a)

    The surface area of the solid formed by revolving the graph of y=f(x), where f(x)0, about the x-axis is

    Surface Area=2πabf(x)1+[f(x)]2dx.
  2. (b)

    The surface area of the solid formed by revolving the graph of y=f(x) about the y-axis, where a,b0, is

    Surface Area=2πabx1+[f(x)]2dx.
Example 10.1.4 Finding surface area of a solid of revolution

Find the surface area of the solid formed by revolving y=sinx on [0,π] around the x-axis, as shown in Figure 10.1.7.

SolutionThe setup turns out to be easier than the resulting integral. Using Key Idea 10.1.2, we have the surface area SA is: margin:
(fullscreen)
Figure 10.1.7: Revolving y=sinx on [0,π] about the x-axis. Λ

SA =2π0πsinx1+cos2xdx
=-2π1-11+u2du    substitute u=cosx
=2π-π/4π/4sec3θdθ    substitute u=tanθ
=π(secθtanθ+ln|secθ+tanθ|)|-π/4π/4  by Example 8.2.6
=π(2+ln(2+1)-(-2+ln(2-1)))
=π(22+ln(2+12-1))
=2π(2+ln(2+1))units2    rationalize the denominator.

It is interesting to see that the surface area of a solid, whose shape is defined by a trigonometric function, involves both a square root and a natural logarithm.

margin:
(fullscreen)
(a)
(fullscreen)
(b)
Figure 10.1.8: The solids used in Example 10.1.5. Λ
Example 10.1.5 Finding surface area of a solid of revolution

Find the surface area of the solid formed by revolving the curve y=x2 on [0,1] about:
1. the x-axis 2. the y-axis.

Solution

  1. (a)

    The solid formed by revolving y=x2 around the x-axis is graphed in Figure 10.1.8(a). Like the integral in Example 10.1.4, this integral is easier to setup than to actually integrate. While it is possible to use a trigonometric substitution to evaluate this integral, it is significantly more difficult than a solution employing the hyperbolic sine:

    SA =2π01x21+(2x)2dx.
    =π32(2(8x3+x)1+4x2-sinh-1(2x))|01
    =π32(185-sinh-12)units2.
  2. (b)

    Since we are revolving around the y-axis, the “radius” of the solid is not f(x) but rather x. Thus the integral to compute the surface area is:

    SA =2π01x1+(2x)2dx
    =π415udu  substitute u=1+4x2
    =π423u3/2|15
    =π6(55-1)units2.

    The solid formed by revolving y=x2 about the y-axis is graphed in Figure 10.1.8 (b).

Our final example is a famous mathematical “paradox.”

Example 10.1.6 The surface area and volume of Gabriel’s Horn

Consider the solid formed by revolving y=1/x about the x-axis on [1,). Find the volume and surface area of this solid. (This shape, as graphed in Figure 10.1.9, is known as “Gabriel’s Horn” since it looks like a very long horn that only a supernatural person, such as an angel, could play.) margin:
(fullscreen)
Figure 10.1.9: A graph of Gabriel’s Horn. Λ

SolutionTo compute the volume it is natural to use the Disk Method. We have:

V =π11x2dx
=limbπ1b1x2dx
=limbπ(-1x)|1b
=limbπ(1-1b)
=πunits3.

Gabriel’s Horn has a finite volume of π cubic units. Since we have already seen that regions with infinite length can have a finite area, this is not too difficult to accept.

We now consider its surface area. The integral is straightforward to setup:

SA =2π11x1+1/x4dx.
Integrating this expression is not trivial. We can, however, compare it to other improper integrals. Since 1<1+1/x4 on [1,), we can state that
2π11xdx <2π11x1+1/x4dx.

By Key Idea 8.6.1, the improper integral on the left diverges. Since the integral on the right is larger, we conclude it also diverges, meaning Gabriel’s Horn has infinite surface area.

Hence the “paradox”: we can fill Gabriel’s Horn with a finite amount of paint, but since it has infinite surface area, we can never paint it.

Somehow this paradox is striking when we think about it in terms of volume and area. However, we have seen a similar paradox before, as referenced above. We know that the area under the curve y=1/x2 on [1,) is finite, yet the shape has an infinite perimeter. Strange things can occur when we deal with the infinite.

Exercises 10.1

 

Terms and Concepts

  1. 1.

    T/F: The integral formula for computing Arc Length was found by first approximating arc length with straight line segments.

  2. 2.

    T/F: The integral formula for computing Arc Length includes a square-root, meaning the integration is probably easy.

Problems

In Exercises 3–12., find the arc length of the function on the given interval.

  1. 3.

    f(x)=x on [0,1].

  2. 4.

    f(x)=8x on [-1,1].

  3. 5.

    f(x)=13x3/2-x1/2 on [0,1].

  4. 6.

    f(x)=112x3+1x on [1,4].

  5. 7.

    f(x)=2x3/2-16x on [0,9].

  6. 8.

    f(x)=coshx on [-ln2,ln2].

  7. 9.

    f(x)=12(ex+e-x) on [0,ln5].

  8. 10.

    f(x)=112x5+15x3 on [.1,1].

  9. 11.

    f(x)=ln(sinx) on [π/6,π/2].

  10. 12.

    f(x)=ln(cosx) on [0,π/4].

In Exercises 13–20., set up the integral to compute the arc length of the function on the given interval. Do not evaluate the integral.

  1. 13.

    f(x)=x2 on [0,1].

  2. 14.

    f(x)=x10 on [0,1].

  3. 15.

    f(x)=x on [0,1].

  4. 16.

    f(x)=lnx on [1,e].

  5. 17.

    f(x)=1-x2 on [-1,1]. (Note: this describes the top half of a circle with radius 1.)

  6. 18.

    f(x)=1-x2/9 on [-3,3]. (Note: this describes the top half of an ellipse with a major axis of length 6 and a minor axis of length 2.)

  7. 19.

    f(x)=1x on [1,2].

  8. 20.

    f(x)=secx on [-π/4,π/4].

In Exercises 21–28., use Simpson’s Rule, with n=4, to approximate the arc length of the function on the given interval. Note: these are the same problems as in Exercises 13.20..

  1. 21.

    f(x)=x2 on [0,1].

  2. 22.

    f(x)=x10 on [0,1].

  3. 23.

    f(x)=x on [0,1]. (Note: f(x) is not defined at x=0.)

  4. 24.

    f(x)=lnx on [1,e].

  5. 25.

    f(x)=1-x2 on [-1,1]. (Note: f(x) is not defined at the endpoints.)

  6. 26.

    f(x)=1-x2/9 on [-3,3]. (Note: f(x) is not defined at the endpoints.)

  7. 27.

    f(x)=1x on [1,2].

  8. 28.

    f(x)=secx on [-π/4,π/4].

In Exercises 29–32., find the surface area of the described solid of revolution.

  1. 29.

    The solid formed by revolving y=2x on [0,1] about the x-axis.

  2. 30.

    The solid formed by revolving y=x3 on [0,1] about the x-axis.

  3. 31.

    The solid formed by revolving y=x on [0,1] about the x-axis.

  4. 32.

    The sphere formed by revolving y=1-x2 on [-1,1] about the x-axis.

Omni CMS