In Euclid’s Elements Book I, Proposition 31 constructs a line parallel to a given line through a given point. In the proof of Proposition I.31, Euclid appeals to Proposition I.23; in the proof of Proposition I.23 he uses Proposition I.22; and in I.22 he uses the construction from I.3. All of these are geometric constructions — they involve drawing circles and intersection points — but most presentations gloss over the intermediate steps.
Most videos and explanations I’ve found show what needs to be constructed but then skip the detailed classical steps: they freehand the final segments without showing the actual circle constructions or the intermediate intersections needed to justify the parallels.
What I’m looking for:
A video, animation, or resource that literally draws out every step of the Euclidean straightedge-and-compass constructions used in Proposition I.31, including the auxiliary constructions from I.23, I.22, and I.3.
Alternatively, a step-by-step geometric derivation — with diagrams — that shows all circles, intersections, and straightedge moves needed to produce the final parallel line from a given line and point.
Is there a resource like this, or could someone provide an embedded, step-by-step construction with all the intermediate circles and lines shown?
