MathLabs
TheoremProved

Volume of a solid of revolution (disk method)

Statement

Let ff be continuous and non-negative on [a,b][a,b]. Rotating the region under y=f(x)y=f(x) about the xx-axis produces a solid whose volume is V=π∫ab[f(x)]2 dxV=\pi\int_a^b [f(x)]^2\,dx.

Why is it true?

Slicing the solid perpendicular to the xx-axis at position xx produces a circular disk of radius f(x)f(x) and area π[f(x)]2\pi[f(x)]^2; stacking these disks and integrating the cross-sectional area over [a,b][a,b] gives the total volume, exactly the same slicing argument used for area but with the area of a disk in place of a strip's height.

Proof sketch

Partition [a,b][a,b] into nn subintervals of width Δx=(b−a)/n\Delta x=(b-a)/n with sample points xi∗x_i^*. The solid restricted to [xi−1,xi][x_{i-1},x_i] is approximately a cylindrical disk of radius f(xi∗)f(x_i^*) and thickness Δx\Delta x, so its volume is approximately π[f(xi∗)]2 Δx\pi[f(x_i^*)]^2\,\Delta x.

Summing these disk volumes over all nn subintervals gives the Riemann sum ∑i=1nπ[f(xi∗)]2 Δx\sum_{i=1}^n \pi[f(x_i^*)]^2\,\Delta x, which approximates the true volume VV.

As n→∞n\to\infty, continuity of ff on [a,b][a,b] makes the approximation error vanish, and since x↦π[f(x)]2x\mapsto \pi[f(x)]^2 is continuous, the Riemann sum converges by definition to π∫ab[f(x)]2 dx\pi\int_a^b[f(x)]^2\,dx. Hence V=π∫ab[f(x)]2 dxV=\pi\int_a^b[f(x)]^2\,dx.

As a consistency check, take f(x)=rhxf(x)=\dfrac{r}{h}x on [0,h][0,h], whose rotation about the xx-axis is exactly a cone of base radius rr and height hh: V=π∫0h(rhx)2dx=πr2h2⋅h33=13πr2hV=\pi\int_0^h \left(\dfrac{r}{h}x\right)^2 dx = \pi\dfrac{r^2}{h^2}\cdot\dfrac{h^3}{3} = \dfrac{1}{3}\pi r^2 h, exactly the classical cone volume formula.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Michael Spivak (2008). Calculus
  2. James Stewart (2015). Calculus: Early Transcendentals