Volume of Solids

⚡ Key Takeaways

Volume of solids measures the three-dimensional space enclosed by a solid object, expressed in cubic units. The key results range from simple formulas (V=lwhV = lwh for a box) to integral methods (V=∫A(x) dxV = \int A(x)\,dx for arbitrary solids). It applies anywhere quantities of space, capacity, or material matter — engineering, fluid storage, manufacturing, and physics. Foundational work spans Archimedes (3rd c. BCE) through Cavalieri (1635) to modern integral calculus.

💡 The Core Insight

Every volume formula, no matter how complex the solid, reduces to a single principle: slice the solid into thin pieces whose volume you already know, then add them up. For a solid of constant cross-section, volume is just (cross-sectional area) × (length). For a varying solid, "adding up" becomes integration. This one idea — accumulation of cross-sections — unifies the box, the cone, the sphere, and every solid of revolution.

Formal Statement

DefinitionVolume

The volume of a solid region SS in three-dimensional space is a nonnegative number V(S)V(S) measuring the space it encloses, satisfying:

  • Non-negativity: V(S)≥0V(S) \geq 0, with V(∅)=0V(\varnothing) = 0.
  • Monotonicity: if S1⊆S2S_1 \subseteq S_2 then V(S1)≤V(S2)V(S_1) \leq V(S_2).
  • Additivity: if S1S_1 and S2S_2 overlap only on a boundary (zero-volume set), then V(S1∪S2)=V(S1)+V(S2)V(S_1 \cup S_2) = V(S_1) + V(S_2).
  • Normalization: a unit cube has volume 11.

Volume is measured in cubic units (the cube of a length unit).

The fundamental building-block formulas:

1
Vbox=l w h\quad V_{\text{box}} = l \, w \, h

Derivation hint: stack a layer of unit cubes l×wl \times w wide, then pile hh such layers. Here ll is length, ww width, hh height, all in the same length unit.

2
Vprism/cylinder=A⋅h\quad V_{\text{prism/cylinder}} = A \cdot h

Derivation hint: a solid of constant cross-sectional area AA swept a height hh is hh copies of that cross-section. where AA is the area of the (uniform) cross-section and hh the height perpendicular to it.

3
Vcone/pyramid=13 A h\quad V_{\text{cone/pyramid}} = \tfrac{1}{3}\,A\,h

Derivation hint: three congruent pyramids tile a prism of the same base and height; or integrate the linearly-shrinking cross-section. with AA the base area and hh the perpendicular height to the apex.

4
Vsphere=43πr3\quad V_{\text{sphere}} = \tfrac{4}{3}\pi r^3

Derivation hint: integrate disk cross-sections of radius r2−x2\sqrt{r^2 - x^2} from −r-r to rr, or use Archimedes' sphere-cylinder comparison. with rr the radius.

TheoremCavalieri's Principle

If two solids lie between two parallel planes, and every plane parallel to these cuts both solids in cross-sections of equal area, then the two solids have equal volume. Formally, if A1(x)=A2(x)A_1(x) = A_2(x) for all xx in the relevant interval, then V1=V2V_1 = V_2.

TheoremVolume by Cross-Sections

Let a solid extend along the xx-axis from x=ax=a to x=bx=b, and let A(x)A(x) be the area of its cross-section perpendicular to the xx-axis at position xx. Then:

5
V=∫abA(x) dx\quad V = \int_a^b A(x)\,dx

Derivation hint: approximate the solid by thin slabs of volume A(xi) ΔxA(x_i)\,\Delta x; the Riemann sum becomes the integral as Δx→0\Delta x \to 0.

For a region rotated about the xx-axis to form a solid of revolution, the cross-sections are disks of radius f(x)f(x):

6
V=π∫ab[f(x)]2 dx(disk method)\quad V = \pi \int_a^b [f(x)]^2 \, dx \quad \text{(disk method)}

