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

== Theorem ==
== Proof ==
:
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:
: 
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 :
: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 :
: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 :
: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 :
:$AC^2 : EG^2 = DTAUBVCW : HPEQFRSH$
But we have that:
:$\map c {ABCD} : \map c {EFGH} = AL : O$
From :
:$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 :
:$AL : O = DTAUBVCWL : HPEQFRSHN$
Therefore from :
:$AL : DTAUBVCWL = O : EN$
But $AL > DTAUBVCWL$.
Therefore $O > EN$.
But , $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 :
:$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.
== Sources ==
* : Book $\text{XII}$. Propositions
Category:Right Circular Cylinders
Category:Cones