Proposition: 5.04: Multiples of Terms in Equal Ratios

(Proposition 4 from Book 5 of Euclid's “Elements”)

If a first (magnitude) has the same ratio to a second that a third (has) to a fourth then equal multiples of the first (magnitude) and the third will also have the same ratio to equal multiples of the second and the fourth, being taken in corresponding order, according to any kind of multiplication whatsoever.

fig04e

Modern Formulation

Given four positive real numbers \(\alpha,\beta,\gamma,\delta\) with the equation of ratios. \[\frac \alpha\beta=\frac \gamma\delta,\quad\quad( * )\]

the ratios of the corresponding multiples of aliquot parts \(m\ge 1\), \(n\ge 1\) will also be equal: \[\frac{m\alpha}{n\beta}=\frac{m\gamma}{n\delta}.\]

In other words, the equation \((*)\) remains valid if we multiply it by any positive rational number \(\frac mn\).

General Modern Formulation

See multiplication of real numbers is cancellative.

Proofs: 1

Proofs: 1
Sections: 2


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs