Why Symmetry Locates a Center of Mass
A three-dimensional center of mass is a weighted average of all the positions in a solid. When the solid and its density have a symmetry, mass on one side of a symmetry plane or axis is balanced by corresponding mass on the other side. This often determines one or more coordinates of the center without evaluating every moment integral.
The symmetry must belong to the mass distribution, not merely to the shape of the solid. A geometrically symmetric solid with an asymmetric density need not have its center of mass in the apparent symmetry plane. We will state the required conditions precisely and prove the two central conclusions.
Center of Mass and Its First Moments
Let \(E\) be a solid region in three-dimensional space with a nonnegative, integrable density \(\rho(x,y,z)\). Its mass is the volume integral of density. To define its center of mass, the mass must be finite and positive, and its first moments must also be finite. A sufficient condition for the latter is that \(\iiint_E \lVert(x,y,z)\rVert\rho(x,y,z)\,dV\) be finite. In particular, a bounded solid with finite mass has finite first moments.
Here \(I_x,I_y,I_z\) are the coordinate first moments: each weights mass by one coordinate. If symmetry makes, for example, \(I_x=0\), then the positive mass \(M\) ensures \(\bar{x}=0\).
Reflection Symmetry Forces the Center into a Plane
A reflection across a plane pairs each point on one side with a point the same perpendicular distance on the other side. For the mass distribution to have this symmetry, reflecting the solid must leave it unchanged, and the density at a point must equal the density at its reflected point.
For the coordinate plane \(x=0\), reflection sends \((x,y,z)\) to \((-x,y,z)\). Invariance means that \((x,y,z)\) belongs to \(E\) exactly when its reflection does, and that the density is unchanged by this reflection. The \(x\)-moment must therefore cancel in pairs. The following proof gives the general reason, including for a plane not parallel to a coordinate plane.
Why the Reflection Result Holds
Write a point’s position vector as \(\mathbf{r}=(x,y,z)\), and let \(S\) denote reflection across the plane. Reflection preserves volume and is its own inverse. Let \(\mathbf{c}\) be the center-of-mass vector. By the definition of the center and linearity of integration, \(\mathbf{c}=M^{-1}\iiint_E\mathbf{r}\rho\,dV\). Applying \(S\) to this vector gives \(S\mathbf{c}=M^{-1}\iiint_E(S\mathbf{r})\rho(\mathbf{r})\,dV\). Make the change of variables \(\mathbf{u}=S\mathbf{r}\). Because \(S\) preserves volume and the region and density are invariant, this last integral equals \(M^{-1}\iiint_E\mathbf{u}\rho(\mathbf{u})\,dV=\mathbf{c}\). Thus \(S\mathbf{c}=\mathbf{c}\). The points fixed by reflection are exactly the points in the reflecting plane, so the center lies there.
Worked Example: Reflection Across the Plane \(x=0\)
Consider \(E=[-2,2]\times[0,1]\times[0,3]\) with density \(\rho(x,y,z)=1+z\). The region and density are unchanged when \(x\) is replaced by \(-x\), so reflection symmetry predicts \(\bar{x}=0\). Compute the mass and the other coordinates to locate the full center.
The mass is
The \(x\)-moment vanishes because its integrand is odd in \(x\) over symmetric limits:
For the \(y\)-moment and \(z\)-moment, respectively,
Thus the center is \((0,\frac12,\frac95)\). The moment check gives \(30(0)=0=I_x\), \(30(\frac12)=15=I_y\), and \(30(\frac95)=54=I_z\).
Rotational Symmetry Forces the Center onto an Axis
Now suppose the mass distribution is unchanged by every rotation about a fixed line. For example, a solid of revolution with density depending only on distance from the axis and position along it has this property. The conclusion is stronger than saying that the center lies in some plane: it must lie on the rotation axis itself.
To see why, apply any such rotation to the center-of-mass vector. A rotation preserves volume, and invariance of the region and density means that changing variables by the rotation leaves the mass-weighted average unchanged. Therefore, every rotation about the axis must leave the center fixed. A point off the axis does not have this property: a half-turn about the axis sends its perpendicular displacement from the axis to its negative. Only points on the axis are fixed by every rotation.
In particular, if the axis is the \(z\)-axis, rotational symmetry implies \(\bar{x}=0\) and \(\bar{y}=0\); it does not determine \(\bar{z}\). The center may be anywhere along that axis, depending on how mass is distributed in the axial direction.
Worked Example: A Density That Varies Along the Axis
Take the solid cylinder \(0\le r\le2\), \(0\le\theta\le2\pi\), \(0\le z\le3\), where \(x=r\cos\theta\), \(y=r\sin\theta\), and the density is \(\rho=1+z\). Both the cylinder and density are invariant under rotations about the \(z\)-axis. In cylindrical coordinates, \(dV=r\,dz\,dr\,d\theta\). Its mass is
The transverse moments vanish because the angular integrals of \(\cos\theta\) and \(\sin\theta\) over a full revolution are zero:
For the axial moment,
Consequently \(\bar{x}=0\), \(\bar{y}=0\), and \(\bar{z}=54\pi/(30\pi)=9/5\). The center is \((0,0,\frac95)\), on the axis as predicted. The checks \(30\pi(0)=I_x\), \(30\pi(0)=I_y\), and \(30\pi(\frac95)=54\pi=I_z\) agree with the computed moments.
Symmetry Across a Plane That Is Not a Coordinate Plane
The reflection theorem applies to any plane. A useful example is the plane \(x=y\), where reflection interchanges the \(x\)- and \(y\)-coordinates. The center must be unchanged by that interchange, which requires its \(x\)- and \(y\)-coordinates to be equal.
Worked Example: Reflection Across the Plane \(x=y\)
Let \(E=[0,2]^3\) and \(\rho(x,y,z)=1+x+y\). The density is nonnegative on \(E\), and both the region and density are unchanged when \(x\) and \(y\) are interchanged. Hence the center lies in the plane \(x=y\). Calculate the coordinates as a check.
The mass is
For \(I_x\), integrate each of the three terms in \(x(1+x+y)\):
Interchanging \(x\) and \(y\) leaves the region and density unchanged, so \(I_y=I_x=\frac{80}{3}\). Directly, the \(z\)-moment is
Therefore, \(\bar{x}=(80/3)/24=10/9\), \(\bar{y}=(80/3)/24=10/9\), and \(\bar{z}=24/24=1\). The center \((\frac{10}{9},\frac{10}{9},1)\) lies in \(x=y\). Checking the first moments gives \(24(\frac{10}{9})=\frac{80}{3}\) for each of \(x\) and \(y\), and \(24(1)=24=I_z\).
Common Pitfall: The Shape Alone Is Not Enough
It is not valid to infer a center-of-mass symmetry from the solid’s geometry while ignoring its density. For a concrete example, take the cube \(E=[-1,1]^3\) with density \(\rho(x,y,z)=1+x\). The cube is symmetric across \(x=0\), but the density is not: mass is greater where \(x\) is positive. Treating shape symmetry alone as sufficient would incorrectly give \(\bar{x}=0\).
The actual mass and \(x\)-moment are
Thus \(\bar{x}=I_x/M=(8/3)/8=1/3\), not zero. Here \(\rho\ge0\) throughout the cube, so this is a valid mass distribution; it simply lacks the reflection symmetry required by the theorem.
Why These Results Are Useful
Symmetry can reduce a three-dimensional center-of-mass calculation before any integration begins. Reflection can make one coordinate known immediately, while rotational symmetry can determine two coordinates at once. You can then compute only the remaining first moments needed to locate the center fully.
These results also provide checks on calculations. If a distribution is symmetric across \(x=0\), a computed nonzero \(I_x\) signals an error in the setup or evaluation. If a distribution is rotationally symmetric about an axis, a center off that axis contradicts the theorem. The check is meaningful only after verifying that the density shares the relevant symmetry.
Check Your Understanding
Use the symmetry conditions carefully; in each question, consider both the solid and its density.
- A solid and its density are invariant under reflection across \(z=0\). Which coordinate of the center of mass is determined by this symmetry?
- A solid is symmetric across \(x=0\), but its density is \(\rho=1+x\). Is the reflection theorem applicable? State the condition that fails.
- A mass distribution is invariant under every rotation about the line \(x=1,\ y=-2\). Where must its center of mass lie?
- For a solid and density invariant under interchanging \(x\) and \(y\), what equality must hold between the center’s coordinates?
- Why does rotational symmetry about the \(z\)-axis not, by itself, determine the value of \(\bar{z}\)?