CHAPTER IV.

GEOMETRY IN ARCHIMEDES.

The famous French geometer, Chasles, drew an instructive distinction between the predominant features of the geometry of the two great successors of Euclid, namely, Archimedes and Apollonius of Perga (the "great geometer," and author of the classical treatise on Conics). The works of these two men may, says Chasles, be regarded as the origin and basis of two great inquiries which seem to share between them the domain of geometry. Apollonius is concerned with the _Geometry of Forms and Situations_, while in Archimedes we find the _Geometry of Measurements_, dealing with the quadrature of curvilinear plane figures and with the quadrature and cubature of curved surfaces, investigations which gave birth to the calculus of the infinite conceived and brought to perfection by Kepler, Cavalieri, Fermat, Leibniz and Newton.

In geometry Archimedes stands, as it were, on the shoulders of Eudoxus in that he applied the method of exhaustion to new and more difficult cases of quadrature and cubature. Further, in his use of the method he introduced an interesting variation of the procedure as we know it from Euclid. Euclid (and presumably Eudoxus also) only used _inscribed_ figures, "exhausting" the figure to be measured, and had to invert the second half of the _reductio ad absurdum_ to enable approximation from below (so to speak) to be applied in that case also. Archimedes, on the other hand, approximates from above as well as from below; he approaches the area or volume to be measured by taking closer and closer _circumscribed_ figures, as well as inscribed, and thereby _compressing_, as it were, the inscribed and circumscribed figure into one, so that they ultimately coincide with one another and with the figure to be measured. But he follows the cautious method to which the Greeks always adhered; he never says that a given curve or surface is the _limiting form_ of the inscribed or circumscribed figure; all that he asserts is that we can approach the curve or surface _as nearly as we please_.

The deductive form of proof by the method of exhaustion is apt to obscure not only the way in which the results were arrived at but also the real character of the procedure followed. What Archimedes actually does in certain cases is to perform what are seen, when the analytical equivalents are set down, to be real _integrations_; this remark applies to his investigation of the areas of a parabolic segment and a spiral respectively, the surface and volume respectively of a sphere and a segment of a sphere, and the volume of any segments of the solids of revolution of the second degree. The result is, as a rule, only obtained after a long series of preliminary propositions, all of which are links in a chain of argument elaborately forged for the one purpose. The method suggests the tactics of some master of strategy who foresees everything, eliminates everything not immediately conducive to the execution of his plan, masters every position in its order, and then suddenly (when the very elaboration of the scheme has almost obscured, in the mind of the onlooker, its ultimate object) strikes the final blow. Thus we read in Archimedes proposition after proposition the bearing of which is not immediately obvious but which we find infallibly used later on; and we are led on by such easy stages that the difficulty of the original problem, as presented at the outset, is scarcely appreciated. As Plutarch says, "It is not possible to find in geometry more difficult and troublesome questions, or more simple and lucid explanations". But it is decidedly a rhetorical exaggeration when Plutarch goes on to say that we are deceived by the easiness of the successive steps into the belief that any one could have discovered them for himself. On the contrary, the studied simplicity and the perfect finish of the treatises involve at the same time an element of mystery. Although each step depends upon the preceding ones, we are left in the dark as to how they were suggested to Archimedes. There is, in fact, much truth in a remark of Wallis to the effect that he seems "as it were of set purpose to have covered up the traces of his investigation as if he had grudged posterity the secret of his method of inquiry while he wished to extort from them assent to his results".

A partial exception is now furnished by the _Method_; for here we have (as it were) a lifting of the veil and a glimpse of the interior of Archimedes's workshop. He tells us how he discovered certain theorems in quadrature and cubature, and he is at the same time careful to insist on the difference between (1) the means which may serve to suggest the truth of theorems, although not furnishing scientific proofs of them, and (2) the rigorous demonstrations of them by approved geometrical methods which must follow before they can be finally accepted as established.

Writing to Eratosthenes he says: "Seeing in you, as I say, an earnest student, a man of considerable eminence in philosophy and an admirer of mathematical inquiry when it comes your way, I have thought fit to write out for you and explain in detail in the same book the peculiarity of a certain method, which, when you see it, will put you in possession of a means whereby you can investigate some of the problems of mathematics by mechanics. This procedure is, I am persuaded, no less useful for the proofs of the actual theorems as well. For certain things which first became clear to me by a mechanical method had afterwards to be demonstrated by geometry, because their investigation by the said method did not furnish an actual demonstration. But it is of course easier, when we have previously acquired by the method some knowledge of the questions, to supply the proof than it is to find the proof without any previous knowledge. This is a reason why, in the case of the theorems the proof of which Eudoxus was the first to discover, namely, that the cone is a third part of the cylinder, and the pyramid a third part of the prism, having the same base and equal height, we should give no small share of the credit to Democritus, who was the first to assert this truth with regard to the said figures, though he did not prove it. I am myself in the position of having made the discovery of the theorem now to be published in the same way as I made my earlier discoveries; and I thought it desirable now to write out and publish the method, partly because I have already spoken of it and I do not want to be thought to have uttered vain words, but partly also because I am persuaded that it will be of no little service to mathematics; for I apprehend that some, either of my contemporaries or of my successors, will, by means of the method when once established, be able to discover other theorems in addition, which have not occurred to me.

