Proclus (412–485) Greek philosopher
Proposition XV. Thereom VIII.
The Philosophical and Mathematical Commentaries of Proclus on the First Book of Euclid's Elements Vol. 2 (1789)
And after this manner, Euclid, in the sixth book, mentions both excess and defect. But in the present problem he requires application...
The Philosophical and Mathematical Commentaries of Proclus on the First Book of Euclid's Elements Vol. 2 (1789)
Proclus (412–485) Greek philosopher
Proposition XV. Thereom VIII.
The Philosophical and Mathematical Commentaries of Proclus on the First Book of Euclid's Elements Vol. 2 (1789)
Howard P. Robertson (1903–1961) American mathematician and physicist
Geometry as a Branch of Physics (1949)
“If two right lines cut one another, they will form the angles at the vertex equal.”
Proclus (412–485) Greek philosopher
...
This... is what the the present theorem evinces, that when two right lines mutually cut each other, the vertical angles are equal. And it was first invented according to Eudemus by Thales...
Proposition XV. Thereom VIII.
The Philosophical and Mathematical Commentaries of Proclus on the First Book of Euclid's Elements Vol. 2 (1789)
Thomas Little Heath (1861–1940) British civil servant and academic
this implies the use of similar triangles in the way that the Egyptians had used them in the construction of pyramids
Achimedes (1920)
Robert Grosseteste (1175–1253) English bishop and philosopher
De Lineas, Anguilis et Figuris (On Lines, Angles and Figures) as quoted in Neil Lewis, "Robert Grosseteste" http://plato.stanford.edu/entries/grosseteste/ Stanford Encyclopedia of Philosophy (2007, 2013) citing Baur, Ludwig (ed.) Die Philosophischen Werke des Robert Grosseteste, Bischofs von Lincoln (1912) pp.59–60 <br class="br">Context: The consideration of lines, angles and figures is of the greatest utility since it is impossible for natural philosophy to be known without them... All causes of natural effects have to be given through lines, angles and figures, for otherwise it is impossible for the reason why (propter quid) to be known in them.
Hans Freudenthal (1905–1990) Dutch mathematician
Source: Mathematics as an Educational Task (1973), p. 476-477
Aristarchus of Samos ancient Greek astronomer and mathematician
p, 125
On the Sizes and Distances of the Sun and the Moon (c. 250 BC)