Derivation hint: each cross-section is a disk of area π[f(x)]2\pi[f(x)]^2; substitute into equation [5]. When the rotated region has a hole (washer):

7
V=π∫ab([R(x)]2−[r(x)]2)dx(washer method)\quad V = \pi \int_a^b \left([R(x)]^2 - [r(x)]^2\right) dx \quad \text{(washer method)}

Derivation hint: subtract the inner-disk area πr2\pi r^2 from the outer-disk area πR2\pi R^2 at each slice. Rotating a region under y=f(x)y=f(x) about the yy-axis using cylindrical shells:

8
V=2π∫abx f(x) dx(shell method)\quad V = 2\pi \int_a^b x \, f(x)\, dx \quad \text{(shell method)}

Derivation hint: unroll a thin cylindrical shell of radius xx, height f(x)f(x), thickness dxdx into a flat slab of dimensions 2πx×f(x)×dx2\pi x \times f(x) \times dx.

Why It Holds / Derivation

ProofVolume of a Cone by Integration

We derive V=13πr2hV = \tfrac{1}{3}\pi r^2 h for a right circular cone of base radius rr and height hh.

Step 1. Place the apex at the origin, axis along the xx-axis, base at x=hx=h.

Step 2. At position xx, by similar triangles the cross-sectional radius is ρ(x)=rh x\rho(x) = \dfrac{r}{h}\,x, since the radius grows linearly from 00 at the apex to rr at the base.

Step 3. The cross-section is a disk of area

A(x)=π[ρ(x)]2=πr2h2x2.A(x) = \pi[\rho(x)]^2 = \pi \frac{r^2}{h^2}x^2.

Step 4. Apply equation [5]:

V=∫0hπr2h2x2 dx=πr2h2∫0hx2 dx.V = \int_0^h \pi \frac{r^2}{h^2} x^2 \, dx = \pi\frac{r^2}{h^2}\int_0^h x^2\,dx.

Step 5. Evaluate the integral: ∫0hx2 dx=h33\displaystyle\int_0^h x^2\,dx = \frac{h^3}{3}.

Step 6. Substitute:

V=πr2h2⋅h33=13πr2h.■V = \pi\frac{r^2}{h^2}\cdot\frac{h^3}{3} = \frac{1}{3}\pi r^2 h. \qquad \blacksquare

This confirms equation [3] with base area A=πr2A = \pi r^2.

∎
ProofVolume of a Sphere by Disks

We derive equation [4], V=43πr3V = \tfrac{4}{3}\pi r^3.

Step 1. Center the sphere at the origin; it is the surface x2+y2+z2=r2x^2+y^2+z^2 = r^2.

Step 2. A plane at position xx cuts a disk of radius r2−x2\sqrt{r^2 - x^2}, so its area is

A(x)=π(r2−x2).A(x) = \pi\left(r^2 - x^2\right).

Step 3. Integrate from −r-r to rr:

V=∫−rrπ(r2−x2) dx.V = \int_{-r}^{r} \pi(r^2 - x^2)\,dx.

Step 4. Compute:

V=π[r2x−x33]−rr=π[(r3−r33)−(−r3+r33)].V = \pi\left[r^2 x - \frac{x^3}{3}\right]_{-r}^{r} = \pi\left[\left(r^3 - \frac{r^3}{3}\right) - \left(-r^3 + \frac{r^3}{3}\right)\right].

Step 5. Simplify: each bracket gives 23r3\tfrac{2}{3}r^3, and their difference is 43r3\tfrac{4}{3}r^3, so

V=43πr3.■V = \frac{4}{3}\pi r^3. \qquad \blacksquare
∎
mathematician · Archimedes of Syracuse | c. 287–212 BCE

