Pappus’s centroid theorem

Theorem 1.

The surface of revolution generated by a smooth curve $\gamma$ in the xz-plane (with $x\mathrm{\ge }\mathrm{0}$), rotated about the z axis, has surface area

$$A=sd,$$

where $s$ is the arc length of $\gamma$, and $d$ is the distance travelled by the centroid $\mu$ of $\gamma$ under a full rotation. (The centroid is also called the centre of mass, assuming the curve has uniform line density.)

Theorem 2.

The solid of revolution generated by a region (Lebesgue-measurable set) $\mathrm{S}$ in the xz-plane (with $x\mathrm{\ge }\mathrm{0}$) rotated about the z axis, has volume

$$V=Ad,$$

where $A$ is the area of $\mathrm{S}$, and $d$ is the distance travelled by the centroid $\mu$ of $\mathrm{S}$ under a full rotation.

In English-speaking countries, these two theorems are known as Pappus’s theorems, after the ancient Greek geometer Pappus of Alexandria. In continental Europe, these theorems are more commonly associated with the name of Paul Guldin (who rediscovered them): e.g. in German “die guldinsche Regeln”; in Finnish “Guldinin säännöt”; in French “le théorème de Guldin”.

Example 1.

The surface area of the torus, with the generating circle having radius $r$, and ring “radius” $R$ (measured from the centre of the torus to the centre of the generating circle), is $A\mathrm{=}\mathrm{(}\mathrm{2}\mathit{}\pi \mathit{}r\mathrm{)}\mathit{}\mathrm{(}\mathrm{2}\mathit{}\pi \mathit{}R\mathrm{)}\mathrm{=}\mathrm{4}\mathit{}{\pi }^{\mathrm{2}}\mathit{}r\mathit{}R$. We used here the obvious fact that the centroid of a circle is at its centre.

Example 2.

The volume of the (solid) torus, with the same parameters as above, is $V\mathrm{=}\mathrm{(}\pi \mathit{}{r}^{\mathrm{2}}\mathrm{)}\mathit{}\mathrm{(}\mathrm{2}\mathit{}\pi \mathit{}R\mathrm{)}\mathrm{=}\mathrm{2}\mathit{}{\pi }^{\mathrm{2}}\mathit{}{r}^{\mathrm{2}}\mathit{}R$.

Example 3.

We compute the volume of the three-dimensional ball in ${\mathrm{R}}^{\mathrm{3}}$. The ball can be considered to be the solid of revolution generated by a half-disk. So we will need to know the centroid of the upper-half disk $B_{\mathrm{+}}^{\mathrm{2}}\mathit{}\mathrm{(}r\mathrm{)}$, radius $r$, in the plane. By symmetry, this centroid has only a vertical component and no horizontal component. The vertical component is calculated by:

${\displaystyle \frac{1}{\pi r^2/2}}{\displaystyle {\int }_{B_{+}^2(r)}}y𝑑x𝑑y$ $={\displaystyle \frac{r}{\pi /2}}{\displaystyle {\int }_{B_{+}^2(1)}}y𝑑x𝑑y$

$={\displaystyle \frac{r}{\pi /2}}{\displaystyle {\int }_0^1}{\displaystyle {\int }_{-\sqrt{1-y^2}}^{\sqrt{1-y^2}}}y𝑑x𝑑y$

$={\displaystyle \frac{r}{\pi /2}}{\displaystyle {\int }_0^1}2y\sqrt{1-y^2}𝑑y$

$={\displaystyle \frac{4r}{3\pi }}.$

Then the volume of the ball of radius $r$ is

$$V=\left(\frac{4r}{3\pi }\cdot 2\pi \right)\left(\frac{\pi r^2}{2}\right)=\frac{4\pi }{3}{r}^3.$$

Example 4.

Similarly we can compute the surface area of the sphere of radius $r$, generated by revolving a half-circular arc. The centroid of the upper half-circle $S_{\mathrm{+}}^{\mathrm{1}}\mathit{}\mathrm{(}r\mathrm{)}$ in the plane only has the vertical component:

$$\frac{1}{\pi r}{\int }_0^{\pi }yr𝑑t=\frac{1}{\pi r}{\int }_0^{\pi }(r\sin t)r𝑑t=\frac{r}{\pi }{\int }_0^{\pi }\sin tdt=\frac{2r}{\pi }.$$

Thus the surface area of the sphere is given by

$$A=\left(\frac{2r}{\pi }\cdot 2\pi \right)\pi r=4\pi r^2.$$

Title	Pappus’s centroid theorem
Canonical name	PappussCentroidTheorem
Date of creation	2013-03-22 15:28:06
Last modified on	2013-03-22 15:28:06
Owner	stevecheng (10074)
Last modified by	stevecheng (10074)
Numerical id	7
Author	stevecheng (10074)
Entry type	Theorem
Classification	msc 53A05
Synonym	Guldin’s rule
Synonym	Guldinus theorem
Synonym	Guldin’s theorem
Synonym	Pappus’s theorem for solids of revolution
Synonym	Pappus’s theorem for surfaces of revolution
Related topic	Centroid2
Related topic	CentreOfMass
Related topic	SurfaceOfRevolution2
Related topic	VolumeOfSolidOfRevolution