Pappus's centroid theorem


In mathematics, Pappus's centroid theorem is either of two related theorems dealing with the surface areas and volumes of surfaces and solids of revolution.
The theorems are attributed to Pappus of Alexandria and Paul Guldin.

The first theorem

The first theorem states that the surface area A of a surface of revolution generated by rotating a plane curve C about an axis external to C and on the same plane is equal to the product of the arc length s of C and the distance d traveled by the geometric centroid of C:
For example, the surface area of the torus with minor radius r and major radius R is

The second theorem

The second theorem states that the volume V of a solid of revolution generated by rotating a plane figure F about an external axis is equal to the product of the area A of F and the distance d traveled by the geometric centroid of F. That is:
For example, the volume of the torus with minor radius r and major radius R is
This special case was derived by Johannes Kepler using infinitesimals.

Proof

Let be the area of, the solid of revolution of, and the volume of. Suppose starts in the -plane and rotates around the -axis. The distance of the centroid of from the -axis is its -coordinate
and the theorem states that
To show this, let be in the xz-plane, parametrized by for , a parameter region. Since is essentially a mapping from to, the area of is given by the change of variables formula:
where is the determinant of the Jacobian matrix of the change of variables.
The solid has the toroidal parametrization for in the parameter region ; and its volume is
Expanding,
The last equality holds because the axis of rotation must be external to, meaning. Now,
by change of variables.

Generalizations

The theorems can be generalized for arbitrary curves and shapes, under appropriate conditions.
Goodman & Goodman generalize the second theorem as follows. If the figure F moves through space so that it remains perpendicular to the curve L traced by the centroid of F, then it sweeps out a solid of volume V = Ad, where A is the area of F and d is the length of L. In particular, F may rotate about its centroid during the motion.
However, the corresponding generalization of the first theorem is only true if the curve L traced by the centroid lies in a plane perpendicular to the plane of C.

In n-dimensions

In general, one can generate an dimensional solid by rotating an dimensional solid around a dimensional sphere. This is called an -solid of revolution of species. Let the -th centroid of be defined by
Then Pappus' theorems generalize to:

Volume of -solid of revolution of species
=

and

Surface area of -solid of revolution of species
=

The original theorems are the case with.

Footnotes