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

V.17 Proposition V.17

If magnitudes composed be proportional, they will also be proportional separando.

Proof

If

(a + b) : b = (c + d) : d

, then subtracting the consequents from the antecedents using V.5 / V.6 gives

a : b = c : d

.

lines 74–74 in main.tex