of the fifth century, and lived perhaps from about 470 to 400 B.C.), whence we conclude that the main propositions of Book III. were also included in the Pythagorean geometry.

Lastly, the Pythagoreans discovered the existence of incommensurable lines, or of irrationals. This was, doubtless, first discovered with reference to the diagonal of a square which is incommensurable with the side,

being in the ratio to it of √2 to 1. The Pythagorean proof of this particular case survives in Aristotle and in a proposition interpolated in Euclid’s Book X.; it is by a reductio ad absurdum proving that, if the diagonal is commensurable with the side, the same number must be both odd and even. This discovery of the incommensurable was bound to cause geometers a great shock, because it showed that the theory of proportion invented by Pythagoras was not of universal application, and therefore that propositions proved by means of it were not really established. Hence the stories that the discovery of the irrational was for a time kept secret, and that the first person who divulged it perished by shipwreck. The fatal flaw thus revealed in the body of geometry was not removed till Eudoxus (408-355 B.C.) discovered the great theory of proportion (expounded in Euclid’s Book V.), which is applicable to incommensurable as well as to commensurable magnitudes.

By the time of Hippocrates of Chios the scope of Greek geometry was no longer even limited to the Elements; certain special problems were also attacked which were beyond the power of the geometry of the straight line and circle, and which were destined to play a great part in determining the direction taken by Greek geometry in its highest flights. The main problems in question were three: (1) the doubling of the cube, (2) the trisection of any angle, (3) the squaring of the circle; and from the time of Hippocrates onwards the investigation of these problems proceeded pari passu with the completion of the body of the Elements.