8.4 Surfaces and Solids of Revolution

Long before calculus was invented the ancient Greeks (e.g. Archimedes) discovered the formulas for the volume and surface area of familiar three-dimensional objects such as the sphere.[1] Volumes and surface areas of arbitrary solids and surfaces can be found using multivariable calculus. However, single-variable calculus can be used in the special case of the objects possessing symmetry about an axis, via methods that involve revolving a curve or region in the \(xy\)-plane around an axis.

For example, revolve a curve \(y=f(x) \ge 0\) around the \(x\)-axis, for \(a \le x \le b\). This produces a surface of revolution in three dimensions, as in Figure 8.4.1(a).

tikzpicture[>=latex,every node/.style=font=] [top color=insideo,bottom color=insideo,middle color=insidei] (1,0.6) arc (90:270:0.2 and 0.6) -- (1,-0.6) parabola (3,-1.2) arc (270:90:0.3 and 1.2) parabola[bend at end] (1,0.6); (1,-0.6) parabola (3,-1.2); [->,black!60,line width=1pt] (0,-1.2) -- (0,1.5) node[above] y; [->,black!60,line width=1pt,anchor=base] (0,0) -- (4,0) node[right] x node[black,shift=(0,-0.4)] at (1,0) a node[black,shift=(0,-0.4)] at (3,0) b; (1,0.6) arc (90:270:0.2 and 0.6); [dashed] (1,0.6) arc (90:-90:0.2 and 0.6); (3,1.2) arc (90:450:0.3 and 1.2); [linecolor,line width=1.5pt] (1,0.6) parabola (3,1.2); [black!60] (1,0.1) -- (1,-0.1); [black!60] (3,0.1) -- (3,-0.1); (1,0.6) circle (2.5pt); (3,1.2) circle (2.5pt); [left] at (2.3,1.2) y=f(x); (-0.75,0) -- (4.75,0); [->] (0.5,0.2) arc (20:340:0.1 and 0.4); tikzpicture

(a)  Revolve \(y=f(x)\) around \(x\)-axis

tikzpicture[>=latex,every node/.style=font=] [name path=ctop] (1,0.6) parabola (3,1.2); [name path=cbot] (1,-0.6) parabola (3,-1.2); [name path=xdx] (2,-1.1) rectangle (2.2,1.1); [name intersections=of=ctop and xdx]; (A) at (intersection-1); (B) at (intersection-2); [name intersections=of=cbot and xdx]; (C) at (intersection-1); (D) at (intersection-2); [top color=insideo,bottom color=insideo,middle color=insidei] (A) -- (B) arc (90:270:0.3 and 0.815) -- (D) -- (C) arc (270:90:0.3 and 0.75); [dashed] (D) arc(-90:90:0.24 and 0.815); [dashed] (C) arc(-90:90:0.24 and 0.75); (1,-0.6) parabola (3,-1.2); [->,black!60,line width=1pt] (0,-1.2) -- (0,1.5) node[above] y; [->,black!60,line width=1pt,anchor=base] (0,0) -- (4,0) node[right] x node[black,shift=(0,-0.4)] at (1,0) a node[black,shift=(0,-0.4)] at (2.05,0) x node[black,shift=(0,-0.4)] at (3,0) b; (1,0.6) arc (90:270:0.2 and 0.6); [dashed] (1,0.6) arc (90:-90:0.2 and 0.6); (3,1.2) arc (90:450:0.3 and 1.2); [linecolor,line width=1.5pt] (1,0.6) parabola (3,1.2); [black!60] (1,0.1) -- (1,-0.1); [black!60] (3,0.1) -- (3,-0.1); [black!60] (2.05,0.1) -- (2.05,-0.1); (1,0.6) circle (2.5pt); (3,1.2) circle (2.5pt); [left] at (2.3,1.2) y=f(x); tikzpicture

(b)  \(d\!S\) over \(\ival{x}{x+\dx}\)

tikzpicture[>=latex,every node/.style=font=] [->|] (0.7,0) -- (0.7,0.9) node[fill=white,midway] f(x); [->|] (1.8,0) -- (1.8,1.1) node[fill=white,midway,xshift=0.4cm] f(x+ ); [->,black!60,line width=1pt] (0,-1.2) -- (0,1.5) node[above] y; [->,black!60,line width=1pt,anchor=base] (0,0) -- (3,0) node[right] x; (1.05,0.9) -- (1.05,-0.9) -- (1.5,-1.1) -- (1.5,1.1); [linecolor,line width=1.5pt] (1.05,0.9) -- (1.5,1.1) node[black,sloped,midway,above] ; at (1.275,-0.4) ; [->] (0.8,-0.4) -- (1.03,-0.4); [->] (1.75,-0.4) -- (1.52,-0.4); (-0.4,0) -- (3.3,0); tikzpicture

