Theodorus of Cyrene and Theaetetus 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 Theaetetus. Theaetetus also wrote on the five regular solids (the tetrahedron, cube, octahedron, dodecahedron, and icosahedron), and Euclid was therefore no doubt equally indebted to Theaetetus 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 Theaetetus, 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. In astronomy Eudoxus is famous for the beautiful theory of concentric spheres which he invented to explain the apparent motions of the planets, and, particularly, their apparent stationary points and retrogradations. The theory applied also to the sun and moon, for which Eudoxus required only three spheres in each case. He represented the motion of each planet as compounded of the rotations of four interconnected spheres about diameters, all of which pass through the centre of the earth. The outermost sphere represents the daily rotation, the second a motion along the zodiac circle or ecliptic; the poles of the third sphere, about which that sphere revolves, are fixed at two opposite points on the zodiac circle, and are carried round in the motion of the second sphere; and on the surface of the third sphere the poles of the fourth sphere are fixed; the fourth sphere, revolving about the diameter joining its two poles, carries the planet which is fixed at a point on its equator. The poles and the speeds and directions of rotation are so chosen that the planet actually describes a _hippopede_, or _horse-fetter_, as it was called (i.e. a figure of eight), which lies along and is longitudinally bisected by the zodiac circle, and is carried round that circle. As a _tour de force_ of geometrical imagination it would be difficult to parallel this hypothesis. In geometry Eudoxus discovered the great theory of proportion, applicable to incommensurable as well as commensurable magnitudes, which is expounded in Euclid, Book V., and which still holds its own and will do so for all time. He also solved the problem of the two mean proportionals by means of certain curves, the nature of which, in the absence of any description of them in our sources, can only be conjectured.