Book 12
13
Thus, there being four magnitudes, the axes EK, KF and the cylinders BG, GD, there have been taken equimultiples of the axis EK and of the cylinder BG, namely the axis LK and the cylinder QG, and equimultiples of the axis KF and of the cylinder GD, namely the axis KM and the cylinder GW; and it has been proved that, if the axis KL is in excess of the axis KM, the cylinder QG is also in excess of the cylinder GW, if equal, equal, and if less, less.
13
Therefore, as the axis EK is to the axis KF, so is the cylinder BG to the cylinder GD. [V. Def. 5] Q. E. D.
PROPOSITION 14.
14
Cones and cylinders which are on equal bases are to one another as their heights.
14
For let EB, FD be cylinders on equal bases, the circles AB, CD; I say that, as the cylinder EB is to the cylinder FD, so is the axis GH to the axis KL.
14
For let the axis KL be produced to the point N, let LN be made equal to the axis GH, and let the cylinder CM be conceived about LN as axis.
14
Since then the cylinders EB, CM are of the same height, they are to one another as their bases. [XII. 11]
14
But the bases are equal to one another; therefore the cylinders EB, CM are also equal.
14
And, since the cylinder FM has been cut by the plane CD which is parallel to its opposite planes, therefore, as the cylinder CM is to the cylinder FD, so is the axis LN to the axis KL. [XII. 13]
14
But the cylinder CM is equal to the cylinder EB, and the axis LN to the axis GH; therefore, as the cylinder EB is to the cylinder FD, so is the axis GH to the axis KL.