Hippocrates of Chios is mentioned by Aristotle as an instance to prove that a man may be a distinguished geometer and, at the same time, a fool in the ordinary affairs of life. He occupies an important place both in elementary geometry and in relation to two of the higher problems above mentioned. He was, so far as is known, the first compiler of a book of Elements; and he was the first to prove the important theorem of Eucl. XII. 2 that circles are to one another as the squares on their diameters, from which he further deduced 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 essential portions of the tract are preserved in a passage of Simplicius's commentary on Aristotle's _Physics_, which contains substantial extracts from Eudemus's lost _History of Geometry_. Hippocrates showed how to square three particular lunes of different kinds and then, lastly, he squared the sum of a circle and a certain lune. Unfortunately the last-mentioned lune was not one of those which can be squared, so that 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 story an old tragic poet had represented Minos as having been dissatisfied with the size of a cubical tomb erected for his son Glaucus and having told the architect to make it double the size while retaining the cubical form. The other story says that the Delians, suffering from a pestilence, consulted the oracle and were told to double a certain altar as a means of staying the plague. Hippocrates did not indeed solve the problem of duplication, but reduced it to another, namely that of finding two mean proportionals in continued proportion between two given straight lines; and the problem was ever afterwards attacked in this form. If _x_, _y_ be the two required mean proportionals between two straight lines _a_, _b_, then _a:x=x:y=y:b_, whence _b/a=(x/a)³_, and, as a particular case, if _b=2a_, _x³=2a³_, so that, when _x_ is found, the cube is doubled.