Source on Proclus

“A full history of Greek geometry and astronomy during this period written by Eudemus, a pupil of Aristotle, has been lost. It was well known to Proclus, who, in his commentaries on Euclid, gives a brief account of it. This abstract constitutes our most reliable information. We shall quote it frequently under the name of Eudemian Summary.”

“About the time of Anaxagoras, but isolated from the Ionic school, flourished Œnopides of Chios. Proclus ascribes to him the solution of the following problems: From a point without, to draw a perpendicular to a given line, and to draw an angle on a line equal to a given angle. That a man could gain a reputation by solving problems so elementary as these, indicates that geometry was still in its infancy, and that the Greeks had not yet gotten far beyond the Egyptian constructions.”

“A scholiast on Euclid, thought to be Proclus, says that Eudoxus practically invented the whole of Euclid's fifth book.”

“The term 'axiom' was used by Proclus, but not by Euclid. He speaks, instead, of 'common notions'—common either to all men or to all sciences.”

“The regular solids were studied so extensively by the Platonists that they received the name of Platonic figures The statement of Proclus that the whole aim of Euclid in writing the Elements was to arrive at the construction of the regular solids is obviously wrong The fourteenth and fifteenth books treating of solid geometry are apocryphal.”

“Extracts... made by Proclus indicate that Ptolemy did not regard the parallel-axiom of Euclid as self-evident, and that Ptolemy was the first of the long line of geometers from ancient time down to our own who toiled in the vain attempt to prove it.”

“Pappus... is the author of a Commentary on the Almagest, a Commentary on Euclid's Elements, a Commentary on the Analemma of Diodorus,—a writer of whom nothing is known. All these works are lost. Proclus, probably quoting from the Commentary on Euclid, says that Pappus objected to the statement that an angle equal to a right angle is always itself a right angle.”