Democritus wrote a large number of mathematical treatises, the titles only of which are preserved. We gather from one of these titles, ‘On irrational lines and solids’, that he wrote on irrationals. Democritus realized as fully as Zeno, and expressed with no less piquancy, the difficulty connected with the continuous and the infinitesimal. This appears from his dilemma about the circular base of a cone and a parallel section; the section which he means is a section ‘indefinitely near’ (as the phrase is) to the base, i. e. the very next section, as we might say (if there were one). Is it, said Democritus, equal or not equal to the base? If it is equal, so will the very next section to it be, and so on, so that the cone will really be, not a cone, but a cylinder. If it is unequal to the base and in fact less, the surface of the cone will be jagged, like steps, which is very absurd. We may be sure that Democritus’s work on ‘The contact of a circle or a sphere’ discussed a like difficulty.
Lastly, Archimedes tells us that Democritus was the first to state, though he could not give a rigorous proof, that the volume of a cone or a pyramid is one-third of that of the cylinder or prism respectively on the same base and having equal height, theorems first proved by Eudoxus.
We come now to the time of Plato, and here the great names are Archytas, Theodoras of Cyrene, Theaetetus, and Eudoxus.
Archytas (about 430-360 B. C.) wrote on music and the numerical ratios corresponding to the intervals of the tetrachord. He is said to have been the first to write a treatise on mechanics based on mathematical principles; on the practical side he invented a mechanical dove which would fly. In geometry he gave the first solution of the problem of the two mean proportionals, using a wonderful construction in three dimensions which determined a certain point as the intersection of three surfaces, (1) a certain cone, (2) a half-cylinder, (3) an anchor-ring or tore with inner diameter nil.
Theodorus, Plato’s teacher in mathematics, extended the theory of the irrational by proving incommensurability in certain particular cases other than that of the diagonal of a square in relation to its side, which was already known. He proved that the side of a square containing 3 square feet, or 5 square feet, or any non-square number of square feet up to 17 is incommensurable with one foot, in other words that √3, √5 ... √17 are all incommensurable with 1. Theodorus’s proof was evidently not general; and it was reserved for Theaetetus to comprehend all these irrationals in one definition, and to prove the property generally as it is proved in Eucl. X. 9. Much of the content of the rest of Euclid’s Book X (dealing with compound irrationals), as also of Book XIII on the five regular solids, was due to Theaetetus, who is even said to have discovered two of those solids (the octahedron and icosahedron).
Plato (427-347 B. C.) was probably not an original mathematician, but he ‘caused mathematics in general and geometry in particular to make a great advance by reason of his enthusiasm for them’. He encouraged the members of his school to specialize in mathematics and astronomy; e. g. we are told that in astronomy he set it as a problem to all earnest students to find ‘what are the uniform and ordered movements by the assumption of which the apparent motions of the planets may be accounted for’. In Plato’s own writings are found certain definitions, e. g. that of a straight line as ‘that of which the middle covers the ends’, and some interesting mathematical illustrations, especially that in the second geometrical passage in the Meno (86E-87C). To Plato himself are attributed (1) a formula (n²-1)²+(2n)²=(n²+1)² for finding two square numbers the sum of which is a square number, (2) the invention of the method of analysis, which he is said to have explained to Leodamas of Thasos (mathematical analysis was, however, certainly, in practice, employed long before). The solution, attributed to Plato, of the problem of the two mean proportionals by means of a frame resembling that which a shoemaker uses to measure a foot, can hardly be his.
Eudoxus (408-355 B. C.), an original genius second to none (unless it be Archimedes) in the history of our subject, made two discoveries of supreme importance for the further development of Greek geometry.
(1) As we have seen, the discovery of the incommensurable rendered inadequate the Pythagorean theory of proportion, which applied to commensurable magnitudes only. It would no doubt be possible, in most cases, to replace proofs depending on proportions by others; but this involved great inconvenience, and a slur was cast on geometry generally. The trouble was remedied once for all by Eudoxus’s discovery of the great theory of proportion, applicable to commensurable and incommensurable magnitudes alike, which is expounded in Euclid’s Book V. Well might Barrow say of this theory that ‘there is nothing in the whole body of the elements of a more subtile invention, nothing more solidly established’. The keystone of the structure is the definition of equal ratios (Eucl. V, Def. 5); and twenty-three centuries have not abated a jot from its value, as is plain from the facts that Weierstrass repeats it word for word as his definition of equal numbers, and it corresponds almost to the point of coincidence with the modern treatment of irrationals due to Dedekind.
(2) Eudoxus discovered the method of exhaustion for measuring curvilinear areas and solids, to which, with the extensions given to it by Archimedes, Greek geometry owes its greatest triumphs. Antiphon the Sophist, in connexion with attempts to square the circle, had asserted that, if we inscribe successive regular polygons in a circle, continually doubling the number of sides, we shall sometime arrive at a polygon the sides of which will coincide with the circumference of the circle. Warned by the unanswerable arguments of Zeno against infinitesimals, mathematicians substituted for this the statement that, by continuing the construction, we can inscribe a polygon approaching equality with the circle as nearly as we please. The method of exhaustion used, for the purpose of proof by reductio ad absurdum, the lemma proved in Eucl. X. 1 (to the effect that, if from any magnitude we subtract not less than half, and then from the remainder not less than half, and so on continually, there will sometime be left a magnitude less than any assigned magnitude of the same kind, however small): and this again depends on an assumption which is practically contained in Eucl. V, Def. 4, but is generally known as the Axiom of Archimedes, stating that, if we have two unequal magnitudes, their difference (however small) can, if continually added to itself, be made to exceed any magnitude of the same kind (however great).
The method of exhaustion is seen in operation in Eucl. XII. 1-2, 3-7 Cor., 10, 16-18. Props. 3-7 Cor. and Prop. 10 prove that the volumes of a pyramid and a cone are one-third of the prism and cylinder respectively on the same base and of equal height; and Archimedes expressly says that these facts were first proved by Eudoxus.