Book II begins with the problem of finding a sphere equal in volume to a

given cone or cylinder; this requires the solution of the problem of the two mean proportionals, which is accordingly assumed. Prop. 2 deduces, by means of 1., 44, an expression for the volume of a segment of a sphere, and Props. 3, 4 solve the important problems of cutting a given sphere by a plane so that (a) the surfaces, (b) the volumes, of the segments may have to one another a given ratio. The solution of the second problem (Prop. 4) is difficult. Archimedes reduces it to the problem of dividing a straight line AB into two parts at a point M such that

MB : (a given length) = (a given area) : AM^2.

The solution of this problem with a determination of the limits of possibility are given in a fragment by Archimedes, discovered and preserved for us by Eutocius in his commentary on the book; they are effected by means of the points of intersection of two conics, a parabola and a rectangular hyperbola. Three problems of construction follow, the first two of which are to construct a segment of a sphere similar to one given segment, and having (a) its volume, (b) its surface, equal to that of another given segment of a sphere. The last two propositions are interesting. Prop. 8 proves that, if V, V' be the volumes, and S, S' the surfaces, of two segments into which a sphere is divided by a plane, V and S belonging to the greater segment, then

S^2 : S'^2 > V : V' > S^(3/2) : S'^(3/2).

Prop. 9 proves that, of all segments of spheres which have equal surfaces, the hemisphere is the greatest in volume.

_The Measurement of a Circle._

This treatise, in the form in which it has come down to us, contains only three propositions; the second, being an easy deduction from Props. 1 and 3, is out of place in so far as it uses the result of Prop. 3.

In Prop. 1 Archimedes inscribes and circumscribes to a circle a series of successive regular polygons, beginning with a square, and continually doubling the number of sides; he then proves in the orthodox manner by the method of exhaustion that the area of the circle is equal to that of a right-angled triangle, in which the perpendicular is equal to the radius, and the base equal to the circumference, of the circle. Prop. 3 is the famous proposition in which Archimedes finds by sheer calculation upper and lower arithmetical limits to the ratio of the circumference of a circle to its diameter, or what we call [pi]; the result obtained is 3-1/7> [pi] > 3-10/71. Archimedes inscribes and circumscribes successive regular polygons, beginning with hexagons, and doubling the number of sides continually, until he arrives at inscribed and circumscribed regular polygons with 96 sides; seeing then that the length of the circumference of the circle is intermediate between the perimeters of the two polygons, he calculates the two perimeters in terms of the diameter of the circle. His calculation is based on two close approximations (an upper and a lower) to the value of [root]3, that being the cotangent of the angle of 30 deg., from which he begins to work. He assumes as known that 265/153 < [root]3 < 1351/780. In the text, as we have it, only the results of the steps in the calculation are given, but they involve the finding of approximations to the square roots of several large numbers: thus 1172-1/8 is given as the approximate value of [root](1373943-33/64), 3013-3/4 as that of [root](9082321) and 1838-9/11 as that of [root](3380929). In this way Archimedes arrives at 14688/(4673-1/2) as the ratio of the perimeter of the circumscribed polygon of 96 sides to the diameter of the circle; this is the figure which he rounds up into 3-1/7. The corresponding figure for the inscribed polygon is 6336/(2017-1/4), which, he says, is > 3-10/71. This example shows how little the Greeks were embarrassed in arithmetical calculations by their alphabetical system of numerals.

_On Conoids and Spheroids._

