Centroid Bounds From Weighted Averages

Why Centroid Bounds Are Useful

A centroid calculation combines the positions of all parts of a lamina, weighted by their mass. This gives an immediate way to check a result: if all the mass lies between two vertical lines, its horizontal centroid coordinate cannot lie outside those lines. The same reasoning applies to horizontal lines and the vertical coordinate.

This check is useful after setting up and evaluating mass and moment integrals. It does not replace those calculations, but it can reveal a sign error, an incorrect limit, or a mistaken moment before the result is used further.

Mass, Moments, and Conditions for a Centroid

Let \(R\) be a region in the plane with nonnegative areal density \(\rho(x,y)\). The mass is the double integral of the density over the region. The first moments are integrals of the coordinates weighted by density: the moment about the \(y\)-axis weights by \(x\), and the moment about the \(x\)-axis weights by \(y\).

For a finite, positive mass and finite first moments, the centroid coordinates are \(\bar{x}=M_y/M\) and \(\bar{y}=M_x/M\). In a general region, finite mass alone is not enough: the first moments must also exist as finite quantities. A convenient sufficient condition is that the absolute first moments are finite. Bounded regions with integrable density satisfy this condition.

These assumptions make both coordinate averages well-defined. For example, a region may extend infinitely far in the \(x\)-direction while its total mass remains finite, yet its horizontal first moment may be infinite. In that case the centroid’s horizontal coordinate is not defined by the moment ratio.

The Weighted-Average Principle

For a finite collection of positions, a weighted average with nonnegative weights lies between the smallest and largest positions receiving weight. A lamina follows the same principle: each small portion of mass contributes its coordinate, and nonnegative mass cannot pull the average outside the range of those coordinates.

To state this precisely, let \(a\) and \(b\) be finite numbers such that \(a\leq x\leq b\) wherever the lamina has mass, apart from a set of mass zero. In integral language, it is enough that these inequalities hold for \(\rho(x,y)\,dA\)-almost every point of \(R\). This allows us to ignore points or sets carrying no mass. If the lamina lies within a rectangle \([a,b]\times[c,d]\), then the corresponding bounds hold for both coordinates.

Why the Bounds Hold

The proof comes directly from multiplying the coordinate inequalities by a nonnegative density and integrating. Since \(\rho\) is nonnegative, multiplying by it preserves the direction of each inequality. Division by the positive mass then preserves the direction again.

This is a complete proof of both bounds. It also shows exactly where the hypotheses matter: nonnegative density is needed to preserve the inequalities, and positive finite mass is needed to divide by \(M\). The first-moment conditions ensure the moment ratios used in the conclusion are finite and defined.

The centroid need not be at the midpoint of the coordinate range. The midpoint would be the average only in special circumstances, such as a symmetric distribution of mass about that midpoint. The bounds say where the coordinate must lie, not where it lies within that interval.

Worked Example: A Rectangle With Density Increasing in \(x\)

Worked Example: A Triangular Lamina

Bounds for Coordinates Below Zero

Coordinate bounds do not require the region to lie in the first quadrant. The same proof applies when the coordinate interval includes negative values. What matters is that the centroid coordinate is an average of positions with nonnegative mass weights.

When the Bounds Are Strict

The theorem gives inclusive bounds. It does not always give strict inequalities: for example, its assumptions allow mass to be concentrated entirely on a boundary coordinate. More precisely, equality \(\bar{x}=a\) means \(M_y=aM\), or equivalently \(\iint_R(x-a)\rho\,dA=0\). Since \((x-a)\rho\geq0\), this occurs exactly when \(x=a\) for almost all mass. The corresponding statement holds for \(\bar{x}=b\) and for the vertical coordinate.

For an ordinary areal density on a two-dimensional region, a line by itself has area zero and cannot carry positive mass. Thus, in the usual nondegenerate lamina setting, if mass is spread over points with \(a<x<b\), the horizontal centroid lies strictly between \(a\) and \(b\). The general inclusive statement remains useful because it does not require such an extra condition.

A Common Pitfall: Ignoring the Sign of Density

Nonnegative density is essential. If a signed function is used instead, multiplication may reverse or disrupt the inequalities, and the centroid ratio need not lie inside the coordinate range. For a concrete calculation, take the unit square and the signed function \(\rho(x,y)=3x-1\). Its total integral is positive, but the function is negative for \(0\leq x<1/3\), so it is not a physical mass density.

The resulting ratio is \(\bar{x}=M_y/M=1\), which is at the edge rather than outside; this particular choice does not demonstrate failure of the bound. To see an actual failure, use \(\rho(x,y)=1-2x\) on the unit square. Then:

Here the mass is zero, so the centroid is not defined at all. A signed density with positive total mass can also produce an out-of-range ratio. For \(\rho(x,y)=3x-1\), the calculations above actually give \(M=1/2\) and \(M_y=1/2\), so \(\bar{x}=1\); changing the function to \(\rho(x,y)=4x-1\) gives \(M=1\) and \(M_y=4/3-1/2=5/6\), still within the interval. This illustrates why one should not claim a violation without checking the integrals.

A direct example that does violate the bound is \(\rho(x,y)=5x-2\) on the unit square: \(M=1/2\) and \(M_y=5/3-1=2/3\), so \(\bar{x}=4/3\), outside \(0\leq x\leq1\). The sign-changing function is not a valid physical density, but it confirms that the nonnegativity assumption cannot simply be omitted. In centroid work, a negative computed density or a centroid outside the region’s coordinate bounds should prompt a check of the model and integrals.

Using the Bounds as a Calculation Check

After computing the mass and moments, compare each coordinate separately with the minimum and maximum coordinates of the mass-bearing region. For a lamina inside \([a,b]\times[c,d]\), the required checks are \(a\leq\bar{x}\leq b\) and \(c\leq\bar{y}\leq d\). A failed check does not by itself identify the error, but it proves that at least one relevant assumption or calculation is wrong.

Take care to use bounds for the region carrying mass, not merely the largest region mentioned in a diagram if part of it has been excluded. Likewise, a zero-density part contributes no weight. The tightest useful bounds come from the coordinate range over which positive mass is actually distributed.

The weighted-average interpretation is the key: with finite positive mass and nonnegative density, the centroid coordinate cannot be pulled beyond the positions contributing that mass. That simple fact provides a rigorous theorem and a practical diagnostic for integral calculations.