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

X.26 Proposition X.26

A medial area does not exceed a medial area by a rational area.

Proof

A difference

M_{1} - M_{2} = R

with

R

rational and

M_{1}

,

M_{2}

medial would force

M_{1}

,

M_{2}

to be in a rational ratio, contradicting their being medial in distinct families.

lines 74–74 in main.tex