rrxiv
rrxiv
Browse
/ Everything
Submit
Spec
API
Sign in with ORCID
/
/
·
·
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.10
Proposition I.10
To bisect a given finite straight line.
Proof
Apply I.1 to erect an equilateral triangle on the segment; bisect the opposite angle by I.9; the bisector meets the segment at its midpoint by I.4.
lines 74–74 in
main.tex