"First then I will set out the very first theorem which became known to me by means of mechanics, namely, that _Any segment of a section of a right-angled cone_ [_i.e. a parabola_] _is four-thirds of the triangle which has the same base and equal height_; and after this I will give each of the other theorems investigated by the same method. Then, at the end of the book, I will give the geometrical proofs of the propositions."

The following description will, I hope, give an idea of the general features of the mechanical method employed by Archimedes. Suppose that X is the plane or solid figure the area or content of which is to be found. The method in the simplest case is to weigh infinitesimal elements of X against the corresponding elements of another figure, B say, being such a figure that its area or content and the position of its centre of gravity are already known. The diameter or axis of the figure X being drawn, the infinitesimal elements taken are parallel sections of X in general, but not always, at right angles to the axis or diameter, so that the centres of gravity of all the sections lie at one point or other of the axis or diameter and their weights can therefore be taken as acting at the several points of the diameter or axis. In the case of a plane figure the infinitesimal sections are spoken of as parallel _straight lines_ and in the case of a solid figure as parallel _planes_, and the aggregate of the infinite number of sections is said to _make up_ the whole figure X. (Although the sections are so spoken of as straight lines or planes, they are really indefinitely narrow plane strips or indefinitely thin laminae respectively.) The diameter or axis is produced in the direction away from the figure to be measured, and the diameter or axis as produced is imagined to be the bar or lever of a balance. The object is now to apply all the separate elements of X at _one point_ on the lever, while the corresponding elements of the known figure B operate at different points, namely, _where they actually are_ in the first instance. Archimedes contrives, therefore, to move the elements of X away from their original position and to concentrate them at one point on the lever, such that each of the elements balances, about the point of suspension of the lever, the corresponding element of B acting at its centre of gravity. The elements of X and B respectively balance about the point of suspension in accordance with the property of the lever that the weights are inversely proportional to the distances from the fulcrum or point of suspension. Now the centre of gravity of B as a whole is known, and it may then be supposed to act as one mass at its centre of gravity. (Archimedes assumes as known that the sum of the "moments," as we call them, of all the elements of the figure B, acting severally at the points where they actually are, is equal to the moment of the whole figure applied as one mass at one point, its centre of gravity.) Moreover all the elements of X are concentrated at the one fixed point on the bar or lever. If this fixed point is H, and G is the centre of gravity of the figure B, while C is the point of suspension,

X : B = CG : CH.

Thus the area or content of X is found.

Conversely, the method can be used to find the centre of gravity of X when its area or volume is known beforehand. In this case the elements of X, and X itself, have to be applied where they are, and the elements of the known figure or figures have to be applied at the one fixed point H on the other side of C, and since X, B and CH are known, the proportion

B : X = CG : CH

determines CG, where G is the centre of gravity of X.

The mechanical method is used for finding (1) the area of any parabolic segment, (2) the volume of a sphere and a spheroid, (3) the volume of a segment of a sphere and the volume of a right segment of each of the three conicoids of revolution, (4) the centre of gravity (a) of a hemisphere, (b) of any segment of a sphere, (c) of any right segment of a spheroid and a paraboloid of revolution, and (d) of a half-cylinder, or, in other words, of a semicircle.

Archimedes then proceeds to find the volumes of two solid figures, which are the special subject of the treatise. The solids arise as follows:--

(1) Given a cylinder inscribed in a rectangular parallelepiped on a square base in such a way that the two bases of the cylinder are circles inscribed in the opposite square faces, suppose a plane drawn through one side of the square containing one base of the cylinder and through the parallel diameter of the opposite base of the cylinder. The plane cuts off a solid with a surface resembling that of a horse's hoof. Archimedes proves that the volume of the solid so cut off is one sixth part of the volume of the parallelepiped.

(2) A cylinder is inscribed in a cube in such a way that the bases of the cylinder are circles inscribed in two opposite square faces. Another cylinder is inscribed which is similarly related to another pair of opposite faces. The two cylinders include between them a solid with all its angles rounded off; and Archimedes proves that the volume of this solid is two-thirds of that of the cube.

Having proved these facts by the mechanical method, Archimedes concluded the treatise with a rigorous geometrical proof of both propositions by the method of exhaustion. The MS. is unfortunately somewhat mutilated at the end, so that a certain amount of restoration is necessary.

I shall now attempt to give a short account of the other treatises of Archimedes in the order in which they appear in the editions. The first is--

_On the Sphere and Cylinder._