Sketch the graph and compute the volume of the solid of revolution generated by:
The sketch of the ordinate set of on is as follows:
We then compute the volume of the solid of revolution. We reference the previous exercises here and here for the integrals of and .
note
which makes it easy to use expansion/contraction of intervals and solve the integral.
I think Apostol is guilty of a slight bit of carelessness with this exercise. In the text, he defines ordinate sets only for nonnegative functions. And in the Example in Section 2.12, he also talks about solids of revolution only for nonnegative functions. So I don’t think it makes sense to talk about the ordinate set of this particular function. Moreover, maybe it’s not totally obvious right away that the solid of revolution for that bit of _negative_ area between 3pi/4 and pi ends up giving you a _positive_ volume. It’s not hard to work out that it in fact does, but it’s worth showing.
Of course you can find the solid of revolution as shown here, or you can find the solid of revolution for the ordinate set of the absolute value of sin x + cos x, and they amount to the same thing (geometrically and algebraically). But I think it’s worth forgiving Apostol for a minor slip.
It is also possible, and arguably quicker, to use the identity , followed by the half-angle formula, and using that the integral of is 0 over any -length interval.