Why Check Symmetry in a Volume Integral?
A solid with a symmetric base may look as if its volume can be found by calculating one half and doubling. That shortcut is valid only when the cross-sectional areas on the two halves match. The shape of the base is important, but so is the rule used to construct each slice.
For a solid sliced perpendicular to the \(x\)-axis, let \(A(x)\) be the area of the cross-section at position \(x\), for \(a\le x\le b\). The cross-sectional volume formula is
Here \(A(x)\) is nonnegative, and the area function must be integrable over the interval. Symmetry can simplify this integral by pairing each slice on one side with a matching slice on the other.
The condition compares areas at equal distances from the center. It does not require the individual cross-sections to have the same orientation, only the same area.
When Doubling a Half-Integral Is Valid
Suppose the interval is centered at \(c\), and the area function is symmetric about \(c\). Split the volume integral into its left and right halves. On the left half, substitute \(t=2c-x\). This reflects each point \(x\) across \(c\), turning the left half into the right half.
In the substitution, \(x=2c-t\) and \(dx=-dt\); the reversed limits account for the positive order in the second line. The final equality follows from symmetry: \(A(2c-t)=A(t)\). This proves the doubling formula.
When \(c=0\), the result becomes \(\int_{-L}^{L}A(x)\,dx=2\int_0^L A(x)\,dx\). If the interval is not centered at zero, use its actual midpoint \(c=(a+b)/2\), provided the area function is symmetric about that midpoint.
Worked Example: Square Cross-Sections Over a Circular Base
Worked Example: Square Cross-Sections Over a Circular Base
The base is the disk \(x^2+y^2\le 4\). Cross-sections perpendicular to the \(x\)-axis are squares whose side lengths equal the chords of the disk. Find the volume.
At position \(x\), the circle gives \(y=\pm\sqrt{4-x^2}\), so the chord length, and hence the square's side length, is
The area is therefore
The interval is \([-2,2]\), centered at \(0\), and \(A(-x)=4(4-(-x)^2)=A(x)\). Thus the area is even, and doubling the right half is valid:
The volume is \(\frac{128}{3}\) cubic units. To check, integrate over the full interval: an antiderivative of \(16-4x^2\) is \(16x-\frac{4x^3}{3}\), whose derivative is \(16-4x^2\). Evaluating from \(-2\) to \(2\) gives \(\frac{128}{3}\), as before.
Symmetry About a Point Other Than Zero
The symmetry center need not be the origin. For an interval \([a,b]\), its midpoint is \(c=(a+b)/2\). If corresponding slices at \(c-t\) and \(c+t\) have equal areas, integrate either half and double it. A shift of the coordinate origin is not necessary; the symmetry condition can be written directly using \(c\).
Worked Example: Equilateral-Triangle Cross-Sections on a Shifted Disk
The base is the disk \((x-2)^2+y^2\le 9\). Cross-sections perpendicular to the \(x\)-axis are equilateral triangles whose side lengths are the chords of the disk. Find the volume.
The \(x\)-interval is \([-1,5]\), with midpoint \(c=2\). At a given \(x\), the chord length is
An equilateral triangle of side \(s\) has area \(\frac{\sqrt{3}}{4}s^2\). Therefore,
Replacing \(x\) by \(2-t\) or \(2+t\) gives the same area, since both expressions contain the square of the distance from \(2\). Thus the area function is symmetric about \(x=2\). Integrate from \(2\) to \(5\) and double:
The volume is \(36\sqrt{3}\) cubic units. For a check, the full integral becomes \(\sqrt{3}\int_{-3}^{3}(9-u^2)\,du\). An antiderivative is \(\sqrt{3}(9u-u^3/3)\); evaluating at \(3\) and \(-3\) gives \(\sqrt{3}(18-(-18))=36\sqrt{3}\).
Using Symmetry on Only Part of an Interval
A piecewise area function may be symmetric on a central subinterval but have an additional segment on only one side. In that situation, symmetry can simplify the central contribution, but it does not eliminate the unmatched part. The full integral must include that part separately.
Worked Example: A Symmetric Center and an Extra Tail
Suppose the cross-sectional area on \([-2,3]\), measured in square units, is
On \([-2,2]\), \(4-x^2\) is even. Double the integral from \(0\) to \(2\), then add the integral over the extra interval \((2,3]\):
The volume is \(11\) cubic units. To check the central calculation, an antiderivative of \(4-x^2\) is \(4x-x^3/3\); its values at \(2\) and \(0\) differ by \(16/3\), which doubles to \(32/3\). The tail antiderivative differentiates to \((x-2)^2\), and its endpoint difference is \(1/3\). Doubling the integral from \(0\) to \(3\) would not be justified: the interval is not symmetric about \(0\), and the tail has no matching part on the left.
Why a Symmetric Base Is Not Enough
Reflecting a base region across an axis matches its geometric chords. But the rule that turns each chord into a cross-section must also preserve area under that reflection. If the rule varies with position, equal chords can produce different slice areas. This is why symmetry must be checked for \(A(x)\), rather than inferred only from the base.
Worked Example: A Symmetric Base with Asymmetric Slice Areas
Take the unit disk \(x^2+y^2\le 1\), and slice perpendicular to the \(x\)-axis. Let \(L(x)=2\sqrt{1-x^2}\) be the chord length. Build rectangular cross-sections with base \(L(x)\). For \(x\le 0\), let the rectangle's height equal \(L(x)\); for \(x>0\), let its height equal \((1+x)L(x)\).
The disk is symmetric about \(x=0\), but the rectangle rule changes across \(0\). The area function is
Compute the two sides separately. On the left,
On the right, expand \((1+x)(1-x^2)=1+x-x^2-x^3\):
Therefore \(V=\frac{8}{3}+\frac{11}{3}=\frac{19}{3}\) cubic units. The integrands have the displayed antiderivatives, and their endpoint differences give the two contributions above. Doubling the right side would give \(\frac{22}{3}\), which is incorrect. Indeed, for \(0<x<1\), \(A(-x)=4(1-x^2)\), whereas \(A(x)=4(1+x)(1-x^2)\); these areas are not equal. The base is symmetric, but its cross-sectional area function is not.
A Reliable Symmetry Check
Before replacing a full integral by twice a half-integral, identify the center and verify the area condition. The following sequence keeps the geometric and algebraic checks distinct.
For an interval \([a,b]\), the candidate center is \(c=(a+b)/2\). Confirm that the interval is actually balanced around that point.
Use the chord dimensions and the specified cross-section shape to obtain \(A(x)\). Do not stop at observing that the base region is symmetric.
Check \(A(c+t)=A(c-t)\) throughout the half-interval. If the area function is piecewise, check the condition on each relevant piece.
If the areas match, use twice either half-integral. Include any unmatched interval or piece separately.
Common Pitfall: Doubling Because the Picture Looks Symmetric
A drawing can suggest symmetry without establishing equality of cross-sectional areas. A sound check is algebraic: substitute the reflected coordinate \(2c-x\) into the area function and compare it with \(A(x)\). If those expressions differ, doubling one half changes the integral and is not valid. Another common error is using the formula for an even function on an interval whose midpoint is not zero; the correct center is the midpoint of the interval and of the area symmetry.
Check Your Understanding
For each question, identify the symmetry condition that would justify the proposed simplification.
- For an area function on \([-4,4]\), what equality must hold before replacing the full integral by twice the integral from \(0\) to \(4\)?
- An interval is \([1,7]\). What is its midpoint, and which two slice positions should be compared?
- A base region is symmetric about the \(y\)-axis, but the cross-section rule changes with the sign of \(x\). Is base symmetry alone enough to double the volume from one half? Explain what must be checked.
- A piecewise area function is symmetric on \([-2,2]\) and is also defined on \((2,3]\). Which portion can be doubled, and what must be done with the extra interval?
- For an interval \([c-L,c+L]\), write the symmetry condition and the resulting half-interval volume formula.
