Corollary: 5.07: Ratios of Equal Magnitudes
(related to Proposition: 5.07: Ratios of Equal Magnitudes)
(Corollary to Proposition 7 from Book 5 of Euclid's “Elements”)
So (it is) clear, from this, that if some magnitudes are proportional then they will also be proportional inversely. (Which is) the very thing it was required to show.
In modern notation, this corollary reads that if \[\frac\alpha\beta=\frac\gamma\delta\] then \[\frac\beta\alpha=\frac\delta\gamma\]
for all positive rational number \(\alpha,\beta,\gamma,\delta\).
The above corollary even for all real numbers with \(\alpha\neq0, \beta\neq 0, \gamma\neq 0,\delta\neq 0\). Algebraically, it follows from the existence and uniqueness of inverse real numbers with respect to multiplication.
Table of Contents
Proofs: 1 2 3 4 5 6 7
Adapted from (subject to copyright, with kind permission)
- Fitzpatrick, Richard: Euclid's "Elements of Geometry"