You are here
Home ›Pappus's centroid theorem
Primary tabs
Pappus’s centroid theorem
Theorem 1.
The surface of revolution generated by a smooth curve in the xz-plane (with ), rotated about the z axis, has surface area
where is the arc length of , and is the distance travelled by the centroid of 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) in the xz-plane (with ) rotated about the z axis, has volume
where is the area of , and is the distance travelled by the centroid of 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 , and ring “radius” (measured from the centre of the torus to the centre of the generating circle), is . 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 .
Example 3.
We compute the volume of the three-dimensional ball in . 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 , radius , in the plane. By symmetry, this centroid has only a vertical component and no horizontal component. The vertical component is calculated by:
Then the volume of the ball of radius is
Example 4.
Similarly we can compute the surface area of the sphere of radius , generated by revolving a half-circular arc. The centroid of the upper half-circle in the plane only has the vertical component:
Thus the surface area of the sphere is given by
Mathematics Subject Classification
53A05 Surfaces in Euclidean space- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new correction: typo? by Filipe
May 22
new question: Linear Algebra Combination Problem! by Aleph Zero
new question: Computation of $\varphi(2000)$ by unlord
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord



Comments
More general hypotheses
I'm pretty sure that theorem 1 of the present entry
should work also for rectifiable curves, not merely smooth curves[*];
however I don't know about geometric measure theory in order to prove it.
Can anyone confirm if my conjecture is correct?
[*] N.B. Theorem 2 already allows arbitrary Lebesgue-measurable regions;
this is not hard to prove with the classic measure theory tools.
// Steve