Gregory treats separately the ratio between the trunk and the solid of revolution and the ratio between the trunk and the cylinder. The key to understanding the first ratio is Cavalieri's Principle: "If two plane (or solid) figures have equal altitudes, and if sections made by lines (or planes) parallel to the bases and at equal distances from them are always in the same ratio, then the plane (or solid) figures also are in this ratio". (See [10, pp. 315-321], cited in [11, p. 516].) Once Gregory establishes a fixed ratio between corresponding slices of the trunk and the solid of revolution, this principle will imply that the solids themselves have the same ratio. He begins with the trunk, slicing it by an arbitrary plane *OPV* perpendicular to the axis of rotation.

Let *V* denote the point of intersection of *OPV* with the axis of rotation and let *O* and *P* denote the intersections of *OPV* with* l* and *k*, respectively. Then

OP = \hbox{height of the cylinder} \qquad \hbox{and} \qquad PV = \hbox{radius of rotation}

Note that the values of

*OP* and

*PV* will not change no matter what the choice of the perpendicular plane

*OPV*, but the intersection of

*OPV* with the trunk will form a trapezoid

*EFGH* which

*will* vary in size as

*OPV* moves along the axis of rotation. By similar triangles,

{OP \over PV} = {GF \over FV} \qquad \hbox{and} \qquad {OP \over PV} = {HE \over EV}

Multiply the first equality by 1/2π. Then some elementary arithmetic shows that

\eqalign{ {OP \over 2 \pi PV} = {GF \over 2 \pi FV} & \Rightarrow {OP \over 2 \pi PV} = {GF \over 2 \pi FV}\cdot {{1 \over 2} FV \over {1 \over 2} FV } \cr & \Rightarrow {OP \over 2 \pi PV} = {{1 \over 2} GF\cdot FV \over \pi FV^2} \cr & \Rightarrow {OP \over 2 \pi PV} = {area(\Delta GFV) \over area(circle(FV))} \cr }

where Δ*GFV* denotes the triangle *GFV* and *circle*(*FV*) denotes the circle on radius *FV*.

The second equality shows similarly that

{OP \over 2 \pi PV} = {area(\Delta HEV) \over area(circle(EV))}

Consequently, by applying

Euclid V.19 to these two ratios,

{OP \over 2 \pi PV} = {area(GHEF) \over area(annulus(FV - EV))}

where *area*(*GHEF*) denotes the area of the trapezoid *GHEF* and *area*(*annulus*(*FV - EV*)) denotes the area of the annulus obtained by revolving the segment *EF* around the axis of rotation. Note that the numerator on the right is a slice of the trunk and the denominator is the corresponding slice of the solid of revolution. Since *OP* and *PV* do not change, it follows by Cavalieri's principle that the ratio of the volume of the trunk to the volume of the solid of revolution is equal to the ratio of *OP* to 2π*PV*.

To be more specific, if *AB* is any planar figure let *rev*(*AB*) denote the volume of the solid of revolution obtained by revolving *AB* around an axis of revolution and *trunk*(*AB*) denote the volume of a trunk of a right cylinder over *AB*. Then

{trunk(AB) \over rev(AB)} = {OP \over 2 \pi PV}

If

*OP* =

*height*(

*AB*) is the height of the cylinder over

*AB* and 2π

*PV* =

*circum*(

*AB*) is the circumference of the circle with radius equal to the radius of rotation for

*AB*, then we can write

{ trunk(AB) \over rev(AB)} = { height(AB) \over circum(AB)}

This is the sought after ratio between the solid of revolution and a trunk constructed from the same 2-dimensional figure.

This formula also yields a way to describe the ratio between the volumes of two solids of revolution--something quite important for someone brought up to appreciate Euclidean proportion theory. Suppose, for instance, that *AB* and *EF* are two planar figures extended into 3-dimensions to form cylindrical figures which by assumption have *the same height*.

Using the notation from above, the previous result implies that

{trunk(AB) \over rev(AB)} = {height(AB) \over circum(AB)}\qquad \hbox{and}\qquad {trunk(EF) \over rev(EF)} = {height(EF) \over circum(EF)}

Since

*height*(

*AB*) =

*height*(

*EF*) by assumption, we eliminate the common value from both equations to arrive at

{rev(AB) \over rev(EF) } = {trunk(AB) \over trunk(EF)} \cdot {circum(AB) \over circum(EF)}

This shows that the ratio between solids of revolution can be understood completely in terms of trunks and radii of rotation.