Theorem: Volume of Cone

Let $K$ be a cone whose base is of area $A$ and whose height is $h$.
Then the volume of $K$ is given by:
:$V_K = \dfrac {A h} 3$

Proof:
:300px
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 {{EuclidPropLink|book = IV|prop = 6|title = Inscribing Square in Circle}}:
: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:
:{{EuclidPropLink|book = XII|prop = 2|title = Areas of Circles are as Squares on Diameters}}
in conjunction with 
:{{EuclidPropLink|book = XI|prop = 32|title = Parallelepipeds of Same Height have Volume Proportional to Bases}}
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 {{EuclidPropLink|book = XII|prop = 2|title = Areas of Circles are as Squares on Diameters}}:
: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 {{EuclidPropLink|book = XII|prop = 2|title = Areas of Circles are as Squares on Diameters}}:
: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 {{EuclidPropLink|book = X|prop = 1|title = Existence of Fraction of Number Smaller than Given}}:
: 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 {{EuclidPropLink|book = XII|prop = 7|qual=Porism|title = Prism on Triangular Base divided into Three Equal Tetrahedra}}:
: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 {{EuclidPropLink|book = IV|prop = 6|title = Inscribing Square in Circle}}:
: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:
:{{EuclidPropLink|book = XII|prop = 2|title = Areas of Circles are as Squares on Diameters}}
in conjunction with the reasoning of:
:{{EuclidPropLink|book = XI|prop = 32|title = Parallelepipeds of Same Height have Volume Proportional to Bases}}
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 {{EuclidPropLink|book = XII|prop = 2|title = Areas of Circles are as Squares on Diameters}}:
: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 {{EuclidPropLink|book = XII|prop = 2|title = 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 whose apex is the same as the apex of the cone
can be repeated indefinitely.
From {{EuclidPropLink|book = X|prop = 1|title = Existence of Fraction of Number Smaller than Given}}:
: 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 {{EuclidPropLink|book = XII|prop = 7|qual=Porism|title = Prism on Triangular Base divided into Three Equal Tetrahedra}}:
: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.
{{qed}}