Archimedes founded the rigorous study of volume. Using his method of exhaustion — bounding a curved solid between inscribed and circumscribed shapes of known volume — he proved that the volume of a sphere is two-thirds that of its circumscribing cylinder, and derived the cone, paraboloid, and spheroid volumes. His treatise On the Sphere and Cylinder contains these results. In a lost-then-rediscovered work, The Method, he revealed an informal "mechanical" technique of balancing slices on a lever — essentially anticipating integral calculus by nearly two millennia. He prized the sphere-cylinder theorem so much that a sphere inscribed in a cylinder was carved on his tomb.

Building Intuition

🧠 Intuition

Think of volume as counting cubes. A box that is 3 by 4 by 5 holds exactly 3×4×5=603\times4\times5 = 60 unit cubes — no calculus needed. Now imagine a loaf of bread sliced thin: each slice has nearly constant cross-section, so its volume is (slice area) × (thickness). Add all the slices back and you recover the whole loaf. That is the integral ∫A(x) dx\int A(x)\,dx. Cavalieri's principle is the punchline: it doesn't matter whether the slices are stacked straight or sheared sideways — a leaning stack of coins has the same volume as a straight one, because every coin keeps its area. So a slanted (oblique) cylinder has the same volume as an upright one of the same base and height: V=AhV = A h regardless of the lean. The factor 13\tfrac{1}{3} in cones and pyramids feels mysterious until you see that three identical pyramids fit together exactly to fill a cube — visually proving the volume is one-third of the box.

Figure
Volume of a sphere as a stack of disk cross-sections
x √(r²−x²) r x Sphere sliced into disks: V = ∫ π(r²−x²) dx

Worked Examples

ExampleVolume of a Storage Tank (cylinder + hemisphere)

Given: A vertical cylindrical tank has radius r=1.5 mr = 1.5\text{ m} and straight-side height h=4 mh = 4\text{ m}, capped on top by a hemisphere of the same radius. Find the total volume.

Step 1 — cylinder. Using equation [2] with A=πr2A = \pi r^2:

Vcyl=π(1.5)2(4)=π(2.25)(4)=9π≈28.274 m3.V_{\text{cyl}} = \pi (1.5)^2 (4) = \pi (2.25)(4) = 9\pi \approx 28.274\text{ m}^3.

Step 2 — hemisphere. Half of equation [4]:

Vhemi=12⋅43πr3=23π(1.5)3=23π(3.375)=2.25π≈7.069 m3.V_{\text{hemi}} = \tfrac{1}{2}\cdot\tfrac{4}{3}\pi r^3 = \tfrac{2}{3}\pi (1.5)^3 = \tfrac{2}{3}\pi(3.375) = 2.25\pi \approx 7.069\text{ m}^3.

Step 3 — total.

V=9π+2.25π=11.25π≈35.343 m3.V = 9\pi + 2.25\pi = 11.25\pi \approx 35.343\text{ m}^3.
V≈35.3 m3  =  35,300 L\boxed{V \approx 35.3\text{ m}^3 \;=\; 35{,}300\text{ L}}
ExampleSolid of Revolution by the Disk Method

Given: The region under y=xy = \sqrt{x} from x=0x=0 to x=4x=4 is rotated about the xx-axis. Find the volume of the resulting solid.

Step 1 — set up. The cross-sections are disks of radius f(x)=xf(x) = \sqrt{x}, so by equation [6]:

V=π∫04(x)2dx=π∫04x dx.V = \pi\int_0^4 \left(\sqrt{x}\right)^2 dx = \pi\int_0^4 x\,dx.

Step 2 — integrate.

∫04x dx=[x22]04=162=8.\int_0^4 x\,dx = \left[\frac{x^2}{2}\right]_0^4 = \frac{16}{2} = 8.

Step 3 — multiply by π\pi.

V=8π≈25.133.V = 8\pi \approx 25.133.
V=8π≈25.13 cubic units\boxed{V = 8\pi \approx 25.13\text{ cubic units}}

Common Misconceptions

⚠️ Common mistake

