Hippocrates himself is an example of the concurrent study of the two departments. On the one hand, he was the first of the Greeks who is known to have compiled a book of Elements. This book, we may be sure, contained in particular the most important propositions about the circle included in Euclid, Book III. But a much more important proposition is attributed to Hippocrates; he is said to have been the first to prove that circles are to one another as the squares on their diameters (= Eucl. XII., 2), with the deduction that similar segments of circles are to one another as the squares on their bases. These propositions were used by him in his tract on the squaring of _lunes_, which was intended to lead up to the squaring of the circle. The latter problem is one which must have exercised practical geometers from time immemorial. Anaxagoras for instance (about 500-428 B.C.) is said to have worked at the problem while in prison. The essential portions of Hippocrates's tract are preserved in a passage of Simplicius (on Aristotle's _Physics_), which contains substantial fragments from Eudemus's _History of Geometry_. Hippocrates showed how to square three particular lunes of different forms, and then, lastly, he squared the sum of a certain circle and a certain lune. Unfortunately, however, the last-mentioned lune was not one of those which can be squared, and so the attempt to square the circle in this way failed after all. Hippocrates also attacked the problem of doubling the cube. There are two versions of the origin of this famous problem. According to one of them, an old tragic poet represented Minos as having been dissatisfied with the size of a tomb erected for his son Glaucus, and having told the architect to make it double the size, retaining, however, the cubical form. According to the other, the Delians, suffering from a pestilence, were told by the oracle to double a certain cubical altar as a means of staying the plague. Hippocrates did not, indeed, solve the problem, but he succeeded in reducing it to another, namely, the problem of finding two mean proportionals in continued proportion between two given straight lines, i.e. finding x, y such that a : x = x : y = y : b, where a, b are the two given straight lines. It is easy to see that, if a : x = x : y = y : b, then b/a = (x/a)^3, and, as a particular case, if b = 2a, x^3 = 2a^3, so that the side of the cube which is double of the cube of side a is found. The problem of doubling the cube was henceforth tried exclusively in the form of the problem of the two mean proportionals. Two significant early solutions are on record.