and VI. of Euclid (with the qualification, as regards Book VI., that the Pythagorean theory of proportion applied only to commensurable magnitudes). Our information about the origin of the propositions of Euclid, Book III., is not so complete; but it is certain that the most important of them were well known to Hippocrates of Chios (who flourished in the second half 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