Volume of Cone is Third of Cylinder on Same Base and of Same Height/Proof 1

== Theorem ==
== Proof ==
:
Let a cone and a cylinder have the same base $ABCD$.
Let them be of equal height.
Suppose the cylinder is not three times the volume of the cone.
Then the cylinder will either be greater than or less than three times the volume of the cone.
First suppose that the cylinder is greater than three times the volume of the cone.
From :
:let the square $ABCD$ be inscribed in the circle $ABCD$.
From Square Inscribed in Circle is greater than Half Area of Circle:
:the square $ABCD$ is greater than half the circle $ABCD$.
From the square $ABCD$, let a prism be set up whose height equals the height of the cylinder.
Again using the reasoning of:
:
in conjunction with 
:
this prism is greater than half the cylinder.
Let the arcs $AB, BC, CD, DA$ be bisected at $E, F, G, H$.
Let $AE, EB, BF, FC, CG, GD, DH, HA$ be joined.
From :
:each of $\triangle AEB, \triangle BFC, \triangle CGD, \triangle DHA$ is greater than half the segment of the circle $ABCD$ around it.
On each of $\triangle AEB, \triangle BFC, \triangle CGD, \triangle DHA$, let prisms be set up with the same height as the cylinder.
Again from the reasoning in :
:each of these prisms is greater than half the segment of the cylinder around it.
The operation:
: bisecting the arcs remaining, joining the points of bisection with straight lines and setting up prisms on the resulting triangles the same height as the cylinder
can be repeated indefinitely.
From :
: eventually we will leave some segments of the cylinder which will be less than the amount by which the cylinder is greater than triple the cone.
Let such segments be left, and let them be $AE, EB, BF, FC, CG, GD, DH, HA$.
The remainder, the prism whose base is the polygon $AEBFCGDH$ and whose height equals the height of the cylinder, is then greater than three times the cone.
But from :
:the prism whose base is the polygon $AEBFCGDH$ and whose height equals the height of the cylinder is three times the pyramid whose base is $AEBFCGDH$ and whose apex is the same as the apex of the cone.
Therefore the pyramid whose base is $AEBFCGDH$ and whose apex is the same as the apex of the cone is greater than the cone which has the circle $ABCD$ as base.
But it is also less, as it is enclosed by it.
From this impossibility it follows that the cylinder cannot be greater than three times the volume of the cone.
Now suppose that the cylinder is less than three times the volume of the cone.
That is, the cone is greater than a third part of the cylinder.
From :
:let the square $ABCD$ be inscribed in the circle $ABCD$.
From Square Inscribed in Circle is greater than Half Area of Circle:
:the square $ABCD$ is greater than half the circle $ABCD$.
From the square $ABCD$, let a pyramid be set up whose apex is the same as the apex of the cone.
Again using the reasoning of:
:
in conjunction with the reasoning of:
:
this pyramid is greater than half the cone.
Let the arcs $AB, BC, CD, DA$ be bisected at $E, F, G, H$.
Let $AE, EB, BF, FC, CG, GD, DH, HA$ be joined.
From :
:each of $\triangle AEB, \triangle BFC, \triangle CGD, \triangle DHA$ is greater than half the segment of the circle $ABCD$ around it.
On each of $\triangle AEB, \triangle BFC, \triangle CGD, \triangle DHA$, let pyramids be set up whose apex is the same as the apex of 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 whose apex is the same as the apex of 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 the cone is greater than one third the cylinder.
Let such segments be left, and let them be $AE, EB, BF, FC, CG, GD, DH, HA$.
The remainder, the pyramid whose base is the polygon $AEBFCGDH$ and whose apex is the same as the apex of the cone, is then greater than one third the cylinder.
But from :
:the pyramid whose base is the polygon $AEBFCGDH$ and whose apex is the same as the apex of the cone is one third the prism whose base is $AEBFCGDH$ and whose height equals the height of the cylinder.
Therefore the prism whose base is $AEBFCGDH$ and whose height equals the height of the cylinder is greater than the cylinder which has the circle $ABCD$ as base.
But it is also less, as it is enclosed by it.
From this impossibility it follows that the cylinder cannot be less than three times the volume of the cone.
The result follows.
== Historical Note ==
== Sources ==
* : Book $\text{XII}$. Propositions
* : Chapter $\text {A}.3$: Democritus (ca. B.C.)
* : Chapter $\text {A}.4$: Euclid (flourished ca. $300$ B.C.)
Category:Volume of Cone is Third of Cylinder on Same Base and of Same Height
Category:Euclid Book XII