Proposition: 5.01: Multiplication of Numbers is Left Distributive over Addition

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

If there are any number of magnitudes whatsoever (which are) equal multiples, respectively, of some (other) magnitudes, of equal number (to them), then as many times as one of the (first) magnitudes is (divisible) by one (of the second), so many times will all (of the first magnitudes) also (be divisible) by all (of the second).

fig01e

Modern Formulation

If we are given the multiples of aliquot parts. \[k\alpha_1,k\alpha_2,\ldots,k\alpha_n\] i.e. where \(k\ge 2\) is a natural number and where \(\alpha_1,\alpha_2,\ldots,\alpha_n\) are some1 positive real numbers, then the sum of all multiples equals the multiple of the sum of all these magnitudes:

\[k\alpha_1+k\alpha_2+\ldots+k\alpha_n=k(\alpha_1+\alpha_2+\ldots+\alpha_n).\]

General Formulation

See general law of distributivity of real numbers.

Proofs: 1

Proofs: 1 2 3 4
Sections: 5


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

Github:
bookofproofs


Footnotes


  1. From a geometrical point of view, \(\alpha_1,\alpha_2,\ldots,\alpha_n\) could e.g. mean the lengths of some segments, the areas of some plane figures or the volumes of some solids.