§ 47. The fifth book of the Elements is not exclusively geometrical. It contains the theory of ratios and proportion of quantities in general. The treatment, as here given, is admirable, and in every respect superior to the algebraical method by which Euclid’s theory is now generally replaced. We shall treat the subject in order to show why the usual algebraical treatment of proportion is not really sound. We begin by quoting those definitions at the beginning of Book V. which are most important. These definitions have given rise to much discussion.
The only definitions which are essential for the fifth book are Defs. 1, 2, 4, 5, 6 and 7. Of the remainder 3, 8 and 9 are more than useless, and probably not Euclid’s, but additions of later editors, of whom Theon of Alexandria was the most prominent. Defs. 10 and 11 belong rather to the sixth book, whilst all the others are merely nominal. The really important ones are 4, 5, 6 and 7.
§ 48. To define a magnitude is not attempted by Euclid. The first two definitions state what is meant by a “part,” that is, a submultiple or measure, and by a “multiple” of a given magnitude. The meaning of Def. 4 is that two given quantities can have a ratio to one another only in case that they are comparable as to their magnitude, that is, if they are of the same kind.
Def. 3, which is probably due to Theon, professes to define a ratio, but is as meaningless as it is uncalled for, for all that is wanted is given in Defs. 5 and 7.
In Def. 5 it is explained what is meant by saying that two magnitudes have the same ratio to one another as two other magnitudes, and in Def. 7 what we have to understand by a greater or a less ratio. The 6th definition is only nominal, explaining the meaning of the word proportional.
Euclid represents magnitudes by lines, and often denotes them either by single letters or, like lines, by two letters. We shall use only single letters for the purpose. If a and b denote two magnitudes of the same kind, their ratio will be denoted by a : b; if c and d are two other magnitudes of the same kind, but possibly of a different kind from a and b, then if c and d have the same ratio to one another as a and b, this will be expressed by writing—
a : b :: c : d.
Further, if m is a (whole) number, ma shall denote the multiple of a which is obtained by taking it m times.
§ 49. The whole theory of ratios is based on Def. 5.
Def. 5. The first of four magnitudes is said to have the same ratio to the second that the third has to the fourth when, any equimultiples whatever of the first and the third being taken, and any equimultiples whatever of the second and the fourth, if the multiple of the first be less than that of the second, the multiple of the third is also less than that of the fourth; and if the multiple of the first is equal to that of the second, the multiple of the third is also equal to that of the fourth; and if the multiple of the first is greater than that of the second, the multiple of the third is also greater than that of the fourth.