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

58 files·489.1 KB·Download archive (.tar.gz)

Reader · live HTML Source files · 58 files Rendered · PDF

Files

texpaper/main.tex2.8 KB
texpaper/books/book01.tex22.4 KB
texpaper/books/book02.tex20.7 KB
texpaper/books/book03.tex34.3 KB
texpaper/books/book04.tex12.3 KB
texpaper/books/book05.tex14.4 KB
texpaper/books/book06.tex21.5 KB
texpaper/books/book07.tex19.0 KB
texpaper/books/book08.tex14.5 KB
texpaper/books/book09.tex17.1 KB
texpaper/books/book10.tex49.5 KB
texpaper/books/book11.tex22.8 KB
texpaper/books/book12.tex10.3 KB
texpaper/books/book13.tex12.3 KB
texpaper/common-notions.tex765 B
texpaper/definitions.tex27.6 KB
texpaper/figures/fig-i-1.tex702 B
texpaper/figures/fig-i-32.tex1.2 KB
texpaper/figures/fig-i-47.tex1.8 KB
texpaper/figures/fig-i-5.tex1.1 KB
texpaper/figures/fig-ii-11.tex1.3 KB
texpaper/figures/fig-ii-14.tex2.4 KB
texpaper/figures/fig-ii-4.tex1.8 KB
texpaper/figures/fig-iii-20.tex1.2 KB
texpaper/figures/fig-iii-31.tex1.0 KB
texpaper/figures/fig-iii-36.tex1.5 KB
texpaper/postulates.tex1.1 KB
clspaper/rrxiv.cls12.7 KB
•CITATION.cff729 B
•LICENSE-CODE1.3 KB
•LICENSE-CONTENT1.0 KB
•README.md4.7 KB
imgpaper/figures/fig-i-1.pdf2.4 KB
imgpaper/figures/fig-i-1.png14.5 KB
imgpaper/figures/fig-i-32.pdf2.8 KB
imgpaper/figures/fig-i-32.png8.7 KB
imgpaper/figures/fig-i-47.pdf4.5 KB
imgpaper/figures/fig-i-47.png10.9 KB
imgpaper/figures/fig-i-5.pdf2.9 KB
imgpaper/figures/fig-i-5.png11.4 KB
imgpaper/figures/fig-ii-11.pdf3.0 KB
imgpaper/figures/fig-ii-11.png7.9 KB
imgpaper/figures/fig-ii-14.pdf2.8 KB
imgpaper/figures/fig-ii-14.png7.0 KB
imgpaper/figures/fig-ii-4.pdf3.6 KB
imgpaper/figures/fig-ii-4.png6.6 KB
imgpaper/figures/fig-iii-20.pdf3.7 KB
imgpaper/figures/fig-iii-20.png14.0 KB
imgpaper/figures/fig-iii-31.pdf2.5 KB
imgpaper/figures/fig-iii-31.png10.3 KB
imgpaper/figures/fig-iii-36.pdf2.7 KB
imgpaper/figures/fig-iii-36.png11.0 KB
•rrxiv-meta.json3.4 KB
•scripts/build.sh834 B
•scripts/extract-cir.sh2.6 KB
•scripts/merge-sidecar-edges.py4.5 KB
•scripts/render-figures.sh3.6 KB
•scripts/verify.sh3.4 KB

paper/figures/fig-iii-20.pdfimage · 3816 bytesRaw

Binary file — open the raw URL above to inspect.

← Claims Full view

III.14 Proposition III.14

In a circle equal straight lines are equally distant from the centre, and those which are equally distant from the centre are equal to one another.

Proof

Let

A B

and

C D

be chords with

A B = C D

. From the centre

E

drop perpendiculars

E F

to

A B

and

E G

to

C D

(I.12). By III.3,

A F = F B = A B /2

and

C G = G D = C D /2

, so

A F = C G

. Join

E A

,

E C

(both radii, so equal). In right triangles

△ E A F

and

△ E C G

(right angles at

F

,

G

), I.47 gives

E A^{2} = A F^{2} + E F^{2}

and

E C^{2} = C G^{2} + E G^{2}

. Subtracting (Common Notion 3) and using

E A = E C

,

A F = C G

gives

E F^{2} = E G^{2}

, hence

E F = E G

. Conversely, if

E F = E G

, the same I.47 identity gives

A F = C G

and hence

A B = C D

.

lines 74–74 in main.tex