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.
Last of all, and most important for our purpose, is his use of the famous method of exhaustion for the measurement of the areas of curves and the volumes of solids. The example of this method which will be most familiar to the reader is the proof in Euclid XII., 2, of the theorem that the areas of circles are to one another as the squares on their diameters. The proof in this and in all cases depends on a lemma which forms Prop. 1 of Euclid’s Book X. to the effect that, if there are two unequal magnitudes of the same kind and from the greater you subtract not less