I.12 Proposition I.12
To draw a perpendicular straight line to a given infinite straight line from a given point not on it.
Proof
With centre at the external point describe a circle (Postulate 3)
cutting the given line; bisect the chord by I.10; the line from the
external point to the midpoint is perpendicular by I.8.
lines 74–74 in main.tex