Submit Spec API

//

··

rrxiv is an open protocol. Specification · API · Pulse · AboutMaintained by the rrxiv working group · Privacy-respecting analytics

Source — Euclid's Elements, encoded as an rrxiv paper — rrxiv

Browse/Euclid's Elements, encoded as an rrxiv paper/source

Source — Euclid's Elements, encoded as an rrxiv paper

··Download archive (.tar.gz)

Reader · live HTML Source files · loading…Rendered · PDF

58 files·489.1 KB·

· 58 files

← Claims Full view

I.31 Proposition I.31

Through a given point to draw a straight line parallel to a given straight line.

Proof

Apply I.23 to reproduce the alternate angle at the given point and I.27 to conclude parallelism.

lines 74–74 in main.tex