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 circ.u.mscribed 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 circ.u.mscribed 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 pa.s.ses 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 circ.u.mscribe to any portion of the spiral figures consisting of a mult.i.tude 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 circ.u.mscribed 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), 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 t.i.tle 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 circ.u.mscribed 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 a.s.sumed lever; thus the whole of the inscribed and circ.u.mscribed 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 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 of the sum of the preceding pair of triangles and therefore () 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 + + () + () + . . . .}
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.
CHAPTER V.
THE SANDRECKONER.
The _Sandreckoner_ deserves a place by itself. It is not mathematically very important; but it is an arithmetical curiosity which ill.u.s.trates the versatility and genius of Archimedes, and it contains some precious details of the history of Greek astronomy which, coming from such a source and at first hand, possess unique authority. We will begin with the astronomical data. They are contained in the preface addressed to King Gelon of Syracuse, which begins as follows:--
"There are some, King Gelon, who think that the number of the sand is infinite in mult.i.tude; and I mean by the sand not only that which exists about Syracuse and the rest of Sicily but also that which is found in every region whether inhabited or uninhabited. Again, there are some who, without regarding it as infinite, yet think that no number has been named which is great enough to exceed its mult.i.tude. And it is clear that they who hold this view, if they imagined a ma.s.s made up of sand in other respects as large as the ma.s.s of the earth, including in it all the seas and the hollows of the earth filled up to a height equal to that of the highest of the mountains, would be many times further still from recognising that any number could be expressed which exceeded the mult.i.tude of the sand so taken. But I will try to show you, by means of geometrical proofs which you will be able to follow, that, of the numbers named by me and given in the work which I sent to Zeuxippus, some exceed not only the number of the ma.s.s of sand equal in size to the earth filled up in the way described, but also that of a ma.s.s equal in size to the universe.
"Now you are aware that "universe" is the name given by most astronomers to the sphere the centre of which is the centre of the earth, while the radius is equal to the straight line between the centre of the sun and the centre of the earth. This is the common account, as you have heard from astronomers. But Aristarchus of Samos brought out a book consisting of some hypotheses, in which the premises lead to the conclusion that the universe is many times greater than that now so called. His hypotheses are that the fixed stars and the sun remain unmoved, that the earth revolves about the sun in the circ.u.mference of a circle, the sun lying in the centre of the orbit, and that the sphere of the fixed stars, situated about the same centre as the sun, is so great that the circle in which he supposes the earth to revolve bears such a ratio to the distance of the fixed stars as the centre of the sphere bears to its surface."
Here then is absolute and practically contemporary evidence that the Greeks, in the person of Aristarchus of Samos (about 310-230 B.C.), had antic.i.p.ated Copernicus.
By the last words quoted Aristarchus only meant to say that the size of the earth is negligible in comparison with the immensity of the universe. This, however, does not suit Archimedes"s purpose, because he has to a.s.sume a definite size, however large, for the universe.
Consequently he takes a liberty with Aristarchus. He says that the centre (a mathematical point) can have no ratio whatever to the surface of the sphere, and that we must therefore take Aristarchus to mean that the size of the earth is to that of the so-called "universe" as the size of the so-called "universe" is to that of the real universe in the new sense.
Next, he has to a.s.sume certain dimensions for the earth, the moon and the sun, and to estimate the angle subtended at the centre of the earth by the sun"s diameter; and in each case he has to exaggerate the probable figures so as to be on the safe side. While therefore (he says) some have tried to prove that the perimeter of the earth is 300,000 stadia (Eratosthenes, his contemporary, made it 252,000 stadia, say 24,662 miles, giving a diameter of about 7,850 miles), he will a.s.sume it to be ten times as great or 3,000,000 stadia. The diameter of the earth, he continues, is greater than that of the moon and that of the sun is greater than that of the earth. Of the diameter of the sun he observes that Eudoxus had declared it to be nine times that of the moon, and his own father, Phidias, had made it twelve times, while Aristarchus had tried to prove that the diameter of the sun is greater than eighteen times but less than twenty times the diameter of the moon (this was in the treatise of Aristarchus _On the Sizes and Distances of the Sun and Moon_, which is still extant, and is an admirable piece of geometry, proving rigorously, on the basis of certain a.s.sumptions, the result stated). Archimedes again intends to be on the safe side, so he takes the diameter of the sun to be thirty times that of the moon and not greater. Lastly, he says that Aristarchus discovered that the diameter of the sun appeared to be about 1/720th part of the zodiac circle, i.e.
to subtend an angle of about half a degree; and he describes a simple instrument by which he himself found that the angle subtended by the diameter of the sun at the time when it had just risen was less than 1/164th part and greater than 1/200th part of a right angle. Taking this as the size of the angle subtended at the eye of the observer on the surface of the earth, he works out, by an interesting geometrical proposition, the size of the angle subtended at the centre of the earth, which he finds to be > 1/203rd part of a right angle. Consequently the diameter of the sun is greater than the side of a regular polygon of 812 sides inscribed in a great circle of the so-called "universe," and _a fortiori_ greater than the side of a regular _chiliagon_ (polygon of 1000 sides) inscribed in that circle.
On these a.s.sumptions, and seeing that the perimeter of a regular chiliagon (as of any other regular polygon of more than six sides) inscribed in a circle is more than 3 times the length of the diameter of the circle, it easily follows that, while the diameter of the earth is less than 1,000,000 stadia, the diameter of the so-called "universe" is less than 10,000 times the diameter of the earth, and therefore less than 10,000,000,000 stadia.
Lastly, Archimedes a.s.sumes that a quant.i.ty of sand not greater than a poppy-seed contains not more than 10,000 grains, and that the diameter of a poppy-seed is not less than 1/40th of a _dactylus_ (while a stadium is less than 10,000 _dactyli_).
Archimedes is now ready to work out his calculation, but for the inadequacy of the alphabetic system of numerals to express such large numbers as are required. He, therefore, develops his remarkable terminology for expressing large numbers.
The Greek has names for all numbers up to a myriad (10,000); there was, therefore, no difficulty in expressing with the ordinary numerals all numbers up to a myriad myriads (100,000,000). Let us, says Archimedes, call all these numbers numbers of the _first order_. Let the _second order_ of numbers begin with 100,000,000, and end with 100,000,000. Let 100,000,000 be the first number of the _third order_, and let this extend to 100,000,000; and so on, to the _myriad-myriadth_ order, beginning with 100,000,000^(99,999,999) and ending with 100,000,000^(100,000,000), which for brevity we will call P. Let all the numbers of all the orders up to P form the _first period_, and let the _first order_ of the _second period_ begin with P and end with 100,000,000 P; let the _second order_ begin with this, the _third order_ with 100,000,000 P, and so on up to the _100,000,000th order_ of the _second period_, ending with 1,000,000,000^(100,000,000) P or P. The _first order_ of the _third period_ begins with P, and the _orders_ proceed as before. Continuing the series of _periods_ and _orders_ of each _period_, we finally arrive at the _100,000,000th period_ ending with P^(100,000,000). The prodigious extent of this scheme is seen when it is considered that the last number of the first period would now be represented by 1 followed by 800,000,000 ciphers, while the last number of the 100,000,000th period would require 100,000,000 times as many ciphers, i.e. 80,000 million million ciphers.
As a matter of fact, Archimedes does not need, in order to express the "number of the sand," to go beyond the _eighth order_ of the _first period_. The orders of the _first period_ begin respectively with 1, 10^8, 10^16, 10^24, ... (10^8)^(99,999,999); and we can express all the numbers required in powers of 10.
Since the diameter of a poppy-seed is not less than 1/40th of a dactylus, and spheres are to one another in the triplicate ratio of their diameters, a sphere of diameter 1 _dactylus_ is not greater than 64,000 poppy-seeds, and, therefore, contains not more than 64,000 10,000 grains of sand, and _a fortiori_ not more than 1,000,000,000, or 10^9 grains of sand. Archimedes multiplies the diameter of the sphere continually by 100, and states the corresponding number of grains of sand. A sphere of diameter 10,000 _dactyli_ and _a fortiori_ of one stadium contains less than 10^21 grains; and proceeding in this way to spheres of diameter 100 stadia, 10,000 stadia and so on, he arrives at the number of grains of sand in a sphere of diameter 10,000,000,000 stadia, which is the size of the so-called universe; the corresponding number of grains of sand is 10^51. The diameter of the real universe being 10,000 times that of the so-called universe, the final number of grains of sand in the real universe is found to be 10^63, which in Archimedes"s terminology is a myriad-myriad units of the _eighth order_ of numbers.
CHAPTER VI.
MECHANICS.
It is said that Archytas was the first to treat mechanics in a systematic way by the aid of mathematical principles; but no trace survives of any such work by him. In practical mechanics he is said to have constructed a mechanical dove which would fly, and also a rattle to amuse children and "keep them from breaking things about the house" (so says Aristotle, adding "for it is impossible for children to keep still").
In the Aristotelian _Mechanica_ we find a remark on the marvel of a great weight being moved by a small force, and the problems discussed bring in the lever in various forms as a means of doing this. We are told also that practically all movements in mechanics reduce to the lever and the principle of the lever (that the weight and the force are in inverse proportion to the distances from the point of suspension or fulcrum of the points at which they act, it being a.s.sumed that they act in directions perpendicular to the lever). But the lever is merely "referred to the circle"; the force which acts at the greater distance from the fulcrum is said to move a weight more easily because it describes a greater circle.
There is, therefore, no proof here. It was reserved for Archimedes to prove the property of the lever or balance mathematically, on the basis of certain postulates precisely formulated and making no large demand on the faith of the learner. The treatise _On Plane Equilibriums_ in two books is, as the t.i.tle implies, a work on statics only; and, after the principle of the lever or balance has been established in Props. 6, 7 of Book I., the rest of the treatise is devoted to finding the centre of gravity of certain figures. There is no dynamics in the work and therefore no room for the parallelogram of velocities, which is given with a fairly adequate proof in the Aristotelian _Mechanica_.
Archimedes"s postulates include a.s.sumptions to the following effect: (1) Equal weights at equal distances are in equilibrium, and equal weights at unequal distances are not in equilibrium, but the system in that case "inclines towards the weight which is at the greater distance," in other words, the action of the weight which is at the greater distance produces motion in the direction in which it acts; (2) and (3) If when weights are in equilibrium something is added to or subtracted from one of the weights, the system will "incline" towards the weight which is added to or the weight from which nothing is taken respectively; (4) and (5) If equal and similar figures be applied to one another so as to coincide throughout, their centres of gravity also coincide; if figures be unequal but similar, their centres of gravity are similarly situated with regard to the figures.
The main proposition, that two magnitudes balance at distances reciprocally proportional to the magnitudes, is proved first for commensurable and then for incommensurable magnitudes. Preliminary propositions have dealt with equal magnitudes disposed at equal distances on a straight line and odd or even in number, and have shown where the centre of gravity of the whole system lies. Take first the case of commensurable magnitudes. If A, B be the weights acting at E, D on the straight line ED respectively, and ED be divided at C so that A : B = DC : CE, Archimedes has to prove that the system is in equilibrium about C. He produces ED to K, so that DK = EC, and DE to L so that EL = CD; LK is then a straight line bisected at C. Again, let H be taken on LK such that LH = 2LE or 2CD, and it follows that the remainder HK = 2DK or 2EC. Since A, B are commensurable, so are EC, CD. Let x be a common measure of EC, CD. Take a weight w such that w is the same part of A that x is of LH. It follows that w is the same part of B that x is of HK. Archimedes now divides LH, HK into parts equal to x, and A B into parts equal to w, and places the w"s at the middle points of the x"s respectively. All the w"s are then in equilibrium about C. But all the w"s acting at the several points along LH are equivalent to A acting as a whole at the point E. Similarly the w"s acting at the several points on HK are equivalent to B acting at D. Therefore A, B placed at E, D respectively balance about C.
Prop. 7 deduces by _reductio ad absurdum_ the same result in the case where A, B are incommensurable. Prop. 8 shows how to find the centre of gravity of the remainder of a magnitude when the centre of gravity of the whole and of a part respectively are known. Props. 9-15 find the centres of gravity of a parallelogram, a triangle and a parallel-trapezium respectively.
Book II., in ten propositions, is entirely devoted to finding the centre of gravity of a parabolic segment, an elegant but difficult piece of geometrical work which is as usual confirmed by the method of exhaustion.
CHAPTER VII.
HYDROSTATICS.
The science of hydrostatics is, even more than that of statics, the original creation of Archimedes. In hydrostatics he seems to have had no predecessors. Only one of the facts proved in his work _On Floating Bodies_, in two books, is given with a sort of proof in Aristotle. This is the proposition that the surface of a fluid at rest is that of a sphere with its centre at the centre of the earth.
Archimedes founds his whole theory on two postulates, one of which comes at the beginning and the other after Prop. 7 of Book I. Postulate 1 is as follows:--
"Let us a.s.sume that a fluid has the property that, if its parts lie evenly and are continuous, the part which is less compressed is expelled by that which is more compressed, and each of its parts is compressed by the fluid above it perpendicularly, unless the fluid is shut up in something and compressed by something else."
Postulate 2 is: "Let us a.s.sume that any body which is borne upwards in water is carried along the perpendicular [to the surface] which pa.s.ses through the centre of gravity of the body".
In Prop. 2 Archimedes proves that the surface of any fluid at rest is the surface of a sphere the centre of which is the centre of the earth.
Props. 3-7 deal with the behaviour, when placed in fluids, of solids (1) just as heavy as the fluid, (2) lighter than the fluid, (3) heavier than the fluid. It is proved (Props. 5, 6) that, if the solid is lighter than the fluid, it will not be completely immersed but only so far that the weight of the solid will be equal to that of the fluid displaced, and, if it be forcibly immersed, the solid will be driven upwards by a force equal to the difference between the weight of the solid and that of the fluid displaced. If the solid is heavier than the fluid, it will, if placed in the fluid, descend to the bottom and, if weighed in the fluid, the solid will be lighter than its true weight by the weight of the fluid displaced (Prop. 7).
The last-mentioned theorem naturally connects itself with the story of the crown made for Hieron. It was suspected that this was not wholly of gold but contained an admixture of silver, and Hieron put to Archimedes the problem of determining the proportions in which the metals were mixed. It was the discovery of the solution of this problem when in the bath that made Archimedes run home naked, shouting [Greek: eureka, eureka]. One account of the solution makes Archimedes use the proposition last quoted; but on the whole it seems more likely that the actual discovery was made by a more elementary method described by Vitruvius. Observing, as he is said to have done, that, if he stepped into the bath when it was full, a volume of water was spilt equal to the volume of his body, he thought of applying the same idea to the case of the crown and measuring the volumes of water displaced respectively (1) by the crown itself, (2) by the same weight of pure gold, and (3) by the same weight of pure silver. This gives an easy means of solution.
Suppose that the weight of the crown is W, and that it contains weights w1 and w2, of gold and silver respectively. Now experiment shows (1) that the crown itself displaces a certain volume of water, V say, (2) that a weight W of gold displaces a certain other volume of water, V1 say, and (3) that a weight W of silver displaces a volume V2.