Volume scales as the cube of length, not linearly. If you double every linear dimension of a solid, the volume increases by a factor of 23=82^3 = 8, not 22. A sphere of radius 2r2r holds eight times as much as one of radius rr. This is why large animals need disproportionately thick legs, and why doubling a recipe's pan diameter overflows the batter. Also beware mixing surface-area and volume formulas: 4πr24\pi r^2 is the surface area of a sphere, while 43πr3\tfrac{4}{3}\pi r^3 is its volume. Check units — area is in square units, volume in cubic units.

Counterexample

"Same surface area means same volume" — false. Consider a cube of side 66: surface area 6⋅62=2166\cdot 6^2 = 216 and volume 63=2166^3 = 216. Now take a thin box 1×1×531 \times 1 \times 53: its surface area is 2(1+53+53)=2142(1 + 53 + 53) = 214 (nearly the same), yet its volume is only 5353 — less than a quarter of the cube's. For a fixed surface area, the sphere encloses the maximum possible volume; long thin or flat shapes waste it. So surface area does not determine volume.

Connections

connection

Volume sits at the crossroads of geometry and calculus. The slicing method of equation [5] is a direct application of the Definite Integral as a limit of Riemann sums, and the cone and sphere derivations rely on the Fundamental Theorem of Calculus to evaluate the integrals. Volume generalizes Area Between Curves from two dimensions to three. In the other direction, Surface Area of Revolution is its companion — same generating curve, different accumulation. The factor relationships among prism, cone, and sphere echo the Similarity and Scaling laws, where length, area, and volume scale as kk, k2k^2, and k3k^3. At a higher level, volume is the simplest example of a Multiple Integral (specifically the triple integral ∭dV\iiint dV).

Real-World Applications

🔬 Where this appears

Historical Development

⏳ History
- c. 1850 BCE — Moscow Papyrus (Egypt): contains a correct formula for the volume of a truncated square pyramid (frustum), an astonishingly early result.
- c. 360 BCE — Eudoxus of Cnidus: develops the method of exhaustion, rigorously proving the cone is one-third of its enclosing cylinder.
- c. 250 BCE — Archimedes: derives sphere, spheroid, and paraboloid volumes; proves the 2:32:3 sphere-to-cylinder ratio and pioneers the mechanical "Method."
- c. 5th c. CE — Zu Geng (China): independently states a principle equivalent to Cavalieri's to find the sphere's volume.
- 1615 — Johannes Kepler: in Nova Stereometria Doliorum computes wine-barrel volumes by treating solids as stacks of infinitely thin slices, a precursor to integration.
- 1635 — Bonaventura Cavalieri: publishes the method of indivisibles, formalizing the cross-section/slicing principle now bearing his name.
- 1668 — Gregory & Barrow; 1670s — Newton and Leibniz: the invention of integral calculus turns volume computation into systematic integration via equation [5].
- 18th–19th c.: the integral methods are generalized into the triple integral, enabling volumes of arbitrary regions in any coordinate system.
- 1902 — Henri Lebesgue: measure theory gives volume its modern rigorous foundation, defining it for vastly more general sets.

Subtleties & Limits

open-problem

The intuitive "additivity" of volume can be broken in startling ways. The Banach–Tarski paradox (1924) shows that, using the Axiom of Choice, a solid ball can be decomposed into finitely many pieces and reassembled into two balls identical to the original — seemingly doubling the volume. The resolution: the pieces are non-measurable sets so pathological that the notion of "volume" simply does not apply to them. This marks the boundary of where naive volume reasoning works. A more accessible subtlety is Hilbert's Third Problem (1900), resolved by Max Dehn the same year: unlike with areas of polygons, two polyhedra of equal volume cannot always be cut into finitely many pieces and rearranged into one another. The Dehn invariant distinguishes them. So in three dimensions, "equal volume" is genuinely deeper than "scissors-congruent" — calculus, not cut-and-paste, is essential.

See Also

Area Between Curves · Cavalieri's Principle · Solids of Revolution · Definite Integral · Surface Area of Revolution · Similarity and Scaling · Multiple Integral · Pappus's Theorems