limited propositions more general”. Theudius’s book was no doubt the geometrical text-book of the Academy and that used by Aristotle.
Theodorus of Cyrene and Theætetus generalised the theory of irrationals, and we may safely conclude that a great part of the substance of Euclid’s Book X. (on irrationals) was due to Theætetus. Theætetus also wrote on the five regular solids (the tetrahedron, cube, octahedron, dodecahedron, and icosahedron), and Euclid was therefore no doubt equally indebted to Theætetus for the contents of his Book XIII. In the matter of Book XII. Eudoxus was the pioneer. These facts are confirmed by the remark of Proclus that Euclid, in compiling his Elements, collected many of the theorems of Eudoxus, perfected many others by Theætetus, and brought to irrefragable demonstration the propositions which had only been somewhat loosely proved by his predecessors.
Eudoxus (about 408-355 B.C.) was perhaps the greatest of all Archimedes’s predecessors, and it is his achievements, especially the discovery of the method of exhaustion, which interest us in connexion with Archimedes.