The preface addressed to Dositheus shows, as we may also infer from internal evidence, that the whole of this book also was original. Archimedes first explains what his conoids and spheroids are, and then, after each description, states the main results which it is the aim of the treatise to prove. The conoids are two. The first is the _right-angled conoid_, a name adapted from the old name ("section of a right-angled cone") for a parabola; this conoid is therefore a paraboloid of revolution. The second is the _obtuse-angled conoid_, which is a hyperboloid of revolution described by the revolution of a hyperbola (a "section of an obtuse-angled cone") about its transverse axis. The spheroids are two, being the solids of revolution described by the revolution of an ellipse (a "section of an acute-angled cone") about (1) its major axis and (2) its minor axis; the first is called the "oblong" (or oblate) spheroid, the second the "flat" (or prolate) spheroid. As the volumes of oblique segments of conoids and spheroids are afterwards found in terms of the volume of the conical figure with the base of the segment as base and the vertex of the segment as vertex, and as the said base is thus an elliptic section of an oblique circular cone, Archimedes calls the conical figure with an elliptic base a "segment of a cone" as distinct from a "cone".

As usual, a series of preliminary propositions is required. Archimedes first sums, in geometrical form, certain series, including the arithmetical progression, a, 2a, 3a, ... na, and the series formed by the squares of these terms (in other words the series 1^2, 2^2, 3^2, ... n^2); these summations are required for the final addition of an indefinite number of elements of each figure, which amounts to an _integration_. Next come two properties of conics (Prop. 3), then the determination by the method of exhaustion of the area of an ellipse (Prop. 4). Three propositions follow, the first two of which (Props. 7, 8) show that the conical figure above referred to is really a segment of an oblique _circular_ cone; this is done by actually finding the circular sections. Prop. 9 gives a similar proof that each elliptic section of a conoid or spheroid is a section of a certain oblique _circular_ cylinder (with axis parallel to the axis of the segment of the conoid or spheroid cut off by the said elliptic section). Props. 11-18 show the nature of the various sections which cut off segments of each conoid and spheroid and which are circles or ellipses according as the section is perpendicular or obliquely inclined to the axis of the solid; they include also certain properties of tangent planes, etc.

The real business of the treatise begins with Props. 19, 20; here it is shown how, by drawing many plane sections equidistant from one another and all parallel to the base of the segment of the solid, and describing cylinders (in general oblique) through each plane section with generators parallel to the axis of the segment and terminated by the contiguous sections on either side, we can make figures circumscribed and inscribed to the segment, made up of segments of cylinders with parallel faces and presenting the appearance of the steps of a staircase. Adding the elements of the inscribed and circumscribed figures respectively and using the method of exhaustion, Archimedes finds the volumes of the respective segments of the solids in the approved manner (Props. 21, 22 for the paraboloid, Props. 25, 26 for the hyperboloid, and Props. 27-30 for the spheroids). The results are stated in this form: (1) Any segment of a paraboloid of revolution is half as large again as the cone or segment of a cone which has the same base and axis; (2) Any segment of a hyperboloid of revolution or of a spheroid is to the cone or segment of a cone with the same base and axis in the ratio of AD + 3CA to AD + 2CA in the case of the hyperboloid, and of 3CA - AD to 2CA - AD in the case of the spheroid, where C is the centre, A the vertex of the segment, and AD the axis of the segment (supposed in the case of the spheroid to be not greater than half the spheroid).

_On Spirals._

The preface addressed to Dositheus is of some length and contains, first, a tribute to the memory of Conon, and next a summary of the theorems about the sphere and the conoids and spheroids included in the above two treatises. Archimedes then passes to the spiral which, he says, presents another sort of problem, having nothing in common with the foregoing. After a definition of the spiral he enunciates the main propositions about it which are to be proved in the treatise. The spiral (now known as the Spiral of Archimedes) is defined as the locus of a point starting from a given point (called the "origin") on a given straight line and moving along the straight line at uniform speed, while the line itself revolves at uniform speed about the origin as a fixed point. Props. 1-11 are preliminary, the last two amounting to the summation of certain series required for the final addition of an indefinite number of element-areas, which again amounts to integration, in order to find the area of the figure cut off between any portion of the curve and the two radii vectores drawn to its extremities. Props. 13-20 are interesting and difficult propositions establishing the properties of tangents to the spiral. Props. 21-23 show how to inscribe and circumscribe to any portion of the spiral figures consisting of a multitude of elements which are narrow sectors of circles with the origin as centre; the area of the spiral is intermediate between the areas of the inscribed and circumscribed figures, and by the usual method of exhaustion Archimedes finds the areas required. Prop. 24 gives the area of the first complete turn of the spiral (= 1/3[pi](2[pi]a)^2, where the spiral is r = a[theta]), and of any portion of it up to OP where P is any point on the first turn. Props. 25, 26 deal similarly with the second turn of the spiral and with the area subtended by any arc (not being greater than a complete turn) on any turn. Prop. 27 proves the interesting property that, if R1 be the area of the first turn of the spiral bounded by the initial line, R2 the area of the ring added by the second complete turn, R3 the area of the ring added by the third turn, and so on, then R3 = 2R2, R4 = 3R2, R5 = 4R2, and so on to R_n = (n - 1)R2, while R2, = 6R1.

