and height, and adds that he is now sending the proofs of certain theorems which he has since discovered, and which seem to him to be worthy of comparison with Eudoxus’s propositions about the volumes of a pyramid and a cone. The theorems are (1) that the surface of a sphere is equal to four times its greatest circle (i.e. what we call a “great circle” of the sphere); (2) that the surface of any segment of a sphere is equal to a circle with radius equal to the straight line drawn from the vertex of the segment to a point on the circle which is the base of the segment; (3) that, if we have a cylinder circumscribed to a sphere and with height equal to the diameter, then (a) the volume of the cylinder is 1½ times that of the sphere and (b) the surface of the cylinder, including its bases, is 1½ times the surface of the sphere.
Next come a few definitions, followed by certain Assumptions, two of which are well known, namely:—
- Of all lines which have the same extremities the straight line is the least (this has been made the basis of an alternative definition of a straight line).
- Of unequal lines, unequal surfaces and unequal solids the greater exceeds the less by such a magnitude as, when (continually) added to itself, can be made to exceed any assigned magnitude among those which are comparable [with it and] with one another (i.e. are of the same kind). This is the Postulate of Archimedes.
He also assumes that, of pairs of lines (including broken lines) and pairs of surfaces, concave in the same direction and bounded by the same extremities, the outer is greater than the inner. These assumptions are fundamental to his investigation, which proceeds throughout by means of figures inscribed and circumscribed to the curved lines or surfaces that have to be measured.
After some preliminary propositions Archimedes finds (Props. 13, 14) the area of the surfaces (1) of a right cylinder, (2) of a right cone. Then,