Here is the computation I wanted to show at the end of today’s lecture: Consider a function that is continuous and invertible on an interval
. Rotate about the
-axis the region bounded by
,
, and
. Then the values assigned to the volume of the resulting solid by applying either the disk method or the shell method coincide.
To see this, let’s call the expression obtained using the disk (or washer) method and
the expression obtained using the shell method.
Then and
.
As I mentioned in lecture, the idea to show the equality of both expressions is to, more generally, consider functions and
that compute the values given by the disk and shell methods, respectively, for the volume of the solid obtained by rotating about the
-axis the region bounded by
,
, and
. Here,
is a new variable that varies in
. Hence,
and
. We will show that
for all
.
The trick is to proceed indirectly and, rather than looking at and
, we examine their derivatives. Of course, if
for all
, then we must also have
. Let’s check that this is indeed the case:
We have . To compute
, let’s simplify
a bit before differentiating:
, so
(Notice that
does not depend on
, so we can take
out of the integral sign.)
Then so
, or
, since
.
We have found that .
This does not automatically imply that , but almost: Let
. Then
(for all
), so
is constant.
Finally, notice that . Since
is constant, it follows that
for all
. And we are done.
Remark 1. We will see a different argument later in the course, once we study integration by parts.
Remark 2. One can also check that the disk and shell methods provide the same result when we rotate about the -axis the region bounded by
,
and
. To check your understanding of the argument above, it may be useful to try to work this case out on your own; the algebra is somewhat simpler than the computations I just detailed.