_Quadrature of the Parabola._

The title of this work seems originally to have been _On the Section of a Right-angled Cone_ and to have been changed after the time of Apollonius, who was the first to call a parabola by that name. The preface addressed to Dositheus was evidently the first communication from Archimedes to him after the death of Conon. It begins with a feeling allusion to his lost friend, to whom the treatise was originally to have been sent. It is in this preface that Archimedes alludes to the lemma used by earlier geometers as the basis of the method of exhaustion (the Postulate of Archimedes, or the theorem of Euclid X., 1). He mentions as having been proved by means of it (1) the theorems that the areas of circles are to one another in the duplicate ratio of their diameters, and that the volumes of spheres are in the triplicate ratio of their diameters, and (2) the propositions proved by Eudoxus about the volumes of a cone and a pyramid. No one, he says, so far as he is aware, has yet tried to square the segment bounded by a straight line and a section of a right-angled cone (a parabola); but he has succeeded in proving, by means of the same lemma, that the parabolic segment is equal to four-thirds of the triangle on the same base and of equal height, and he sends the proofs, first as "investigated" by means of mechanics and secondly as "demonstrated" by geometry. The phraseology shows that here, as in the _Method_, Archimedes regarded the mechanical investigation as furnishing evidence rather than proof of the truth of the proposition, pure geometry alone furnishing the absolute proof required.

The mechanical proof with the necessary preliminary propositions about the parabola (some of which are merely quoted, while two, evidently original, are proved, Props. 4, 5) extends down to Prop. 17; the geometrical proof with other auxiliary propositions completes the book (Props. 18-24). The mechanical proof recalls that of the _Method_ in some respects, but is more elaborate in that the elements of the area of the parabola to be measured are not straight lines but narrow strips. The figures inscribed and circumscribed to the segment are made up of such narrow strips and have a saw-like edge; all the elements are trapezia except two, which are triangles, one in each figure. Each trapezium (or triangle) is weighed where it is against another area hung at a fixed point of an assumed lever; thus the whole of the inscribed and circumscribed figures respectively are weighed against the sum of an indefinite number of areas all suspended from one point on the lever. The result is obtained by a real _integration_, confirmed as usual by a proof by the method of exhaustion.

The geometrical proof proceeds thus. Drawing in the segment the inscribed triangle with the same base and height as the segment, Archimedes next inscribes triangles in precisely the same way in each of the segments left over, and proves that the sum of the two new triangles is 1/4 of the original inscribed triangle. Again, drawing triangles inscribed in the same way in the four segments left over, he proves that their sum is 1/4 of the sum of the preceding pair of triangles and therefore (1/4)^2 of the original inscribed triangle. Proceeding thus, we have a series of areas exhausting the parabolic segment. Their sum, if we denote the first inscribed triangle by [Delta], is

[Delta]{1 + 1/4 + (1/4)^2 + (1/4)^3 + . . . .}

Archimedes proves geometrically in Prop. 23 that the sum of this infinite series is 4/3[Delta], and then confirms by _reductio ad absurdum_ the equality of the area of the parabolic segment to this area.