(c)  Side view of frustrum
Figure 8.4.1 Surface of revolution over \(\ival{a}{b}\) with lateral surface area \(S\)

tikzpicture[>=latex,every node/.style=font=,scale=1.5] [->,dashed] (0.5,0) -- (1.5,0) node[midway,fill=white] r_2; [->,dashed] (0.5,1) -- (1.3,1) node[midway,fill=white] r_1; (-0.3,1) -- (-0.5,0) arc (180:360:1 and 0.25) -- (1.3,1) node[midway,right] l; [dashed] (1.5,0) arc (0:180:1 and 0.3); (0.5,1) ellipse (0.8 and 0.2); tikzpicture

Figure 8.4.2

To find the total lateral surface area \(S\), pick \(x\) in \(\lival{a}{b}\) then find the infinitesimal surface area \(d\!S\) swept out over the infinitesimal interval \(\ival{x}{x+\dx}\), as in Figure 8.4.1(b). By the Microstraightness Property, the curve \(y=f(x)\) is a straight line segment of length \(\ds\) over that interval, so that the infinitesimal surface is a frustrum—a right circular cone with the vertex chopped off by a plane parallel to the base circle. From geometry[2] you might recall the formula for the lateral surface area of the frustrum in Figure 8.4.2: \(\pi\,(r_1+r_2)\,l\). Use that formula with \(r_1=f(x)\), \(r_2=f(x+\dx)=f(x)+\dy\), and \(l=\ds=\sqrt{1 + (f'(x))^2}\,\dx\) (by formula (8.4) in Section 8.3) as in Figure 8.4.1(c), so that \(d\!S\) is

\begin{align*} d\!S ~&=~ \pi\,(f(x) + (f(x)+\dy))\,\sqrt{1 + (f'(x))^2}\,\dx\\ &=~ 2\,\pi\,f(x)\,\sqrt{1 + (f'(x))^2}\,\dx ~+~ \pi\,\sqrt{1 + (f'(x))^2}\,\dy\,\dx\\ &=~ 2\,\pi\,f(x)\,\sqrt{1 + (f'(x))^2}\,\dx ~+~ 0 \end{align*}

since \(\dy\,\dx = f'(x)\,(\dx)^2 = 0\). The surface area \(S\) is then the sum of all the areas \(d\!S\):

Theorem 8.9

The surface area \(S\) of the surface of revolution obtained by revolving the curve \(y=f(x) \ge 0\) around the \(x\)-axis for \(a\le x\le b\) is:

\begin{equation} S ~=~ \int_a^b d\!S ~=~ \int_a^b 2\,\pi\,f(x)\,\sqrt{1 + (f'(x))^2}~\dx \tag{8.12}\end{equation}

For a general curve \(y=f(x)\), possibly negative in \(\ival{a}{b}\), the surface area \(S\) is:

\begin{equation} S ~=~ \int_a^b d\!S ~=~ \int_a^b 2\,\pi\,\abs{y}~\ds ~=~ \int_a^b 2\,\pi\,\Abs{f(x)}\,\sqrt{1 + (f'(x))^2}~\dx \tag{8.13}\end{equation}

[r]tikzpicture[>=latex,every node/.style=font=] [->,black!60,line width=1pt] (0,-1.2) -- (0,1.5) node[above] y; [->,black!60,line width=1pt,anchor=base] (0,0) -- (3.5,0) node[right] x node[black,shift=(0,-0.4)] at (1,0) a node[black,shift=(0,-0.4)] at (3,0) b; [linecolor2,line width=1.5pt] (1,0.6) parabola (3,1.2); [linecolor,line width=1.5pt] (1,-0.6) parabola (3,-1.2); [black!60] (1,0.1) -- (1,-0.1); [black!60] (3,0.1) -- (3,-0.1); (1,0.6) circle (2.5pt); (3,1.2) circle (2.5pt); (1,-0.6) circle (2.5pt); (3,-1.2) circle (2.5pt); [left] at (2.3,1.1) y= f(x); [left] at (2.3,-1.1) y=f(x); tikzpicture Note that formula (8.13) holds by symmetry and formula (8.12). A curve \(y=f(x) <0\) and the curve \(y=\Abs{f(x)}=-f(x)\) are symmetric with respect to the \(x\)-axis, as in the figure on the right. Thus, both curves sweep out the same surface of revolution when revolved around the \(x\)-axis. This means formula (8.13) also holds if \(y=f(x)\) changes sign in \(\ival{a}{b}\): similar to the area between two curves, you would split the integral over different subintervals depending on the sign.

Example 8.19

Show that the surface area of a sphere of radius \(r\) is \(4\pi r^2\). [r]tikzpicture[>=latex,every node/.style=font=] [->,black!60,line width=1pt] (0,-1.3) -- (0,1.5) node[above] y; [->,black!60,line width=1pt,anchor=base] (-1.5,0) -- (1.7,0) node[right] x node[black,shift=(0,-0.3)] at (-1.4,0) -r node[black,shift=(0,-0.3)] at (1.3,0) r; [opacity=0.4,ball color=fillcolor] (0,0) circle (1.2); [linecolor,line width=1.5pt] (1.2,0) arc (0:180:1.2); (-1.2,0) circle (2.5pt); (1.2,0) circle (2.5pt); [right] at (1,1) y= r^2-x^2; tikzpicture

Solution: Use the circle \(x^2+y^2=r^2\). The upper half of that circle is the curve \(y=f(x)=\sqrt{r^2-x^2}\) over the interval \(\ival{-r}{r}\), as in the figure on the right. Revolving that curve around the \(x\)-axis produces a sphere of radius \(r\), whose surface area \(S\) is:

\begin{align*} S ~&=~ \int_{-r}^r 2\,\pi\,f(x)\,\sqrt{1 + (f'(x))^2}~\dx\\ &=~ \int_{-r}^r 2\,\pi\,\sqrt{r^2-x^2}\,\sqrt{1 + \left(\frac{-x}{\sqrt{r^2-x^2}}\right)^2}~\dx\\ &=~ \int_{-r}^r 2\,\pi\,\cancel{\sqrt{r^2-x^2}}\,\sqrt{\frac{r^2}{\cancel{r^2-x^2}}}~\dx\\ &=~ 2\,\pi\,rx~\Biggr|_{-r}^r ~=~ 4\,\pi r^2 \quad\checkmark \end{align*}

A similar derivation using a frustrum yields the surface area \(S\) of the surface of revolution obtained by revolving a curve \(y=f(x)\) around the \(y\)-axis, for \(0\le a\le x\le b\):

\begin{equation} S ~=~ \int_a^b d\!S ~=~ \int_a^b 2\,\pi\,\abs{x}~\ds ~=~ \int_a^b 2\,\pi\,x\,\sqrt{1 + (f'(x))^2}~\dx \tag{8.14}\end{equation}

Now suppose you revolve the region between a curve \(y=f(x)\ge 0\) and the \(x\)-axis around the \(x\)-axis, for \(a\le x\le b\) (see Figure 8.4.3(a)). This produces a solid of revolution in three dimensions, as in Figure 8.4.3(b). Notice that this solid consists of the surface of revolution as before along with its interior.

tikzpicture[>=latex,every node/.style=font=] [fill=fillcolor] (1,0) -- (1,0.6) parabola (3,1.2) -- (3,0) -- cycle; (1,0) -- (1,0.6); (3,0) -- (3,1.2); [->,black!60,line width=1pt] (0,-1.2) -- (0,1.5) node[above] y; [->,black!60,line width=1pt,anchor=base] (0,0) -- (4,0) node[right] x node[black,shift=(0,-0.4)] at (1,0) a node[black,shift=(0,-0.4)] at (3,0) b; [linecolor,line width=1.5pt] (1,0.6) parabola (3,1.2); [black!60] (1,0) -- (1,-0.1); [black!60] (3,0) -- (3,-0.1); (1,0.6) circle (2.5pt); (3,1.2) circle (2.5pt); [left] at (2.3,1.2) y=f(x); (-0.75,0) -- (4.75,0); [->] (0.5,0.2) arc (20:340:0.1 and 0.4); tikzpicture

(a)  Revolve region around \(x\)-axis

tikzpicture[>=latex,every node/.style=font=] [name path=ctop] (1,0.6) parabola (3,1.2); [name path=cbot] (1,-0.6) parabola (3,-1.2); [name path=xdx] (2,-1.1) rectangle (2.2,1.1); [name intersections=of=ctop and xdx]; (A) at (intersection-1); (B) at (intersection-2); [name intersections=of=cbot and xdx]; (C) at (intersection-1); (D) at (intersection-2); [top color=insideo,bottom color=insideo,middle color=insidei] (A) -- (B) arc (90:270:0.3 and 0.815) -- (D) -- (C) arc (270:90:0.3 and 0.75); [dashed] (D) arc(-90:90:0.24 and 0.815); [dashed] (C) arc(-90:90:0.24 and 0.75); [top color=insideo,bottom color=insideo,middle color=insidei] (1,0.6) arc (90:270:0.2 and 0.6) -- (1,-0.6) parabola (3,-1.2) arc (270:90:0.3 and 1.2) parabola[bend at end] (1,0.6); [black!30] (B) arc(90:270:0.3 and 0.815) -- (D) arc(270:450:0.24 and 0.815); [black!20] (3,1.2) arc (90:450:0.3 and 1.2); (1,-0.6) parabola (3,-1.2); [->,black!60,line width=1pt] (0,-1.2) -- (0,1.5) node[above] y; [->,black!60,line width=1pt,anchor=base] (0,0) -- (4,0) node[right] x node[black,shift=(0,-0.4)] at (1,0) a node[black,shift=(0,-0.4)] at (2.05,0) x node[black,shift=(0,-0.4)] at (3,0) b; (A) -- (B) arc (90:270:0.3 and 0.815) -- (D) -- (C) arc (270:90:0.3 and 0.75); [dashed] (D) arc(-90:90:0.24 and 0.815); [dashed] (C) arc(-90:90:0.24 and 0.75); (1,0.6) arc (90:270:0.2 and 0.6); [dashed] (1,0.6) arc (90:-90:0.2 and 0.6); (3,1.2) arc (90:450:0.3 and 1.2); [linecolor,line width=1.5pt] (1,0.6) parabola (3,1.2); [black!60] (1,0.1) -- (1,-0.1); [black!60] (3,0.1) -- (3,-0.1); [black!60] (2.05,0.1) -- (2.05,-0.1); (1,0.6) circle (2.5pt); (3,1.2) circle (2.5pt); [left] at (2.3,1.2) y=f(x); tikzpicture

(b)  Solid

tikzpicture[>=latex,every node/.style=font=] [->|] (0.7,0) -- (0.7,1.5) node[fill=white,midway] f(x); [->|] (2.2,0) -- (2.2,2.1) node[fill=white,pos=0.3,xshift=0.3cm] f(x+ ); [black!30] (1.05,0) -- (1.05,1.5) -- (1.5,1.5) -- (1.5,0) -- cycle; [dashed] (1.05,1.5) -- (1.5,1.5); (1.05,0) -- (1.05,1.5); (1.5,0) -- (1.5,2.1); [<->,black!60,line width=1pt] (0,2.2) node[above] y |- (3,0) node[right] x; [linecolor,line width=1.5pt] (1.05,1.5) -- (1.5,2.1) node[black,sloped,midway,above] ; at (1.275,-0.2) ; [->|] (0.8,-0.2) -- (1.05,-0.2); [->|] (1.75,-0.2) -- (1.5,-0.2); [->|] (1.8,1.2) -- (1.8,1.5); [->|] (1.8,2.4) -- (1.8,2.1); at (1.8,1.8) ; tikzpicture

(c)  Infinitesimal strip
Figure 8.4.3 Solid of revolution over \(\ival{a}{b}\) with volume area \(V\)

The goal is to find the volume \(V\) of this solid. The idea is to divide the solid into slices, like a loaf of bread. First, the infinitesimal volume \(d\!V\) of the frustrum swept out by a strip of infinitesimal width \(\dx\) at \(x\) in \(\lival{a}{b}\)—shown in Figure 8.4.3(c)—is needed. By the Microstraightness Property the curve \(y=f(x)\) is a straight line of length \(\ds\) over the interval \(\ival{x}{x+\dx}\). There is thus a right triangle at the top of the strip—unshaded in Figure 8.4.3(c)—whose area \(A\) is zero: \(A = \tfrac{1}{2} (\dy)(\dx) = \tfrac{1}{2} f'(x) (\dx)^2 = 0\).

tikzpicture[>=latex,every node/.style=font=,scale=1.5] [->] (0,0) -- (0,0.75) node[midway,fill=white] f(x); (0,0) ellipse (0.3 and 0.75); (0,-0.75) -- (0.5,-0.75) arc (-90:90:0.3 and 0.75) -- (0,0.75) node[midway,above] ; (0,0) circle (1pt); [->|] (-0.2,0.88) -- (0,0.88); [->|] (0.7,0.88) -- (0.5,0.88); (-0.6,0) -- (1,0); tikzpicture

Figure 8.4.4

That triangle thus contributes no volume when revolved around the \(x\)-axis: the volume \(d\!V\) swept out by that strip all comes from the shaded rectangle of height \(f(x)\) and width \(\dx\). That rectangle sweeps out a right circular cylinder of radius \(f(x)\) and height \(\dx\) (see Figure 8.4.4). The volume of a right circular cylinder of radius \(r\) and height \(h\) is defined as the area of the base circle times the height: \(\pi r^2h\). Hence,

\[ d\!V ~=~ \pi\,(f(x))^2\;\dx ~~. \]

The total volume \(V\) of the solid is then the sum of all those infinitesimal volumes \(d\!V\):

Theorem 8.10

The volume \(V\) of the solid of revolution obtained by revolving the region between the curve \(y=f(x)\) and the \(x\)-axis around the \(x\)-axis for \(a\le x\le b\) is:

\begin{equation} V ~=~ \int_a^b d\!V ~=~ \int_a^b \pi\,(f(x))^2~\dx \tag{8.15}\end{equation}

This method for finding the volume is called the disc method, since the cylinder of volume \(d\!V\) resembles a disc. Think of the discs as being similar to infinitesimally thin slices of a loaf of bread. Notice that absolute values are not needed in formula (8.15) since \(f(x)\) is squared, so the formula holds even when \(f(x)\) is negative.

Example 8.20

Show that the volume of a sphere of radius \(r\) is \(\frac{4}{3} \pi r^3\). [r]tikzpicture[>=latex,every node/.style=font=] [->,black!60,line width=1pt] (0,-1.3) -- (0,1.5) node[above] y; [->,black!60,line width=1pt,anchor=base] (-1.5,0) -- (1.7,0) node[right] x node[black,shift=(0,-0.3)] at (-1.4,0) -r node[black,shift=(0,-0.3)] at (1.3,0) r; [opacity=0.4,ball color=fillcolor] (0,0) circle (1.2); [linecolor,line width=1.5pt] (1.2,0) arc (0:180:1.2); (-1.2,0) circle (2.5pt); (1.2,0) circle (2.5pt); [right] at (1,1) y= r^2-x^2; tikzpicture

Solution: Use the circle \(x^2+y^2=r^2\). Revolve the region between the upper half of the circle \(y=f(x)=\sqrt{r^2-x^2}\) and the \(x\)-axis around the \(x\)-axis over the interval \(\ival{-r}{r}\), as in the figure on the right. The solid of revolution swept out is a sphere of radius \(r\), whose volume \(V\) is:

\begin{align*} V ~&=~ \int_{-r}^r \pi\,(f(x))^2~\dx ~=~ \int_{-r}^r \pi\,(r^2-x^2)~\dx ~=~ \pi\,r^2 x ~-~ \frac{1}{3} \pi x^3~\Biggr|_{-r}^r\\ &=~ \left(\pi\,r^3 - \frac{1}{3} \pi r^3\right) ~-~ \left(-\pi\,r^3 + \frac{1}{3} \pi r^3\right) ~=~ \frac{4}{3}\,\pi r^3 \quad\checkmark \end{align*}

Instead of memorizing formula (8.15), try to remember the more generic approach of revolving an infinitesimal rectangular strip around an axis, which might not be the \(x\)-axis. The idea is to find the radius \(r\) and height \(h\)—typically \(\dx\) or \(\dy\)—of the disc swept out by that strip, so that the disc’s volume is \(d\!V = \pi r^2 h\). Then integrate \(d\!V\) over the appropriate interval to find the volume \(V\) of the entire solid.

Example 8.21

Suppose the region bounded by the curve \(y=x^2\) and the \(x\)-axis for \(0 \le x \le 1\) is revolved around the line \(x=1\). Find the volume of the resulting solid of revolution. [r]tikzpicture[>=latex,every node/.style=font=] [fillcolor] (0,0) parabola (1.5,1.5) -- (1.5,0) -- cycle; [linecolor,line width=1.5pt] (0,0) parabola (1.5,1.5); (1.5,1.5) parabola[bend at end] (3,0); [dashed] (1.5,0) -- (1.5,1.9) node[above] x=1; [<->,black!60,line width=1pt,anchor=base] (0,2) node[above] y |- (3.5,0) node[right] x node[black,shift=(0,-0.4)] at (0,0) 0 node[black,shift=(0,-0.4)] at (0.7,0) x node[black,shift=(0,-0.4)] at (1.5,0) 1; (0,0) circle (2.5pt); (1.5,1.5) circle (2.5pt); [left] at (1.4,1.3) y=x^2; (0.7,0.33) -- (1.5,0.33) node[pos=0.6,above,yshift=-0.05cm] r -- (1.5,0.2) node[midway,right] h -- (0.7,0.2) -- cycle; [black!60] (0.7,0.1) -- (0.7,-0.1); [black!60] (-0.1,0.26) -- (0.1,0.26); [left] at (-0.1,0.26) x^2=y; [black!60] (-0.1,1.5) -- (0.1,1.5); [left] at (-0.1,1.5) 1; tikzpicture

Solution: The region is shaded in the figure on the right. Since the region is revolved around a vertical axis, the disc method will use discs with height \(\dy\), not \(\dx\). At a point \(x\) in \(\ival{0}{1}\) go up to the curve \(y=x^2\) and draw a horizontal rectangular strip to the line \(x=1\), as shown in the figure. Let \(h=\dy\) and revolve that strip around the line \(x=1\), producing a disc of radius \(r-1-x\) and height \(h=\dy\). Since \(y=x^2\) implies \(x=\sqrt{y}\), the volume \(d\!V\) of that disc is

\[ d\!V ~=~ \pi\,r^2 h ~=~ \pi\,(1-x)^2~\dy ~=~ \pi\,(1-\sqrt{y})^2~\dy ~=~ \pi\,(1 - 2\sqrt{y} + y)~\dy ~. \]

The volume \(V\) of the entire solid is then the sum of those volumes \(d\!V\) along the \(y\)-axis for \(0\le y\le 1\):

\[ V ~=~ \int_0^1 d\!V ~=~ \int_0^1 \pi\,(1 - 2\sqrt{y} + y)~\dy ~=~ \pi\,\left(y - \frac{4}{3}y^{3/2} + \frac{1}{2}y^2 \right)~\Biggr|_0^1 ~=~ \pi\,\left(1 - \frac{4}{3} + \frac{1}{2}\right) ~=~ \frac{\pi}{6} \]

[r]tikzpicture[>=latex,every node/.style=font=] [fillcolor] (1,0) -- (1,0.7) parabola (2,1.2) -- (2,0) -- cycle; (1,0) -- (1,0.7); (2,0) -- (2,1.2); [->,black!60,line width=1pt] (0,0) -- (0,1.7) node[above] y; [->,black!60,line width=1pt,anchor=base] (-2.2,0) -- (2.5,0) node[right] x node[black,shift=(0,-0.4)] at (1,0) a node[black,shift=(0,-0.4)] at (-1,0) -a node[black,shift=(0,-0.4)] at (0,0) 0 node[black,shift=(0,-0.4)] at (2,0) b node[black,shift=(0,-0.4)] at (-2,0) -b; [linecolor,line width=1.5pt] (1,0.7) parabola (2,1.2); (1,0.7) circle (2.5pt); (2,1.2) circle (2.5pt); [black!60] (-1,0.1) -- (-1,-0.1); [black!60] (-2,0.1) -- (-2,-0.1); [->] (0.5,0.5) arc (0:320:0.5 and 0.2); [left] at (1.7,1.1) y=f(x); tikzpicture The shell method can be used for finding the volume of a solid with a “hole” in the middle, as in the solid of revolution produced by revolving the shaded region in the figure on the right around the \(y\)-axis. The hole in the solid between \(x=-a\) and \(x=a\) is a result of the gap between the \(y\)-axis and the region. To find the volume \(V\) of that solid, at a point \(x\) in \(\lival{a}{b}\) form an infinitesimal strip of width \(\dx\) from the \(x\)-axis up to the curve \(y=f(x)\), as in Figure 8.4.5(a).

tikzpicture[>=latex,every node/.style=font=] [fillcolor] (1,0) -- (1,0.7) parabola (2,1.2) -- (2,0) -- cycle; (1,0) -- (1,0.7); (2,0) -- (2,1.2); [pattern=north west lines] (1.5,0) -- (1.5,0.8) -- (1.7,0.95) -- (1.7,0); [<->,black!60,line width=1pt,anchor=base] (0,1.7) node[above] y |- (2.5,0) node[right] x node[black,shift=(0,-0.4)] at (0,0) 0 node[black,shift=(0,-0.4)] at (1,0) a node[black,shift=(0,-0.4)] at (1.5,0) x node[black,shift=(0,-0.4)] at (2,0) b; (1.5,0) -- (1.5,0.8); (1.7,0) -- (1.7,0.95); [linecolor,line width=1.5pt] (1,0.7) parabola (2,1.2); (1,0.7) circle (2.5pt); (2,1.2) circle (2.5pt); [left] at (1.7,1.1) y=f(x); (-1.3,0) -- (3.7,0); tikzpicture

(a)  Revolve region around \(y\)-axis

tikzpicture[>=latex,every node/.style=font=] [->|] (0.7,0) -- (0.7,1.5) node[fill=white,midway] f(x); [->|] (2.2,0) -- (2.2,2.1) node[fill=white,pos=0.3,xshift=0.2cm] f(x+ ); [black!30] (1.05,0) -- (1.05,1.5) -- (1.5,1.5) -- (1.5,0) -- cycle; [dashed] (1.05,1.5) -- (1.5,1.5); (1.05,0) -- (1.05,1.5); (1.5,0) -- (1.5,2.1); [<->,black!60,line width=1pt] (0,2.2) node[above] y |- (3,0) node[right] x; [linecolor,line width=1.5pt] (1.05,1.5) -- (1.5,2.1) node[black,sloped,midway,above] ; at (1.275,-0.2) ; [->|] (0.8,-0.2) -- (1.05,-0.2); [->|] (1.75,-0.2) -- (1.5,-0.2); [->|] (1.8,1.2) -- (1.8,1.5); [->|] (1.8,2.4) -- (1.8,2.1); at (1.8,1.8) ; tikzpicture

(b)  Infinitesimal strip

tikzpicture[>=latex,every node/.style=font=] [black!20] (2.4,1.5) arc (0:180:2.4 and 0.7) -- (-2.4,0) arc (180:360:2.4 and 0.7) -- cycle; [fill=white,draw=black] (0,1.5) ellipse (1.8 and 0.35); (0,1.5) ellipse (2.4 and 0.7); (-2.4,1.5) -- (-2.4,0) arc (180:360:2.4 and 0.7) -- (2.4,1.5) node[midway,right] f(x); [dashed] (-1.8,1.5) -- (-1.8,0) arc (180:360:1.8 and 0.35) -- (1.8,1.5); [dashed] (1.8,0) arc (0:180:1.8 and 0.35); [->] (0,1.5) -- (1.8,1.5) node[midway,fill=white] x; [->] (2.8,1.5) -- (2.4,1.5); at (2.1,1.5) ; (0,1.5) circle (1.5pt); tikzpicture

(c)  Cylindrical shell
Figure 8.4.5 Shell method

Just like the strip in the disc method, the right triangle at the top of this strip—as in Figure 8.4.5(b)—has zero area and thus does not contribute to the volume \(d\!V\) of the right circular cylindrical shell swept out by the strip, shown in Figure 8.4.5(c). The volume of that shell is just the volume of the “outer” cylinder of radius \(x+\dx\) minus the volume of the “inner” cylinder of radius \(x\), both with height \(f(x)\):

\begin{align*} d\!V ~&=~ \pi\,(x+\dx)^2\,f(x) ~-~ \pi\,x^2\,f(x)\\[-6pt] &=~ \cancel{\pi\,x^2\,f(x)} ~+~ 2\,\pi\,x\,f(x)\,\dx ~+~ \pi\,\cancelto{0}{(\dx)^2}\,f(x) ~-~ \cancel{\pi\,x^2\,f(x)}\\ &=~ 2\,\pi\,x\,f(x)\,\dx \end{align*}

The volume \(V\) of the entire solid is then the sum of those volumes \(d\!V\), using an absolute value to handle any sign for \(f(x)\):

Theorem 8.11

The volume \(V\) of the solid of revolution obtained by revolving the region between the curve \(y=f(x)\) and the \(x\)-axis around the \(y\)-axis for \(0\le a\le x\le b\) is:

\begin{equation} V ~=~ \int_a^b d\!V ~=~ \int_a^b 2\,\pi\,x\,\Abs{f(x)}~\dx \tag{8.16}\end{equation}

Example 8.22

Suppose the region bounded by the curve \(y=x^2\) and the \(x\)-axis for \(0 \le x \le 1\) is revolved around the \(y\)-axis. Find the volume of the resulting solid of revolution. [r]tikzpicture[>=latex,every node/.style=font=] [fillcolor] (0,0) parabola (1.5,1.5) -- (1.5,0) -- cycle; (1.5,0) -- (1.5,1.5); [linecolor,line width=1.5pt] (0,0) parabola (1.5,1.5); [black!60] (1,0.1) -- (1,-0.1); (1,0) -- (1,0.66) -- (1.15,0.66) -- (1.15,0); [<->,black!60,line width=1pt,anchor=base] (0,2) node[above] y |- (2.2,0) node[right] x node[black,shift=(0,-0.4)] at (0,0) 0 node[black,shift=(0,-0.4)] at (1,0) x node[black,shift=(0,-0.4)] at (1.5,0) 1; (0,0) circle (2.5pt); (1.5,1.5) circle (2.5pt); [left] at (1.4,1.3) y=x^2; [black!60] (-0.1,1.5) -- (0.1,1.5); [left] at (-0.1,1.5) 1; tikzpicture

Solution: The region is shaded in the figure on the right. The vertical strip at \(x\) in \(\lival{0}{1}\) with infinitesimal width \(\dx\) and height \(\Abs{f(x)}=f(x)\) is shown in the figure. That strip produces the shell with volume \(d\!V\) in formula (8.16), so by the shell method the volume \(V\) of the solid of revolution is:

\[ V ~=~ \int_0^1 d\!V ~=~ \int_0^1 2\,\pi\,x\,\Abs{f(x)}~\dx ~=~ \int_0^1 2\,\pi\,x\,\cdot\,x^2~\dx ~=~ \frac{\pi}{2}\,x^4~\Biggr|_0^1 ~=~ \frac{\pi}{2} \]

The volume \(d\!V\) in formula (8.16) can be generalized to \(d\!V = 2 \pi r h w\), where \(r\) is the distance from the axis of revolution to a generic vertical strip of infinitesimal width \(w\) in the region, and \(h\) is the height of the strip.

Example 8.23

Suppose the region bounded by the curves \(y=x^2\) and \(y=x\) is revolved around the \(y\)-axis. Find the volume of the resulting solid of revolution. [r]tikzpicture[>=latex,every node/.style=font=] [fillcolor] (0,0) parabola (1.5,1.5) -- cycle; [linecolor,line width=1.5pt] (0,0) parabola (1.5,1.5); [linecolor,line width=1.5pt] (0,0) -- (1.5,1.5); [black!60] (0.7,0.1) -- (0.7,-0.1); (0.7,0.33) -- (0.7,0.7) -- (0.8,0.7) -- (0.8,0.33) -- cycle; [<->,black!60,line width=1pt,anchor=base] (0,1.9) node[above] y |- (2.2,0) node[right] x node[black,shift=(0,-0.4)] at (0,0) 0 node[black,shift=(0,-0.4)] at (0.7,0) x node[black,shift=(0,-0.4)] at (1.5,0) 1; (0,0) circle (2.5pt); (1.5,1.5) circle (2.5pt); [left] at (1.2,1.3) y=x; [right] at (1.1,0.6) y=x^2; [black!60] (-0.1,1.5) -- (0.1,1.5); [left] at (-0.1,1.5) 1; tikzpicture

Solution: The region is shaded in the figure on the right, along with a vertical strip with infinitesimal width \(w=\dx\) at the distance \(r=x\) from the \(y\)-axis in the region and height \(h=x-x^2\). That strip produces the shell with volume \(d\!V=2\pi rhw=2\pi x(x-x^2)\,\dx\), so that the volume \(V\) of the solid of revolution is:

\[ V ~=~ \int_0^1 d\!V ~=~ \int_0^1 2\,\pi\,x\,(x-x^2)~\dx ~=~ \frac{2\pi}{3}\,x^3 ~-~ \frac{\pi}{2}\,x^4~\Biggr|_0^1 ~=~ \frac{\pi}{6} \]

Exercises

A

For Exercises 1-3, find the surface area of the surface of revolution produced by revolving the given curve around the \(x\)-axis for the given interval.

3

  1. \(y = \sqrt{4 - x^2}~\) for \(~1 \le x \le 2\vphantom{\frac{x^3}{6}}\)

  2. \(y = \cosh\,x~\) for \(~0 \le x \le 1\vphantom{\frac{x^3}{6}}\)

  3. \(y = \frac{x^3}{6} + \frac{1}{2x}~\) for \(~1 \le x \le 3\)

For Exercises 4-6, find the volume of the solid of revolution produced by revolving the region between the given curve and the \(x\)-axis around the \(x\)-axis for the given interval.

3

  1. \(y = x^3~\) for \(~0 \le x \le 1\)

  2. \(y = \sin\,x~\) for \(~0 \le x \le \pi\)

  3. \(y = \sqrt{x}~\) for \(~0 \le x \le 1\)

For Exercises 7-9, find the volume of the solid of revolution produced by revolving the region between the given curve and the \(x\)-axis around the \(y\)-axis for the given interval.

3

  1. \(y = \sin\,(x^2)~\) for \(~0 \le x \le \sqrt{\pi}\)

  2. \(y = \sin\,x~\) for \(~0 \le x \le \pi\)

  3. \(y = x^2 - x^3~\) for \(~0 \le x \le 1\)

  4. Revolve the region in Example 8.23 around the line \(x=1\) and find the volume of the resulting solid.

  5. Revolving the ellipse \(\frac{x^2}{a^2}+\frac{y^2}{b^2}=1\) around the \(x\)-axis produces an ellipsoid, for \(a>b>0\). Show that the surface area of the ellipsoid is \(2\,\pi\,b^2\,\left(1 + \frac{a}{eb}\,\sin^{-1} e\right)\), where \(e\) is the eccentricity of the ellipse.

  6. Show that the volume inside the ellipsoid from Exercise 11 is \(\frac{4}{3}\,\pi\,a\,b^2\).

  7. Find the surface area and volume of a right circular cone of radius \(r\) and height \(h\).

  8. Formulas (8.13), (8.15) and (8.16) can be extended to include regions over infinite intervals—the integrals in those formulas simply become improper integrals. Consider the region between the curve \(y=\frac{1}{x}\) and the \(x\)-axis over the interval \(\lival{1}{\infty}\). Revolve that region around the \(x\)-axis.

    1. Show that the surface area of the resulting surface of revolution is infinite.

    2. Show that the volume of the resulting solid of revolution is \(\pi\).

  9. For \(0<a<b\), revolving the region inside the circle \((x-b)^2+y^2=a^2\) around the \(y\)-axis produces a donut-shaped solid of revolution called a torus. Show that the volume of the torus is \(2\pi^2a^2b\).

  10. Use formula (8.14) and symmetry to show that the torus from Exercise 15 has surface area \(4\pi^2ab\).


  1. See Propositions 33 and 34 in On the Sphere and Cylinder, Book I, appearing in Heath, T.L., The Works of Archimedes, Mineola, NY: Dover Publications, Inc., 2002. This work is also available at https://archive.org
  2. See pp.136-137 in Welchons A.M. and W.R. Krickenberger, Solid Geometry, Boston: Ginn & Co., 1936.