Kitap 12
12
But, by hypothesis, the cone of which the circle ABCD is the base and the point L the vertex has also to the solid O the ratio triplicate of that which BD has to FH; therefore, as the cone of which the circle ABCD is the base and the point L the vertex is to the solid O, so is the pyramid of which the polygon ATBUCVDW is the base and L the vertex to the pyramid of which the polygon EPFQGRHS is the base and the point N the vertex; therefore, alternately, as the cone of which the circle ABCD is the base and L the vertex is to the pyramid contained in it of which the polygon ATBUCVDW is the base and L the vertex, so is the solid O to the pyramid of which the polygon EPFQGRHS is the base and N the vertex. [V. 16]
12
But the said cone is greater than the pyramid in it; for it encloses it.
12
Therefore the solid O is also greater than the pyramid of which the polygon EPFQGRHS is the base and N the vertex.
12
But it is also less: which is impossible.
12
Therefore the cone of which the circle ABCD is the base and L the vertex has not to any solid less than the cone of which the circle EFGH is the base and the point N the vertex the ratio triplicate of that which BD has to FH:
12
Similarly we can prove that neither has the cone EFGHN to any solid less than the cone ABCDL the ratio triplicate of that which FH has to BD.
12
I say next that neither has the cone ABCDL to any solid greater than the cone EFGHN the ratio triplicate of that which BD has to FH.