Open main menu
The theorem applied to an open cylinder, cone and a sphere to obtain their surface areas. The centroids are at a distance a (in red) from the axis of rotation.

In mathematics, Pappus's centroid theorem (also known as the Guldinus theorem, Pappus–Guldinus theorem or Pappus's 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[a] and Paul Guldin.[b]

Contents

The first theoremEdit

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 theoremEdit

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. (Note that the centroid of F is usually different from the centroid of its boundary curve C.) 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.[c]

ProofEdit

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.

GeneralizationsEdit

The theorems can be generalized for arbitrary curves and shapes, under appropriate conditions.

Goodman & Goodman[5] 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. (This assumes the solid does not intersect itself.) 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.

FootnotesEdit

  1. ^ See:[1]

    They who look at these things are hardly exalted, as were the ancients and all who wrote the finer things. When I see everyone occupied with the rudiments of mathematics and of the material for inquiries that nature sets before us, I am ashamed; I for one have proved things that are much more valuable and offer much application. In order not to end my discourse declaiming this with empty hands, I will give this for the benefit of the readers:

    The ratio of solids of complete revolution is compounded of (that) of the revolved figures and (that) of the straight lines similarly drawn to the axes from the centers of gravity in them; that of (solids of) incomplete (revolution) from (that) of the revolved figures and (that) of the arcs that the centers of gravity in them describe, where the (ratio) of these arcs is, of course, (compounded) of (that) of the (lines) drawn and (that) of the angles of revolution that their extremities contain, if these (lines) are also at (right angles) to the axes. These propositions, which are practically a single one, contain many theorems of all kinds, for curves and surfaces and solids, all at once and by one proof, things not yet and things already demonstrated, such as those in the twelfth book of the First Elements.

    — Pappus, Collection, Book VII, ¶41‒42
  2. ^ "Quantitas rotanda in viam rotationis ducta, producit Potestatem Rotundam uno gradu altiorem, Potestate sive Quantitate rotata."[2] That is: "A quantity in rotation, multiplied by its circular trajectory, creates a circular power of higher degree, power, or quantity in rotation." [3]
  3. ^ Theorem XVIII of Kepler's Nova Stereometria Doliorum Vinariorum (1615):[4] "Omnis annulus sectionis circularis vel ellipticae est aequalis cylindro, cujus altitudo aequat longitudinem circumferentiae, quam centrum figurae circumductae descripsit, basis vero eadem est cum sectione annuli." Translation:[3] "Any ring whose cross-section is circular or elliptic is equal to a cylinder whose height equals the length of the circumference covered by the center of the figure during its circular movement, and whose base is equal to the section of the ring."

ReferencesEdit

  1. ^ Pappus of Alexandria (1986) [c. 320]. Jones, Alexander, ed. Book 7 of the Collection. New York: Springer-Verlag. doi:10.1007/978-1-4612-4908-5. ISBN 978-1-4612-4908-5.
  2. ^ Guldin, Paul (1640). "De centro gravitatis trium specierum quanitatis continuae". 2. Vienna: Gelbhaar, Cosmerovius. p. 147. Retrieved 2016-08-04.
  3. ^ a b Radelet-de Grave, Patricia (2015-05-19). "Kepler, Cavalieri, Guldin. Polemics with the departed". In Jullien, Vincent. Seventeenth-Century Indivisibles Revisited. Science Networks. Historical Studies. 49. Basel: Birkhäuser. p. 68. doi:10.1007/978-3-319-00131-9. ISBN 978-3-3190-0131-9. ISSN 1421-6329. Retrieved 2016-08-04.
  4. ^ Kepler, Johannes (1870) [1615]. "Nova Stereometria Doliorum Vinariorum". In Frisch, Christian. Joannis Kepleri astronomi opera omnia. 4. Frankfurt: Heyder and Zimmer. p. 582. Retrieved 2016-08-04.
  5. ^ Goodman, A. W.; Goodman, G. "Generalizations of the Theorems of Pappus". JSTOR. The American Mathematical Monthly. Retrieved 2014-06-28.

External linksEdit