Volume of Cones or Cylinders of Same Height are in Same Ratio as Bases

From ProofWiki
Jump to navigation Jump to search

Theorem

In the words of Euclid:

Any cones and cylinders which are of the same height are to one another as their bases.

(The Elements: Book $\text{XII}$: Proposition $11$)


Proof

Euclid-XII-11.png

Let there be cones and cylinders of the same height.

Let $ABCD$ and $EFGH$ be their bases.

Let $L$ and $M$ be their apices.

Let $AC$ and $EG$ be the diameters of their bases.

It is to be demonstrated that:

$\map c {ABCD} : \map c {EFGH} = AL : EN$

where:

$\map c {ABCD}$ is the circle $ABCD$
$\map c {EFGH}$ is the circle $EFGH$
$AL$ is the cone whose base is $\map c {ABCD}$
$EN$ is the cone whose base is $\map c {EFGH}$.


Suppose it is not the case that $\map c {ABCD} : \map c {EFGH} = AL : EN$.

Then:

$\map c {ABCD} : \map c {EFGH} = AL : O$

where $O$ is some solid figure either less than or greater than the cone $EN$.

Suppose $O$ is less than the cone $EN$.

Let $X$ be a solid figure equal to $EN - O$.

Therefore:

$EN = O + X$

Let the square $\Box EFGH$ be inscribed in $\map c {EFGH}$.

From Square Inscribed in Circle is greater than Half Area of Circle:

$\Box EFGH$ is greater than half $\map c {EFGH}$.

Let a pyramid be set up on the base $\Box EFGH$ of equal height as the cone.

From:

Proposition $6$ of Book $\text{XII} $: Sizes of Pyramids of Same Height with Polygonal Bases are as Bases

and:

Square Inscribed in Circle is greater than Half Area of Circle

it follows that:

the pyramid so set up is greater than half the cone.

Let the arcs $EF, FG, GH, HE$ be bisected at $P, Q, R, S$.

Let $HP, PE, EQ, QF, FR, RG, GS, SH$ be joined.

Using the reasoning of Proposition $2$ of Book $\text{XII} $: Areas of Circles are as Squares on Diameters:

each of $\triangle HPE, \triangle EQF, \triangle FRG, \triangle GSH$ is greater than half the segment of the circle $EFGH$ around it.

On each of $\triangle HPE, \triangle EQF, \triangle FRG, \triangle GSH$, let pyramids be set up with the same height as the cone.

Again from the reasoning in Proposition $2$ of Book $\text{XII} $: Areas of Circles are as Squares on Diameters:

each of these pyramids is greater than half the segment of the cone around it.

The operation:

bisecting the arcs remaining, joining the points of bisection with straight lines and setting up pyramids on the resulting triangles the same height as the cone

can be repeated indefinitely.

From Proposition $1$ of Book $\text{X} $: Existence of Fraction of Number Smaller than Given:

eventually we will leave some segments of the cone which will be less than $X$.

Let such segments be left, and let them be $HP, PE, EQ, QF, FR, RG, GS, SH$.

Therefore the remainder, the pyramid whose base is the polygon $HPEQFRSH$ and whose height equals the height of the cone, is greater than $O$.


Let the polygon $DTAUBVCW$ similar to $HPEQFRSH$ be inscribed in $\map c {ABCD}$.

Let a pyramid be set up on the base $DTAUBVCW$ the same height as the cone $EN$.

From Proposition $1$ of Book $\text{XII} $: Areas of Similar Polygons Inscribed in Circles are as Squares on Diameters:

$AC^2 : EG^2 = DTAUBVCW : HPEQFRSH$

But we have that:

$\map c {ABCD} : \map c {EFGH} = AL : O$

From Proposition $6$ of Book $\text{XII} $: Sizes of Pyramids of Same Height with Polygonal Bases are as Bases:

$DTAUBVCW : HPEQFRSH = DTAUBVCWL : HPEQFRSHN$

where:

$DTAUBVCWL$ is the pyramid whose base is $DTAUBVCW$ and whose apex is $L$
$HPEQFRSHN$ is the pyramid whose base is $HPEQFRSH$ and whose apex is $N$.

Therefore from Proposition $11$ of Book $\text{V} $: Equality of Ratios is Transitive:

$AL : O = DTAUBVCWL : HPEQFRSHN$

Therefore from Proposition $16$ of Book $\text{V} $: Proportional Magnitudes are Proportional Alternately:

$AL : DTAUBVCWL = O : EN$

But $AL > DTAUBVCWL$.

Therefore $O > EN$.

But by hypothesis, $O < EN$.

From this contradiction it follows that it cannot be the case that:

$\map c {ABCD} : \map c {EFGH} = AL : O$

where $O$ is some solid figure less than the cone $EN$.


Similarly it can be proved that it cannot be the case that:

$\map c {EFGH} : \map c {ABCD} = EN : O$

where $O$ is some solid figure less than the cone $AL$.


It remains to be shown that it is not the case that:

$AL : O = \map c {ABCD} : \map c {EFGH}$

where $O$ is a solid greater than $EN$.

Suppose the contrary, that there exists a solid $O$ greater than $EN$ such that:

$AL : O = \map c {ABCD} : \map c {EFGH}$

That is:

$\map c {EFGH} : \map c {ABCD} = O : AL$

But:

$O : AL = EN : X$

where $X$ is some solid less than $AL$.

Therefore:

$\map c {EFGH} : \map c {ABCD} = EN : O$

which was demonstrated to be impossible.

Therefore it is not the case that:

$AL : O = \map c {ABCD} : \map c {EFGH}$

where $O$ is a solid greater than $EN$.

But it was also proved that it is not the case that:

$AL : O = \map c {ABCD} : \map c {EFGH}$

where $O$ is a solid less than $EN$.

Therefore:

$AL : EN = \map c {ABCD} : \map c {EFGH}$

But from Proposition $10$ of Book $\text{XII} $: Volume of Cone is Third of Cylinder on Same Base and of Same Height:

$AL : EN = \map k {ABCD} : \map k {EFGH}$

where $\map k {ABCD}$ and $\map k {EFGH}$ are the cylinders whose bases are $\map c {ABCD}$ and $\map c {EFGH}$ and whose heights are equal.

$\blacksquare$


Historical Note

This proof is Proposition $11$ of Book $\text{XII}$ of Euclid's The Elements.


Sources