G.563 cone part cylinder — Heath

XII.10

Any cone is a third part of the cylinder which has the same base with it and equal height.

For let a cone have the same base, namely the circle ( A B C D ), with a cylinder and equal height ; I say that the cone is a third part of the cylinder, that is, that the cylinder is triple of the cone.

For if the cylinder is not triple of the cone, the cylinder will be either greater than triple or less than triple of the cone. First let it be greater than triple, and let the square < A B C D > be inscribed in the circle ( A B C D ) ; [G.158] then the square < A B C D > is greater than the half of the circle ( A B C D ).

From the square < A B C D > let there be set up a prism of equal height with the cylinder. Then the prism so set up is greater than the half of the cylinder,

inasmuch as, if we also circumscribe a square about the circle ( A B C D ) [G.159], the square inscribed in the circle ( A B C D ) is half of that circumscribed about it, and the solids set up from them are parallelepipedal prisms of equal height, while parallelepipedal solids which are of the same height are to one another as their bases ; [G.542]

therefore also the prism set up on the square < A B C D > is half of the prism set up from the square circumscribed about the circle ( A B C D ) ; [G.538, G.557, G.558]

and the cylinder is less than the prism set up from the square circumscribed about the circle ( A B C D ) ;

therefore the prism set up from the square < A B C D > and of equal height with the cylinder is greater than the half of the cylinder.

Let the circumferences ( A E B ), ( B F C ), ( C G D ), ( D H A ) be bisected at the points E, F, G, H, and let / A E /, / E B /, / B F /, / F C /, / C G /, / G D /, / D H /, / H A / be joined ;

then each of the triangles < A E B >, < B F C >, < C G D >, < D H A > is greater than the half of that segment of the circle ( A B C D ) which is about it, as we proved before. [G.552]

On each of the triangles < A E B >, < B F C >, < C G D >, < D H A > let prisms be set up of equal height with the cylinder ;

then each of the prisms so set up is greater than the half part of that segment of the cylinder which is about it,

inasmuch as, if we draw through the points E, F, G, H parallels to / A B /, / B C /, / C D /, / D A /, complete the parallelograms on / A B /, / B C /, / C D /, / D A /, and set up from them parallelepipedal solids of equal height with the cylinder, the prisms on the triangles < A E B >, < B F C >, < C G D >, < D H A > are halves of the several solids set up ; and the segments of the cylinder are less than the parallelepipedal solids set up ;

hence also the prisms on the triangles < A E B >, < B F C >, < C G D >, < D H A > are greater than the half of the segments of the cylinder about them.

Thus, bisecting the circumferences that are left, joining straight lines, setting up on each of the triangles prisms of equal height with the cylinder, and doing this continually, we shall leave some segments of the cylinder which will be less than the excess by which the cylinder exceeds the triple of the cone. [G.371]

Let such segments be left, and let them be / A E /, / E B /, / B F /, / F C /, / C G /, / G D /, / D H /, / H A / ;

therefore the remainder, the prism of which the polygon < A E B F C G D H > is the base and the height is the same as that of the cylinder, is greater than triple of the cone.

But the prism of which the polygon < A E B F C G D H > is the base and the height the same as that of the cylinder is triple of the pyramid of which the polygon < A E B F C G D H > is the base and the vertex is the same as that of the cone ; [G.558]

therefore also the pyramid of which the polygon < A E B F C G D H > is the base and the vertex is the same as that of the cone is greater than the cone which has the circle ( A B C D ) as base.

But it is also less, for it is enclosed by it : which is impossible.

Therefore the cylinder is not greater than triple of the cone.

I say next that neither is the cylinder less than triple of the cone,

For, if possible, let the cylinder be less than triple of the cone,

therefore, inversely, the cone is greater than a third part of the cylinder.

Let the square < A B C D > be inscribed in the circle ( A B C D ) ;

therefore the square < A B C D > is greater than the half of the circle ( A B C D ).

Now let there be set up from the square < A B C D > a pyramid having the same vertex with the cone ;

therefore the pyramid so set up is greater than the half part of the cone,

seeing that, as we proved before, if we circumscribe a square

about the circle, the square < A B C D > will be half of the square circumscribed about the circle, and if we set up from the squares parallelepipedal solids of equal height with the cone, which are also called prisms, the solid set up from the square < A B C D > will be half of that set up from the square circumscribed about the circle ; for they are to one another as their bases. [G.542]

Hence also the thirds of them are in that ratio ;

therefore also the pyramid of which the square < A B C D > is the base is half of the pyramid set up from the square circumscribed about the circle.

And the pyramid set up from the square about the circle is greater than the cone, for it encloses it.

Therefore the pyramid of which the square < A B C D > is the base and the vertex is the same with that of the cone is greater than the half of the cone.

Let the circumferences ( A E B ), ( B F C ), ( C G D ), ( D H A ) be bisected at the points E, F, G, H, and let / A E /, / E B /, / B F /, / F C /, / C G /, / G D /, / D H /, / H A / be joined ;

therefore also each of the triangles < A E B >, < B F C >, < C G D >, < D H A > is greater than the half part of that segment of the circle ( A B C D ) which is about it.

Now, on each of the triangles < A E B >, < B F C >, < C G D >, < D H A > let pyramids be set up which have the same vertex as the cone ;

therefore also each of the pyramids so set up is, in the same manner, greater than the half part of that segment of the cone which is about it.

Thus, by bisecting the circumferences that are left, joining straight lines, setting up on each of the triangles a pyramid which has the same vertex as the cone, and doing this continually, we shall leave some segments of the cone which will be less than the excess by which the cone exceeds the third part of the cylinder. [G.371]

Let such be left, and let them be the segments on / A E /, / E B /, / B F /, / F C /, / C G /, / G D /, / D H /, / H A / ;

therefore the remainder, the pyramid of which the polygon < A E B F C G D H > is the base and the vertex the same with that of the cone, is greater than a third part of the cylinder.

But the pyramid of which the polygon < A E B F C G D H > is the base and the vertex the same with that of the cone is a third part of the prism of which the polygon < A E B F C G D H > is the base and the height is the same with that of the cylinder;

therefore the prism of which the polygon < A E B F C G D H > is the base and the height is the same with that of the cylinder is greater than the cylinder of which the circle ( A B C D ) is the base.

But it is also less, for it is enclosed by it: which is impossible.

Therefore the cylinder is not less than triple of the cone.

But it was proved that neither is it greater than triple;

therefore the cylinder is triple of the cone; hence the cone is a third part of the cylinder.

Therefore etc.

Q. E. D.

Dependency Graph

Required for

G.565, G.570, G.571, G.572, G.573