Historical Context & Motivation
The problem of computing volumes of irregular solids has occupied mathematicians for over two millennia. Ancient Greek geometers, most notably Archimedes of Syracuse, pioneered the idea of decomposing a solid into thin slices to determine its volume — a technique he called the method of exhaustion. This insight, which predates formal calculus by nearly two thousand years, anticipated the modern strategy of slicing a solid perpendicular to an axis and integrating the resulting cross-sectional areas. The transition from Archimedean exhaustion to Riemann integration represents one of the great continuities in mathematical thought, and the method of known cross sections is its direct descendant.
The central question this lesson addresses is: given a region in the plane and a rule that assigns a square or rectangular cross section to each point along an axis, how do we compute the volume of the resulting three-dimensional solid? Unlike solids of revolution — where the cross sections are always circles — the known-cross-section method handles any geometry that can be expressed as an integrable area function A(x). Squares and rectangles are the most natural starting point because their area formulas are algebraically simple, making them ideal for developing the technique before generalizing to semicircles, triangles, or other shapes.
Core Principles & Definitions
The method of known cross sections rests on a surprisingly compact set of ideas. At its heart, the strategy mirrors what you already know from computing areas: approximate, sum, and take a limit. The only new ingredient is that each infinitesimal strip of width dx now carries an area A(x) instead of a height f(x), so the Riemann sum accumulates volume elements A(x) dx rather than area elements f(x) dx.
Base Region
Cross-Sectional Shape
Side Length Function s(x)
Area Function A(x)
Volume by Integration
Visual Explanation
The following diagram illustrates the construction of a solid whose base is the region between y = √x and y = 0 on [0, 4], with square cross sections perpendicular to the x-axis. At each position x, the side of the square equals s(x) = √x − 0 = √x, so the cross-sectional area is A(x) = (√x)² = x. Several representative slices are shown to convey how the solid grows in cross-sectional size as x increases.
Notice that each square slice is determined entirely by the value of s(x) at that position. The cross-sectional area function A(x) = [s(x)]² translates the one-dimensional information encoded in the base region into the two-dimensional area of each slice. The integral then aggregates these areas across the full interval, producing a three-dimensional volume. This is Cavalieri's principle in action: the solid is completely characterized by its family of parallel cross sections.
Mathematical Framework
We now formalize the procedure. Suppose a solid has a base region R in the xy-plane between the curves y = f(x) (upper) and y = g(x) (lower) over the interval [a, b]. At each x, a cross section perpendicular to the x-axis is erected with a prescribed shape. The side length of each cross section is the vertical distance between the curves: s(x) = f(x) − g(x).
Square Cross Sections
When every cross section is a square with side length s(x), the area function is simply the square of the side length.
Rectangular Cross Sections
For rectangular cross sections, the problem statement must specify both dimensions. Typically, one dimension equals s(x) and the other is given as a fixed proportion or a separate function h(x). Common variations include rectangles whose height is twice their base, rectangles with a constant height, or rectangles whose height is some function of x.
Detailed Breakdown: Squares vs. Rectangles
The diagram below contrasts two solids built on the same base region — the area between y = 1 − x² and y = 0 on [−1, 1] — but with different cross-sectional shapes. On the left, the cross sections are squares; on the right, they are rectangles with height equal to three times the base. Both solids share the same footprint, but the rectangular version is taller and has a correspondingly larger volume.
| Cross Section Type | Area Formula A(x) | Volume Integral |
|---|---|---|
| Square | [f(x) − g(x)]² | ∫ₐᵇ [f(x) − g(x)]² dx |
| Rectangle (h = k × s) | k × [f(x) − g(x)]² | k ∫ₐᵇ [f(x) − g(x)]² dx |
| Rectangle (h = h(x)) | [f(x) − g(x)] × h(x) | ∫ₐᵇ [f(x) − g(x)] × h(x) dx |
Worked Example: Square Cross Sections
Find the volume of the solid whose base is the region enclosed by y = sin(x) and y = 0 on [0, π], with cross sections perpendicular to the x-axis that are squares.
Worked Example: Rectangular Cross Sections
Now modify the problem: the base is the same (y = sin(x) on [0, π]), but the cross sections are rectangles whose height is twice the base.
Strengths, Limitations & Comparisons
The cross-section method is one of several techniques for computing volumes using integration. Understanding its relative strengths and limitations helps you choose the right tool for each problem.
| Criterion | Known Cross Sections | Disk/Washer Method |
|---|---|---|
| Cross-section shape | Any prescribed shape: square, rectangle, triangle, semicircle, etc. | Always circles (disks) or annuli (washers) |
| Axis of revolution required? | No — the solid need not be a surface of revolution | Yes — the solid must be generated by rotating a region about an axis |
| Typical difficulty | Algebraic: squaring or multiplying the side-length function | Algebraic: squaring radius functions, sometimes subtracting inner from outer |
| When to choose | When the problem specifies a non-circular cross-sectional geometry | When the solid is generated by revolving a region around an axis |
| Common pitfall | Confusing the base dimension with the cross-sectional area — remember to square for squares, multiply for rectangles | Forgetting to subtract the inner radius in the washer variant |
Connection to Advanced Theory
The cross-section slicing strategy extends naturally to several more advanced settings in calculus and beyond. At the most immediate level, you can generalize from square and rectangular cross sections to semicircles, equilateral triangles, and isosceles right triangles — the integral structure remains identical, with only the area formula changing. Beyond single-variable calculus, the slicing idea reappears in multivariable calculus as iterated integration and Fubini's theorem, where a triple integral is computed by integrating an area function over a single variable.
| Concept in This Lesson | Advanced Extension |
|---|---|
| V = ∫ A(x) dx with square or rectangular A(x) | V = ∫ A(x) dx with semicircular, triangular, or arbitrary A(x) |
| Slicing a 3D solid into 2D cross sections | Fubini's theorem: reducing a triple integral to iterated single integrals |
| Side length s(x) from two bounding curves | Cross-sectional area from polar boundaries: A(θ) for solids of revolution in polar coordinates |
| Riemann sum approximation → definite integral | Monte Carlo integration for volumes of solids with no closed-form A(x) |
In engineering and physics, the slicing approach is fundamental to computing moments of inertia, centers of mass, and fluid pressures on submerged plates. In each case, the strategy is the same: identify the relevant quantity at each cross section (area, mass density × area, pressure × width), write it as a function of the integration variable, and integrate. Mastering the square and rectangular cases gives you the template for all of these applications.
Practice Problems
Lesson Summary
The method of known cross sections computes the volume of a solid by integrating its cross-sectional area function: V = ∫ₐᵇ A(x) dx. For a solid whose base lies between y = f(x) and y = g(x), the side length is s(x) = f(x) − g(x). When cross sections are squares, the area is A(x) = [s(x)]²; when they are rectangles with height h(x), the area is A(x) = s(x) × h(x).
The procedure always follows the same sequence: (1) identify the base region and limits of integration, (2) determine the side length function from the bounding curves, (3) write the area function A(x) according to the specified cross-sectional shape, and (4) evaluate the definite integral. This framework generalizes readily to semicircular, triangular, and other cross-sectional geometries, and it is the conceptual ancestor of iterated integration in multivariable calculus.