Tutorials › Calculus II › Symmetry in Three-Dimensional Centers of Mass

Mass, Moments, and Centroids · Tutorial 495 of 998

Symmetry in Three-Dimensional Centers of Mass

Use invariance of a solid and its density to prove where its center of mass must lie, then apply the results to three-dimensional examples.

Intermediate 11 min read

What You'll Learn

  • Define the center of mass of a three-dimensional solid with finite first moments.
  • Prove that reflection symmetry places the center of mass in the reflection plane.
  • Prove that rotational symmetry places the center of mass on its axis.
  • Distinguish symmetry of a solid’s shape from symmetry of its density.
  • Apply the results to coordinate-plane and oblique-plane examples.

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.

Definition: For a solid \(E\) with finite positive mass and finite first moments, define \(I_x=\iiint_E x\rho\,dV\), \(I_y=\iiint_E y\rho\,dV\), and \(I_z=\iiint_E z\rho\,dV\). Its center of mass is \((\bar{x},\bar{y},\bar{z})=(I_x/M,I_y/M,I_z/M)\), where \(M=\iiint_E\rho\,dV\).

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.

Theorem: Suppose \(E\) and \(\rho\) are invariant under reflection across a plane, and the mass and first moments are finite with \(M>0\). Then the center of mass lies in that plane.

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.

Coordinate consequence: If the symmetry plane is \(x=0\), then \(\bar{x}=0\). If it is \(y=0\), then \(\bar{y}=0\); if it is \(z=0\), then \(\bar{z}=0\). For a plane such as \(x=y\), the conclusion is instead \(\bar{x}=\bar{y}\).

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

$$ M=\int_{-2}^{2}\int_0^1\int_0^3(1+z)\,dz\,dy\,dx =4(1)\left[z+\frac{z^2}{2}\right]_0^3 =4\left(3+\frac{9}{2}\right) =30. $$

The \(x\)-moment vanishes because its integrand is odd in \(x\) over symmetric limits:

$$ I_x=\left(\int_{-2}^{2}x\,dx\right) \left(\int_0^1dy\right) \left(\int_0^3(1+z)\,dz\right) =0\cdot1\cdot\frac{15}{2}=0, \qquad \bar{x}=\frac{0}{30}=0. $$

For the \(y\)-moment and \(z\)-moment, respectively,

$$ I_y=4\left(\int_0^1y\,dy\right)\left(\int_0^3(1+z)\,dz\right) =4\left(\frac12\right)\left(\frac{15}{2}\right)=15, \qquad \bar{y}=\frac{15}{30}=\frac12, $$
$$ I_z=4(1)\int_0^3z(1+z)\,dz =4\left[\frac{z^2}{2}+\frac{z^3}{3}\right]_0^3 =4\left(\frac92+9\right)=54, \qquad \bar{z}=\frac{54}{30}=\frac95. $$

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.

Theorem: Suppose a solid and its density are invariant under every rotation about a fixed axis, and the mass and first moments are finite with \(M>0\). Then the center of mass lies on that axis.

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

$$ M=\int_0^{2\pi}\int_0^2\int_0^3(1+z)r\,dz\,dr\,d\theta =(2\pi)(2)\left[\ z+\frac{z^2}{2}\ \right]_0^3 =4\pi\left(\frac{15}{2}\right)=30\pi. $$

The transverse moments vanish because the angular integrals of \(\cos\theta\) and \(\sin\theta\) over a full revolution are zero:

$$ I_x=\int_0^2\int_0^3(1+z)r^2\,dz\,dr \int_0^{2\pi}\cos\theta\,d\theta=0, \qquad I_y=\int_0^2\int_0^3(1+z)r^2\,dz\,dr \int_0^{2\pi}\sin\theta\,d\theta=0. $$

For the axial moment,

$$ I_z=(2\pi)\left(\int_0^2r\,dr\right)\left(\int_0^3z(1+z)\,dz\right) =(2\pi)(2)\left[\frac{z^2}{2}+\frac{z^3}{3}\right]_0^3 =4\pi\left(\frac{27}{2}\right)=54\pi. $$

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

$$ M=\iiint_E(1+x+y)\,dV =8+(2)(2)(2)+(2)(2)(2)=24. $$

For \(I_x\), integrate each of the three terms in \(x(1+x+y)\):

$$ I_x=\iiint_E x\,dV+\iiint_E x^2\,dV+\iiint_E xy\,dV =8+\left(\frac83\right)(4)+8 =8+\frac{32}{3}+8=\frac{80}{3}. $$

Interchanging \(x\) and \(y\) leaves the region and density unchanged, so \(I_y=I_x=\frac{80}{3}\). Directly, the \(z\)-moment is

$$ I_z=\iiint_E z(1+x+y)\,dV =8+8+8=24. $$

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

$$ M=\iiint_E(1+x)\,dV=8, \qquad I_x=\iiint_E x(1+x)\,dV =\iiint_E x\,dV+\iiint_E x^2\,dV =0+\left(\frac23\right)(2)(2)=\frac83. $$

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.

Practical test: Before using a symmetry conclusion, check both invariances: does the transformation preserve the region, and does it preserve the density? For rotational symmetry, both must be unchanged under every rotation about the proposed axis.

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.

  1. A solid and its density are invariant under reflection across \(z=0\). Which coordinate of the center of mass is determined by this symmetry?
  2. A solid is symmetric across \(x=0\), but its density is \(\rho=1+x\). Is the reflection theorem applicable? State the condition that fails.
  3. A mass distribution is invariant under every rotation about the line \(x=1,\ y=-2\). Where must its center of mass lie?
  4. For a solid and density invariant under interchanging \(x\) and \(y\), what equality must hold between the center’s coordinates?
  5. Why does rotational symmetry about the \(z\)-axis not, by itself, determine the value of \(\bar{z}\)?