Speaking generally, we may say that the Pythagorean geometry covered the bulk of the subject-matter of Books I., II., IV., and VI. of Euclid (with the qualification, as regards Book VI., that the Pythagorean theory of proportion applied only to commensurable magnitudes). Our information about the origin of the propositions of Euclid, Book III., is not so complete; but it is certain that the most important of them were well known to Hippocrates of Chios (who flourished in the second half of the fifth century, and lived perhaps from about 470 to 400 B.C.), whence we conclude that the main propositions of Book III. were also included in the Pythagorean geometry.
Lastly, the Pythagoreans discovered the existence of incommensurable lines, or of irrationals. This was, doubtless, first discovered with reference to the diagonal of a square which is incommensurable with the side, being in the ratio to it of √2 to 1. The Pythagorean proof of this particular case survives in Aristotle and in a proposition interpolated in Euclid’s Book X.; it is by a reductio ad absurdum proving that, if the diagonal is commensurable with the side, the same number must be both odd and even. This discovery of the incommensurable was bound to cause geometers a great shock, because it showed that the theory of proportion invented by Pythagoras was not of universal application, and therefore that propositions proved by means of it were not really established. Hence the stories that the discovery of the irrational was for a time kept secret, and that the first person who divulged it perished by shipwreck. The fatal flaw thus revealed in the body of geometry was not removed till Eudoxus (408-355 B.C.) discovered the great theory of proportion (expounded in Euclid’s Book V.), which is applicable to incommensurable as well as to commensurable magnitudes.
By the time of Hippocrates of Chios the scope of Greek geometry was no longer even limited to the Elements; certain special problems were also attacked which were beyond the power of the geometry of the straight line and circle, and which were destined to play a great part in determining the direction taken by Greek geometry in its highest flights. The main problems in question were three: (1) the doubling of the cube, (2) the trisection of any angle, (3) the squaring of the circle; and from the time of Hippocrates onwards the investigation of these problems proceeded pari passu with the completion of the body of the Elements.
Hippocrates himself is an example of the concurrent study of the two departments. On the one hand, he was the first of the Greeks who is known to have compiled a book of Elements. This book, we may be sure, contained in particular the most important propositions about the circle included in Euclid, Book III. But a much more important proposition is attributed to Hippocrates; he is said to have been the first to prove that circles are to one another as the squares on their diameters (= Eucl. XII., 2), with the deduction that similar segments of circles are to one another as the squares on their bases. These propositions were used by him in his tract on the squaring of lunes, which was intended to lead up to the squaring of the circle. The latter problem is one which must have exercised practical geometers from time immemorial. Anaxagoras for instance (about 500-428 B.C.) is said to have worked at the problem while in prison. The essential portions of Hippocrates’s tract are preserved in a passage of Simplicius (on Aristotle’s Physics), which contains substantial fragments from Eudemus’s History of Geometry. Hippocrates showed how to square three particular lunes of different forms, and then, lastly, he squared the sum of a certain circle and a certain lune. Unfortunately, however, the last-mentioned lune was not one of those which can be squared, and so the attempt to square the circle in this way failed after all.
Hippocrates also attacked the problem of doubling the cube. There are two versions of the origin of this famous problem. According to one of them, an old tragic poet represented Minos as having been dissatisfied with the size of a tomb erected for his son Glaucus, and having told the architect to make it double the size, retaining, however, the cubical form. According to the other, the Delians, suffering from a pestilence, were told by the oracle to double a certain cubical altar as a means of staying the plague. Hippocrates did not, indeed, solve the problem, but he succeeded in reducing it to another, namely, the problem of finding two mean proportionals in continued proportion between two given straight lines, i.e. finding x, y such that a : x = x : y = y : b, where a, b are the two given straight lines. It is easy to see that, if a : x = x : y = y : b, then b/a = (x/a)³, and, as a particular case, if b = 2a, x³ = 2a³, so that the side of the cube which is double of the cube of side a is found.
The problem of doubling the cube was henceforth tried exclusively in the form of the problem of the two mean proportionals. Two significant early solutions are on record.
(1) Archytas of Tarentum (who flourished in first half of fourth century B.C.) found the two mean proportionals by a very striking construction in three dimensions, which shows that solid geometry, in the hands of Archytas at least, was already well advanced. The construction was usually called mechanical, which it no doubt was in form, though in reality it was in the highest degree theoretical. It consisted in determining a point in space as the intersection of three surfaces: (a) a cylinder, (b) a cone, (c) an “anchor-ring” with internal radius = 0. (2) Menæchmus, a pupil of Eudoxus, and a contemporary of Plato, found the two mean proportionals by means of conic sections, in two ways, (α) by the intersection of two parabolas, the equations of which in Cartesian co-ordinates would be x² = ay, y² = bx, and (β) by the intersection of a parabola and a rectangular hyperbola, the corresponding equations being x² = ay, and xy = ab respectively. It would appear that it was in the effort to solve this problem that Menæchmus discovered the conic sections, which are called, in an epigram by Eratosthenes, “the triads of Menæchmus”.
The trisection of an angle was effected by means of a curve discovered by Hippias of Elis, the sophist, a contemporary of Hippocrates as well as of Democritus and Socrates (470-399 B.C.). The curve was called the quadratrix because it also served (in the hands, as we are told, of Dinostratus, brother of Menæchmus, and of Nicomedes) for squaring the circle. It was theoretically constructed as the locus of the point of intersection of two straight lines moving at uniform speeds and in the same time, one motion being angular and the other rectilinear. Suppose OA, OB are two radii of a circle at right angles to one another. Tangents to the circle at A and B, meeting at C, form with the two radii the square OACB. The radius OA is made to move uniformly about O, the centre, so as to describe the angle AOB in a certain time. Simultaneously AC moves parallel to itself at uniform speed such that A just describes the line AO in the same length of time. The intersection of the moving radius and AC in their various positions traces out the quadratrix.
The rest of the geometry which concerns us was mostly the work of a few men, Democritus of Abdera, Theodorus of Cyrene (the mathematical teacher of Plato), Theætetus, Eudoxus, and Euclid. The actual writers of Elements of whom we hear were the following. Leon, a little younger than Eudoxus (408-355 B.C.), was the author of a collection of propositions more numerous and more serviceable than those collected by Hippocrates. Theudius of Magnesia, a contemporary of Menæchmus and Dinostratus, “put together the elements admirably, making many partial or limited propositions more general”. Theudius’s book was no doubt the geometrical text-book of the Academy and that used by Aristotle.