assumption is known as the Axiom or Postulate of Archimedes, though, as he states, it was assumed before his time by those who used the method of exhaustion. It is in reality used in Euclid’s lemma (Eucl. X., 1) on which Euclid XII., 2, depends, and only differs in statement from Def. 4 of Euclid, Book V., which is no doubt due to Eudoxus.

The method of exhaustion was not discovered all at once; we find traces of gropings after such a method before it was actually evolved. It was perhaps Antiphon, the sophist, of Athens, a contemporary of Socrates (470-399 B.C.), who took the first step. He inscribed a square (or, according to another account, an equilateral triangle) in a circle, then bisected the arcs subtended by the sides, and so inscribed a polygon of double the number of sides; he then repeated the process, and maintained that,

by continuing it, we should at last arrive at a polygon with sides so small as to make the polygon coincident with the circle. Though this was formally incorrect, it nevertheless contained the germ of the method of exhaustion.

Hippocrates, as we have seen, is said to have proved the theorem that circles are to one another as the squares on their diameters, and it is difficult to see how he could have done this except by some form, or anticipation, of the method. There is, however, no doubt about the part taken by Eudoxus; he not only based the method on rigorous demonstration by means of the lemma or lemmas aforesaid, but he actually applied the method to find the volumes (1) of any pyramid, (2) of the cone, proving (1) that any pyramid is one third part of the prism which has the same base and equal height, and (2) that any cone is one third part of the cylinder which has the same base and equal height. Archimedes, however, tells us the remarkable fact that these two theorems were first discovered by Democritus (who flourished towards the end of the