Volumes of Similar Cones and Cylinders are in Triplicate Ratio of Diameters of Bases

== Theorem ==
== Proof ==
:
Let there be cones and cylinders which are similar.
Let the circles $\map c {ABCD}$ and $\map c {EFGH}$ be their bases.
Let $BD$ and $FH$ be the diameters of the bases $\map c {ABCD}$ and $\map c {EFGH}$.
Let $KL$ and $MN$ be the axes of the cones and cylinders.
Let $L$ and $N$ be the apices of the cones.
It is to be demonstrated that:
:$\map c {ABCDL} : \map c {EFGHN} = BD^3 : FH^3$
where $\map c {ABCDL}$ and $\map c {EFGHN}$ are the cones on $\map c {ABCD}$ and $\map c {EFGH}$ respectively.
Suppose it is not the case that:
:$\map c {ABCDL} : \map c {EFGHN} = BD^3 : FH^3$
Then:
:$\map c {ABCDL} : O = BD^3 : FH^3$
where $O$ is either greater than $\map c {EFGHN}$ or less than $\map c {EFGHN}$.
First suppose that $O < \map c {EFGHN}$.
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 $EP, PF, FQ, QG, GR, RH, HS, SE$ be joined.
Using the reasoning of :
:each of $\triangle EPF, \triangle FQG, \triangle GRH, \triangle HSE$ is greater than half the segment of the circle $EFGH$ around it.
On each of $\triangle EPF, \triangle FQG, \triangle GRH, \triangle HSE$, let pyramids be set up with the same apex 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 with the same apex as the cone
can be repeated indefinitely.
From :
:eventually we will leave some segments of the cone which will be less than the amount by which $\map c {EFGHN}$ is greater than $O$.
Let such segments be left, and let them be $EP, PF, FQ, QG, GR, RH, HS, SE$.
Therefore the remainder, the pyramid $EPFQGRHSN$ whose base is the polygon $EPFQGRHS$ and whose apex is $N$, is greater than $O$.
Let the polygon $ATBUCVDW$ similar to $EPFQGRHS$ be inscribed in $\map c {ABCD}$.
Let a pyramid $ATBUCVDWL$ be set up on the base $ATBUCVDW$ with the same apex as the cone $\map c {ABCDL}$.
Let $\triangle LBT$ be one of the triangular faces of $ATBUCVDWL$.
Let $\triangle NFP$ be one of the triangular faces of $EPFQGRHSN$.
Let $KT$ and $MP$ be joined.
We have that $\map c {ABCDL}$ is similar to $\map c {EFGHN}$.
Therefore from :
:$BD : FH = KL : MN$
But:
:$BD : FH = BK : FM$
Therefore:
:$BK : FM = KL : MN$
So from :
:$BK : KL = FM : MN$
Then from :
:$\triangle BKL$ is similar to $\triangle FMN$.
Again, we have:
:$BK : KT = FM : MP$
and again from :
:$\triangle BKT$ is similar to $\triangle FMP$.
We have that:
:$BK : FM = KL : MN$
while:
:$BK = KT$
and
:$FM : PM$
We have that:
:$\angle TKL = \angle PMN$
as both are right angles.
So from :
:$\triangle LKT$ is similar to $\triangle NMP$.
We have that:
:$\triangle LKB$ is similar to $\triangle NMF$
and so:
:$LB : BK = NF : FM$
Also:
:$\triangle BKT$ is similar to $\triangle FMP$.
and so:
:$KB : BT = MF : FP$
So from :
:$LB : BT = NF : FP$
We also have that:
:$\triangle LTK$ is similar to $\triangle NPM$.
So:
:$LT : TK = NP : PM$
Also:
:$\triangle TKB$ is similar to $\triangle PMF$.
So:
:$KT : TB = MP : PF$
So from :
:$LT : TB = NP : PF$
But it has already been proved that:
:$TB : BL = PF : FN$
So from :
:$TL : LB = PN : NF$
Therefore in $\triangle LTB$ and $\triangle NPF$ the sides are proportional.
Therefore from :
:$\triangle LTB$ and $\triangle NPF$ are equiangular.
Therefore from :
:$\triangle LTB$ and $\triangle NPF$ are similar.
Therefore from :
:the pyramid $BKTL$ is similar to the pyramid $FMPN$.
But from :
:$BKTL : FMPN = BK^3 : FM^3$
In a similar manner, lines can be drawn:
:from $A, W, D, V, C, U$ to $K$
and:
:from $E, S, H, R, G, Q$ to $M$
and pyramids can be drawn with each of the triangles as bases which have the same apices as the cones.
Hence it can be proved that the ratio of each of the similarly arranged pyramids to each of the similarly arranged pyramids is a ratio triplicate of that which $BD$ has to $FH$.
From :
:$BKTL : FMPN = ATBUCVDWL : EPFQGRHSN$
Hence:
:$ATBUCVDWL : EPFQGRHSN = BD^3 : FH^3$
But :
:$\map c {ABCDL} : O = BD^3 : FH^3$
Therefore:
:$\map c {ABCDL} : O = ATBUCVDWL : EPFQGRHSN$
So from :
:$\map c {ABCDL} : ATBUCVDWL = O : EPFQGRHSN$
But:
:$\map c {ABCDL} > ATBUCVDWL$
Therefore:
:$O > EPFQGRHSN$
But it has already been shown that:
:$O < EPFQGRHSN$
Therefore it cannot be the case that:
:$\map c {ABCDL} : O = BD^3 : FH^3$
where $O < \map c {EFGHN}$.
In a similar way it can be proved that it cannot be the case that:
:$\map c {EFGHN} : O = BD^3 : FH^3$
where $O < \map c {ABCDL}$.
Next it is to be shown that it is not the case that:
:$\map c {ABCDL} : O = BD^3 : FH^3$
where $O > \map c {EFGHN}$.
Suppose it were possible that:
:$\map c {ABCDL} : O = BD^3 : FH^3$
where $O > \map c {EFGHN}$.
Therefore:
:$O : \map c {ABCDL} = FH^3 : BD^3$
But we have that:
:$O : \map c {ABCDL} = \map c {EFGHN} : X$
where $X$ is some solid figure such that $X < \map c {ABCDL}$.
Therefore:
:$\map c {EFGHN} : X = FH^3 : BD^3$
where $X < \map c {ABCDL}$.
But this has been demonstrated to be impossible.
Therefore it is not the case that:
:$\map c {ABCDL} : O = BD^3 : FH^3$
where $O > \map c {EFGHN}$.
But it has also been shown that:
:$\map c {ABCDL} : O = BD^3 : FH^3$
where $O < \map c {EFGHN}$.
Therefore:
:$\map c {ABCDL} : \map c {EFGHN} = BD^3 : FH^3$
From :
:the cylinder on $\map c {ABCD}$ is three times the cone on $\map c {ABCD}$
and:
:the cylinder on $\map c {EFGH}$ is three times the cone on $\map c {EFGH}$.
Therefore the ratio of the cylinder on $\map c {ABCD}$ to the cylinder on $\map c {EFGH}$ equals the ratio triplicate of $BD$ to $FH$.
== Sources ==
* : Book $\text{XII}$. Propositions
Category:Right Circular Cylinders
Category:Cones