66 be this book: the author of it designed to demonstrate, that if four Book y. magnitudes E, G, F, H be proportionals, they are also proportionals inversely; that is G is to E, as H to F; which is true; but the demonstration of it does not in the least depend upon this 4th prop. or its demonstration: for, when he says, cause it is demonstrated that if K be greater than M, L is greater than N,” &c. This indeed is shown in the demon. stration of the 4th prop. but not from this, that E, G, F, H are proportionals; for this last is the conclusion of the proposition. Wherefore these words, “ because it is demonstrated,” &c. are wholly foreign to his design: and he should have proved, that if K be greater than M, L is greater than N, from this, that E, G, F, H are proportionals, and from the 5th def. of this book which he has not; but is done in proposition B, which we have given in its proper place, instead of this corollary; and another corollary is placed after the 4th prop. which is often of use; and is necessary to the demonstration of prop. 18 of this book. PROP. V. B. V. In the construction which precedes the demonstration of this proposition, it is required that EB may be the same multiple of CG, that AE is of CF; that is, that EB be divided into as many equal parts, as there are parts in AE equal to CF: from which it is evident, that this construction is not Euclid's; for he does not show the way of dividing straight lines, and far less other magnitudes, into any number of equal parts, until the 9th proposition of book 6; and he never requires any thing to be done in the construction, of which he had not before given the method of doing. For this reason, we have changed the construction to one, which, with A out doubt, is Fuclid's, in which nothing is re G quired but to add a magnitude to itself a certain Enumber of times; and this is to be found in the C translation from the Arabic, though the enunciation of the proposition and the demonstration are there very much spoiled. Jacobus Peletarius, who was the first, as far as I know, who took no B D tice of this error, gives also the right construclion in his edition of Euclid, after he had given the other which he blames. He says, he would not leave it out, because it was fine, and might sharpen one's genius to invent others like it ; whereas there is not the least difference between the two demons Book V. strations, except a single word in the construction, which very probably has been owing to an unskilful librarian, Clavius likewise gives both the ways; but neither he nor Peletarius takes notice of the reason why the one is preferable to the other. PROP. VI. B. V. There are two cases of this proposition, of which only the first and simplest is demonstrated in the Greek ; and it is probable Theon thought it was sufficient to give this one, since he was to make use of neither of them in his mutilated edition of the 5th book ; and he might as well have left out the other, as also the 5th proposition, for the same reason. The demonstration of the other case is now added, because both of them, as also the 5th proposition are necessary to the demonstration of the 18th proposition of this book. The translation from the Arabic gives both cases briefly. PROP. A. B. V. clid gave This proposition is frequently used by geometers, and it is necessary in the 25th prop. of this book, 31st of the 6th, and 34th of the 11th, and 15th of the 12th book. It seems to have been taken out of the Elements by Theon, because it appeared evident enough to him, and others, who substitute the confused and indistinct idea the vulgar have of proportionals, in place of that accurate idea which is to be got from the 5th definition of this book. Nor can there be any doubt that Eudoxus or Eu it a place in the Elements, when we see the 7th and 9th of the same book demonstrated, though they are quite as easy and evident as this. Alphonsus Borellus takes occasion from this proposition to censure the 5th definition of this book very severely, but most unjustly. In p. 126 of his Euclid restore ed, printed at Pisa in 1658, he says, “ Nor can even this least " degree of knowledge be obtained from the foresaid property," viz. that which is contained in 5th def. 5. “ That, if four “magnitudes be proportionals, the third must necessarily be “ greater 'than the fourth, when the first is greater than the “ second; as Clavius acknowledges in the 16th prop. of the “ 5th book of the Elements.” But though Clavius makes no such acknowledgment expressly, he has given Eorellus a handle to say this of him ; because when Clavius, in the above cited place, censures Commandine, and that very justly, for demonstrating this proposition by help of the 16th of the fifth ; yet he himself gives no demonstration of it, but ihinks it plain from the nature of proportionals, as he writes in the end of the Book v. 14th and 16th prop. book 5 of his edition, and is followed by Herigon in Schol. 1, prop. 14th, book 5, as if there was any nature of proportionals antecedent to that which is to be derived and understood from the definition of them. And, indeed, though it is very easy to give a right demonstration of it, nobody, as far as I know, has given one, except the learned Dr. Barrow, who, in answer to Borellus's objection, demonstrates it indirectly, but very briefly and clearly, from the 5th definition, in the 322d page of his Lect. Mathem. from which definition it may also be easily demonstrated directly. On which account we have placed it next to the propositions concerning equimultiples. PROP. B. B. V. This also is easily deduced from the 5th def. b. 5, and therefore is placed next to the other; for it was very ignorantly made a corollary from the 4th prop. of this book. See the note on that corollary. PROP. C. B. V. This is frequently made use of by geometers, and is necessary to the 5th and 6th propositions of the 10th book. Clavius, in his notes subjoined to the 8th def. of book 5, demonstrates it only in numbers, by help of some of the propositions of the 7th book ; in order to demonstrate the property contained in the 5th definition of the 5th book, when applied to numbers, from the property of proportionals contained in the 20th def. of the 7th book. And most of the commentators judge it difficult to prove that four magnitudes which are proportionals according to the 20th def. of 7th book, are also proportionals according to the 5th def. of 5th book. But this is easily made out, as follows. First, If A, B, C, D be four F magnitudes, such that A is the B H same multiple, or the same part D of B, which C is of D; A, B, C, D are proportionals. This is Ldemonstrated in proposition C. Secondly, If A B contain the same parts of CD, that EF does of GH: in this case likewise AB A C E C M is to CD, as EF to GH. K Book V. Let CK be a part of CD, and GL the same part of GH; and let AB be the same multiple of F B H D L K A C E G M First, If A be to B, as C to D; then if A be any multiple or part of B, C is the same multiple or part of D, by prop. D, of book 5. Next, If AB be to CD, as EF to GH; then if AB contains any parts of CD, EF contains the same parts of GH: for let CK be a part of CD, and GL the same part of GH, and let AB be a multiple of CK; EF is the same multiple of GL: take M the same multiple of GL that AB is of CK; therefore by prop. C, of book 5, AB is to CK, as M to GL; and CD, GH are equimultiples of CK, GL: wherefore by cor, prop. 4, b. 5, AB is to CD, as M to GH. And, by the hypothesis, AB is to CD, as EF to GH; therefore M is equal to EF, by prop. 9, book 5, and consequently EF is the same multiple of GL that AB is of CK. PROP. D. B. V. This is not unfrequently used in the demonstration of other propositions, and is necessary in that of prop. 9, b. 6. It seems Theon has left it out for the reason mentioned in the notes at prop. A. PROP. VIII. B. V. In the demonstration of this, as it is now in the Greek, there are two cases (see the demonstration in Hervagius, of Dr. Gregory's edition), of which the first is that in which AE is less than EB; and in this it necessarily follows, that He the multiple of EB is greater than ZH, the same multiple of AE, which last multiple, by the construction is greater than A : whence also Ho must be greater than a. But in the second case, viz. that in which EB is less than AE, though ZH be greater than A, yet Ho may be less than the same A; so that Book V. there cannot be taken a multiple of A which is the first that is greater than K or Ho, because A itself is greater than it: upon this account, the author of this demonstration found it necessary to change one part of the construction that was made use of in the first case : but he has, without any necessity, : changed also another part of it, viz., when he orders to take N that multiple of A which is the Z Z first that is greater than ZH; 1 2 for he might have taken that multiple of a which is the first A А that is greater than Ho, or K, Has was done in the first case : he likewise brings in this K E into the demonstration of both cases, without any reason; for it serves to no purpose but to lengthen the demonstration. There is also a third case, өвд B À which is not mentioned in this demonstration, viz. that in which AE in the first, or EB in the second of the two other cases, is greater than D; and in this any equimultiples, as the doubles, of AE, KB are to be taken, as is done in this edition, where all the cases are at once demonstrated : and from this it is plain that Theon, or some other unskilful editor, has vitiated this proposition. H PROP. IX. B. V. Of this there is given a more explicit demonstration than that which is now in the Elements. PROP. X. B. V. It was necessary to give another demonstration of this proposition, because that which is in the Greek and Latin, or other editions, is not legitimate : for the words greater, the same, or equal, lesser, have a quite different meaning when applied to magnitudes and ratios, as is plain from the 5th and 7th definitions of book 5. By the help of these let us examine the demonstration of the 10th prop. which proceeds thus : “ Let A “ have to C a greater ratio than B to C; I say that A is greater 3 4 than B. For if it is not greater, it is either equal, or less. “ But A cannot be equal to B, because then each of them “ would have the same ratio to C; but they have not. There“ fore A is not equal to B.” The force of which reasoning is |