Corollary: 5.19: Proportional Magnitudes have Proportional Remainders
(related to Proposition: 5.19: Proportional Magnitudes have Proportional Remainders)
(Corollary to Proposition 19 from Book 5 of Euclid's “Elements”)
And since it was shown (that) as $AB$ (is) to $CD$, so $EB$ (is) to $FD$, (it is) also (the case), alternately, (that) as $AB$ (is) to $BE$, so $CD$ (is) to $FD$.
- Thus, composed magnitudes are proportional.
- And it was shown (that) as $BA$ (is) to $AE$, so $DC$ (is) to $CF$.
- And (the latter) is converted (from the former).
![fig19e](https://github.com/bookofproofs/bookofproofs.github.io/blob/main/_sources/_assets/images/euclid/Book05/fig19e.png?raw=true)
Modern Formulation
In modern notation, this corollary reads that if \[\frac\alpha\beta=\frac\gamma\delta,\] then \[\frac\alpha{\alpha-\beta}=\frac\gamma{\gamma-\delta,}\]
for all positive real numbers \(\alpha,\beta,\gamma,\delta\) with \(\alpha > \beta\) and \(\gamma > \delta\).
Table of Contents
Proofs: 1
Thank you to the contributors under CC BY-SA 4.0!
![](https://github.com/bookofproofs/bookofproofs.github.io/blob/main/_sources/_assets/images/calendar-black.png?raw=true)
- Github:
-
![bookofproofs](https://github.com/bookofproofs.png?size=32)
- non-Github:
- @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
- Fitzpatrick, Richard: Euclid's "Elements of Geometry"