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)
this implies the use of similar triangles in the way that the Egyptians had used them in the construction of pyramids
Achimedes (1920)
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)
“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)
Howard P. Robertson (1903–1961) American mathematician and physicist
Geometry as a Branch of Physics (1949)
Aristarchus of Samos ancient Greek astronomer and mathematician
p, 125
On the Sizes and Distances of the Sun and the Moon (c. 250 BC)
Hans Freudenthal (1905–1990) Dutch mathematician
Source: Mathematics as an Educational Task (1973), p. 363